XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 2/11/2026 2:43 PM, André G. Isaak wrote:   
   > On 2026-02-10 21:59, olcott wrote:   
   >> We completely replace the foundation of truth conditional   
   >> semantics with proof theoretic semantics. Then expressions   
   >> are "true on the basis of meaning expressed in language"   
   >> only to the extent that all their meaning comes from   
   >> inferential relations to other expressions of that language.   
   >> This is a purely linguistic PTS notion of truth with no   
   >> connections outside the inferential system.   
   >>   
   >> Well-founded proof-theoretic semantics reject expressions   
   >> lacking a "well-founded justification tree" as meaningless.   
   >> ∀x (~Provable(T, x) ⇔ Meaningless(T, x))   
   >   
   > Proof-theoretic semantics makes no such claim. That's your claim and you   
   > should stop attributing it to others.   
   >   
   > André   
   >   
      
   That is a correct paraphrase of the claims that it   
   always does make. Try and show otherwise.   
      
   Meaning of expressions only comes from inferential   
   relations to other expressions. The historical peer   
   reviewed papers boiled down to their bare essence.   
   They say the same thing in lots of paragraphs.   
      
   This is the bottom line basis across authors   
   Meaning as Introduction/Elimination Rules   
   Gerhard Gentzen (1934/35), "Investigations into Logical Deduction"   
      
      
   Written by one of the best experts in the field   
   https://plato.stanford.edu/entries/proof-theoretic-semantics/   
      
   --   
   Copyright 2026 Olcott

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

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