Prev - Next |
Using the Categorical Converter - 4 We begin to try to trace a path from the premise to the conclusion. Looking at the diagram, we can see it makes sense to try to move toward the conclusion. So we trace a path from the nSnP under the A column to the nSP under the E column. Moving from nSnP to mSP follows the rule of Obversion (that's what the ob at the side stands for). 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.
Please click here to
continue.
10 August 1996 For Educators Stephen Downes Guide to the Logical Fallacies Copyright © Stephen Downes, 1995-2001 stephen.downes@ualberta.ca |