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

Marcel Jahn
Humboldt-University, Berlin
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)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
Vagueness.Timothy Williamson - 1994 - Routledge.
Truth and Other Enigmas.Michael A. E. Dummett - 1978 - Harvard University Press.

View all 17 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).


Added to PP index

Total views
102 ( #100,417 of 2,427,440 )

Recent downloads (6 months)
20 ( #38,805 of 2,427,440 )

How can I increase my downloads?


My notes