It is commonly held that Wittgenstein abandoned the Tractatus largely because of a problem concerning color incompatibility. My aim is to solve this problem on Wittgenstein’s behalf. First I introduce the central program of the Tractatus (§1) and the color incompatibility problem (§2). Then I solve the problem without abandoning any Tractarian ideas (§3), and show that given certain weak assumptions, the central program of the Tractatus can in fact be accomplished (§4). I conclude by distinguishing my system of analysis (...) from others and by explaining the historical underpinnings of my understanding of the nature of elementary propositions (§5). (shrink)

The standard mathematical account of the sub-metrical geometry of a space employs topology, whose foundational concept is the open set. This proves to be an unhappy choice for discrete spaces, and offers no insight into the physical origin of geometrical structure. I outline an alternative, the Theory of Linear Structures, whose foundational concept is the line. Application to Relativistic space-time reveals that the whole geometry of space-time derives from temporal structure. In this sense, instead of spatializing time, Relativity temporalizes space.

I attempt to accommodate the phenomenon of vagueness with classical logic and bivalence. I hold that for any vague predicate there is a sharp cut-off between the things that satisfy it and the things that do not; I claim that this is due to the greater naturalness of one of the candidate meanings of that predicate. I extend the thought to the problem of the many and Benacerraf cases. I go on to explore the idea that it is ontically indeterminate (...) what the most natural meanings are, and hence ontically indeterminate where the sharp cut-off in a sorites series is. (shrink)

Required reading at more than 100 colleges and universities throughout North America.

In this book van Fraassen develops an alternative to scientific realism by constructing and evaluating three mutually reinforcing theories.

Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.

This is a book about normativity -- where the central normative terms are words like 'ought' and 'should' and their equivalents in other languages. It has three parts: The first part is about the semantics of normative discourse: what it means to talk about what ought to be the case. The second part is about the metaphysics of normative properties and relations: what is the nature of those properties and relations whose pattern of instantiation makes propositions about what ought to (...) be the case true. The third part is about the epistemology of normative beliefs: how we could ever know, or even have rational or justified belief in, propositions about what ought to be the case. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

Assuming that we find the concept of naturalness coherent, we shall no doubt wish to allow that certain relations count as highly natural. Many of us will think that various spatio-temporal and causal relations—is the cause of, is spatially separated from, is later than—are highly natural. Some of us will think that various basic semantic and mentalistic relations—refers to, attends to, believes.…--- are highly natural. Some will think that various logico-mathematical relations—being the successor of, being identical to…—are highly natural.

An intrinsic property, according to one important account, is a property that is had by all of one's duplicates. Instead, one might choose to characterize intrinsic properties as those that can be had in the absence of all distinct individuals. After reviewing the problems with these earlier accounts, the author presents a less problematic analysis. The goal is to clarify the rough idea that an intrinsic property is a special sort of non-relational property; having the property does not consist in (...) any relation one bears to distinct individuals. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible , and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend (...) a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics. (shrink)

Presupposing that most predicates do not correspond directly to genuine relations, I argue that all genuine relations are symmetric. My main argument depends on the premise that there are no brute necessities, interpreted so as to require logical and metaphysical necessity to coincide for sentences composed entirely of logical vocabulary and primitive predicates. Given this premise, any set of purportedly primitive predicates by which one might hope to express the facts about non-symmetric relations order their relata will generate an objectionable (...) multiplication of possibilities. In the final section I give a different argument, based on the weaker premise that brute necessities should not be multiplied without necessity. (shrink)

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

Are the sparse properties drawn from all the levels of nature, or only the fundamental level? I discuss the notion of sparse property found in Armstrong and Lewis, show that there are tensions in the roles they have assigned the sparse properties, and argue that the sparse properties should be drawn from all the levels of nature.

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

We attempt to extend the nominalistic project initiated in Hartry Field's Science Without Numbers to modern physical theories based in differential geometry.

§30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...

It is widely believed that shapes are intrinsic properties. But this claim is hard to defend. I survey all known theories of shape properties, and argue that each theory is either incompatible with the claim that shapes are intrinsic, or can be shown to be false.