XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 1/19/2026 1:11 PM, olcott wrote:   
   > Formerly Re: Analytic Truth-makers   
   > in sci/logic and comp.theory   
   >   
   > 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   
   >>   
   >   
   > On 7/23/2024 11:26 AM, olcott in sci.logic, comp.theory   
      
    corrected message ID   
      
   https://al.howardknight.net/?STYPE=msgid&MSGI=%3Cv7olj0%2419f9b%   
   41%40dont-email.me%3E   
      
      
   >    
   >   
   > 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)