Analysis 78 (4):any001 (2018)

Authors
Neil Dewar
Cambridge University
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

PhilArchive copy


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

References found in this work BETA

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

View all 17 references / Add more references

Citations of this work BETA

What Theoretical Equivalence Could Not Be.Trevor Teitel - 2021 - Philosophical Studies (12):1-31.
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
82 ( #132,765 of 2,455,409 )

Recent downloads (6 months)
7 ( #98,283 of 2,455,409 )

How can I increase my downloads?

Downloads

My notes