Evidence and the hierarchy of mathematical theories
| Abstract | It is a well-known fact of mathematical logic, by now developed in considerable detail, that formalized mathematical theories can be ordered by relative interpretability, and the "strength" of a theory is indicated by where it stands in this ordering. Mutual interpretability is an equivalence relation, and what I call an ordering is a partial ordering modulo this equivalence. Of the theories that have been studied, the natural theories belong to a linearly ordered subset of this ordering | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesBrian Weatherson (2005). True, Truer, Truest. Philosophical Studies 123 (1-2):47-70.
Michael John Healy & Thomas Preston Caudell (2006). Ontologies and Worlds in Category Theory: Implications for Neural Systems. Axiomathes 16 (1-2).
Mary Leng (2010). Mathematics and Reality. OUP Oxford.
Johan van Benthem & David Pearce (1984). A Mathematical Characterization of Interpretation Between Theories. Studia Logica 43 (3).
Johan Van Benthem & David Pearce (1984). A Mathematical Characterization of Interpretation Between Theories. Studia Logica 43 (3):295 - 303.
Gianluigi Oliveri (2006). Mathematics as a Quasi-Empirical Science. Foundations of Science 11 (1-2).
Isabella C. Burger & Johannes Heidema (1994). Comparing Theories by Their Positive and Negative Contents. British Journal for the Philosophy of Science 45 (2):605-630.
Gianluigi Oliveri (1997). Criticism and Growth of Mathematical Knowledge. Philosophia Mathematica 5 (3):228-249.
Julian C. Cole (2009). Creativity, Freedom, and Authority: A New Perspective On the Metaphysics of Mathematics. Australasian Journal of Philosophy 87 (4):589-608.
Jörgen Sjögren (2011). Indispensability, the Testing of Mathematical Theories, and Provisional Realism. Polish Journal of Philosophy 5 (2):99-116.
Susan Vineberg (1996). Confirmation and the Indispensability of Mathematics to Science. Philosophy of Science 63 (3):263.
Anthony Peressini (1999). Confirming Mathematical Theories: An Ontologically Agnostic Stance. Synthese 118 (2):257-277.
Robert Rogers (1971). Mathematical Logic and Formalized Theories. Amsterdam,North-Holland Pub. Co..
C. Juhl (2012). On the Indispensability of the Distinctively Mathematical. Philosophia Mathematica 20 (3):324-338.
Analytics
Monthly downloads |
Added to index2011-11-09Total downloads23 ( #53,813 of 549,060 )Recent downloads (6 months)1 ( #63,185 of 549,060 )How can I increase my downloads? |
My notes
Discussion
