Article Title：Synonymous logics (Translation functions, translationally equivalent logics)
Abstract：
This paper discusses the general problem fo 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 fo 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: modal logic; synonymy; translation
DOI: 10.1023/A:1024248828122
Source：JOURNAL OF PHILOSOPHICAL LOGIC
Welcome to correct the error, please contact email: humanisticspider@gmail.com
