Die Gründe, die C. I. Lewis [5], [6] bewogen haben, neben der gewöhnlichen Implikation eine strikte Implikation einzuführen, sind bekannt. In der vorliegenden Arbeit wird aus ähnlichen Gründen eine strenge Implikation eingeführt, die jedoch einen engeren Begriff darstellt als die strikte Implikation. Mit einer Arbeit von Arnold Schmidt [7] hat meine nur geringe Berührungspunkte, da der Verfasser sich mit der strikten Implikation beschäftigt. Für diese wird ein relativ einfaches Axiomensystem angegeben und gezeigt, wie man durch geeignete Definitionen von Notwendigkeit und (...) Möglichkeit bei eventueller Hinzufügung von Zusatzaxiomen die bekannten Systeme des Modalitätenkalküls erhält. Den Hauptteil meiner Arbeit bildet die Einführung meines Implikationsbegriffs; im zweiten Teil der Arbeit komme ich dann auf dieser Basis auch zu einer Einführung der Modalitäten.Um die Art der Einführung des Kalküls zu motivieren, wollen wir kurz auf das eingehen, das uns mehr oder weniger deutlich vorschwebt, wenn wir von der strengen Implikation sprechen. Die strenge Implikation, die wir durchA → Bwiedergeben, soll ausdrücken, daß zwischenAundBein logischer Zusammenhang besteht, daß der Inhalt vonBein Teil des Inhaltes vonAist, oder wie wir es sonst ausdrücken wollen. Das hat mit der Richtigkeit oder Falschheit vonAundBnichts zu tun. So würde man die Allgemeingültigkeit einer FormelA→ (B → A) ablehnen, da sie den Schluß vonAaufB → Aeinschließt und da die Richtigkeit vonAnichts damit zu tun hat, ob zwischenBundAein logischer Zusammenhang besteht. (shrink)

Die von Jens Timmermann besorgte Neuausgabe innerhalb der Philosophischen Bibliothek bietet den vollständigen Wortlaut der beiden Originalausgaben von 1781 und 1787. Der Kantische Text wurde unter Wahrung der Interpunktion und sprachlicher Eigenheiten sehr behutsam an die heutigen orthographischen Regeln angeglichen. Die semantisch bedeutenden Korrekturvorschläge späterer Herausgeber (nicht nur der Akademie-Ausgabe) sind, wo sie nicht in den Text Aufnahme gefunden haben, am Fuß der Seite verzeichnet. Alle wesentlichen Unterschiede zwischen den Originalausgaben sind durch Kursivdruck hervorgehoben, größere Abweichungen ganzer Textstücke - etwa (...) in der Einleitung und im Kapitel über Phaenomena und Noumena - wurden synoptisch gegenübergestellt, so daß Art und Umfang der Umarbeitung unmittelbar abgelesen werden können. Die durchgängig neu bearbeitete Studienausgabe folgt in den Grundprinzipien der seit 1926 in Forschung und Lehre maßgeblichen Ausgabe von Raymund Schmidt, die hiermit abgelöst wird. Sie wird ergänzt durch eine umfangreiche Bibliographie von Heiner Klemme sowie durch einen ausführlichen Personen- und Sachindex. (shrink)

T. J. Smiley; XII.—Entailment and Deducibility, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 233–254, https://doi.org/10.1093.

PART ONE ELEMENTS OF SCHOLASTIC LOGIC I THE LEGACY OF SCHOLASTIC LOGIC "\ T 7E MAY safely describe the initial scholastic contri- VV bution to logical ...

Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather to present (...) some information about rigorous implication. In particular, we show first that the structure of modalities (in the sense of Parry [4]) in Ackermann's system is identical with the structure of modalities in Lewis's S4, and secondly that (Ackermann's apparent conjecture to the contrary notwithstanding) it is possible to define modalities with the help of rigorous implication. (shrink)

This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.