On translating between logics

Analysis 78 (4):any001 (2018)

Authors
Neil Dewar
Ludwig Maximilians Universität, München
Abstract
In a recent paper, Wigglesworth claims that syntactic criteria of theoretical equivalence are not appropriate for settling questions of equivalence between logical theories, since such criteria judge classical and intuitionistic logic to be equivalent; he concludes that logicians should use semantic criteria instead. However, this is an artefact of the particular syntactic criterion chosen, which is an implausible criterion of theoretical equivalence. Correspondingly, there is nothing to suggest that a more plausible syntactic criterion should not be used to settle questions of equivalence between different logical theories; such a criterion is exhibited and shown to judge classical and intuitionistic logic to be inequivalent.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1093/analys/any001
Options
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: 47,201
Through your library

References found in this work BETA

Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
Consciousness and Moral Responsibility.Neil Levy - 2014 - Oxford University Press.

View all 17 references / Add more references

Citations of this work BETA

Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods - 2018 - Thought: A Journal of Philosophy 7 (1):58-68.
Individuating Logics: A Category‐Theoretic Approach.John Wigglesworth - 2019 - Thought: A Journal of Philosophy 8 (3):200-208.

Add more citations

Similar books and articles

Intertranslatability, Theoretical Equivalence, and Perversion.Jack Woods - 2018 - Thought: A Journal of Philosophy 7 (1):58-68.
Morita Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Review of Symbolic Logic 9 (3):556-582.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Glymour and Quine on Theoretical Equivalence.Thomas William Barrett & Hans Halvorson - 2016 - Journal of Philosophical Logic 45 (5):467-483.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
What is Metaphysical Equivalence?Kristie Miller - 2005 - Philosophical Papers 34 (1):45-74.
Synonymous Logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Abductive Equivalence in First-Order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.

Analytics

Added to PP index
2018-02-28

Total views
53 ( #168,654 of 2,289,860 )

Recent downloads (6 months)
18 ( #44,877 of 2,289,860 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature