Back to Search
Start Over
Mutual translatability, equivalence, and the structure of theories.
- Source :
- Synthese; Jun2022, Vol. 200 Issue 3, p1-22, 22p
- Publication Year :
- 2022
-
Abstract
- This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually ‘surjectively’ translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00397857
- Volume :
- 200
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Synthese
- Publication Type :
- Academic Journal
- Accession number :
- 157159939
- Full Text :
- https://doi.org/10.1007/s11229-022-03733-8