F. H. Bradley was the foremost philosopher of the British Idealist school, which came to prominence in the second half of the nineteenth century. Bradley, who was a life fellow of Merton College, Oxford, was influenced by Hegel, and also reacted against utilitarianism. He was recognised during his lifetime as one of the greatest intellectuals of his generation and was the first philosopher to receive the Order of Merit, in 1924. His work is considered to have been important to the (...) formation of analytic philosophy. In metaphysics, he rejected pluralism and realism, and believed that English philosophy needed to deal systematically with first principles. This work, first published in 1893, is divided into two parts: 'Appearance' deals with exposing the contradictions that Bradley believed are hidden in our everyday conceptions of the world; and in 'Reality', he builds his positive account of reality and considers possible objections to it. (shrink)

The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.

In my reply to michael devitt, It is argued, First, That quine fails to appreciate the force of plato's "one over many" argument for universals. It is argued, Second, That quine's failure springs in part at least from his doctrine of ontological commitment: from the view that predicates need not be treated with ontological seriousness. Finally, An attempt is made to blunt the force of devitt's contention that realists cannot give a coherent explanation of the way that universals stand to (...) particulars. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

The topic of this book is material objects. Like most interesting concepts, the concept of a material object is one without precise boundaries.

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in the (...) identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

The identity predicate can be defined using second-order quantification: a=b =df ∀F(Fa↔Fb). Less familiarly, a dyadic sentential operator analogous to the identity predicate can be defined using third-order quantification: ϕ≡ψ =df ∀X(Xϕ↔Xψ), where X is a variable of the same syntactic type as a monadic sentential operator. With this notion in view, it is natural to ask after general principles governing its application. More grandiosely, how fine-grained is reality? -/- I will argue that reality is not structured in anything like (...) the way that the sentences we use to talk about it are structured. I do so by formulating a higher-order analogue of Russell’s paradox of structured propositions. I then relate this argument to the Frege-Russell correspondence. When confronted with the alleged paradox, Frege agreed that reality was not structured, but maintained that propositions (i.e. thoughts) were structured all the same. Russell replied that his paradox showed Frege’s theory of structured thoughts to be inconsistent, to which Frege replied that Russell’s argument failed to heed the distinction between sense and reference. Most recent commentators have sided with Russell. In defense of Frege, I establish the consistency of one version of his rejoinder. I then consider and reject some ways of resisting the argument against a structured conception of reality. I conclude that, if propositions are structured, this is because they correspond not to distinctions in reality, but rather to ways in which those distinctions can be represented. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

In "nominalism and realism" armstrong carefully demolishes various nominalist responses to plato's "one over many" problem but simply dismissed the quinean response as "ostrich nominalism". The paper argues that plato's problem is pseudo. So to ignore it is not to behave like an ostrich. Rather to adopt realism because of this problem that isn't there is to be a "mirage realist." there are some good reasons that lead armstrong to realism but he is largely a mirage realist. Quine does not (...) ignore any real problem for nominalism and so is not an ostrich nominalist. (shrink)

Philosophers have long been tempted by the idea that objects and properties are abstractions from the facts. But how is this abstraction supposed to go? If the objects and properties aren't 'already' there, how do the facts give rise to them? Jason Turner develops and defends a novel answer to this question: The facts are arranged in a quasi-geometric 'logical space', and objects and properties arise from different quasi-geometric structures in this space.

This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...

Graham Priest presents an original exploration of questions concerning the one and the many. He covers a wide range of issues in metaphysics--unity, identity, grounding, mereology, universals, being, intentionality and nothingness--and draws on Western and Asian philosophy as well as paraconsistent logic to offer a radically new treatment of unity.

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.

Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.

When we say a certain rose is red, we seem to be attributing a property, redness, to it. But are there really such properties? If so, what are they like, how do we know about them, and how are they related to the objects which have them and the linguistic devices which we use to talk about them? This collection presents these ancient problems in a modern light. In particular, it makes accessible for the first time the most important contributions (...) to the contemporary controversy about the nature of properties. Those new to the subject will find the clearly-written introduction, by two experts in the field, an invaluable guide to the intricacies of this debate. The volume illustrates very well the aims and methods of modern metaphysics and show how a thorough understanding of the metaphysics of properties is crucial to most of analytic philosophy. (shrink)

David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach championed by the American philosopher David Lewis. This major work will be read with interest by a wide range of philosophers.

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.