Serious Actualism and Higher-Order Predication
Em: Journal of Philosophical Logic
Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument (Plantinga Philosophical Studies, 44, 1–20 1983) for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument (Williamson 2002) for the claim that he, Williamson, is necessarily something. Salmon (Philosophical Perspectives, 1, 49–108 1987) has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou (Philosophical Review, 116(2), 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition.