XPost: comp.theory, sci.logic, sci.math   
   XPost: sci.lang   
   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é   
   >   
      
   I merely consolidated the essence of the current   
   field into a pair of axioms.   
      
   (Schroeder-Heister, 2024) "Proof-Theoretic Semantics"   
   ∀x (Provable(T, x) ⇔ Meaningful(T, x))   
      
   Proof-theoretic semantics is inherently inferential,   
   as it is inferential activity which manifests itself   
   in proofs...   
      
   inferences and the rules of inference establish   
   the meaning of expressions   
      
   https://plato.stanford.edu/entries/proof-theoretic-semantics/#InfeIntuAntiReal   
      
      
   (Prawitz, 2012) "Truth as an Epistemic Notion"   
   ∀x (Provable(x) ⇒ True(x))   
   What is the appropriate notion of truth for sentences   
   whose meanings are understood in epistemic terms such   
   as proof or ground for an assertion?   
      
   It seems that the truth of such sentences has to   
   be identified with the existence of proofs or grounds...   
      
   https://doi.org/10.1007/s11245-011-9107-6   
      
      
   --   
   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)