On Nov 19, 2009, at 11:38 AM, Schiffel, Jeffrey A wrote:
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.
Although the words are my own, the definitions I stated are drawn in part
from the expert account in the Standford Encyclopedia of
I had no issue with the tripartite division above, which is fairly standard (albeit both overly broad and not exhaustive), although the blurbs that follow them are problematic. However, you deleted the gloss you provided on the above, which is what I was actually referring to:
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.
This brief summary is off the mark at several points so I felt it was important, solely for the sake of accuracy, to direct interested readers on this public forum to more reliable accounts. No disrespect was intended.