|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Brian 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.
Added to index2011-11-09
Total downloads23 ( #53,813 of 549,060 )
Recent downloads (6 months)1 ( #63,185 of 549,060 )
How can I increase my downloads?