XPost: sci.math, comp.theory   
   From: agisaak@gm.invalid   
      
   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.   
      
   > that is why he called it Montague Grammar.   
      
   He never called it Montague Grammar; that's what it's come to be known as.   
      
   > This is   
   > all anchored in Rudolf Carnap meaning postulates   
   > that dead obviously encode English semantics   
   > directly in the syntax.   
      
   No, they do not.   
      
   The stanford encyclopedia article on Montague Grammar is reasonably   
   good. If you want to learn about this, that might be a good place to start.   
      
      
      
   Note that one thing this article emphasises is the importance which   
   Montague places upon model theory. In many of your posts you've talked   
   about making a theory which instead of relying on model theory "unifies"   
   the syntax and semantics. Montague neither eliminates model theory nor   
   unifies syntax and semantics (whatever that might mean). He attempts to   
   provide a theory on natural language which treats natural language in   
   the *same* way as the formal languages of logic and mathematics are   
   treated. Formal languages have both syntax and semantics as separate   
   entities, and Montague views natural language as being no different from   
   these.   
   André   
      
   --   
   To email remove 'invalid' & replace 'gm' with well known Google mail   
   service.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)