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)
|