D.A. Armstrong’s account (1983, intimately influenced by Tooley 1977 and Swoyer 1982) of natural laws is that they arerelations between universals.Armstrong doesn’t simply hold that laws are some relationships or other between universals. He also holds that they are first-order universals themselves (1983, pp. 89-90). Each ordinary law-say,causallaw-is numerically identical to some first-order universal. This is a striking, seemingly incredible hypothesis. What is Armstrong thinking of when he says (1983, p. 90):I propose that the state of affairs, the law, N(F,G), (...) is a dyadic universal, that is, a relation, holding between states of affairs. Suppose that a particular object, a, is F, and so, because of the law N(F,G), it, a, is also G. This state of affairs, an instantiation of the law, has the form Rab, where R = N(F,G), a = a’s being F, and b, = b’s being G:(N(F,G))(a's being F, b's being G). (shrink)

Factive predicates (like ‘-matters’, ‘discover-’, ‘realizes-’) take NPs that refer to facts, propositional predicates (like ‘-seems’, ‘believes-’, ‘-likely’) take NPs that refer to propositions, and eventive predicates (like ‘-occurs’, ‘-take place’, ‘-causes-’) take NPs that refer to events (broadly speaking, including states, processes, conditions, ect.). Logically speaking at least two out of the three categories (facts, propositions, and events) can be eliminated. So, if all three kinds of referents turn out to be required for natural language semantics, their postulation is (...) empirically significant since a priori logical considerations do not require all of them.Pronominalization evidence inter alia raises questions about the distinctness of facts, events, and propositions. Two proposals for resolving the pronominalization dilemmas are, first, that abstract elements exist which contain the genuine antecedents for the pronouns (co-reference remaining both syntactic and semantic) and second, that syntactic co-reference is simply distinct from semantic co-reference. The first proposal hardly works at all, since it requires the postulation of many abstract elements and associated unmotivated deletion (or insertion) rules. The second proposal works for all the examples considered. Prior to discussing the two proposals, I show how any two of the three categories can be logically eliminated, a demonstration which also produces some hypothetical abstract elements of use in discussing both proposals. I conclude with some brief remarks on reference versus coreference. (shrink)