Zusammenfassung
Die bisherige Form des logischen Kalküls ist zur präzisen Darstellung derjenigen logischen Zusammenhänge ausreichend, bei denen die Aussagen als ungetrenntes Ganzes betrachtet werden. Jedoch ist keine Rede davon, daß wir mit dem Aussagenkalkül für die Zwecke der Logik überhaupt auskommen. Zum Beispiel ist sicher das folgende ein Satz, dessen Richtigkeit sich aus rein logischen Gründen ergibt : „Wenn der Löwe ein Raubtier ist und wenn Raubtiere Fleisch fressen, so frißt der Löwe Fleisch.“ Ein anderes Beispiel für einen derartigen Satz wäre : „Wenn die ungeraden Primzahlen alle natürlichen Zahlen umfassen, und wenn eine ungerade Zahl eine natürliche Zahl ist und wenn eine Primzahl eine natürliche Zahl ist, so umfassen die ungeraden Zahlen alle natürlichen Zahlen und umfassen die Primzahlen alle natürlichen Zahlen.“ Würden wir hier „der Löwe ist ein Raubtier“ durch „Φ“, „Raubtiere fressen Fleisch“ durch „Ψ“ und „der Löwe frißt Fleisch“ durch „Γ“ abkürzen, so ließe sich zwar der erste Satz in der Form „Φ ∧ Ψ → Γ“ wiedergeben. Aber das nützt uns nichts, um den logischen Charakter der Aussage zu erkennen, da „Φ ∧ Ψ → Γ“ keine (aussagentheoretische) Tautologie ist, d. h. nicht durch Einsetzung aus einer allgemeingültigen Formel des Aussagenkalküls entsteht.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1967 Springer-Verlag Berlin · Heidelberg
About this chapter
Cite this chapter
Hilbert, D., Ackermann, W. (1967). Der Klassenkalkül. In: Grundzüge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, vol 27. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-00049-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-00049-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-00050-2
Online ISBN: 978-3-662-00049-6
eBook Packages: Springer Book Archive