For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

The claim that truth is mind dependent has some initial plausibility only if truth bearers are taken to be mind dependent entities such as beliefs or statements. Even on that assumption, however, the claim is not uncontroversial. If it is spelled out as the thesis that “in a world devoid of mind nothing would be true”, then everything depends on how the phrase ‘true in world w’ is interpreted. If ‘A is true in w’ is interpreted as ‘A is true (...) of w’ (i.e. ‘w satisfies A’s truth conditions’, the claim need not be true. If on the other hand it is interpreted as ‘A is true of w and exists in w’ then the claim is trivially true, though devoid of any antirealistic efficacy. Philosophers like Heidegger and Rorty, who hold that truth is mind dependent but reality is not, must regard such principles as “A if and only if it is true that A” as only contingently true, which may be a good reason to reject the mind dependence of truth anyway. (shrink)