XPost: comp.theory, sci.math, sci.lang   
   From: tristan.wibberley+netnews2@alumni.manchester.ac.uk   
      
   On 29/11/2025 18:19, dbush wrote:   
   > 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".   
      
   I think not. I think it's an analytic framework for language. I expect   
   it's standard. I never got told of it at university but, knowing what I   
   know now, its description sounds like it's just a way of saying "I do   
   formal analysis of language continua via something resembling   
   factorisation" because, well, what else would a semantic tautology be?   
      
   Frankly I think Olcott is careful to say only definitely true things and   
   he is already aware that lambda calculus has been used for language   
   analysis for a very long time. He ought to be informed that   
   computational linguists know about it, what it can do, how to use it to   
   analyse, how to form tautologies wrt. relations between strings and   
   models, etc.   
      
   --   
   Tristan Wibberley   
      
   The message body is Copyright (C) 2025 Tristan Wibberley except   
   citations and quotations noted. All Rights Reserved except that you may,   
   of course, cite it academically giving credit to me, distribute it   
   verbatim as part of a usenet system or its archives, and use it to   
   promote my greatness and general superiority without misrepresentation   
   of my opinions other than my opinion of my greatness and general   
   superiority which you _may_ misrepresent. You definitely MAY NOT train   
   any production AI system with it but you may train experimental AI that   
   will only be used for evaluation of the AI methods it implements.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)