Functional Logic • Inquiry and Analogy • 4

Inquiry and AnalogyAristotle’s “Apagogy” • Abductive Reasoning

Peirce’s notion of abductive reasoning is derived from Aristotle’s treatment of it in the Prior Analytics.  Aristotle’s discussion begins with an example which may seem incidental but the question and its analysis are echoes of the investigation pursued in one of Plato’s Dialogue, the Meno.  It concerns nothing less than the possibility of knowledge and the relationship between knowledge and virtue, or between their objects, the true and the good.  It is not just because it forms a recurring question in philosophy, but because it preserves a close correspondence between its form and its content, that we shall find this example increasingly relevant to our study.

We have Reduction (απαγωγη, abduction):  (1) when it is obvious that the first term applies to the middle, but that the middle applies to the last term is not obvious, yet nevertheless is more probable or not less probable than the conclusion;  or (2) if there are not many intermediate terms between the last and the middle;  for in all such cases the effect is to bring us nearer to knowledge.

(1) E.g., let A stand for “that which can be taught”, B for “knowledge”, and C for “morality”.  Then that knowledge can be taught is evident;  but whether virtue is knowledge is not clear.  Then if BC is not less probable or is more probable than AC, we have reduction;  for we are nearer to knowledge for having introduced an additional term, whereas before we had no knowledge that AC is true.

(2) Or again we have reduction if there are not many intermediate terms between B and C;  for in this case too we are brought nearer to knowledge.  E.g., suppose that D is “to square”, E “rectilinear figure”, and F “circle”.  Assuming that between E and F there is only one intermediate term — that the circle becomes equal to a rectilinear figure by means of lunules — we should approximate to knowledge.

(Aristotle, “Prior Analytics” 2.25)

A few notes on the reading may be helpful.  The Greek text seems to imply a geometric diagram, in which directed line segments AB, BC, AC indicate logical relations between pairs of terms taken from A, B, C.  We have two options for reading the line labels, either as implications or as subsumptions, as in the following two paradigms for interpretation.

Table of Implications

Table of Subsumptions

In the latter case, P \geqslant Q is read as ``P ~\text{subsumes}~ Q", that is, ``P ~\text{applies to all}~ Q", or ``P ~\text{is predicated of all}~ Q".

The method of abductive reasoning bears a close relation to the sense of reduction in which we speak of one question reducing to another.  The question being asked is “Can virtue be taught?”  The type of answer which develops is as follows.

If virtue is a form of understanding, and if we are willing to grant that understanding can be taught, then virtue can be taught.  In this way of approaching the problem, by detour and indirection, the form of abductive reasoning is used to shift the attack from the original question, whether virtue can be taught, to the hopefully easier question, whether virtue is a form of understanding.

The logical structure of the process of hypothesis formation in the first example follows the pattern of “abduction to a case”, whose abstract form is diagrammed and schematized in Figure 5.

Teachability, Understanding, Virtue
\text{Figure 5. Teachability, Understanding, Virtue}

The sense of the Figure is explained by the following assignments.

Term, Position, Interpretation

Premiss, Predication, Inference Role

Abduction from a Fact to a Case proceeds according to the following schema.

\begin{array}{l}  ~ \text{Fact:}~ V \Rightarrow T?  \\  ~ \text{Rule:}~ U \Rightarrow T.  \\  \overline{~~~~~~~~~~~~~~~~~~~~~~} \\  ~ \text{Case:}~ V \Rightarrow U?  \end{array}


cc: Conceptual GraphsCyberneticsLaws of FormOntolog Forum
cc: FB | Peirce MattersStructural ModelingSystems Science

This entry was posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Pragmatic Semiotic Information, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotics, Sign Relations, Syllogism, Triadic Relations, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Functional Logic • Inquiry and Analogy • 4

  1. Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 2 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.