Zusammenfassung
Wir wollen im folgenden in intuitiver Weise einige fundamentale Begriffe erläutern, die in der Metamathematik oder Beweistheorie eine wichtige Rolle spielen. Von „intuitiven Betrachtungen“ sprechen wir deshalb, weil wir jene Kalküle, auf die sich diese Begriffe beziehen, gar nicht im Detail aufbauen und somit natürlich auch nicht Beweise von metamathematischen Theoremen geben können. Dagegen dürfte diese Erläuterung genügen, um die Funktion der syntaktischen und semantischen Begriffe in derartigen Betrachtungen klarzulegen und den Zweck beweistheoretischer Untersuchungen sowie den Sinngehalt einiger bedeutender metamathematischer Theoreme zu verstehen. In einem zweiten Teil soll dann wenigstens für die Quantifikationstheorie ein präziser Aufbau der Semantik skizziert werden.
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.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1968 Springer-Verlag/Wien
About this chapter
Cite this chapter
Stegmüller, W. (1968). Semantik, Quantifikationstheorie und Metamathematik. In: Das Wahrheitsproblem und die Idee der Semantik. Springer, Vienna. https://doi.org/10.1007/978-3-7091-8204-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-7091-8204-8_13
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-8205-5
Online ISBN: 978-3-7091-8204-8
eBook Packages: Springer Book Archive