Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

The fourteenth-century thinker Thomas Bradwardine is well known in both the history of science and the history of theology. The first of the Merton Calculators (mathematical physicists) and passionate defender of the Augustinian doctrine of salvation through grace alone, he was briefly archbishop of Canterbury before succumbing to the Black Death in 1349. This new edition of his Insolubilia, made from all thirteen known manuscripts, shows that he was also a logician of the first rank. The edition is accompanied by (...) a full English translation. In the treatise, Bradwardine considers and rejects the theories of his contemporaries about the logical puzzles known as 'insolubles,' and sets out his own solution at length and in detail. In a substantial introduction, Stephen Read describes Bradwardine's analysis, compares it with other more recent theories, and places it in its historical context. The text is accompanied by three appendices, the first of which is an extra chapter found in two manuscripts (and partly in a third) that appears to contain further thoughts by Bradwardine himself. The second contains an extract from Ralph Strode's Insolubilia, composed in the 1360s, repeating and enlarging on Bradwardine's text; and the third consists of an anonymous text that applies Bradwardine's solution to a succession of different insolubles"--P. [4] of cover. (shrink)

_Possible Worlds_ presents the first up-to-date and comprehensive examination of one of the most important topics in metaphysics. John Divers considers the prevalent philosophical positions, including realism, antirealism and the work of important writers on possible worlds such as David Lewis, evaluating them in detail.

Philosophical perplexity about intention begins with its appearance in three guises: intention for the future, as when I intend to complete this entry by the end of the month; the intention with which someone acts, as I am typing with the further intention of writing an introductory sentence; and intentional action, as in the fact that I am typing these words intentionally. As Elizabeth Anscombe wrote in a similar context, ‘it is implausible to say that the word is equivocal as (...) it occurs in these different cases’ and from the fact that ‘we are tempted to speak of “different senses” of a word which is clearly not equivocal, we may infer that we are pretty much in the dark about the character of the concept which it represents’ (Anscombe 1963, p. 1). (shrink)

A number of arguments purport to show that vague properties determine sharp boundaries at higher orders. That is, although we may countenance vagueness concerning the location of boundaries for vague predicates, every predicate can instead be associated with precise knowable cut-off points deriving from precision in their higher order boundaries. I argue that this conclusion is indeed paradoxical, and identify the assumption responsible for the paradox as the Brouwerian principle B for vagueness: that if p then it's determinate that it's (...) not determinate that not p. Other paradoxes which do not appear to turn on B turn instead on some subtle issues concerning the relation between assertion, belief and higher order vagueness. In this paper a theory of assertion, knowledge and logic is outlined which allows one to avoid any kind of higher order precision. A class of realistic models containing counterexamples to B and a number of weakenings of B are introduced and its logic is shown to support vagueness at every order. (shrink)

Argument that Q∃ expresses more than one proposition: (1) Q∃ expresses the proposition that Q∃ expresses some proposition that isn’t true. ((E)) (2) If Q ∃ expresses only true propositions, then the proposition that Q ∃ expresses some proposition that isn’t true is true. ((1)) (3) If Q∃ expresses only true propositions, then some proposition expressed by Q∃ is not true. (2, T) (4) Some proposition expressed by Q ∃ is not true. ((3)) (5) The proposition that Q ∃ expresses (...) some proposition that isn’t true is true. (4, T) (6) Q∃ expresses at least one true proposition. (1,5) (7) Q∃ expresses at least two propositions. (3, 6) (A parallel argument shows that Q∀ expresses both true and false propositions. (shrink)

There are different ways to be. This paper explicates and defends this controversial thesis. Special attention is given to the meta-ontology of Martin Heidegger. -/- .

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.