The meaning of implication. (Q2605667)

Der Verf. diskutiert das Problem der Bedeutung der Implikation des gewöhnlichen Sprachgebrauchs. Im ersten Teil seiner Abhandlung untersucht er die Implikation in drei Logiksystemen: die klassische (``\(\supset\)'') von \textit{Whitehead-Russell}, die ``strict implication'' (``\(\prec\)'') von \textit{C. I. Lewis} und endlich die der intensionalen Logik von \textit{E. J. Nelson} (``\(E\)''). Er stellt fest, daß diese Kalkülzeichen nicht den wahren Sinn der Implikation der Sprache des täglichen Lebens wiedergeben, sondern zu ``Paradoxien'' Anlaß geben (natürlich nicht innerhalb der Systeme, in denen sie auftreten). Im zweiten Teil des Aufsatzes versucht der Verf. eine Klärung herbeizuführen dadurch, daß er unterscheidet zwischen zwei Arten der Implikation: einmal ``\(p\to q\)'', welches eine ``innere Beziehung'' zwischen \(p\) und \(q\) darstellt, und ``\(p\rightarrowtail q\)'', welches gleichbedeutend ist mit der Aussage: ``\(p\) ist unmöglich oder \(q\) ist notwendig'' (nicht-ausschließendes oder). Es gilt etwa: ``\(A\) ist größer als \(B\to\;B\) ist kleiner als \(A\)'', und ``\(p\rightarrowtail-(q-q)\)''.