XPost: comp.theory, sci.logic, sci.math   
   From: dbush.mobile@gmail.com   
      
   On 11/29/2025 1:07 PM, olcott wrote:   
   > 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.   
      
   So in other words, "semantic tautology" is just another term for   
   "definition".   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)