ontolog-forum
[Top] [All Lists]

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

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Tue, 21 Sep 2010 15:12:23 -0500
Message-id: <4C9911A7.90400@xxxxxxxx>
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    (01)

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).    (02)

Chris Menzel    (03)

_________________________________________________________________
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    (04)

<Prev in Thread] Current Thread [Next in Thread>