Abstract
The paper presents a non-monotonic inference relation on a language containing a conditional that satisfies the Ramsey Test. The logic is a weakening of classical logic and preserves many of the ‘paradoxes of implication’ associated with the material implication. It is argued, however, that once one makes the proper distinction between supposing that something is the case and accepting that it is the case, these ‘paradoxes’ cease to be counterintuitive. A representation theorem is provided where conditionals are given a non-bivalent semantics and epistemic states are represented via preferential models.
Similar content being viewed by others
References
Adams E.W. (1975) The logic of conditionals. Reidel, Dordrecht
Alchourrón C., Gärdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50: 510–530
Arló-Costa, H. (1995). Epistemic conditionals, snakes and stars. In L. Farinas del Cerro, G. Crocco, & A. Herzig (Eds.), Conditionals, from philosophy to computer science (pp. 193–239). Oxford University Press. Vol. 5 of Studies in Logic and Computation, Series editor: D.M. Gabbay.
Arló-Costa H. (1999) Belief revision conditionals: Basic iterated systems. Annals of Pure and Applied Logic 96: 3–28
Arló-Costa, H. (2007). The logic of conditionals. Stanord Encyclopedia of Philosophy.
Bennett J.F. (2003) A philosophical guide to conditionals. Oxford University Press, Oxford
Brandom R. (1994) Making it explicit. Harvard University Press, Cambridge
Broome, J. (2001). Normative practical reasoning. Proceeding of the Aristotelian Society (pp. 175–193). Supplementary Volume 75.
Broome J. (2002) Practical reasoning. In: Bermùdez J., Millar A.(eds) Reason and nature: Essays in the theory of rationality. Oxford University Press, Oxford, pp 85–111
Cantwell J. (2008a) Indicative conditionals: Factual or epistemic?. Studia Logica 88: 157–194
Cantwell J. (2008b) The logic of conditional negation. Notre Dame Journal of Formal Logic 49(3): 245–260
Dummett M. (1997) Elements of intuitionism. Clarendon Press, Oxford
Edgington D. (1995) On conditionals. Mind 104: 235–329
Gabbay, D. (1985). Theoretical foundation for non-monotonic reasoning in expert systems. In Proceeding NATO Advanced Study Institute on Logics and Models of Concurrent Systems (pp. 439–457). Berlin: Springer.
Gärdenfors P., Makinson D. (1991) Relations between the logic of theory change and nonmonotonic logic. In: Fuhrmann A., Morreau M.(eds) The logic of theory change. Springer Verlag, Berlin
Gentzen, G. Investigations into logical deduction. In M. E. Szabo (Ed.), In the collected works of Gerhard Gentzen. Amsterdam: North Holland.
Hansson S.O. (1992) In defense of the Ramsey test. Journal of Philosophy 89: 522–540
Klaus S., Lehmann D., Magidor M. (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44: 167–207
Levi I. (1988) Iteration of conditionals and the Ramsey test. Synthese 76: 49–81
Levi I. (1996) For the sake of the argument. Cambridge University Press, Cambridge
Lewis D. (1976) Probabilities of conditionals and conditional probabilities. Philosophical Review 85: 297–315
McGee V. (1985) A counterexample to modus ponens. Journal of Philosophy 82: 462–471
Politzer G. (2007) Reasoning with conditionals. Topoi 26: 79–95
Prawitz, D. (1965). Natural deduction: A proof-theoretical study. Almqvist & Wiksell.
Quine W.V.O. (1950) Methods of logic. Holt, Rheinhart and Winston., New York
Ramsey, F.P. (1929/1990). Law and causality. In D. H. Mellor (Ed.), F. P. Ramsey: Philosophical papers. Cambridge: Cambridge University Press.
Stalnaker, R. (1975). Indicative conditionals. Philosophia, 5, 269–286. Reprinted in Ifs, ed. W. L. Harper, R. Stalnaker and G. Pearce 1976 by Reidel.
Weatherson B. (2001) Indicative and subjunctive conditionals. The Philosophical Quarterly 51(203): 200–216
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cantwell, J. Conditionals in reasoning. Synthese 171, 47–75 (2009). https://doi.org/10.1007/s11229-008-9379-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-008-9379-6