A mathematical treatment of the rules of the syllogism. (Q2605665)

Verf. gibt hier eine abstrakte, mathematische Behandlung der syllogistischen Regeln der traditionellen Logik. Einen Syllogismus definiert er als eine Formel der Gestalt \(f_1(a, b)\cdot f_2(b, c)\cdot\supset\cdot f_3(a, c)\). Die Funktionen \(f\) genügen hierbei gewissen Postulaten; die \(a\), \(b\), \(c\) bedeuten Klassen. Mit Hilfe der Postulate lassen sich, ohne erst die Funktionen zu spezialisieren, eine Reihe von Sätzen über Syllogismen beweisen. Es werden dann verschiedene Beispiele von Funktionen gegeben, die die verlangte Eigenschaft haben.