XPost: comp.theory, sci.math, sci.lang   
   XPost: comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   We completely replace the foundation of Truth Conditional Semantics with   
   Proof Theoretic Semantics (PTS). 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 the purely linguistic PTS notion of truth having no   
   connections outside the inferential system.   
      
   "true on the basis of meaning expressed in language" are elements of the   
   body of verbal knowledge. This can include basic facts of the actual   
   world as stipulated axioms of the verbal model of the actual world. This   
   bridges the divide between the analytic/synthetic distinction.   
      
   ∀x (Provable(T, x) ⇔ Meaningful(T, x)) --- (Schroeder-Heister 2024)   
   ∀x (Provable(x) ⇒ True(x)) --- Anchored in (Prawitz, 2012)   
      
      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...   
      Prawitz, D. (2012). Truth as an Epistemic Notion. Topoi, 31(1), 9–16   
      https://doi.org/10.1007/s11245-011-9107-6   
      
      1.2 Inferentialism, intuitionism, anti-realism   
      Proof-theoretic semantics is inherently inferential,   
      as it is inferential activity which manifests itself   
      in proofs. It thus belongs to inferentialism (a term   
      coined by Brandom, see his 1994; 2000) according to   
      which inferences and the rules of inference establish   
      the meaning of expressions   
      Schroeder-Heister, Peter, 2024 "Proof-Theoretic Semantics"   
      
   https://plato.stanford.edu/entries/proof-theoretic-semantics/#InfeIntuAntiReal   
      
   When we understand that linguistic truth (just like   
   an ordinary dictionary) expressions of language only   
   get their semantic meaning from other expressions of   
   language then we directly understand entirely based on   
   the meaning of words that when no such connection exists   
   then no semantic meaning is derived.   
      
   When we understand this then we can see that   
   "true on the basis of meaning expressed in language"   
   is reliably computable for the entire body of knowledge   
   by finite string transformations applied to finite strings.   
      
      
   --   
   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)