XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 12/4/2025 3:50 AM, Mikko wrote:   
   > olcott kirjoitti 3.12.2025 klo 17.09:   
   >> On 12/3/2025 4:36 AM, Mikko wrote:   
   >>> 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.   
   >>>   
   >>> 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 includes expressions that do not define anything.   
   >>>   
   >>   
   >> It does not.   
   >   
   > For example, "A square is not a triangle" is seen to be true on the   
   > basis of the meanings of the words but does not define anything.   
   >   
   >   
      
   That is deduced from the definitions of square and triangle.   
   They are defined with mutually exclusive properties.   
      
   2.2 Truthmakers for Negative Truths   
   https://plato.stanford.edu/entries/truthmakers/#TruMakForNegTru   
      
   --   
   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)