I am puzzling over the inferential move from X is conceivable to X is (metaphysically) possible. It would be very nice if this move were valid. But I am having trouble seeing how it could be valid.
I exist, and I have a body. But it is conceivable that I exist without a body. 'Conceivable' in this context means thinkable without broadly logical contradiction. I distinguish between narrowly and broadly logical contradiction. 'Some cats are not cats' is NL-contradictory: it cannot be true in virtue of its very logical form. (It is necessarily false, and its being necessarily false is grounded solely in its logical form.) 'Some colors are sounds' is not NL-contradictory: the logical form of this sentence is such that some sentences of this form are true. And yet 'Some colors are sounds' is contradictory in a broad sense of the term since it is necessarily the case that no color is a sound, where the necessity in question does not have a merely formal-logical ground but a 'material' one.
Continue reading “Soul, Conceivability, and Possibility: An Aporetic Exercise”
