|To:||"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||"Schiffel, Jeffrey A" <jeffrey.a.schiffel@xxxxxxxxxx>|
|Date:||Wed, 18 Nov 2009 16:48:44 -0600|
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.
Notice that induction and abduction are particularly phenomenological. Deductive logic is the most worked out, with first order varieties arising from reducing the number of the usual base axioms, or restricting the definition of the usual axioms; and higher order varieties gotten by expanding the number of axioms, as in adding possibility to get modal logics. the other two forms are not as mathematized, and mainly show up informally or in rhetoric.
For example, in the scientific method, all three occur to some extent.
-- Jeff 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>|
|Previous by Date:||Re: [ontolog-forum] new logic, Pavithra|
|Next by Date:||[ontolog-forum] ESWC2010: 2nd Call for Papers - Note separate research tracks, valentina presutti|
|Previous by Thread:||Re: [ontolog-forum] new logic, Pavithra|
|Next by Thread:||Re: [ontolog-forum] new logic, John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|