Logic Tools — Interactive Venn Diagram for Categorical Propositions (A, E, I, and O)

Logic Tools — Interactive Venn Diagram for Categorical Propositions (A, E, I, and O)

I recently worked on programming an interactive Venn diagram for categorical propositions, to easily teach the way that the four standard-form categorical propositions (A, E, I, and O) are represented with a Venn diagram:

  • A Statement: All S are P.

  • E Statement: No S are P.

  • I Statement: Some S are P.

  • O Statement: Some S are not P.

In a Venn diagram for categorical propositions, shading in a region is used to indicate that the region is empty (for type A and E statements), while an X is used to indicate that there exists at least one object in a region (for type I and O statements).

Try the interactive Venn diagram below and see if you can figure out how to represent each of the four standard-form categorial propositions listed above.

Tip: Click or tap within each region to rotate through the possible markings within that region. The Venn digram will indicate when you have successfully represented one of the standard-form categorical statements.

My Essential Intro to Philosophy Reading List

My Essential Intro to Philosophy Reading List

Coronavirus Layoff Euphemisms: "Affected" and "Impacted" — Don't Let Employers and Politicians Off the Hook So Easily

Coronavirus Layoff Euphemisms: "Affected" and "Impacted" — Don't Let Employers and Politicians Off the Hook So Easily