Tuesday, June 2, 2009

Three Kinds of Inference


Figure 1. Three Kinds of Inference

The terms “Fact,” “Rule,” “Case” are medieval nicknames for the propositions that would be called the “conclusion” (C), “major premiss” (MP) and “minor premiss” (mp) respectively, in the simplest form of deductive syllogism.

Thus, we have the following scheme:

1. Deduction takes a Case, a mp of the form X => Y,
matches it with a Rule, a MP of the form Y => Z,
then adverts to a Fact, a C of the form X => Z.

2. Induction takes a Case of the form X => Y,
matches it with a Fact of the form X => Z,
then adverts to a Rule of the form Y => Z.

3. Abduction takes a Fact of the form X => Z,
matches it with a Rule of the form Y => Z,
then adverts to a Case of the form X => Y.

Even more succinctly:

Table 2. Three Kinds of Inference


http://suo.ieee.org/email/msg06871.html

1 comment:

Unknown said...

I am graduate student,george vytautas daukantas attending the University of Massachusetts at Boston [graduate certificate in instructional technology for educators program ].

I have a Fall 2008( peer reviewed) 2nd Edition online article @ http iste.org/jct.

I really derived great meaning from your site. I think it is great!

thanks ,

george vytautas daukantas
HAA '08,HEAA '08





george vytautas daukantas,
HAA '08,HEAA '08
iste membership # 289229