As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of what (...) might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs. (shrink)

Machine generated contents note: Essay 1.

A survey of theories of part, whole and dependence from Aristotle to the Gestalt psychologists, with special attention to Husserl’s Third Logical Investigation “On the Theory of Parts and Wholes”.

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The (...) paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Frege's obscure key concept of the unsaturatedness of functions is clarified with the help of the concepts of dependent and independent parts and foundation relations used by Husserl in describing the ontology of complex wholes. Sentential unity in Frege, Husserl and Wittgenstein: all have a similar explanation. As applied to linguistic expressions, the terms 'unsaturated' and 'incomplete' are ambiguous: they may mean the ontological property of Unselbständigkeit, inability to exist alone, or the property of being what categorial grammar calls a (...) functor. Separation of these two senses resolves a dispute between Dummett and Geach on the nature of predicates. (shrink)

Frege's obscure key concept of the unsaturatedness of functions is clarified with the help of the concepts of dependent and independent parts and foundation relations used by Husserl in describing the ontology of complex wholes. Sentential unity in Frege, Husserl and Wittgenstein: all have a similar explanation. As applied to linguistic expressions, the terms 'unsaturated' and 'incomplete' are ambiguous: they may mean the ontological property of Unselbständigkeit, inability to exist alone, or the property of being what categorial grammar calls a (...) functor. Separation of these two senses resolves a dispute between Dummett and Geach on the nature of predicates. (shrink)

A unified theory is offered to account for three types of definite descriptions: with singular, plural, & mass predicates, & to provide an account for the word the in descriptions. It is noted that B. Russell's analysis ("On Denoting," Mind, 1905, 14, 479-493) failed to account for plural & mass descriptions. The proposed theory differs from Russell's only by the substitution of the notation (less than or equal to) for Russell's =. It is suggested that for every predicate G there (...) is an appropriate "part of" or "some of" relation on the extension of G. For singular predicates, (less than or equal to) becomes just the identity relation =. The predicate G is formulated as "the G" & analyzed with the formula ((schwa)x) (Gx . (Gy (includes) yy (less than or equal to) x)), which accounts for all cases of definite descriptions. It is suggested that the primary use of the is not to indicate uniqueness, but totality. C. Ornatowski. (shrink)

Divided into two parts, the first concentrates on the logical properties of propositions, their relation to facts and sentences, and the parallel objects of commands and questions. The second part examines theories of intentionality and discusses the relationship between different theories of naming and different accounts of belief.

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

Husserl (1859-1938) hatte sich in seinem Werk "Formale und transzendentale Logik" das Ziel gesetzt, den inneren Sinn, die Gliederung und Zusammengehörigkeit all dessen nachzuweisen, was bislang an logischen Problemen behandelt worden war, und die Notwendigkeit einer phänomenologischen Durchleuchtung der gesamten logischen Problematik darzutun. Ein Hauptstück der analytisch-deskriptiven Untersuchungen, die einer solchen phänomenologischen Begründung der Logik dienen, ist "Erfahrung und Urteil". Das Buch entstand in Zusammenarbeit mit Schülern und Mitarbeitern.

Brentano uses terms in place of predicates (e.g. "a thinker" in place of "thinks") and characterizes the "is" of predication in terms of the part-whole relation. Taking as his ontological data certain intentional phenomena that are apprehended with certainty, he conceives the substance-accident relation as a defmeable type of part-whole relation which we can apprehend in "inner perception". He is then able to distinguish the following types of individual or ens reale: substances; primary individuals which are not substances; accidents; aggregates; (...) and boundaries. (shrink)

The historical context of the philosophical work of St. Thomas Aquinas, by D. Knowles.--Form and existence, by P. Geach.--Categories, by H. McCabe.--Analogy as a rule of meaning for religious language, by J. F. Ross.--Nominalism, by P. Geach.--St. Thomas' doctrine of necessary being, by P. Brown.--The proof ex motu for the existence of God; logical analysis of St. Thomas' arguments, by J. Salamucha.--Infinite causal regression, by P. Brown.--St. Thomas Aquinas and the language of total dependence, by J. N. Deck.--Divine foreknowledge and (...) human freedom, by A. Kenny.--Intellect and imagination in Aquinas, by A. Kenny.--The immortality of the soul, by H. McCabe.--Aquinas on intentionality, by P. Sheehan.--The scholastic theory of moral law in the modern world, by A. Donagan.--The first principle of practical reason, by G. G. Grisez. (shrink)

Since its publication in 1959, Individuals has become a modern philosophical classic. Bold in scope and ambition, it continues to influence debates in metaphysics, philosophy of logic and language, and epistemology. Peter Strawson's most famous work, it sets out to describe nothing less than the basic subject matter of our thought. It contains Strawson's now famous argument for descriptive metaphysics and his repudiation of revisionary metaphysics, in which reality is something beyond the world of appearances. Throughout, Individuals advances some highly (...) influential and controversial ideas, such as 'non-solipsistic consciousness' and the concept of a person a 'primitive concept'. (shrink)

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections (...) in the preservation process, and hope you enjoy this valuable book. ++++ The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ Uber Den Psychologischen Ursprung Der Raumvorstellung Carl Stumpf S. Hirzel, 1873 Space perception. (shrink)

The philosophy of logical atomism.--Logical atomism.

A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.