XPost: comp.theory, sci.math, sci.lang   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 2.12.2025 klo 17.26:   
   > On 12/2/2025 3:49 AM, Mikko wrote:   
   >> 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.   
   >   
   > A semantic tautology might be considered the   
   > complete definition of a a word by providing   
   > the complete definition of every word in this   
   > definition recursively all the way down until   
   > every one of these words is completely defined.   
      
   A semantic tautology needn't define any words and usually doesn't. It   
   can be and usually is expressed with words that already have meanings.   
   The definition of "semantic logical tautology" presented above doesn't   
   require that it define any of its word.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)