Zusammenfassung
Daß die Quantorenlogik (und als Teil davon die Junktorenlogik) kalkülisiert werden kann, ist eine relativ späte Entdeckung. Sie gründet sich auf die Erkenntnis, daß die Begriffe der Ableitung aus Prämissen und des Beweises vollständig formalisiertar sind. Darunter ist die Tatsache zu verstehen, daß formale Ableitungen und Beweise nur auf die äußere, rein syntaktisch beschreibbare Gestalt der beteiligten Sätze Bezug nehmen. Darüber hinaus wird allgemein vorausgesetzt, daß es sich bei Ableitungen und Beweisen um entscheidbare Eigenschaften von Ausdrucksfolgen handelt, so daß man es prinzipiell einer Maschine überlassen könnte, festzustellen, ob eine angebliche Ableitung auch eine tatsächliche Ableitung bzw. ein angeblicher Beweis auch ein tatsächlicher Beweis ist. Die Entscheidbarkeit wird dadurch gewährleistet, daß Ableitungen bzw. Beweise sich aus elementaren Schritten zusammensetzen, wobei jeder dieser Schritt ein Anwendungsfall einer formalen Regel ist. ‚Formale Regel‘ist hierbei gleichbedeutend mit syntaktische Regel‘; denn eine derartige Regel hat stets die allgemeine Gestalt ‚von Ausdrücken solcher und solcher syntaktischer Struktur darf man zu einem Ausdruck von der und der syntaktischen Struktur übergehen‘.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Die Klassifikation stammt von Smullyan, [5], S. 20ff.
Für Details vgl. M. Dummett, [1], insbesondere S. 12ff.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stegmüller, W., von Kibéd, M.V. (1984). Kalküle. In: Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik. Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, Band III Strukturtypen der Logik, vol 3 / A. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61724-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-61724-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12211-1
Online ISBN: 978-3-642-61724-9
eBook Packages: Springer Book Archive