Zum Hauptinhalt springen

27. Categorical Logic - Square of Opposition & Immediate Inference

 

Summary​

Zusammenfassung

Building on the previous episode about categorical propositions, this video introduces two related tools: the square of opposition (a diagram) and immediate inference (the deductions we can draw with it). Together they let us judge the truth value of related propositions and transform statements into logically equivalent ones, skills that become essential once we start analyzing arguments.

Aufbauend auf der vorigen Folge über kategoriale Propositionen führt dieses Video zwei verwandte Werkzeuge ein: das logische Quadrat (ein Diagramm) und die unmittelbare Folgerung (die Schlüsse, die wir damit ziehen können). Zusammen erlauben sie uns, den Wahrheitswert verwandter Propositionen zu beurteilen und Aussagen in logisch äquivalente umzuwandeln, Fähigkeiten, die wesentlich werden, sobald wir mit der Analyse von Argumenten beginnen.

The Square of Opposition​

Das logische Quadrat

The square is a balanced, symmetrical diagram whose four corners hold the four types of categorical proposition: A, E, I, O (read left to right, top to bottom). The two dimensions of the square encode the two features of a proposition:

Das Quadrat ist ein ausgewogenes, symmetrisches Diagramm, dessen vier Ecken die vier Typen der kategorialen Proposition enthalten: A, E, I, O (von links nach rechts, von oben nach unten gelesen). Die zwei Dimensionen des Quadrats codieren die zwei Merkmale einer Proposition:

  • Altitude (top vs. bottom) marks quantity. Universals (A, E) sit on top; particulars (I, O) sit at the base.
  • Side (left vs. right) marks quality. Affirmatives (A, I) sit on the left; negatives (E, O) on the right.
  • Die Höhe (oben vs. unten) markiert die Quantität. Universelle (A, E) sitzen oben; partikuläre (I, O) sitzen an der Basis.
  • Die Seite (links vs. rechts) markiert die Qualität. Bejahende (A, I) sitzen links; verneinende (E, O) rechts.

All relationships assume the propositions share the same subject and predicate terms. The arrows between the corners represent four kinds of relationship.

Alle Beziehungen setzen voraus, dass die Propositionen dieselben Subjekt- und Prädikatterme teilen. Die Pfeile zwischen den Ecken stellen vier Arten von Beziehung dar.

The Four Relationships​

Die vier Beziehungen

Contradictories (A↔O and E↔I) rest on the law of non-contradiction. A pair must have opposite truth values: they cannot both be true and cannot both be false. The truth of one implies the falsity of the other, and vice versa. This is the strongest link, and it always lets us infer the partner's truth value.

Kontradiktorische (A↔O und E↔I) beruhen auf dem Satz vom Widerspruch. Ein Paar muss entgegengesetzte Wahrheitswerte haben: Sie können nicht beide wahr und nicht beide falsch sein. Die Wahrheit des einen impliziert die Falschheit des anderen und umgekehrt. Dies ist die stärkste Verbindung, und sie erlaubt uns immer, den Wahrheitswert des Partners zu erschließen.

Contraries (A and E) cannot both be true, but they can both be false. So the truth of one implies the falsehood of the other, while the falsity of one tells us nothing. (Di Donato's example: belief systems treated as conjunctions of propositions: two systems can both be false, each containing a different false belief.)

Konträre (A und E) können nicht beide wahr sein, aber sie können beide falsch sein. Die Wahrheit des einen impliziert also die Falschheit des anderen, während die Falschheit des einen uns nichts sagt. (Di Donatos Beispiel: Glaubenssysteme als Konjunktionen von Propositionen behandelt: Zwei Systeme können beide falsch sein, wobei jedes eine andere falsche Überzeugung enthält.)

Subcontraries (I and O) are the mirror image: they cannot both be false, but they can both be true. The falsity of one implies the truth of the other, yet the truth of one tells us nothing about the other.

Subkonträre (I und O) sind das Spiegelbild: Sie können nicht beide falsch sein, aber sie können beide wahr sein. Die Falschheit des einen impliziert die Wahrheit des anderen, doch die Wahrheit des einen sagt uns nichts über das andere.

Alternation (subalternation) runs vertically between a superaltern (the universal above) and a subaltern (the particular below): A↔I and E↔O.

Die Subalternation verläuft vertikal zwischen einem Superalternans (dem Universellen oben) und einem Subalternans (dem Partikulären unten): A↔I und E↔O.

  • Superalternation: the truth of the upper implies the truth of the lower, but the falsity of the upper implies nothing.
  • Subalternation: the falsity of the lower implies the falsity of the upper, but the truth of the lower implies nothing.
  • Superalternation: Die Wahrheit des Oberen impliziert die Wahrheit des Unteren, aber die Falschheit des Oberen impliziert nichts.
  • Subalternation: Die Falschheit des Unteren impliziert die Falschheit des Oberen, aber die Wahrheit des Unteren impliziert nichts.

Immediate Inference​

Unmittelbare Folgerung

Immediate inference means drawing a conclusion from a single premise without the mediation of any other premise. Knowing the truth value of one proposition, the square lets us judge the other three, within limits. If "All dragons are extinct" (A) is true, then E is false (contraries), I is true (subalternation), and O is false (contradictory).

Unmittelbare Folgerung bedeutet, aus einer einzigen Prämisse ohne Vermittlung einer weiteren Prämisse eine Schlussfolgerung zu ziehen. Kennt man den Wahrheitswert einer Proposition, erlaubt uns das Quadrat, die anderen drei zu beurteilen, innerhalb von Grenzen. Wenn „Alle Drachen sind ausgestorben" (A) wahr ist, dann ist E falsch (konträr), I wahr (Subalternation) und O falsch (kontradiktorisch).

But the square also has gaps. From a false E proposition we can infer its contradictory I is true, yet A and O remain unknown: the falsity of a contrary determines nothing, and superimplication and subalternation both fail to reach them. Some corners simply cannot be deduced from certain starting points.

Aber das Quadrat hat auch Lücken. Aus einer falschen E-Proposition können wir folgern, dass ihre kontradiktorische I wahr ist, doch A und O bleiben unbekannt: Die Falschheit einer konträren bestimmt nichts, und Superimplikation und Subalternation erreichen sie beide nicht. Manche Ecken lassen sich von bestimmten Ausgangspunkten aus schlicht nicht ableiten.

Logical Equivalence and the Three Transformations​

Logische Äquivalenz und die drei Umformungen

Two propositions are logically equivalent if and only if they always share both the same truth value and the same meaning. (This is stronger than material implication, which guarantees only matching truth values.) A transformation yields a new statement, but it expresses the same proposition, since a proposition is the meaning, not the statement. Each transformation is itself a form of immediate inference. There are three:

Zwei Propositionen sind logisch äquivalent, genau dann, wenn sie immer sowohl denselben Wahrheitswert als auch dieselbe Bedeutung teilen. (Das ist stärker als die materiale Implikation, die nur übereinstimmende Wahrheitswerte garantiert.) Eine Umformung ergibt eine neue Aussage, aber sie drückt dieselbe Proposition aus, da eine Proposition die Bedeutung ist, nicht die Aussage. Jede Umformung ist selbst eine Form der unmittelbaren Folgerung. Es gibt drei:

Conversion simply swaps the subject and predicate terms. It is the simplest move, but only the contradictories E and I may be converted. "No human is a fish" converts validly to "No fish is a human." Converting an A proposition fails: "All circles are geometric figures" does not equal "All geometric figures are circles."

Die Konversion vertauscht einfach Subjekt- und Prädikatterm. Es ist der einfachste Zug, aber nur die kontradiktorischen E und I dürfen konvertiert werden. „Kein Mensch ist ein Fisch" konvertiert gültig zu „Kein Fisch ist ein Mensch". Die Konversion einer A-Proposition scheitert: „Alle Kreise sind geometrische Figuren" ist nicht dasselbe wie „Alle geometrischen Figuren sind Kreise".

Obversion takes two steps: (1) change the quality (affirmative ↔ negative) without changing the quantity, and (2) replace the predicate with its term complement (e.g. "Italian" becomes "non-Italian"). Any of the four types can be obverted. A↔E and I↔O switch under obversion. Example: "All real pizza is Italian" obverts to "No real pizza is non-Italian."

Die Obversion erfolgt in zwei Schritten: (1) die Qualität ändern (bejahend ↔ verneinend), ohne die Quantität zu ändern, und (2) das Prädikat durch sein Termkomplement ersetzen (z. B. wird aus „italienisch" „nicht-italienisch"). Jeder der vier Typen kann obvertiert werden. A↔E und I↔O wechseln bei der Obversion. Beispiel: „Alle echte Pizza ist italienisch" obvertiert zu „Keine echte Pizza ist nicht-italienisch".

Contraposition also takes two steps: (1) swap subject and predicate (as in conversion), and (2) replace each term with its complement. Like conversion it works on only two types, but here the other pair of contradictories, A and O. The original is the contraponend, the result the contrapositive. Example: "Some dessert is not ice cream" becomes "Some non-ice-cream is not non-dessert."

Die Kontraposition erfolgt ebenfalls in zwei Schritten: (1) Subjekt und Prädikat vertauschen (wie bei der Konversion) und (2) jeden Term durch sein Komplement ersetzen. Wie die Konversion funktioniert sie nur bei zwei Typen, hier aber beim anderen Paar der kontradiktorischen, A und O. Das Original ist das Kontraponend, das Ergebnis das Kontrapositiv. Beispiel: „Einige Nachspeisen sind kein Eis" wird zu „Einige Nicht-Eis sind keine Nicht-Nachspeisen".

Putting It Together​

Alles zusammenfügen

The transformations can be combined with the square to reach a target statement. Di Donato works a chained example (assuming existential import so that something capable of reasoning exists): starting from a false O proposition, he contraposes it, then applies superalternation and conversion to determine the truth value of the goal statement about humans. Different routes through the square yield the same result. The takeaway is that mastery comes through practice. The next episode turns to categorical syllogisms.

Die Umformungen lassen sich mit dem Quadrat kombinieren, um zu einer Zielaussage zu gelangen. Di Donato führt ein verkettetes Beispiel vor (unter Annahme des existenziellen Imports, sodass etwas Vernunftfähiges existiert): Ausgehend von einer falschen O-Proposition kontraponiert er sie, wendet dann Superalternation und Konversion an, um den Wahrheitswert der Zielaussage über Menschen zu bestimmen. Verschiedene Wege durch das Quadrat ergeben dasselbe Ergebnis. Die Erkenntnis ist, dass Meisterschaft durch Übung kommt. Die nächste Folge wendet sich den kategorialen Syllogismen zu.