On alternative logics. (Q2614114)

Verf. sagt, daß der Grund zu der Auffassung, daß mehrere Systeme der Logik existieren, darin liegt, daß man den Aussagen mehrere Werte beilegen und die Implikation verschieden definieren kann. Er meint aber, daß der Unterschied zwischen den Systemen bloß formal ist, und daß sie im Grunde dieselbe Logik darstellen. Es gibt nach seiner Ansicht nur eine einzige Logik, welche Antezedenten und Konsequenten notwendig verbindet, und er zeigt durch Beispiele, wie die Schlüsse innerhalb aller Systeme durch ``entailment'' zustande kommen. Dabei ist ``entailment'' unter anderem so definierbar: Die Konjuktion des Antezedenten und der Verneinung des Konsequenten stellt einen Widerspruch dar.