A Mathematical Characterization of Interpretation between Theories
Studia Logica 43 (3):295 - 303 (1984)
| Abstract | Of the various notions of reduction in the logical literature, relative interpretability in the sense of Tarski et al. [6] appears to be the central one. In the present note, this syntactic notion is characterized semantically, through the existence of a suitable reduction functor on models. The latter mathematical condition itself suggests a natural generalization, whose syntactic equivalent turns out to be a notion of interpretability quite close to that of Ershov [1], Szczerba [5] and Gaifman [2]. | |||||||||
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohan van Benthem & David Pearce (1984). A Mathematical Characterization of Interpretation Between Theories. Studia Logica 43 (3).
Julian C. Cole (2009). Creativity, Freedom, and Authority: A New Perspective On the Metaphysics of Mathematics. Australasian Journal of Philosophy 87 (4):589-608.
Otávio Bueno (2008). Truth and Proof. Manuscrito 31 (1).
Krzysztof Wójtowicz (1998). Unification of Mathematical Theories. Foundations of Science 3 (2):207-229.
Maarten Rijke (1991). A Note on the Interpretability Logic of Finitely Axiomatized Theories. Studia Logica 50 (2):241 - 250.
Mary Leng (2010). Mathematics and Reality. OUP Oxford.
Charles Parsons (2008). Mathematical Thought and its Objects. Cambridge University Press.
Vedran Čačić & Domagoj Vrgoč (2013). A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. Studia Logica 101 (1):31-44.
M. Lange (2010). What Are Mathematical Coincidences (and Why Does It Matter)? Mind 119 (474):307-340.
Franco Montagna & Duccio Pianigiani (2013). A Short Note on Essentially Σ1 Sentences. Logica Universalis 7 (1):103-111.
Gianluigi Oliveri (1997). Criticism and Growth of Mathematical Knowledge. Philosophia Mathematica 5 (3):228-249.
Steven Ericsson-Zenith (forthcoming). Explaining Experience In Nature: The Foundations Of Logic And Apprehension. Institute for Advanced Science & Engineering.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
