XPost: comp.theory, sci.math, sci.lang   
   From: mikko.levanto@iki.fi   
      
   dbush kirjoitti 29.11.2025 klo 20.19:   
   > 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".   
      
   A definition gives a new word for something.   
      
   A semantic tautology is a verbose expression that may take some effort   
   to understand but once understood is onderstood to say nothing.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)