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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1957 Springer-Verlag Wien
About this chapter
Cite this chapter
Stegmüller, W. (1957). Semantik, Quantifikationstheorie und Metamathematik. In: Das Wahrheitsproblem und die Idee der Semantik. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3624-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-7091-3624-9_13
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-3625-6
Online ISBN: 978-3-7091-3624-9
eBook Packages: Springer Book Archive