[Top] [All Lists]

Re: [ontolog-forum] axiom & mKR experiment

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Sun, 27 Apr 2014 09:29:40 -0400
Message-id: <535D0644.4050101@xxxxxxxxxxx>
On 4/27/2014 5:01 AM, Richard H. McCullough wrote:
> Name your propositions !    (01)

Biggus dealus gloriosus!    (02)

That's called propositional logic.  It was developed by the Stoic
logicians around 200 BC.  But they went into much more detail,
including rules of inference still used today:  modus ponens
(AKA forward chaining), modus tollens (backward chaining), and
disjunctive syllogism (resolution).    (03)

If you want to bring your notation up to the level of 200 BC,
I suggest that you do your homework.  You can start with    (04)

    http://www.jfsowa.com/talks/aristo.pdf    (05)

But you'll need to put in much more work to get to 2000 AD.    (06)

John    (07)

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

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