- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Vom Zahlen zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism
Philosophia Mathematica 20 (3):275-288 (2012)
Abstract
This paper sketches an answer to the question how we, in our arithmetical practice, succeed in singling out the natural-number structure as our intended interpretation. It is argued that we bring this about by a combination of what we assert about the natural-number structure on the one hand, and our computational capacities on the other handAuthor's Profile
Other Versions
No versions found
My notes
Similar books and articles
Computability, Finiteness and the Standard Model of Arithmetic.Massimiliano Carrara, Enrico Martino & Matteo Plebani - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing.
Computational Structuralism &dagger.Volker Halbach & Leon Horsten - 2005 - Philosophia Mathematica 13 (2):174-186.
Rudimentary Languages and Second‐Order Logic.Malika More & Frédéric Olive - 1997 - Mathematical Logic Quarterly 43 (3):419-426.
On the Origin and Status of our Conception of Number.William Demopoulos - 2000 - Notre Dame Journal of Formal Logic 41 (3):210-226.
Do Ante Rem Mathematical Structures Instantiate Themselves?Scott Normand - 2019 - Australasian Journal of Philosophy 97 (1):167-177.
Criteria of identity and structuralist ontology.Hannes Leitgib & James Ladyman - 2008 - Philosophia Mathematica 16 (3):388-396.
Definite totalities and determinate truth in conceptual structuralism.Matteo Zicchetti & Martin Fischer - 2024 - Synthese 203 (1):1-22.
Fitness and evolutionary explanation. [REVIEW]Henry C. Byerly & Richard E. Michod - 1991 - Biology and Philosophy 6 (1):45-53.
Analytics
Added to PP
2011-12-31
Downloads
177 (#135,938)
6 months
15 (#215,221)
2011-12-31
Downloads
177 (#135,938)
6 months
15 (#215,221)
Historical graph of downloads
Author's Profile
Citations of this work
The Representational Foundations of Computation.Michael Rescorla - 2015 - Philosophia Mathematica 23 (3):338-366.
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.
References found in this work
Wittgenstein on rules and private language: an elementary exposition.Saul A. Kripke - 1982 - Cambridge: Harvard University Press.
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
To be is to be a value of a variable (or to be some values of some variables).George Boolos - 1984 - Journal of Philosophy 81 (8):430-449.
Logicism and the ontological commitments of arithmetic.Harold T. Hodes - 1984 - Journal of Philosophy 81 (3):123-149.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2