MASTERSHIP GUIDE

 

This part of the Guide for Dialecticians presents a new method for doing logic, a method I developed in order to make the structures of logic easy to understand.

                                                                                                                                                 --Richard Crist           

 

 

 

TRUTH ENGINE LOGIC

 

 

 

PART ONE: GENERAL DEDUCTION.

 

1. Imagine that you are an anthropologist. Your guide tells you that the people of this forest believe that one and only one of the following symbols is magic:

 

 

He goes on to tell you that the magic one is one of these:

 

 

And he tells you that the magic one is one of these:

 

 

Your guide knows that given this information, you should be able to figure out which symbol the magic one is.

 

 

In fact, several kinds of deduction are possible along these lines. These are

 

2. the laws of pure deduction:

 

For all the examples below, we assume this as a given: One and only one of the following is magic:  

.

Axioms:

 

D1. The Law of Complements:

 

The (e.g.) magic one is one of a group of the items if and only if it is not one of that group's complement.

 

The following deduction will illustrate this law:

 

The magic one is one of these:

 

Therefore,

the magic one is not one of these:

 

 

D2. The Add-Anything Law:

 

If the magic one is one of a group of the items, then the magic one is one of any second group containing the first.

 

The magic one is one of these:

 

Therefore,

the magic one is one of these:

 

 

D3. The In-Common Law:

 

If the magic one is one of a group of the items, and is one of a second group, then the magic one is one of a third group that contains all and only those items that the first two groups have in common.

 

The magic one is one of these:

The magic one is one of these: 

 

Therefore,

the magic one is one of these: 

 

 

 

previous page      next page       Truth Engine home   

 

 

© Richard Crist, 2007