PhilSci Archive

On translating between logics

Dewar, Neil (2018) On translating between logics. [Preprint]

[img]
Preview
Text
wigglesworth_1.0.pdf

Download (205kB) | Preview

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 (even in the non-logical case). 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 (which may already be found in the literature) is exhibited and shown to judge classical and intuitionistic logic to be inequivalent.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Dewar, Neilneil.dewar@lrz.uni-muenchen.de0000-0001-6623-4529
Keywords: theoretical equivalence; logic
Subjects: Specific Sciences > Mathematics > Logic
General Issues > Structure of Theories
Depositing User: Neil Dewar
Date Deposited: 09 Jan 2018 14:51
Last Modified: 09 Jan 2018 14:51
Item ID: 14268
Subjects: Specific Sciences > Mathematics > Logic
General Issues > Structure of Theories
Date: 9 January 2018
URI: https://philsci-archive-dev.library.pitt.edu/id/eprint/14268

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item