Abstract
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.
Similar content being viewed by others
References
Chagrov, A. and Zakharyaschev, M. (1997) Modal Logic, Clarendon Press, Oxford.
Dummett, M. (1993) The Seas of Language, Clarendon Press, Oxford.
Hughes, G. and Cresswell, M. (1996) A New Introduction to Modal Logic, Routledge, London.
Lemmon, E. J. and Scott, D. (1977) The “Lemmon Notes”: An Introduction to Modal Logic, K. Segerberg (ed.), Blackwell, Oxford.
Lewis, D. (1973) Counterfactuals, Blackwell, Oxford.
Lewis, D. (1974) Intensional logics without iterative axioms, J. Philos. Logic 3, 457–466.
Makinson, D. (1971) Some embedding theorems in modal logic, Notre Dame J. Formal Logic 12, 252–254.
McCall, S. (1975) Connexive implication, in A. R. Anderson and N. Belnap (eds.), Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, Princeton.
Meyer, R. K. (1977) The poor man's connexive implication, Relevant Logic Newsletter 2, 117–124.
Nasti, M. (2004) From Aristotle's syllogistic to Stoic conditionals: Holzwege or detectable paths?, Topoi 23, 113–137.
Pizzi, C. (1991) Decision procedures for logics of consequential implication, Notre Dame J. Formal Logic 32, 618–636.
Pizzi, C. (1993) Consequential implication: A correction, Notre Dame J. Formal Logic 34, 621–624.
Pizzi, C. (2004) Aristotle's Thesis between paraconsistency and modalization, J. Appl. Logic 3, 119–131.
Pizzi, C. and Williamson, T. (1997) Strong Boethius' Thesis and consequential implication, J. Philos. Logic 26, 569–588.
Stalnaker, R. (1968) A theory of conditionals, in N. Rescher (ed.), Studies in Logical Theory (American Philosophical Quarterly Monograph No. 2), Blackwell, Oxford.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pizzi, C., Williamson, T. Conditional Excluded Middle in Systems of Consequential Implication. J Philos Logic 34, 333–362 (2005). https://doi.org/10.1007/s10992-005-0555-6
Issue Date:
DOI: https://doi.org/10.1007/s10992-005-0555-6