Three Kinds of Inference

Jon Awbrey:


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

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s