XPost: comp.theory, sci.math, sci.lang   
   From: polcott333@gmail.com   
      
   On 11/29/2025 11:53 AM, Kaz Kylheku wrote:   
   > On 2025-11-29, olcott  wrote:   
   >> Any expression of language that is proven true entirely   
   >> on the basis of its meaning expressed in language is   
   >> a semantic tautology.   
   >   
   > A tautology is an expression of logic which is true for all   
   > combinations of the truth values of its variables and propositions,   
   > which is, of course, regardless of what they mean/represent.   
   >   
      
   I did not say tautology. I said semantic tautology.   
   I am defining a new thing under the Sun.   
      
   *Semantic tautology is stipulated to mean*   
   Any expression of language that is proven true entirely   
   on the basis of its meaning expressed in language.   
      
   This is very close to the same thing.   
   https://www.britannica.com/topic/tautology   
      
   > For instance "P or not P".   
   >   
   > A deductive argument is tautological; its deduction is true   
   > for all interpretations of the propositions it contains,   
   > in all possible universes of discourse.   
   >   
   > You would need to have tremendous stature in logic to   
   > be able to dictate a redefinition of a deeply entrenched,   
   > standard term.   
   >   
      
   Or I could simply prove that I am correct on the   
   basis of the meaning of my words, thus anyone   
   disagreeing is merely proving that they are too   
   full of themselves.   
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)