Re: Blank nodes, "leaning", and the LEM

• From: Peter Frederick Patel-Schneider <pfps@research.bell-labs.com>
• Date: Thu, 24 Mar 2011 14:07:41 -0400
• To: <phayes@ihmc.us>
• CC: <dev@mobileink.com>, <david@dbooth.org>, <semantic-web@w3.org>
• Message-ID: <20110324.140741.1743502578004846628.pfps@research.bell-labs.com>

From: Pat Hayes <phayes@ihmc.us>
Subject: Re: Blank nodes, "leaning", and the LEM
Date: Thu, 24 Mar 2011 12:57:37 -0500

[...]

> In a word, no. Modern logic is extensional. There have been many
> approaches to an exact analysis of intensions (in Frege's sense and
> many other senses.) This is a huge area with no clear consensus even
> on the right approach, let alone a single widely accepted mechanism or
> logic. It is completely out of scope for mechanization or the semantic web. 

What, isn't Montague logic the obvious solution here?   ;-)

[..]

> Pat

peter




PS: Just to be extra clear (as opposed to the last time when I didn't
even put in a smiley) Montague logic is definitely not a good target for
mechanisation.

Received on Thursday, 24 March 2011 18:08:25 UTC