home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,936 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,223 of 262,936   
   =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= to olcott   
   Re: New formal foundation for correct re   
   25 Nov 25 18:29:32   
   
   XPost: sci.math, comp.theory   
   From: agisaak@gm.invalid   
      
   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.   
      
   Somewhere along the line you've come up with this strange notion that   
   Montague somehow did away with the distinction between syntax and   
   semantics, but that is simply not true. I recommend you actually read   
   some Montague rather than simply relying on your own, flawed,   
   interpretations of wikipedia.   
      
   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)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca