10182

Lewis Carroll's Bilateral Diagram

Aristotelian logic, or the traditional study of deduction, deals with four so-called categorical or subject-predicate propositions, which can be defined by:
S a P ⇔ All S is P (universal affirmative or A proposition),
S i P ⇔ Some S is P (particular affirmative or I proposition),
S e P ⇔ No S is P (universal negative or E proposition),
S o P ⇔ Some S is not P (particular negative or O proposition).
S is called a subject (or minor) term and P is called a predicate (or major) term of a proposition. We could think of S and P as one-place predicates or sets.
The bilateral diagram is a way to understand relations among categorical propositions. It
is a square divided into four smaller square cells: SP, SP', S'P, S'P'. A red counter (or 1) within a cell means that there is at least one thing in it. A gray counter (or 0) within a cell means there is nothing in it. So we may not put both counters in the same cell. A red counter in the cell SP means "Some S is P"; a gray counter in the cell SP means "No S is P". The red counter in the upper rectangle means that there is at least one S, symbolically Ex(S) ⇔ S i S. But if we put the counter on the common line of squares SP and SP', we don't know whether the proposition S i P is true (1) or false (0), so it has value unknown or undetermined (½). The same holds for S o P. Analogously, the value of the proposition S a P is ½ , unless we put the gray counter in the square SP' (S a P = 1) or in SP (S a P = 0).

DETAILS

A diagram showing the relations among categorical propositions is known as the traditional square of opposition [2, p. 217]. Two propositions are contradictories if one is the negation of the other. Propositions A and O, and propositions I and E are contradictories. Two propositions are contraries if they cannot both be true. Two propositions are subcontraries if they cannot both be false. Proposition A is called superaltern, I is called subaltern, and the coresponding relation is called subalternation. The same definitions are aplied to E and O [2, pp. 214-217]. Under the assumption that class S is not empty, propositions A and E are contraries, propositions I and O are subcontraries, and superaltern implies subaltern.
[1] L. Carroll, Symbolic Logic and The Game of Logic, New York: Dover, 1958.
[2] I. M. Copi and C. Cohen, Introduction to Logic, 9th ed., New York: Macmillan, 1994 pp. 214-218.

PERMANENT CITATION

 Share: Embed Interactive Demonstration New! Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details » Download Demonstration as CDF » Download Author Code »(preview ») Files require Wolfram CDF Player or Mathematica.

Related Topics

 RELATED RESOURCES
 The #1 tool for creating Demonstrations and anything technical. Explore anything with the first computational knowledge engine. The web's most extensive mathematics resource. An app for every course—right in the palm of your hand. Read our views on math,science, and technology. The format that makes Demonstrations (and any information) easy to share and interact with. Programs & resources for educators, schools & students. Join the initiative for modernizing math education. Walk through homework problems one step at a time, with hints to help along the way. Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet. Knowledge-based programming for everyone.