Conditional Excluded Middle in Systems of Consequential Implication

Journal of Philosophical Logic 34 (4):333-362 (2005)
  Copy   BIBTEX


It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances of CEM are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional.



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Strong Boethius' thesis and consequential implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.
Conditional Excluded Middle without the Limit Assumption.Eric Swanson - 2012 - Philosophy and Phenomenological Research 85 (2):301-321.
Aristotle’s Cubes and Consequential Implication.Claudio Pizzi - 2008 - Logica Universalis 2 (1):143-153.
Conditional excluded middle.Charles B. Cross - 2009 - Erkenntnis 70 (2):173-188.
Contenability and the Logic of Consequential Implication.Claudio Pizzi - 2004 - Logic Journal of the IGPL 12 (6):561-579.
Jonathan Bennett on 'even if'.Charles B. Cross - 1985 - Linguistics and Philosophy 8 (3):353-357.
Excluded middle.Hugh S. Chandler - 1967 - Journal of Philosophy 64 (24):807-814.
A Defense of Conditional Excluded Middle.Robert C. Stalnaker - 1981 - In William Leonard Harper, Robert Stalnaker & Glenn Pearce (eds.), Ifs. Dordrecht: D. Reidel. pp. 87-104.
Conditional Excluded Middle.Charles B. Cross - 2009 - Erkenntnis 70 (2):173-188.
The Law of Excluded Middle and the Problem of Idealism.Marian Przełecki - 1982 - Grazer Philosophische Studien 18 (1):1-16.
No fact of the matter.Hartry Field - 2003 - Australasian Journal of Philosophy 81 (4):457 – 480.


Added to PP

97 (#179,373)

6 months
12 (#220,388)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Claudio Pizzi
Università degli Studi di Siena
Timothy Williamson
University of Oxford

Citations of this work

Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.
Conditional Excluded Middle without the Limit Assumption.Eric Swanson - 2012 - Philosophy and Phenomenological Research 85 (2):301-321.
Bare conditionals in the red.Elena Herburger - 2019 - Linguistics and Philosophy 42 (2):131-175.

View all 7 citations / Add more citations

References found in this work

Counterfactuals.David K. Lewis - 1973 - Malden, Mass.: Blackwell.
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
Studies in Logical Theory.Robert Stalnaker - 1968 - Oxford: Blackwell.

View all 15 references / Add more references