Re: [ontolog-forum] Fwd: Breaking News: Google supports GoodRelations

[Pavithra <pavithra_kenjige@xxxxxxxxx>]

Dr Sowa:  Your existential graphs graph paper had the following:

>This syntax is so simple that I will describe it. Every word makes an >assertion. Thus, —man means "there is a man" in whatever universe the >whole sheet offers it. The dash before "man" is the "line of identity".

>this means "Some man eats a man". 

First of all it is a eerie statement to read ..   It is not normal to eat another man unless he is a cannibal..  Cannibals are not logical.  Are you trying to represent an illogical behavior using logic?

Regards,

Pavithra

--- On Wed, 11/10/10, John F. Sowa <sowa@xxxxxxxxxxx> wrote:

From: John F. Sowa <sowa@xxxxxxxxxxx>
Subject: Re: [ontolog-forum] Fwd: Breaking News: Google supports GoodRelations
To: ontolog-forum@xxxxxxxxxxxxxxxx
Date: Wednesday, November 10, 2010, 10:29 AM

Patrick,

Yes, that is the work that logicians were doing in the 1920s and '30s:

> Presenting in a nutshell the results of our quick historical overview,
> we can say that around 1900 logic was conceived as a theory of
> sentences, set and relations; after World War I and as late as 1930 the
> exemplar for modern logic was a higher-order system, simple type theory;
> and only around 1940-1950 did the community of logicians as a whole come
> to agree that the paradigm logical system is FOL.

But that is what Peirce was doing between 1897 and 1909.  He published
much of it in 1906. but it was ignored by most logicians.  Among the few
who read his later writings were Clarence Irving Lewis and Arthur Prior,
both of whom made major contributions to modal logic and related topics.

For a brief summary of Peirce's work, see his tutorial of 1909 with my
commentary:

    http://www.jfsowa.com/peirce/ms514.htm

For a summary of Peirce's contributions to the 21st century, see

    http://www.jfsowa.com/pubs/csp21st.pdf

For another view of historical developments in logic:

    http://www.jfsowa.com/pubs/5qelogic.pdf

John

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