Using the Categorical Converter - 6

The Catergical Converter We continue by tracing our path from the PnS under the O column to the PS under the A column. Moving from PnS to PS follows the rule of Obversion. 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.

Please click here to continue.

10 August 1996