Using the Categorical Converter - 7

The Catergical Converter We continue by tracing our path from the PS under the A column to the SP under the I column. Moving from PS to SP follows the rule of Conversion. Since we encounter no symbol along the path, the token remains T (true).

We might represent our inference thus far as:

"All non-S is non-P" is true, thus (by obversion) "No non-S is P" is true, thus (by conversion) "No non-P is non-S" is true, thus (by obversion) "All P is S" is true, thus (by conversion) "Some S is P" is true.

Please click here to continue.

10 August 1996