Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties.

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...) and intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (shrink)

Belief in propositions has had a long and distinguished history in analytic philosophy. Three of the founding fathers of analytic philosophy, Gottlob Frege, Bertrand Russell, and G. E. Moore, believed in propositions. Many philosophers since then have shared this belief; and the belief is widely, though certainly not universally, accepted among philosophers today. Among contemporary philosophers who believe in propositions, many, and perhaps even most, take them to be structured entities with individuals, properties, and relations as constituents. For example, the (...) proposition that Glenn loves Tracy has Glenn, the loving relation, and Tracy as constituents. What is it, then, that binds these constituents together and imposes structure on them? And if the proposition that Glenn loves Tracy is distinct from the proposition that Tracy loves Glenn yet both have the same constituents, what is about the way these constituents are structured or bound together that makes them two different propositions? In The Nature and Structure of Content, Jeffrey C. King formulates a detailed account of the metaphysical nature of propositions, and provides fresh answers to the above questions. In addition to explaining what it is that binds together the constituents of structured propositions and imposes structure on them, King deals with some of the standard objections to accounts of propositions: he shows that there is no mystery about what propositions are; that given certain minimal assumptions, it follows that they exist; and that on his approach, we can see how and why propositions manage to have truth conditions and represent the world as being a certain way. The Nature and Structure of Content also contains a detailed account of the nature of tense and modality, and provides a solution to the paradox of analysis. Scholars and students working in the philosophy of mind and language will find this book rewarding reading. (shrink)

The Metaphysics of Knowledge presents the thesis that knowledge is an absolutely fundamental relation, with an indispensable role to play in metaphysics, philosophical logic, and philosophy of mind and language. Knowledge has been generally assumed to be a propositional attitude like belief. But Keith Hossack argues that knowledge is not a relation to a content; rather, it a relation to a fact. This point of view allows us to explain many of the concepts of philosophical logic in terms of knowledge. (...) Hossack provides a theory of facts as structured combinations of particulars and universals, and presents a theory of content as the property of a mental act that determines its value for getting knowledge. He also defends a theory of representation in which the conceptual structure of a content is taken to picture the fact it represents. This permits definitions to be given of reference, truth, and necessity in terms of knowledge. Turning to the metaphysics of mind and language, Hossack argues that a conscious state is one that is identical with knowledge of its own occurrence. This allows us to characterize subjectivity, and, by illuminating the "I"-concept, allows us to gain a better understanding of the concept of a person. Language is then explained in terms of knowledge, as a device used by a community of persons for exchanging knowledge by testimony. The Metaphysics of Knowledge concludes that knowledge is too fundamental to be constituted by something else, such as one's functional or physical state; other things may cause knowledge, but do not constitute it. (shrink)

Plural predication is a pervasive part of ordinary language. We can say that some people are fifty in number, are surrounding a building, come from many countries, and are classmates. These predicates can be true of some people without being true of any one of them; they are non-distributive predications. However, the apparatus of modern logic does not allow a place for them. Thomas McKay here explores the enrichment of logic with non-distributive plural predication and quantification. His book will be (...) of great interest to philosophers of language, linguists, metaphysicians, and logicians. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my (...) necessary existence, a proof that generalizes to everything whatsoever. I will explain the proof and discuss what to make of it. A first reaction is that a ‘proof’ of such an outrageous conclusion must contain some dreadful fallacy. Yet the proof does not collapse under scrutiny. Further reflection suggests that, suitably interpreted, it may be sound. So interpreted, the conclusion is not outrageous, although it may not be the view you first thought of. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

I explicate and defend the claim that, fundamentally speaking, there are no numbers, sets, properties or relations. The clarification consists in some remarks on the relevant sense of ‘fundamentally speaking’ and the contrasting sense of ‘superficially speaking’. The defence consists in an attempt to rebut two arguments for the existence of such entities. The first is a version of the indispensability argument, which purports to show that certain mathematical entities are required for good scientific explanations. The second is a speculative (...) reconstruction of Armstrong's version of the One Over Many argument, which purports to show that properties and relations are required for good philosophical explanations, e.g. of what it is for one thing to be a duplicate of another. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

In this paper I present a formal language in which complex predicates stand for properties and relations, and assignments of denotations to complex predicates and assignments of extensions to the properties and relations they denote are both homomorphisms. This system affords a fresh perspective on several important philosophical topics, highlighting the algebraic features of properties and clarifying the sense in which properties can be represented by their extensions. It also suggests a natural modification of current logics of properties, one in (...) which some complex predicates stand for properties while others do not. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

There is a standard view of relations, held by philosophers and logicians alike, according to which we may meaningfully talk of a relation holding of several objects in a given order. Thus it is supposed that we may meaningfully—indeed, correctly—talk of the relation loves holding of Anthony and Cleopatra or of the relation between holding of New York, Washington, and Boston. But innocuous as this view might appear to be, it cannot be accepted as applying to all relations whatever. For (...) there is an important class of metaphysical and linguistic contexts which call for an alternative conception of relation, one for which the order of the relata plays no role and in which the application of the relation to its relata is achieved by other means. (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)

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

This work presents a version of the correspondence theory of truth based on Wittgenstein's Tractatus and Russell's theory of truth and discusses related metaphysical issues such as predication, facts and propositions. Like Russell and one prominent interpretation of the Tractatus it assumes a realist view of universals. Part of the aim is to avoid Platonic propositions, and although sympathy with facts is maintained in the early chapters, the book argues that facts as real entities are not needed. It includes discussion (...) of contemporary philosophers such as David Armstrong, William Alston and Paul Horwich, as well as those who write about propositions and facts, and a number of students of Bertrand Russell. It will interest teachers and advanced students of philosophy who are interested in the realistic conception of truth and in issues in metaphysics related to the correspondence theory of truth, and those interested in Russell and the Tractatus. (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)

I defend coincidentalism (the view that some pluralities have more than one mereological fusion) and restricted composition (the view that some pluralities lack mereological fusions) against recent arguments due to Theodore Sider.

Possibility offers a new analysis of the metaphysical concepts of possibility and necessity, one that does not rely on any sort of "possible worlds." The analysis proceeds from an account of the notion of a physical object and from the positing of properties and relations. It is motivated by considerations about how we actually speak of and think of objects. Michael Jubien discusses several closely related topics, including different purported varieties of possible worlds, the doctrine of "essentialism," natural kind terms (...) and alleged examples of necessity a posteriori. The book also offers a new theory of the functioning of proper names, both actual and fictional, and the discussion of natural kind terms and necessity a posteriori depends in part on this theory. (shrink)

Holes are a good example of the sort of entity that down-to-earth philosophers would be inclined to expel from their ontological inventory. In this work we argue instead in favor of their existence and explore the consequences of this liberality—odd as they might appear. We examine the ontology of holes, their geometry, their part-whole relations, their identity and their causal role, the ways we perceive them. We distinguish three basic kinds of holes: blind hollows, perforating tunnels, and internal cavities, treating (...) these uniformly as immaterial bodies. We develop a morphology of holes, focusing on the way a hole can be filled, and then look at the main properties of the resulting conceptual framework: holes are parasitic upon the surfaces of their hosts; holes can move, fuse into each other, split; they can be born, develop, and die. Finally, we examine how some morphological features of holes are represented in perception, including the conditions whereby we have the impression that we see, feel, or even hear a hole. The book has over 150 pictures and is completed by a formal appendix, a section with puzzles and exercises, and a extensive annotated bibliography. (shrink)

In , Peter van Inwagen asked a good question. (Asking the right question is often the hardest part.) He asked: what do you have to do to some objects to get them to compose something---to bring into existence some further thing made up of those objects? Glue them together or what?1 Some said that you don’t have to do anything.2 No matter what you do to the objects, they’ll always compose something further, no matter how they are arranged. Thus we (...) learned of the fusion of the coins in our pockets and the Eiffel tower. (shrink)

The final section of the book considers two features of the world which transcend the categories, existence and negation.

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general (...) and intuitively more adequate account of the logical form of predication. (shrink)

Talk about Beliefs presents a new account of beliefs and of practices of reporting them that yields solutions to foundational problems in the philosophies of...

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page. N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.

A study of Jim Jones and the Peoples Temple. It features a prologue that considers the meaning of the tragedy for a post-Waco, post-9/11 world.

Do non‐symmetric relations apply to the objects they relate in an order? According to the standard view of relations, the difference between aRb and bRa obtaining, where R is non‐symmetric, corresponds to a difference in the order in which the non‐symmetric relation R applies to a and b. Recently Kit Fine has challenged the standard view in his important paper ‘Neutral Relations’ arguing that non‐symmetric relations are neutral, lacking direction or order. In this paper I argue that Fine cannot account (...) for the application of non‐symmetric relations to their relata; so far from being neutral, these relations are inherently directional. (shrink)

Keith Hossack's thesis is that knowledge is a conceptually primitive and metaphysically fundamental relation between a mind and a fact. He argues that in terms of the simple relation of knowledge we can analyze central notions of epistemology, of semantics, of modality and a priori knowledge, of psychology, and of linguistics. He does so in a framework that includes a fairly rich faculty psychology and that stresses causation: knowledge can be caused by belief, but because knowledge is simple, it is (...) not any kind of belief. He regards his enterprise as metaphysics, and he proceeds in a rather grand manner. The beginning of his Preface might remind one of the opening paragraphs of Leibniz's The Monadology.If knowledge is a simple relation between minds and facts, then we want to know a bit about facts. Hossack takes facts to consist in universals being instantiated among things. He favours a view of universals as respects in which things resemble each other, but his theory is at least officially silent about which universals exist, leaving that as a matter for scientific inquiry. But he takes metaphysics to be a science. Here he is being coy, and it is worth making out how. Hossack uses multigrade relations; these are relations of no fixed polyadicity that for any natural number n may be instantiated by n things. Vectors are bearers of such relations. The relation among working men of uniting to form a union is a multigrade relation, and the founders of the International Workers of the World are a vector bearing this relation. (shrink)

A proper presentation of this theory [sc. of properties] would treat properties as a special kind of relation. And it would treat propositions as a special kind of relation: it would treat properties as monadic relations and propositions as 0-adic relations. But I will not attempt to discuss relations within the confines of this paper.[ii].

We present an analysis of counterfactuals in terms of stories and combine it with an account similar to Walton’s account of truth in fiction to yield truth conditions for counterfactuals. We discuss unusual features of this account, and compare it to other main approaches. In particular, we argue that our analysis succeeds in accounting for counterpossibles and counterfactuals with true antecedents while the other two main approaches fail, and we give reasons for thinking that it is important to have an (...) adequate account of these two areas. (shrink)