Skip to main content
Log in

Can reductio Arguments Defeat the Hypothesis that Ideal Conceivability Entails Possibility?

  • Published:
Philosophia Aims and scope Submit manuscript

Abstract

Howell Pacific Philosophical Quarterly, 89(3), 348–358 (2008) and Mizrahi and Morrow Ratio, 28(1), 1–13 (2015) offer a group of reductio arguments to rebut the CP thesis, i.e., the hypothesis that ideal conceivability entails possibility. Each of them has a conceivability premise: it is ideally conceivable that CP is false (or is necessarily false). According to the same CP, one can infer that CP’s being false (or being necessarily false) is possible, from which it follows that CP is false. In other words, CP is shown to be self-defeating and therefore false if any of these reductio arguments is proved sound. In this paper, I aim to disprove these arguments. I first show that neither Howell nor Mizrahi & Morrow provide adequate justification for their conceivability premises. I go on to argue that these reductio arguments face a dilemma: either their conceivability premises cannot be adequately justified, or they are redundant. Finally, I argue that, although this dilemma resists the reductio arguments against CP, on the other hand, it also reveals that CP lacks epistemic fruitfulness: it is of no practical use in the realm of apriority as well as necessity.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. In this paper, the term ‘possibility’ without further qualification refers to metaphysical possibility, which is widely accepted as primitive, agent-independent, and the basic conception of ‘how things could have been’. See Gendler and Hawthorne (2002), p. 3; Vaidya (2017).

  2. See Chalmers (2002), p. 147.

  3. See Chalmers (2002), p. 153. As to the notion of verification, Chalmers does not provide an explicit characterization. I will say more about it in fn. 6 of this paper.

  4. Here, by logically possible, I mean contradiction-free, i.e., coherent. I will elaborate on the notion of logical possibility in Section 2.

  5. See Chalmers (2002), p. 149.

  6. See Chalmers (2002), p. 153. In this paper, I take verification as equivalent to entailment for two reasons. First, Chalmers analogizes it to entailment: ‘verification of a statement by an imagined situation is broadly analogous to an entailment of one statement by another (a priori entailment, in the central cases)’. Second, Mizrahi & Morrow read verification as entailment: to show that the falsity of CP + is ideally positively conceivable, they resort to a Spinozistic deity, whose existence ‘entails’ the falsity of CP+. Since I aim to argue against them in this paper, it will do no harm to my argument if I follow their reading. See Chalmers (2002), p. 152; Mizrahi and Morrow (2015), p. 7.

  7. Chalmers (2002), p. 171.

  8. Chalmers, p. 123.

  9. Chalmers (2010), p. 191.

  10. Chalmers (2010), p. 185.

  11. So, a natural conclusion is that ideal negative conceivability and ideal positive conceivability are equivalent. Chalmers would like to endorse this equivalency, in most cases. He discusses three kinds of possible counterexamples and hits back, but this is an issue beyond the scope of this paper. As he writes, ‘each of these three is a distinct and substantial philosophical project, and that the investigation of each raises deep philosophical questions and promises significant philosophical rewards’. See Chalmers (2002), pp. 194–195.

  12. Logical possibility is also called ‘conceptual possibility’ in their discussions, see Roca-Royes (2011).

  13. Worley (2003), p. 19.

  14. Roca-Royes (2011), p. 25.

  15. Chalmers (2006), p. 58. As to how CP follows from the Kantian Thesis, see Chalmers (2006), p. 107.

  16. Kripke (1980).

  17. For more details of 2D, see Chalmers (2006).

  18. As to how 2D works and how Chalmers addresses Kripke’s counterexamples, I follow Howell’s interpretation. See Howell (2008), pp. 349–350.

  19. As to the term ‘H2O’, as a theoretical term in the language of physics, it behaves differently from natural kind terms like ‘water’. In any possible world, whether considered as an actual or a counterfactual world, the extension of ‘H2O’ is H2O.

  20. Howell (2008), p. 349.

  21. The neo-Kripkean a posteriori necessity is also called ‘strong necessity’. Discussions about it abound, many of which are mentioned in Chalmers (2010), pp.166–184.

  22. Howell (2008), p. 351.

  23. Howell (2008), p. 354.

  24. Chalmers expects this potential challenge from triviality and responds to it in his paper ‘Does Conceivability Entail Possibility?’. See Chalmers (2002), p. 149.

  25. Howell (2008), p. 353.

  26. Chalmers (2002), p. 147.

  27. Chalmers (2010), p. 155.

  28. Some other philosophers, such as Worley (2003) and Roca-Royes (2011), hold the same view.

  29. Howell (2008), p. 352.

  30. In order for P3 to hold, Howell presupposes S5. See Howell (2008), p. 356, fn. 9. As to the questions of whether Chalmers’ theory requires S5 or whether S5 is the correct logic for metaphysical modality, I pass them over in this paper. I follow simply instead what Howell presupposes.

  31. Notice that when Howell addresses his argument against CP, he does not consider how to vindicate his conceivability premise, but shifts the burden of proof onto the side of his opponent. I will argue in Section 3 that this move makes his argument inadequately justified.

  32. Howell (2008), p. 353.

  33. Ibid.

  34. See Loar (1990), p. 87; McGinn (1989), pp. 350–351.

  35. Howell (2008), p. 353.

  36. Ibid.

  37. So it is unclear in what sense this kind of conceivability is stronger than prima facie conceivability.

  38. Howell (2008), p. 355.

  39. See Howell (2008), pp. 354–355.

  40. See Chalmers (2010), p. 185.

  41. Howell (2008), p. 356.

  42. Ibid.

  43. Mizrahi and Morrow (2015), p. 7.

  44. Mizrahi and Morrow (2015), p. 8.

  45. In this paper, I confine my discussion to knowable propositions. Moreover, I assume that Goldbach’s conjecture is knowable. If anyone denies this assumption, I would like to replace Goldbach’s conjecture with any other mathematical proposition which is accepted as knowable and of which the truth-value is currently unknown.

  46. In the following, I will call a proposition whose truth or falsity is necessary a ‘necessary proposition’.

  47. In S5, ◊□q→□q and ◊¬□q→¬□q holds. It follows that in S5, □□q∨□¬□q holds. Thus, both the truth and the falsity of CP are necessary.

  48. As I stated in fn. 45, I confine my discussion to knowable propositions in this paper. At least, friends of reductio arguments would accept that (a)–(c) are knowable. I follow suit.

  49. Worley (2003); Roca-Royes (2011).

References

Download references

Acknowledgements

This paper is supported by the National Social Sciences Fund of China (Project No. 20BZX093). I am grateful to Asher Jiang, Xingming Hu, and the anonymous referee for their helpful suggestions and comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shuyi Feng.

Ethics declarations

Conflict of Interest

Not applicable.

Additional information

Publisher’s note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Feng, S. Can reductio Arguments Defeat the Hypothesis that Ideal Conceivability Entails Possibility?. Philosophia 50, 1769–1784 (2022). https://doi.org/10.1007/s11406-022-00533-9

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11406-022-00533-9

Keywords

Navigation