The meaning of implication.

From MaRDI portal





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)\).












This page was built for publication: The meaning of implication.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2605667)