A mathematical characterization of interpretation between theories
Studia Logica 43 (3) (1984)
| Abstract | Of the various notions of reduction in the logical literature, relative interpretability in the sense of Tarskiet 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 | ||||||||||
| 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 |
 |
| Through your library | Configure |
Similar books and articlesGianluigi Oliveri (1997). Criticism and Growth of Mathematical Knowledge. Philosophia Mathematica 5 (3):228-249.
M. Lange (2010). What Are Mathematical Coincidences (and Why Does It Matter)? Mind 119 (474):307-340.
Charles Parsons (2008). Mathematical Thought and its Objects. Cambridge University Press.
Maarten Rijke (1991). A Note on the Interpretability Logic of Finitely Axiomatized Theories. Studia Logica 50 (2):241 - 250.
Krzysztof Wójtowicz (1998). Unification of Mathematical Theories. Foundations of Science 3 (2):207-229.
Otávio Bueno (2008). Truth and Proof. Manuscrito 31 (1).
Julian C. Cole (2009). Creativity, Freedom, and Authority: A New Perspective On the Metaphysics of Mathematics. Australasian Journal of Philosophy 87 (4):589-608.
Johan Van Benthem & David Pearce (1984). A Mathematical Characterization of Interpretation Between Theories. Studia Logica 43 (3):295 - 303.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads12 ( #93,337 of 549,065 )Recent downloads (6 months)1 ( #63,185 of 549,065 )How can I increase my downloads? |
My notes
Discussion
