In this volume, John Bacon argues that it is difficult to deny the existence of particularized properties and relations, which in modern philosophy are sometimes called `tropes'. In so doing, he advances a powerful and sophisticated metaphysical theory according to which both ordinary particulars and properties and relations are bundles of tropes.

Supervenience in most of its guises entails necessary coextension. Thus theoretical supervenience entails nomically necessary coextension. Kim's result, thus strengthened, has yet to hit home. I suspect that many supervenience enthusiasts would cool at necessary coextension: they didn't mean to be saying anything quite so strong. Furthermore, nomically necessary coextension can be a good reason for property identification, leading to reducibility in principle. This again is more than many supervenience theorists bargained for. They wanted supervenience without reducibility. It is not (...) always available for this mediating role. (shrink)

D. M. Armstrong is an eminent Australian philosopher whose work over many years has dealt with such subjects as: the nature of possibility, concepts of the particular and the general, causes and laws of nature, and the nature of human consciousness. This collection of essays explores the many facets of Armstrong's work, concentrating on his more recent interests. There are four sections to the book: possibility and identity, universals, laws and causality, and philosophy of mind. The contributors comprise an international (...) group of philosophers from the United States, England and Australia. An interesting feature of the volume is that Armstrong himself has written responses to each of the essays. There is also a complete bibliography of Armstrong's writings. (shrink)

In "Supervenience, Necessary Coextension, and Reducibility" (Philosophical Studies 49, 1986, 163-176), among other results, I showed that weak or ordinary supervenience is equivalent to Jaegwon Kim's strong supervenience, given certain assumptions: S4 modality, the usual modal conception of properties as class-concepts, and diagonal closure or resplicing of the set of base properties. This last means that any mapping of possible worlds into extensions of base properties counts itself as a base property. James Van Cleve attacks the modal conception of property (...) and diagonal closure. To me it seems desperate to reject diagonal closure merely in order to save supervenience-materialism. But I concede that it may be unacceptable in the context of a sparser theory of properties. (shrink)

From Parmenides to the present, philosophers have been attracted by characterizations of being as being uttered or utterable, formulated or formulable. But what for Parmenides was presumably a valid co-entailment between antecedently understood concepts reappears in contemporary thought as a proffered explication of what it is to be. Without presuming to discredit Parmenidean views in general, my purpose here is to examine certain members of a modern family of theories of existence that fall into place around Quine’s. Depending on the (...) methodology of explication espoused, the theories in this family are either semantic commentaries on ideal languages, or they are themselves interpreted formalized languages. The former may be called, after Quine, theories of ontological commitment. The theories of the latter sort I wish to consider are called, after Karel Lambert, free logics, i.e., logic systems the singular terms of which are free of existential import. My conclusion about theories of both kinds is that, while unexceptionable on their own terms, from a broader point of view they beg the question of what it is to be. In arguing that these theories thus fail to clarify the concept of existence, I believe I am not so much propounding a new insight as articulating an objection many thinkers have felt in the face of views akin to Quine’s. (shrink)

The author of the Orphic Argonautica was, except by personal election, no poet. He was, however, a very devout reader of poetry and, had he only been Irradiated by the same Celestial Light, might well have been a Milton, for he went to work in very much the same way. Books, and not personal experience, were his guides. His mind was stored with the lines and phrases of other poets; he read his authors attentively: but he did not always understand (...) them, and he lacked the Miltonic art of giving borrowed gems new value from their setting. (shrink)

Insect and crustacean lineages diverged over 500 Myr ago, and there are continuing uncertaintles about whether they evolved from a common arthropod ancestor or, alternatively, they evolved independently from annelid worms. Despite the diversity of their limbs and lifestyles, the nervous systems of insects and crustaeeans share many common features both in development and in function. Cellular and molecular embryology techniques reveal good evidence for homologies in the developing segmental ganglia. In the visual system, this seemingly common programme of insect (...) and crustacean CNS development culminates in common adult neural function. Comparisons of the cellular anatomy and physiology of animals as diverse as flies and crayfishes indicate that the neural circuits in the lamina of their optic lobe have been inherited largely unchanged from a common ancestor with good compound eyes. (shrink)

My aim has been to adapt Quine's criterion of the ontological commitment of theories couched in standard quantificational idiom to a much broader class of theories by focusing on the set-theoretic structure of the models of those theories. For standard first-order theories, the two criteria coincide on simple entities. Divergences appear as they are applied to higher-order theories and as composite entities are taken into account. In support of the extended criterion, I appeal to its fruits in treating the various (...) examples considered above and to the healthy intuitions of the non-noneists among us. Don't O(m) and E(m) comprise just the things we should have though existed according to a particular interpretation m of a language or a theory? Whatever the answer (and it will hardly be unanimous), I hope to have pointed the way towards a recognition of ontology as a worthwhile branch of modern theory. (shrink)

1. Anderson and Belnap's most explicit characterization of the fallacy of modality is as follows: "Modal fallacies arise when it is claimed that entailments follow from, or are entailed by, contingent propositions." The view which Nelson attributes to Anderson and Belnap, on the other hand, is "that necessary propositions are entailed only by necessary ones, never by contingent ones." Anderson and Belnap speak of "entailments," whereas Nelson generalizes to "necessary propostitions." The move is far from innocent, as we shall see. (...) For though Anderson and Belnap hold that every true entailment is a necessary proposition, not every necessary proposition is an entailment. In order to grasp the implications of this distinction more clearly, let us see how Anderson and Belnap's statement of the modal fallacy might legitimately be restated in terms of necessity. To that end we must draw a related distinction between necessary propositions and necessity propositions. A expresses a necessary proposition iff A → A → A holds. A expresses a necessity proposition iff A is of the form B → C. The particular form of these definitions is dependent on the fact that entailment rather than necessity is primitive in Anderson and Belnap's system; the forms in parentheses are the equivalents in terms of necessity. Now it follows from these definitions that every entailment is a necessity proposition and that every necessity proposition is an entailment. The modal fallacy may thus be equivalently characterized as the claim that a necessity proposition is entailed by a contingent proposition. That this is different from Nelson's formulation is clear from the following considerations. First, not every necessary proposition is a necessity proposition; example: "Either it is raining or it is not raining." Second, not every necessity proposition is a necessary proposition; example: any false necessity proposition. Thus the possibility is left open that some necessary proposition might be entailed by a contingent one. This is exactly the case with Nelson's example 2, "That every polychromatic surface is red entails that every polychromatic surface is colored." This might well be a theorem in a suitable extension of E. Such cases do not, however, arise among the theorems of EI. In that limited system, all that a contingent proposition can entail is itself. (shrink)

First published in the most ambitious international philosophy project for a generation; the _Routledge Encyclopedia of Philosophy_. _Logic from A to Z_ is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add (...) detail, _Logic from A to Z_ provides an indispensable reference source for students of all branches of logic. (shrink)