Mathematische Gesetze der Logik I: Vorlesungen über Aussagenlogik

Front Matter....Pages II-XXIV
Vorläufige Abgrenzung der Aussagenlogik....Pages 1-4
Das Deduktionstheorem und Anschließendes....Pages 179-188
Normaldeduktive alternäre ∨⌝-Aussagenlogik....Pages 188-203
Normaldeduktive alternäre →⌝Aussagenlogik....Pages 203-217
Natürliche alternäre aufschichtende Aussagenlogik....Pages 217-233
Kürzungserweiterte aufschichtende Aussagenlogik....Pages 233-248
Schnittelimination beim natürlichen, kürzungserweiterten Kodifikat K ....Pages 248-258
Aufschichtende alternäre ∨⌝-Logik....Pages 259-267
Grundlegende Gesetze des B oole schen Verbandes....Pages 4-29
Strukturelle Einblicke in die logische Algebra....Pages 29-45
Widerspruchsfreiheit, Vollständigkeit und Entscheidungsdefinitheit der logischen Algebra....Pages 45-53
Zusätze zum Ausbau und zur Interpretation der logischen Algebra....Pages 53-67
Algebra der →⌝-Logik....Pages 67-76
Wahrheitswertung, Verknüpfungsbasen....Pages 76-98
Wahrformen....Pages 98-112
Verallgemeinerte Wahrheitswertung (Quasiwahrheitswertung)....Pages 113-128
Kodifikation....Pages 128-138
Grundlegende syntaktische Begriffsbildungen....Pages 138-155
Grundsätzliches zur deduktiven Aussagenlogik....Pages 155-179
Das Ziel der nichtalternären Logik....Pages 268-271
Die aufschichtende Behandlung der derivativen und der intuitionistischen Aussagenlogik....Pages 375-390
Die Angemessenheit der aufschichtenden Kodifikate....Pages 390-396
Die Modalitäten „notwendig“ und „möglich“ in der strikten Logik....Pages 464-477
Die Modalitätenaxiome. Verschärfte strikte Logik....Pages 477-499
Entscheidungsverfahren für die verscharfte strikte Logik....Pages 500-517
Die Modalitäten „offen“ und „zufällig“ in der strikten Logik....Pages 517-529
Vorbereitung des Entscheidungsverfahrens....Pages 397-409
Das Entscheidungsverfahren....Pages 409-428
Einführendes zur strikten Logik....Pages 429-430
Engere strikte Aussagenlogik....Pages 430-451
Eine erste Erweiterung der strikten Logik....Pages 452-464
Derivative →- und →⌝-Logik....Pages 271-285
Derivative →∧- und →∧⌝-Logik....Pages 285-296
Entwickelnde derivative Implikationslogik....Pages 296-320
Natürliche derivative Logik....Pages 320-342
Die normaldeduktive Behandlung der intuitionistischen Aussagenlogik....Pages 342-358
Charakteristische Eigenschaften der intuitionistischen Aussagenlogik....Pages 358-374
Back Matter....Pages 530-555