Synonymous logics

Journal of Philosophical Logic 32 (3):259-285 (2003)

Alasdair Urquhart
University of Toronto, St. George
This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are "synonymous" or "translationally equivalent." We discuss a proposed formal definition of translational equivalence, show why it is reasonable, and also discuss its relation to earlier definitions in the literature. We also give a simple criterion for showing that two modal logics are not translationally equivalent, and apply this to well-known examples. Some philosophical morals are drawn concerning the possibility of having two logical systems that are "empirically distinct" but are both translationally equivalent to a common logic
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1024248828122
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,066
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.

View all 25 references / Add more references

Citations of this work BETA

Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.

View all 22 citations / Add more citations

Similar books and articles


Added to PP index

Total views
34 ( #277,847 of 2,311,312 )

Recent downloads (6 months)
1 ( #753,648 of 2,311,312 )

How can I increase my downloads?


My notes

Sign in to use this feature