Trilateral Diagrams

With the applet below you drag counters to one of the eligible positions on the trilateral diagram. This is where you formalize your premises. The conclusion is read off from the bilateral diagram on the right.

Some actions have an immediate effect. For example, a single red counter in the inner North-West square which corresponds to Some xym exist is immediately interpreted as Some xy exist. No interpretation for the trilateral diagram is provided in this case. The same happens in other cases too. For example, gray counters in the two NW cells (meaning No xym exist and No xym' exist) are not interpreted in the trilateral diagram while still leading to a meaningful configuration on the right - No xy exist.

There are two reasons for such an implementation. Firstly, many (actually most) configurations of the trilateral diagram have no meaning as premises of syllogisms (with m or m' as eliminands.) Secondly, the amount of interpretation on the left may overwhelming without having bearing on the conclusion; thus actually obscuring a valid syllogism when such one is present.

Configurations of the trilateral diagram meaningful in this context are collected in a special table.

---

If you are reading this, your browser is not set to run Java applets. Try IE11 or Safari and declare the site https://www.cut-the-knot.org as trusted in the Java setup.

---

Remark

Much as Venn diagrams, trilateral diagrams rely on our geometric intuition. When you place a red counter on the diagram you mean to make an assertion of existence. For who would doubt existence of a counter right in front of one's nose? When you say Some m are x the intention is usually to Some m exist, Some x exist, and, in addition, Some m are x. Strangely, this view point may not be logically viable. K.Devlin gives this example:

1. All green pigs are pigs. (m = "green pig", x = "pigs")
2. All green pigs are green. (m = "green pig", y = "green animal")

Therefore, Some x are y meaning that green pigs exist which may no be true. (Change the color to magenta to make the statement even less plausible.)

Formalism of Boolean Algebra easily detects this pitfall.

Lewis Carroll

• Lewis Carroll's Logic Game (an introduction)
• Controversial Venn Diagrams
  • An Excerpt from The Science of Patterns
  • From W.Dunham, The Mathematical Universe
  • Venn Diagrams applet I
  • Venn Diagrams (an interactive activity)
• Bilateral Diagrams
  • Bilateral Diagrams (a comprehensive table)
  • Bilateral Diagrams (an interactive tool) Game
• Syllogisms
• Lewis Carroll's Logic Game (trilateral diagrams)
  • Interpretation of Trilateral Diagrams
  • Lewis Carroll's Logic Game (an interactive tool)
• Sample soriteses
• Lewis Carroll's Logic Game (rules and a tool)

|Contact| |Front page| |Contents| |Up|

Copyright © 1996-2018 Alexander Bogomolny