Zusammenfassung
Wir teilen die Logik auf in die Aussagenlogik (die Logik von „und“, „oder“ und „nicht“) und die Prädikatenlogik (die Logik der Relationen zwischen Einzelobjekten x, y, z, ... sowie der Quantoren „für alle x“ und „es gibt ein x“). Man könnte sagen, dass die Aussagenlogik der „endliche Anteil“ der Prädikatenlogik ist. Beide Arten der Logik sind konsistent und vollständig: Sie erzeugen keine Widersprüche und beweisen alle gültigen Aussagen, also alle Aussagen, die unter jeder Interpretation der Variablen wahr sind. Die Konsistenz der Logik ist recht trivial, aber ihre Vollständigkeit ist eine durchaus bemerkenswerte Eigenschaft (und steht in scharfem Kontrast zur Situation bei der Arithmetik, welche den gödelschen Unvollständigkeitssätzen unterliegt). Eine Möglichkeit, die Vollständigkeit der Logik zu beweisen, beruht auf der Konstruktion eines Systems für logische Ableitungen, das ganz ohne die Verwendung des Modus Ponens (auch Schnittregel genannt) auskommt, also ohne die altehrwürdige Schlussregel, dass, wenn A gilt und B aus A folgt, wir dann auch B folgern können.
Notes
- 1.
„Prädikate“ sind das, was heutzutage Eigenschaften genannt wird, und diese wiederum sind ein Spezialfall der Relationen (nämlich solche mit nur einem Argument). Vielleicht wäre der Begriff „Relationenlogik“ besser geeignet, aber das hat sich niemals durchgesetzt. Nur im 19. Jahrhundert sprachen Logiker eine Zeit lang von der „Logik der Relationswörter“ („logic of relatives“).
- 2.
Zugegeben: Aussagen der Form \(\neg(\forall x)\mathcal{A}(x)\) werden den ganzen Ast hinunter mitgeführt; allerdings erzeugen sie Disjunkte der Form \(\neg\mathcal{A}(a_{i})\), die weiter aufgegliedert werden können.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stillwell, J. (2014). Logik. In: Wahrheit, Beweis, Unendlichkeit. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37844-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-37844-7_4
Published:
Publisher Name: Springer Spektrum, Berlin, Heidelberg
Print ISBN: 978-3-642-37843-0
Online ISBN: 978-3-642-37844-7
eBook Packages: Life Science and Basic Disciplines (German Language)