LessonsThe Fourth Figure: Productive Conditions, Moods and ProofsQuiz

Some printed table entries require particular care about the direction of the conclusion: the bare surface form of the premises does not always establish the displayed orientation. Faithfully recording a table and establishing logical consequence are distinct tasks.

Test case:
All teachers are human.
Some calligraphers are not teachers.
It does not follow that some humans are not calligraphers, despite having a universal affirmative and a particular negative.

The sound method is to preserve the source's reported classification while testing each proposed conclusion by a valid conversion, reductio, or explicit witness-based argument.

Opening interactive controls...

Source fidelity and logical verification

The Fourth Figure: Productive Conditions, Moods and Proofs

Some printed table entries require particular care about the direction of the conclusion: the bare surface form of the premises does not always establish the displayed orientation. Faithfully recording a table and establishing logical consequence are distinct tasks.

Test case:
All teachers are human.
Some calligraphers are not teachers.
It does not follow that some humans are not calligraphers, despite having a universal affirmative and a particular negative.

The sound method is to preserve the source's reported classification while testing each proposed conclusion by a valid conversion, reductio, or explicit witness-based argument.