Graduate studies at Western
Journal of Philosophical Logic 34 (4):333 - 362 (2005)
|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|
|Keywords||conditionals modal logic Boethius|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Eric Swanson (2012). Conditional Excluded Middle Without the Limit Assumption. Philosophy and Phenomenological Research 85 (2):301-321.
Claudio Pizzi (1993). Consequential Implication. A Correction To: ``Decision Procedures for Logics of Consequential Implication''. Notre Dame Journal of Formal Logic 34 (4):621-624.
J. Robert G. Williams (2010). Defending Conditional Excluded Middle. Noûs 44 (4):650-668.
Claudio Pizzi (2008). Aristotle's Cubes and Consequential Implication. Logica Universalis 2 (1):143-153.
Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35 (4):471-495.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Ivar Hannikainen (2011). Might-Counterfactuals and the Principle of Conditional Excluded Middle. Disputatio 4 (30):127-149.
Claudio Pizzi (1991). Decision Procedures for Logics of Consequential Implication. Notre Dame Journal of Formal Logic 32 (4):618-636.
Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.
Claudio Pizzi & Timothy Williamson (1997). Strong Boethius' Thesis and Consequential Implication. Journal of Philosophical Logic 26 (5):569-588.
Added to index2009-01-28
Total downloads24 ( #57,917 of 739,519 )
Recent downloads (6 months)1 ( #61,680 of 739,519 )
How can I increase my downloads?