XPost: comp.theory, sci.math, sci.lang   
   From: polcott333@gmail.com   
      
   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.   
      
   Also it is very important that the formal language   
   fully integrates every aspect of semantics directly   
   in the syntax. Much of the issues with formal systems   
   is that the model can get out-of-sync with the formal   
   system. When the model is one-and-the-same as the   
   formal system then getting out-of-sync is not possible.   
      
   To eliminate ambiguity with the sense meanings of   
   words each lexeme has its own GUID.   
      
   A lexeme is the fundamental unit of meaning in a   
   language, representing a single word or a group of   
   words that convey a specific concept.   
   https://fiveable.me/key-terms/introduction-linguistics/lexeme   
      
   --   
   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)