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
Abduction, which forms hypotheses
from observed patterns.
the other two forms are not as mathematized, and mainly show
up informally or in rhetoric.
Although the words are my own, the definitions I stated are drawn in part
from the expert account in the Standford Encyclopedia of