XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/25/2025 8:00 PM, André G. Isaak wrote:   
   > On 2025-11-25 18:43, olcott wrote:   
   >> On 11/25/2025 7:29 PM, André G. Isaak wrote:   
   >>> On 2025-11-25 17:52, olcott wrote:   
   >>>> On 11/25/2025 6:47 PM, Kaz Kylheku wrote:   
   >>>>> On 2025-11-25, olcott  wrote:   
   >>>>>> Gödel incompleteness can only exist in systems that divide   
   >>>>>> their syntax from their semantics ...   
   >>>>>   
   >>>>> And, so, just confuse syntax for semantics, and all is fixed!   
   >>>>>   
   >>>>   
   >>>> Things such as Montague Grammar are outside of your   
   >>>> current knowledge. It is called Montague Grammar   
   >>>> because it encodes natural language semantics as pure   
   >>>> syntax.   
   >>>   
   >>> You're terribly confused here. Montague Grammar is called 'Montague   
   >>> Grammar' because it is due to Richard Montague.   
   >>>   
   >>> Montague Grammar presents a theory of natural language (specifically   
   >>> English) semantics expressed in terms of logic. Formulae in his   
   >>> system have a syntax. They also have a semantics. The two are very   
   >>> much distinct.   
   >>>   
   >>   
   >> Montague Grammar is the syntax of English semantics   
   >   
   > I can't even make sense of that. It's a *theory* of English semantics.   
   >   
      
   *Here is a concrete example*   
   The predicate Bachelor(x) is stipulated to mean ~Married(x)   
   where the predicate Married(x) is defined in terms of billions   
   of other things such as all of the details of Human(x).   
      
      
   --   
   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)