The University of Southampton
University of Southampton Institutional Repository

Limiting logical pluralism

Limiting logical pluralism
Limiting logical pluralism
In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens (MP) and Universal Instantiation (UI). I show this through a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and (most relevantly to logical pluralism) required in the meta-logic for the adequacy of any logical system.
0039-7857
Finn, Suki
d74d44c0-38f4-4cc7-8807-92ca56c88783
Finn, Suki
d74d44c0-38f4-4cc7-8807-92ca56c88783

Finn, Suki (2019) Limiting logical pluralism. Synthese. (doi:10.1007/s11229-019-02134-8).

Record type: Article

Abstract

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens (MP) and Universal Instantiation (UI). I show this through a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and (most relevantly to logical pluralism) required in the meta-logic for the adequacy of any logical system.

Text
Finn - Limiting Logical Pluralism - Version of Record
Available under License Creative Commons Attribution.
Download (659kB)

More information

Accepted/In Press date: 8 February 2019
e-pub ahead of print date: 19 February 2019

Identifiers

Local EPrints ID: 428581
URI: http://eprints.soton.ac.uk/id/eprint/428581
ISSN: 0039-7857
PURE UUID: 504f874b-8d13-4cdd-9e66-3f7e61a6defa

Catalogue record

Date deposited: 01 Mar 2019 17:30
Last modified: 16 Mar 2024 00:19

Export record

Altmetrics

Contributors

Author: Suki Finn

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×