Re: [ontolog-forum] language vs logic - ambiguity and starting with defi

[Pavithra <pavithra_kenjige@xxxxxxxxx>]

Chris,

The paper said :
Don’t trust the English: Quantifiers...
Natural language were not designed by logicians, and a single English form can have very different logical meanings in different sentences.

Even though that statement is funny ( or not so funny for native English speakers  but it is true.).

So thank you for your reference for the book.  However Standford has some information on topic and I refer to that now and then.






--- On Tue, 9/21/10, Christopher Menzel <cmenzel@xxxxxxxx> wrote:

From: Christopher Menzel <cmenzel@xxxxxxxx>
Subject: Re: [ontolog-forum] language vs logic - ambiguity and starting with definitions
To: ontolog-forum@xxxxxxxxxxxxxxxx
Date: Tuesday, September 21, 2010, 4:12 PM

On 9/21/2010 1:54 PM, Pavithra wrote:
> Here is a Paper on
> Guide to Expressing Facts in a First-Order Language
>
> http://cs.nyu.edu/courses/spring06/G22.2560-001/folguide.pdf

The syntax used in that document is unusual and the author appears
to be using nonstandard scoping conventions that lead to symbolizations
that are simply wrong with respect to more standard conventions.  Not
recommended.  One would be much better off consulting a standard
introductory logic text than a random, unvetted document downloaded off
the internet.  Wilfrid Hodges's lovely little book Logic is excellent
and inexpensive (http://goo.gl/9E2u).

Chris Menzel

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)