I have argued elsewhere that there are facts, and possibilities, that are not purely qualitative. In a second paper, however, I have argued that all possibilities are purely qualitative except insofar as they involve individuals that actually exist. In particular, I have argued that there are no thisnesses of nonactual individuals (where the thisness of x is the property of being x, or of being identical with x), and that there are no singular propositions about nonactual individuals (where a singular (...) proposition about an individual x is a proposition that involves or refers to x directly, perhaps by having x or the thisness of x as a constituent, and not merely by way of x's qualitative properties or relations to other individuals). I am also inclined to believe that there are not yet any thisnesses of individuals that will exist but do not yet, nor any singular propositions about future individuals--and, hence, that all possibilities are purely qualitative except insofar as they involve individuals that already do exist or have existed (counting timeless individuals, if any, as already existing). This thesis about the relation of time to thisness is the subject of the present paper, in which the conclusions of my previous papers will be presupposed. (shrink)

It is a traditional empiricist doctrine that natural laws are universal truths. In order to overcome the obvious difficulties with this equation most empiricists qualify it by proposing to equate laws with universal truths that play a certain role, or have a certain function, within the larger scientific enterprise. This view is examined in detail and rejected; it fails to account for a variety of features that laws are acknowledged to have. An alternative view is advanced in which laws are (...) expressed by singular statements of fact describing the relationship between universal properties and magnitudes. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)