Formale Logik

✍ Scribed by Paul Lorenzen

• Publisher: De Gruyter
• Year: 1967
• Tongue: German
• Leaves: 216
• Series: Sammlung Göschen; 1176/1176a
• Edition: 3., durchges. und erw. Aufl. Reprint 2011
• Category: Library

✦ Table of Contents

Einleitung
I. Syllogistik
§ 1. Sprachliche Grundbegriffe
§ 2. Die syllogistischen Modi
II. Klassische Logik der Junktoren
§ 3. Konjunktion und Negation
§ 4. Adjunktion
§ 5. Das System der Junktoren
III. Kalküle der Junktorenlogik
§ 6. Kalkülisierung
§ 7. Konsistenz und Vollständigkeit
IV. Effektive Logik der Junktoren
§ 8. Affirmative Logik
§ 9. Negation
V. Logik der Quantoren
§ 10. Einsquantor und Allquantor
§ 11. Vollständigkeit und Unentscheidbarkeit
VI. Logik der Gleichheit
§ 12. Kennzeichnungen
§ 13. Abstraktion, Relationen und Funktionen
§ 14. Gleichheitskalkül
Anhang
Die dialogische Interpretation der effektiven Logik
Literaturverzeichnis
Namenverzeichnis
Sachverzeichnis
Symbolverzeichnis