A generalization of the antilogism. (Q2585193)

Verf. betrachtet endliche Systeme von Aussagen der Formen \(ab=0\), \(ab\neq 0\), \(a\neq 0\) im Sinne des Klassenkalküls. Ist das System so beschaffen, daß die Konjunktion von allen Aussagen mit Ausnahme einer einzigen die Negation der letzten impliziert, so heißt es ein Antilogismus. Z.~B. bilden die drei Aussagen \(ab=0\), \(a\neq 0\), \(a-b=0\), wobei \(-b\) die Negation von \(b\) bedeutet, einen solchen. Der Inhalt der Arbeit ist ein Beweis dafür, daß jedes System von Aussagen, das in Übereinstimmung mit vier Regeln, die er angibt, gebildet ist, einen Antilogismus darstellt. Einige Anwendungen auf die Schlüsse der traditionellen Logik werden erwähnt.