E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account of causation, (...) dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

This update to the award-winning first edition analyzes the pros and cons of different media and focuses on general guidelines and basic principles, making the ideas in this guide transferable to future technologies.

The classic, influential essay in 'descriptive metaphysics' by the distinguished English philosopher.

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the (...) theory and a provably sound axiomatization. (shrink)

Reprint of paper first published in Philosophy and Phenomenological Research in 1984.

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

This extended investigation of the semantics of event (and state) sentences in their various forms is a major contribution to the semantics of natural language, simultaneously encompassing important issues in linguistics, philosophy, and logic. It develops the view that the logical forms of simple English sentences typically contain quantification over events or states and shows how this view can account for a wide variety of semantic phenomena. Focusing on the structure of meaning in English sentences at a &"subatomic&" level&-that is, (...) a level below the one most theories accept as basic or &"atomic&"&-Parsons asserts that the semantics of simple English sentences require logical forms somewhat more complex than is normally assumed in natural language semantics. His articulation of underlying event theory explains a wide variety of apparently diverse semantic characteristics of natural language, and his development of the theory shows the importance of seeing the distinction between events and states. Parsons demonstrates that verbs, also, indicate kinds of actions rather than specific, individual actions. Verb phrases, too, he argues, depend on modifiers to make their function and meaning in a sentence specific. An appendix gives many of the details needed to formalize the theory discussed in the body of the text and provides a series of templates that permit the generation of atomic formulas of English. (shrink)

The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will wish (...) to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part 1 (in which the logical properties of propositions, propositional functions, classes and relations are established); section 6 of Part 2 (dealing with unit classes and couples); and Appendices A and B (which give further developments of the argument on the theory of deduction and truth functions). (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

Translation of Frege's 'Über Begriff und Gegenstand' (1892). Translation by Peter Geach, revised by Max Black.

On the relations of universals and particulars, by B. Russell.--Universals and resemblances, by H. H. Price.--On concept and object, by G. Frege.--Frege's hidden nominalism, by G. Bergmann.--Universals, by F. P. Ramsey.--Universals and metaphysical realism, by A. Donagan.--Universals and family resemblances, by R. Bambrough.--Particular and general, by P. F. Strawson.--The nature of universals and propositions, by G. F. Stout.--Are characteristics of particular things universal or particular? By G. E. Moore and G. F. Stout.--The relation of resemblance, by P. Butchvarov.--Qualities, by N. (...) Wolterstroff.--On what there is, by W. V. Quine.--Empiricism, semantics, and ontology, by R. Carnap.--The languages of realism and nominalism, by R. B. Brandt.--Grammar and existence: a preface to ontology, by W. Sellars.--A world of individuals, by N. Goodman.--Bibliographical notes (p. [307]-308). (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)

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)

Das onto-logische Sechseck ist eine Erweiterung des (aristotelischen) onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.

A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such a comparison, we argue (...) that anextended form of conceptual realism provides themost coherent formal ontology and, as such, canbe used to defend the view of logic as language. (shrink)

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.

I wish to express, first of all, my profound gratitude to Professor J. M. Bochenski, without whose assistance the present work would have not been possible. To be concise, I would like to state that his contribution to this book may be viewed at three levels: (1) that of the general spirit, (2) that of the specific ideas, theses or approaches which are expressed in its pages, (3) that of this work qua doctoral dissertation. The general spirit which has guided (...) my research coincides with that underlying Professor :Oochenski's own works, in particular his Formale Logik (Munchen 1956). Moreover, the particular occasion which suggested my investigation was a statement included in that book according to which the literature in the field still lacked a detailed work on Frege (p. 317). I wish, likewise, to express my gratitude to other professors of the University of Fribourg for their generous help. I mention especially Professors P. Wyser, M. D. Philippe, N. Luyten, and V. Kuiper. I have also benefited from Professor E. Specker's lectures at the Eidge nossische Technische Hochschule (ZUrich) and from Professor Olof Gigon's lectures at the University of Bern. From an earlier period I wish to express my gratitude to the professors of the philosophy department of the Universidad Nacional de Buenos Aires, especially the late Professor Francisco Romero. The Swiss National Library (Bern) has greatly facilitated access to bibliographical sources, and the library of the University of Munster (Westphalien) has kindly provided microfilms of Frege's Nachlap. (shrink)

Metaphysics is the thoroughly empirical science. Every item of experience must be evidence for or against any hypothesis of speculative cosmology, and every experienced object must be an exemplar and test case for the categories of analytic ontology. Technically, therefore, one example ought for our present theme to be as good as another. The more dignified examples, however, are darkened with a patina of tradition and partisanship, while some frivolous ones are peculiarly perspicuous. Let us therefore imagine three lollipops, made (...) by a candy man who buys sticks from a big supplier and molds candy knobs on them. Lollipop No. 1 has a red round peppermint head, No. 2 a brown round chocolate head, No. 3 a red square peppermint head. The circumstance here which mainly provokes theories of subsistence and inherence is similarity with difference: each lollipop is partially similar to each other and partially different from it. If we can give a good account of this circumstance in this affair we shall have the instrument to expose the anatomy of everything, from an electron or an apple to archangels and the World All. (shrink)

Formal ontology combines two ideas, one originating with Husserl, the other with Frege: that of ontology of the formal aspects of all objects, irrespective of their particular nature, and ontology pursued by employing the tools of modern formal disciplines, notably logic and semantics. These two traditions have converged in recent years and this is the first collection to encompass them as a whole in a single volume. It assembles essays from authors around the world already widely known for their work (...) in formal ontology, and illustrates that through the application of formal methods the ancient discipline of ontology may be put on a firm methodological basis. The essays not only illuminate the nature of ontology and its relation to other areas, in language, logic and everyday life, but also demonstrate that common issues from the analytical and phenomenological traditions may be discussed without ideological barriers. Audience: advanced students of and specialists in philosophy, linguistics, cognitive science, computer science, database engineering. (shrink)

by D. M. Armstrong In the history of the discussion of the problem of universals, G. F. Stout has an honoured, and special. place. For the Nominalist, meaning by that term a philosopher who holds that existence of repeatables - kinds, sorts, type- and the indubitable existence of general terms, is a problem. The Nominalist's opponent, the Realist, escapes the Nominalist's difficulty by postulating universals. He then faces difficulties of his own. Is he to place these universals in a special (...) realm? Or is he to bring them down to earth: perhaps turning them into repeatable properties of particulars, and repeatable relations between universals? Whichever solution he opts for, there are well-known difficulties about how particulars stand to these universals. Under these circumstances the Nominalist may make an important con cession to the Realist, a concession which he can make without abandoning his Nominalism. He may concede that metaphysics ought to recognize that particulars have properties and are related by relations. But, he can maintain, these properties and relations are particulars, not universals. Nor, indeed, is such a position entirely closed to the Realist. A Realist about universals may, and some Realists do, accept particularized properties and relations in addition to universals. As Dr. Seargent shows at the beginning of his book. a doctrine of part icularized properties and relations has led at least a submerged existence from Plato onwards. The special, classical. (shrink)

Professor Arda Denkel argues here that objects are nothing more than bundles of properties. From this point of view he tackles some central questions of ontology: how is an object distinct from others; how does it remain the same while it changes through time? A second contention is that properties are particular entities restricted to the objects they inhabit. The appearance that they exist generally, in a multitude of things, is due to the way we conceptualize them. Other problems dealt (...) with include how objects bear similarities by belonging to the same kinds, and how change in them is caused. Denkel defends a thoroughgoing particularism and offers purely qualitative accounts of individuation, identity, essences and matter. Throughout, the main alternative positions are surveyed, and the relevant historical background is traced. (shrink)

Things are particulars and their qualities are universals, but do universals have an existence distinct from the particular things describable by those terms? And what must be their nature if they do? This book provides a careful and assured survey of the central issues of debate surrounding universals, in particular those issues that have been a crucial part of the emergence of contemporary analytic ontology. The book begins with a taxonomy of extreme nominalist, moderate nominalist, and realist positions on properties, (...) and outlines the way each handles the phenomena of predication, resemblance, and abstract reference. The debate about properties and philosophical naturalism is also examined. Different forms of extreme nominalism, moderate nominalism, and minimalist realism are critiqued. Later chapters defend a traditional realist view of universals and examine the objections to realism from various infinite regresses, the difficulties in stating identity conditions for properties, and problems with realist accounts of knowledge of abstract objects. In addition, the debate between Platonists and Aristotelians is examined alongside a discussion of the relationship between properties and an adequate theory of existence. The book's final chapter explores the problem of individuating particulars. The book makes accessible a difficult topic without blunting the sophistication of argument required by a more advanced readership. (shrink)