Zusammenfassung
Es darf nicht angenommen werden, daß die Konvention der typenmäßigen Mehrdeutigkeit damit, daß sie die Indizes, die die unterscheidenden Merkmale der vielen Variablensorten sind, unterdrückt, auch die Wirkung hat, die Typentheorie der einsortigen oder einfachen Quantorenlogik anzupassen. Eine Formel wie z.B.
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
© 1973 Friedr. Vieweg + Sohn GmbH, Verlag, Braunschweig
About this chapter
Cite this chapter
Van Orman Quine, W. (1973). Universelle Variablen und Zermelo. In: Mengenlehre und ihre Logik. Logik und Grundlagen der Mathematik, vol 10. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85943-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-322-85943-3_13
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-08294-9
Online ISBN: 978-3-322-85943-3
eBook Packages: Springer Book Archive