[Top] [All Lists]

Re: [ontolog-forum] new logic

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Schiffel, Jeffrey A" <jeffrey.a.schiffel@xxxxxxxxxx>
Date: Thu, 19 Nov 2009 11:38:27 -0600
Message-id: <8B6A80AC2A6F7D4ABBEB7BFD3C3B8E1E654340B94C@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>

Christopher Menzel  replied 
On Nov 18, 2009, at 4:48 PM, Schiffel, Jeffrey A wrote:
In our discussions of "new logic," we should probably recall some other categorizations of logic before we wander into the desert. There are three that have been around a very long time. Their present definition is mostly from Pierce. They are:
-- Deduction, which is reasoning where necessary conclusions are made from statements - FOL,
-- Induction, which are arguments by inference, i.e., by likelihood, usually from experience, and
-- Abduction, which forms hypotheses from observed patterns.
I'm afraid I couldn't recommend this description.  For excellent, expert accounts of the many different aspects and kinds of logic, I recommend the entries found under "Logic" in the online Stanford Encyclopedia of Philosophy.  There are, in particular, very fine, informative entries on classical first-order logicsecond- and higher-order logic, modal logic, and intensional logic.

the other two forms are not as mathematized, and mainly show up informally or in rhetoric.
JS:  Although the words are my own, the definitions I stated are drawn in part from the expert account in the Standford Encyclopedia of Philosophy.
-- Jeffrey Schiffel 

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)

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