Abstract
Needles to say, there is a vast literature on model theory of first-order logic and its applications. Some references have already been given throughout the text. I will repeat some of them and will add other recommendations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Badiou, A. (2010). Being and event. London/New York: Continuum.
Bagaria, J. Set theory. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Winter 2017 ed.). https://plato.stanford.edu/archives/win2017/entries/set-theory/
Baldwin, J. T. (2017). Model theory and the philosophy of mathematical practice: Formalization without foundationalism. Cambridge: Cambridge University Press.
Button, T., & Walsh, S. (2018). Philosophy and model theory (With a historical appendix by Wilfrid Hodges). Oxford: Oxford University Press.
Hallett, M. Zermelo’s axiomatization of set theory. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Winter 2016 ed.). https://plato.stanford.edu/archives/win2016/entries/zermelo-set-theory/
Dews, P. Review of Being and Event by Alain Badiou. Notre Dame Phiosophical Reviews. https://ndpr.nd.edu/news/being-and-event/
Hodges, W. Model theory. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Fall 2013 ed.). https://plato.stanford.edu/archives/fall2013/entries/model-theory/
Hodges, W., & Scanlon, T. First-order model theory. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring 2018 ed.). https://plato.stanford.edu/archives/spr2018/entries/modeltheory-fo/
Mancosu, P. (2012). The adventure of reason. Interplay between philosophy of mathematics and mathematical logic: 1900–1940. Oxford: Oxford University Press.
Mancosu, P. (2016). Abstraction and infinity. Oxford: Oxford University Press.
Manin, Y. (2009). A course in mathematical logic for mathematicians (Graduate texts in mathematics, Vol. 53, 2nd ed., with Collboration by Boris Zilber). New York: Springer.
Mostowski, A. (1967). Thirty years of foundational studies: Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964 (Acta Philosophica Fennica, Vol. 17). Helsinki: Akateeminen Kirjakauppa.
Mostowski, A. (1979). Foundational studies: Selected works. North-Holland: Elsevier.
Reid, C. (1996). Julia, a life in mathematics (With Contributions by Lisl Gaal, Martin Davis and Yuri Matijasevich). Washington, DC: Mathematical Association of America.
Reid, C. (1996). Hilbert. New York: Springer.
Smoryński, C. (2012) Adventures in formalism. London: College Publications.
Stillwell, J. (2018). Reverse mathematics. Proofs from the inside out. Princeton: Princeton University Press.
Zalamea, F. (2012). Synthetic philosophy of contemporary mathematics. Falmouth: Urbanomic/New York: Sequence Press.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG part of Springer Nature
About this chapter
Cite this chapter
Kossak, R. (2018). Suggestions for Further Reading. In: Mathematical Logic. Springer Graduate Texts in Philosophy, vol 3. Springer, Cham. https://doi.org/10.1007/978-3-319-97298-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-97298-5_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-97297-8
Online ISBN: 978-3-319-97298-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)