Erkenntnis:1-25 (forthcoming)

Authors
Georg Schiemer
University of Vienna
Holger Andreas
University Of British Columbia, Okanagan
Abstract
In this paper, we aim to explore connections between a Carnapian semantics of theoretical terms and an eliminative structuralist approach in the philosophy of mathematics. Specifically, we will interpret the language of Peano arithmetic by applying the modal semantics of theoretical terms introduced in Andreas :367–383, 2010). We will thereby show that the application to Peano arithmetic yields a formal semantics of universal structuralism, i.e., the view that ordinary mathematical statements in arithmetic express general claims about all admissible interpretations of the Peano axioms. Moreover, we compare this application with the modal structuralism by Hellman, arguing that it provides us with an easier epistemology of statements in arithmetic.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s10670-021-00378-w
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,944
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

What Numbers Could Not Be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.

View all 41 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Choice-Semantical Approach to Theoretical Truth.Holger Andreas & Georg Schiemer - 2016 - Studies in History and Philosophy of Science Part A 58:1-8.
Modal Structuralism Simplified.Sharon Berry - 2018 - Canadian Journal of Philosophy 48 (2):200-222.
What Numbers Could Be (and, Hence, Necessarily Are).Mark Eli Kalderon - 1996 - Philosophia Mathematica 4 (3):238-255.
A System of Arithmetic in Modal Logic.Lee Merrill Davidson - 1981 - Dissertation, Yale University
Modal Structuralism and Theism.Silvia Jonas - forthcoming - In Fiona Ellis (ed.), New Models of Religious Understanding. Oxford: Oxford University Press.
Modal Structuralism and Reflection.Sam Roberts - 2019 - Review of Symbolic Logic 12 (4):823-860.
Computational Structuralism &Dagger.Volker Halbach & Leon Horsten - 2005 - Philosophia Mathematica 13 (2):174-186.
A Scholastic-Realist Modal-Structuralism.Ahti-Veikko Pietarinen - 2014 - Philosophia Scientiae 18:127-138.
Structuralism Without Structures.Hellman Geoffrey - 1996 - Philosophia Mathematica 4 (2):100-123.

Analytics

Added to PP index
2021-05-10

Total views
8 ( #1,002,300 of 2,498,153 )

Recent downloads (6 months)
5 ( #140,331 of 2,498,153 )

How can I increase my downloads?

Downloads

My notes