In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284-298 (2017)

Authors
Alexander W. Kocurek
Cornell University
Abstract
In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic.
Keywords translation  notational variant  logical equivalence  intertranslatability  Lindenbaum-Tarski algebras
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Wittgenstein and Logic.Montgomery Link - 2009 - Synthese 166 (1):41-54.
Three-Valued Logics in Modal Logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Synonymous Logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Logics and Operators.Janusz Czelakowski - 1995 - Logic and Logical Philosophy 3:87-100.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Note on Grammatical Translations of Logical Calculi.Stanislaw Krajewski - 1992 - Archive for Mathematical Logic 31 (4):259-262.
Henry M. Sheffer and Notational Relativity.Alasdair Urquhart - 2012 - History and Philosophy of Logic 33 (1):33 - 47.
Contra-Classical Logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Translation Paradox and Logical Translation.Tzu-Keng Fu - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:39-45.

Analytics

Added to PP index
2018-11-21

Total views
52 ( #177,122 of 2,324,595 )

Recent downloads (6 months)
30 ( #22,388 of 2,324,595 )

How can I increase my downloads?

Downloads

My notes