Against the Unrestricted Applicability of Disjunction Elimination

Rerum Causae 9 (2):92-111 (2017)

Authors
Marcel Jahn
Humboldt-University, Berlin
Abstract
In this paper, I argue that the disjunction elimination rule presupposes the principle that a true disjunction contains at least one true disjunct. However, in some contexts such as supervaluationism or quantum logic, we have good reasons to reject this principle. Hence, disjunction elimination is restricted in at least one respect: it is not applicable to disjunctions for which this principle does not hold. The insight that disjunction elimination presupposes the principle that a true disjunction contains at least one true disjunct is applied to two arguments which argue for this very principle. I show that these arguments are rule-circular since they rest on disjunction elimination. I claim that rule-circularity better explains why the arguments fail than the explanations provided by Rumfitt (2015), which, for instance, rely on controversial principles about truth.
Keywords Disjunction Elimination  Rumfitt  Supervaluationism  Rule-Circularity  Philosophical Logic
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

Truth and Other Enigmas.Michael A. E. Dummett - 1978 - Harvard University Press.
Theories of Vagueness.Rosanna Keefe - 2000 - Philosophy and Phenomenological Research 67 (2):491-494.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Normal Derivability in Modal Logic.Jan von Plato - 2005 - Mathematical Logic Quarterly 51 (6):632-638.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Describing Proofs by Short Tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.
Tautology Elimination, Cut Elimination, and S5.Andrezj Indrzejczak - 2017 - Logic and Logical Philosophy 26 (4):461-471.
On the Role of Implication in Formal Logic.Jonathan Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
On the Negative Disjuntion Property.Craig Graham McKay - 2018 - Australasian Journal of Logic 15 (1).

Analytics

Added to PP index
2019-11-15

Total views
16 ( #530,024 of 2,271,602 )

Recent downloads (6 months)
16 ( #50,832 of 2,271,602 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature