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.

Published in 1897, this was the first complete edition of Roger Bacon's influential thirteenth-century encyclopedia of science.

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Excerpt from The Two Bookes of Sr. Francis Bacon: Of the Proficience and Advancement of Learning, Divine and Humane; To the King Ifhall fay is no amplification at ail5but a pofitiue and rhea {tired truth: which is55that there hath not beene fince Chrills time any King, or temporall Monarch which hath bin {0 learned in al literature and eruditi. On, din'ne and humane. For let a man {etiou y and diligently leuolue and penile the fucce ion of the Emperours (...) ofkeme, of w hich Caftr the Draator5 who lined lomeyeares before Chrili 5 and Marcus Automate: were the bell Learned 53nd fo dcfcend to the Empet ours ofgic 245of of the: W( 1} 5 and then to the i-ines of Emma sizzefiarglafia; Scot therefi 5 and hee (nail hade his iudgement is truely made. For it feemeth much in a King5if'by the com. Pendiout extraeirons or Other mens Wits and La. Bout 5 hee can take hold of any ipeificiall Orna ments andlhewes of Learning 5 or if hee conure. Name and preferre learning and learned men But to drinke indeed of the true Fountaynes oflearning5 n3y5to haue inch 3 fountayne of learning in him felfe5 in a King, and in a King borne 5 is altitoll a Miracle. And the more5 beeaule there is met in your Maiel'ty a rare Coniunetion 5 a well of Dunn: and fatted li terature, as of prephane and humane So as your Maiefiy llandeth inuelied of that triplicity 5 which in great veneration5was afcribed to the ancient Her me: 5 the power and fortune of a King 5 the know ledgeand illumination ol'a Prie 5 and the learnirg and vniuerfaliry of a phylofoplter. This propriety5 inherent and indiuiduall attribute in your Mait y. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.". (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)

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)

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)

This is a reproduction of the original artefact. Generally these books are created from careful scans of the original. This allows us to preserve the book accurately and present it in the way the author intended. Since the original versions are generally quite old, there may occasionally be certain imperfections within these reproductions. We're happy to make these classics available again for future generations to enjoy!

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)

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)

Whatever else it may be, philosophy is an attempt to grasp the basic and universal features of reality, of the world, of possible experience. The deductive validity of some arguments as against others is a pervasive and stable characteristic of reality, a basic condition of possible experience. Thus deductive logic belongs to philosophy, as indeed does mathematics. The relation of logic to philosophy is accordingly at least part-whole. Nor is it a detachable part, for the validity of arguments is central (...) to philosophy both as process and as product. Finally, the “philosophy of logic” feeds directly into ontology. It reveals some of the most basic things there are. In this sense logic qualifies as first philosophy. (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)