XPost: comp.theory, sci.logic, sci.math   
   XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 7/23/2024 11:26 AM, olcott wrote:   
   >   
   > I am establishing a new meaning for   
   > {true on the basis of meaning expressed in language}   
   > Formerly known as {analytic truth}.   
   > This makes True(L,x) computable and definable.   
   >   
   > L is the language of a formal mathematical system.   
   > x is an expression of that language.   
   >   
   > When we understand that True(L,x) means that there is a finite   
   > sequence of truth preserving operations in L from the semantic   
   > meaning of x to x in L, then mathematical incompleteness is abolished.   
   >   
   > ~True(L,x) ∧ ~True(L,~x)   
   > means that x is not a truth-bearer in L.   
   > It does not mean that L is incomplete   
   >   
      
   Message ID  of above post   
      
   The above post is when I bridged the analytic/synthetic   
   divide that has existed since 1952   
   https://en.wikipedia.org/wiki/Two_Dogmas_of_Empiricism   
      
   with:  "true on the basis of meaning expressed in language"   
      
   Now we have Russell's logical-atomism from the   
   correspondence theory of truth   
      
      the world consists of a plurality of independently   
      existing things exhibiting qualities and standing   
      in relations. According to logical atomism, all truths   
      are ultimately dependent upon a layer of atomic facts,   
      which consist either of a simple particular exhibiting   
      a quality, or multiple simple particulars standing in   
      a relation. https://plato.stanford.edu/entries/logical-atomism/   
      
   providing the axiomatic basis for the coherence theory   
   of truth. Linking to Wittgenstein's   
      
      'True in Russell's system' means, as was said: proved   
      in Russell's system; and 'false in Russell's system'   
      means: the opposite has been proved in Russell's system.   
      (Wittgenstein 1983,118-119)   
      
   --   
   Copyright 2026 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)