In his doctoral dissertation Von der mannigfachen Bedeutung des Seienden nach Aristoteles Brentano tried to show that (against criticism of this) one could indeed give a principle defense of Aristotle's table of categories as a coherent system. In later texts Brentano appears sharply critical of Aristotle, mainly in respect to Aristotle's mereology, or theory of part and whole, and to his theory of substance and accident. It is argued that Brentano hadn't observed that Aristotle's belief that (...) there are as many predicative senses of 'be' as there are categories of being is based not on his mereology but on his theory of definition. Overlooking this Brentano was led to far reaching inadequate ontological consequences. (shrink)

The subject of this paper is the issue of human speech in Aristotle, especially in his work Categories. Its primary goal is to elaborate an interpretation of Aristotle’s statements about human speech as a quantity (Cat. 4b20–b39, 5a15–b2) that would allow them to fit reasonably into the whole of Aristotle’s theory of language. The structure of the paper is as follows. In the first part a certain approach to the question of the reconstruction of Aristotle’s theory (...) of language is proposed. The second part, by means of the introduction of the criteria of separability and ontological priority of the first substance, creates a framework for the subsequent analysis of the two basic classifications, which constitute the main theme of Categories. The third part supplies its own interpretation of the ontological status of human speech in the context of the classification schemes in Categories, and this, in the fourth part, is inserted into the greater whole of Aristotle’s theory of language. (shrink)

Roderick Chisholm has been for many years one of the most important and influential philosophers contributing to metaphysics, philosophy of mind, and epistemology. This book can be viewed as a summation of his views on an enormous range of topics in metaphysics and epistemology. Yet it is written in the terse, lucid, unpretentious style that has become a hallmark of Chisholm's work. The book is an original treatise designed to defend an original, non-Aristotelian theory of categories. Chisholm argues (...) that there are necessary things and contingent things; necessary things being things that are not capable of coming into being or passing away. He defends the argument from design, and thus includes the category of necessary substance (God). Further contentions of the essay are that attributes are also necessary beings, but not necessary substances, and that human beings are contingent substances but may not be material substances. (shrink)

Science does not exist in vacuum; it arises and works in context. Ground-breaking achievements transforming the scientific landscape often stem from philosophical thought, just as symbolic logic and computer science were born from the early analytic philosophy, and for the very reason they impact our global worldview as a coherent whole as well as local knowledge production in different specialised domains. Here we take first steps in elucidating rich philosophical contexts in which Samson Abramsky’s far-reaching work centring around categorical (...) science as a new kind of science may be placed, explicated, and articulated. We argue, inter alia, that Abramsky’s work, as a whole, may be construed as demonstrating the categorical unity of science, or rather the sciences, in a mathematically rigorous, down-to-earth manner, which has been a salient feature of his work. At the same time we trace his intellectual history, leading from duality, to intensionality, and to contextuality, and place it in a broader context of philosophy beyond the analytic-continental divide, namely towards the reintegration of them as in the post-analytic tradition. Besides, we address issues in philosophy of category theory, such as the foundational autonomy of category theory and the (presumably two) dogmas of set-theoretical foundationalism, which Abramsky actually touch upon in one of his few philosophically inclined works. As to philosophy of category theory, we also address categorical structuralism as higher-order structuralism, categorical epistemology as elucidating higher-order meta-laws, and categorical ontology as allowing for reduction of ontological commitment via structural realism, the structuralist resolution of Benaceraff’s dilemma, and the pluralistic multiverse view of science as opposed to the set-theoretical reductionist ‘universe’ view. We conclude by speculating about the existence of the Oxford School of (Pluralistic) Unified Science as opposed to the Vienna Circle of (Monistic) Unified Science and to the Stanford School of (Pluralistic) Disunified Science; Categorical Unified Science may potentially allow us to reconcile the two camps on the unity and disunity of science whilst doing justice to both of them. Categorical unity arguably allows for unification via epistemological and ontological networking, and via knowledge transfer thus enabled, rather than unification via the reduction of everything and every truth to a single foundationalist framework, whilst taking at face value disunity, plurality, and diversity, and their significance in science and in human civilisation as a whole. (shrink)

This book contains the definitive statement of Franz Brentano's views on meta physics. It is made up of essays which were dictated by Brentano during the last ten years of his life, between 1907 and 1917. These dictations were assembled and edited by Alfred Kastil and first published by the Felix Meiner Verlag in 1933 under the title Kategorienlehre. Kastil added copious notes to Brentano's text. These notes have been included, with some slight omissions, in the present edition; the bibliographical (...) references have been brought up to date. Brentano's approach to philosophy is unfamiliar to many contemporay readers. I shall discuss below certain fundamental points which such readers are likely to find the most difficult. I believe that once these points are properly understood, then what Brentano has to say will be seen to be of first importance to philosophy. THE PRIMACY OF THE INTENTIONAL To understand Brentano's theory of being, one must realize that he appeals to what he calls inner perception for his paradigmatic uses of the word "is". For inner perception, according to Brentano, is the source of our knowledge of the nature of being, just as it is the source of our knowledge of the nature of truth and of the nature of good and evil. And what can be said about the being of things that are not apprehended in inner perception can be understood only by analogy with what we are able to say about ourselves as thinking subjects. (shrink)

Roderick Chisholm is a seminal figure in contemporary analytical metaphysics, epistemology, and philosophy of mind. The current healthy state of metaphysics and epistemology is in no small measure due to his influence and positive example. Chisholm has defended realism in metaphysics, foundationalism in epistemology, and the primacy of intentionality in the philosophy of mind. Throughout his long career at Brown, Chisholm was absorbed in the technical philosophical problems internal to this program. For example, his Socratic quests for the required definitions (...) are deservedly legendary. Still, this book is Chisholm's first attempt to provide a systematic exposition of his philosophical views, and it may be regarded as the definitive statement of the mature Chisholmian weltanschauung. The book is characterized by the virtues we have come to expect from this master of analytical philosophy: erudition, clarity, ingenuity, subtlety, technical virtuosity, and great depth. It covers a very large range of topics, in a small number of pages, in a style that is notably laconic. Such a book can be profitably read by those who are not advanced students of philosophy, but can be fully appreciated only by the most philosophically sophisticated. This important book should be read by all those who have a serious interest in metaphysics, epistemology, or philosophy of mind. (shrink)

This book contains the definitive statement of Franz Brentano's views on meta physics. It is made up of essays which were dictated by Brentano during the last ten years of his life, between 1907 and 1917. These dictations were assembled and edited by Alfred Kastil and first published by the Felix Meiner Verlag in 1933 under the title Kategorienlehre. Kastil added copious notes to Brentano's text. These notes have been included, with some slight omissions, in the present edition; the bibliographical (...) references have been brought up to date. Brentano's approach to philosophy is unfamiliar to many contemporay readers. I shall discuss below certain fundamental points which such readers are likely to find the most difficult. I believe that once these points are properly understood, then what Brentano has to say will be seen to be of first importance to philosophy. THE PRIMACY OF THE INTENTIONAL To understand Brentano's theory of being, one must realize that he appeals to what he calls inner perception for his paradigmatic uses of the word "is". For inner perception, according to Brentano, is the source of our knowledge of the nature of being, just as it is the source of our knowledge of the nature of truth and of the nature of good and evil. And what can be said about the being of things that are not apprehended in inner perception can be understood only by analogy with what we are able to say about ourselves as thinking subjects. (shrink)

In the Categories Aristotle defined substance as that which is neither predicable of nor in another. In saying that a substance is not predicable of another, Aristotle meant to exclude genera and species from the category substance. Aman is a substance but not man. In saying that a substance is not in another, Aristotle meant to exclude property particulars from the category. A man is a substance, not his color. The Categories treats substances as simples. Though a particular (...) substance, Bucephalus the horse, has parts, it is nevertheless a single entity in the category substance and, hence, incomplex in the way a black thing or a running man are not. Black things and runners are complex because they are aggregates of substances and property particulars. Even if a horse is one substance and, thus, an entity, a horse is made of parts and one may wonder how it is related to its parts, as well as how its being made of parts coheres with the definition of substance given in the Categories. (shrink)

Although a considerable degree of precision has been introduced both into the formulation and the discussion of ontological theories by the use of formal methods there is still a remarkable indefiniteness about foundational issues. In particular it is not clear what an ontological category is and why we regard something as an ontological category. This is amazing given that the notion of ontological category is in fact the most basic of the whole of ontology: it (...) is what this discipline is about. (shrink)

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of (...) categories has some advantages over competing theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

The purpose of the paper is demonstrate the thesis that Ingarden's ontological system allows a better understanding of the “part-whole” problem then previous theories. Especially, if we take into account the existential ontology of Ingarden, which refers to Husserl “part-whole” theory, we can see that development of terms made by Ingarden sheds new light on old problems. In this context, particularly important is to distinguish between two existential moments: contingancy/inseparatness, because thanks to them we can talk (...) about many different types of relationships and hence many types of objects. (shrink)

In the field of history of Chinese philosophy, the key points and difficulties in the research on Fang Yizhi are mainly reflected in two ideological lines: one is how the academic pattern of the transition from Neo-Confucianism in the Song and Ming Dynasties to the texturalism in the Qing Dynasty happened; the other is how the traditional Chinese humanities accepted the western modern natural sciences and technologies. Relatively speaking, in the late Ming and early Qing Dynasties, there were fewer academic (...) discussions on the relationship between intellectual thought and natural science and technology, and no universally accepted explanatory paradigm has been put forward yet. To understand the relationship between science and humanities in late Ming and early Qing Dynasty, as well as that between modern western natural science and ancient Chinese traditional thought, Fang Yizhi is a precious object of study. Fang Yizhi's thinking and practice about "things" is a bridge linking the natural world and the human world. “Thing” in Chinese philosophy has both concrete and abstract attributes, including but not limited to the category of “matter” in Western philosophy. Fang Yizhi has always been regarded as an encyclopedic thinker, and his theory of things is extremely rich. The theory and practice of things are the core of Fang Yizhi's philosophy. Fang Yizhi believes that the three religions all hold that the ultimate noumenon itself is "unknowable" and at the same time is the fundamental basis of every single thing, so people can only "study its origin" from the "knowable", that is, the "thing". This train of thought lies in the base of Fang’s thinking when describing and analyzing the relationship between Dao and things, which includes both theories of the universe and the ontology. This paper holds that the basic idea of Fang Yizhi's philosophy on the theory of body and function is that ‘there is no body but there is function’, while on the theory of universe it is that what above Yin and Yang are unknowable. Because the Dao has no body, it has only the function. And because nothing above the Yin and Yang can be understood, people can only use what is below the Yin and Yang such as the principle, qi 氣, image and number, to form the universal principle through the induction of the principle of “things”. Furthermore, Fang Yizhi ascribes the body, mind, nature and destiny to the concept of things, that is to say, he regards the self as the object of rational cognition. In this relationship, "I" is not only the subject of cognition, but also the object of cognition, thus realizing introspection inward. Thirdly, utensils and heaven and earth, that is, man-made objects and natural objects, are external to the self. Although Fang Yizhi also advocated "making" things external to human beings, under the social class system of scholars, peasants, workers and businessmen, he could only engage in the research of the theory of external things, that is, the so-called science of quality and measurement. On the whole, Fang Yizhi's physical research and practice did not go beyond the scope of Chinese traditional natural science, but he was good at summarizing research methods, actively absorbing the contents of western natural science, and put forward correct ideas on many specific natural science issues. Mou Zongsan's discussion on the relationship between existence and activity inspires the author to think about the significance of the theory of “round ∴”. Fang Yizhi drew a series of laws represented by the theory of “round∴” through the induction of the principle of being. Although these laws are derived from existing things, they themselves are not static, but show two levels of active states: one is the internal dynamics of the laws, that is, the constant rotation; the other is that the law derived from the existing things can be applied to the activities of people, considering eternity and change, the right timing and other variable factors. This paper tries to follow the essence of Fang Yizhi's thought to seek for communication and connection between objects and things, between being and activity, between natural science and moral and human ethics. From the perspective of the development of modern and contemporary Chinese philosophy, the study of mind has always occupied an important position, and the corresponding philosophical research of “things” is relatively lacking. In theory, mind and thing are relative and inseparable aspects, and the thoughts on “things” in traditional Chinese thought resources are comparable to the study of mind in terms of diachronic, textual volume and theoretical depth. The rapid development of modern natural science and technology and its challenges to the human world have promoted the deep and lasting reflecting on the problem of things and the relationship between people and things in western philosophy. Scientific rationality invades every aspect of human's life. The transformation of knowledge to practical technology enhances human's ability to control and transform things. Instrumental rationality dominates human's understanding of things, and “things” fall from the meaning world of human's living situation and become the means to meet human's needs. A re-examination of this period in Chinese history, when pre-modern ideas and science and technology first collided, may be helpful to enlighten us to think about the relationship between science and technology and the world of human significance. (shrink)

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms (...) of its parts is also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

Nicolai Hartmann’s theory of ontological categories is presented. After a broad outline of the architecture of the categories, the presentation is focused on two issues, namely the question of paired categories with positional value and the theory of levels of reality and the relations of super-formation and super-position that connect them.

This book presents a formal and philosophical analysis of language syntax. It refers to some ideas of E.Husserl and G. Frege, to S. Leśniewski's theory of syntactic categories and K. Ajdukiewicz's conception of formal grammar, also to Ch.S. Pierces's distinction between tokens (concrete linguistic entities) and types (ideal linguistic entities) and to A.A. Markov's theory of algorithms. The central aim of the book is - in the spirit of these ideas - to provide both strict yet comprehensive (...) lectures on two axiomatic theories of languages (grammars) irrespective of specific structure of their expression and the notation used in them. The main feature of these theories are that definitions of well-formed expression allow the formulation of algorithms for the examination of syntactic correctness of expressions and that their formalizations are bi-level, in reference to opposite philosophical orientations: nominalistic and idealistic. The theoretical considerations in the book speak in favour of the former. The book contains a translation of the basic contents of the book in Polish "Teorie języków syntaktycznie kategorialnych ("Theories of syntactically categorial languages"), PWN, Warszawa-Wrocław 1985, and extensive Introduction and Final Remarks. In Introduction are discussed the main assumptions, objectives and conditionings of presented theories and intuitive foundations of these theories. Final Remarks are connected with the subject-matter of the book and the ability to build syntax theories in the opposition spirit, because of the Platonic approach to language syntax. -/- . (shrink)

This paper has two parts: In the first part, I give a general survey of the various reasons 17th and 18th century life scientists and metaphysicians endorsed the theory of pre-existence according to which God created all living beings at the creation of the universe, and no living beings are ever naturally generated anew. These reasons generally fall into three categories. The first category is theological. For example, many had the desire to account for how all humans are (...) stained by original sin (we were all there). As another example of a theological motivation, some take the organism as an obvious starting point for a teleological argument for God’s existence, and this staring point is sometimes developed into a full-blown theory of pre-existence. The second category could be thought of as non-theological metaphysical, and paramount here is the desire to deal with the metaphysical problem of individuation. So, for example, Leibniz embraces a version of hylomorphism in order to overcome difficulties with Descartes’ theory of material substance, including the difficulty of how to account for enduring material individuals, and Leibniz’s hylomorphism is closely linked with his embrace of pre-existence. The third category might be termed “biological”, and one example of such a concern is how to explain the organic unity of living beings where the whole seems to ontologically precede the parts. This is frequently translated into a temporal priority of whole to parts, and thus pre-existence is posited. Of course, many natural philosophers of the early modern period embrace pre-existence for more than one reason, but in general, these are the three classes of motivations one might have for embracing the theory. In the second part of the paper I examine in detail one argument that appears in the work of Malebranche. On the face of it, this argument seems to be a biological one, specifically the biological or organic holism argument mentioned above. But upon closer examination, I shall argue, Malebranche’s reasons for endorsing pre-existence bring together several of the arguments discussed in the first part of the paper. I conclude with some considerations about what we can learn about Malebranche as a natural philosopher from his motivations for holding the pre-existence doctrine of generation. (shrink)

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (...) (illocutionary modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories. (shrink)

What primitive concepts does formal ontology require? Forsaking as too indirect the linguistic way of discerning the categories of being, this paper considers what primitives might be required for representing things in themselves (noumena) and representations of them in a thoroughly crafted large autonomous multi-purpose database. Leaving logical concepts and material ontology aside, the resulting 32 categories in 13 families range from the obvious (identity/difference, existence/non-existence) through the fairly obvious (part/whole, one/many, sequential order) and the surprisingly familiar (...) (illocutionary modes, mass/count, indexical/descriptive) to the controversial (moment/fundament, transparent/opaque) and the arcane (modes of class delimitation, taxonomic rank, aspects of designators). Any such list is speculative and tentative, but the test of this one will be in its implementation, a new departure for philosophical category theories. (shrink)

What follows is an investigation of the ontology of Franz Brentano with special reference to Brentano's later and superficially somewhat peculiar doctrine to the effect that the substances of the material world are three dimensional places. Taken as a whole, Brentano's philosophy is marked by three, not obviously compatible, trait. In the first place, his work is rooted in the metaphysics of Aristotle, above all in Aristotle's substance/accident ontology and in the Aristotelian theory of categories. In the (...) second place, Brentano embraced a Cartesian epistemology. He saw the source of all knowledge as residing in our direct awareness of our own mental phenomena and in our capacity to grasp evident incompatibilities in the realm of concepts.) Thirdly, he regarded the existence of an external world as at most probable, and denied outright the existence of a world similar to the world that is given in experience. Finally, and in some sense linking together these opposing strands, he propagated an idea of what he called "descriptive psychology", a discipline which would on the one hand yield exact knowledge of the structures and categories of mental life, and on the other hand provide an epistemologically sure foundation for other branches of philosophy. As we shall see, it is this psychological aspect of Brentano's philosophy which leads him to his conception of the substantiality of place. Surprisingly, however, the psychological considerations which underlie Brentano's thinking will be shown to raise a series of questions strictly ontological in nature, questions which are not without a systematic interest of their own. (shrink)

Aristotle's views on the fundamental nature of reality are usually taken to be inconsistent. The two main sources for these views are the Categories and the central books of the Metaphysics, particularly book Zeta. In the early theory of the Categories the basic entities of the world are concrete objects such as Socrates: Aristotle calls them 'primary substances'. But the later theory awards this title to the forms of concrete objects. Michael Wedin proposes a compatibilist solution (...) to this long-standing puzzle, arguing that Aristotle is engaged in quite different projects in the two works. The theory of Metaphysics Zeta is meant to explain central features of the standing doctrine of the Categories, and so presupposes the essential truth of the early theory. The Categories offers a theory of underlying ontological configurations, while book Zeta gives form the status of primary substance because it is primarily the form of a concrete object that explains its nature, and this form is the substance of the object. So when the late theory identifies primary substance with form, it appeals to an explanatory primacy that is quite distinct from the ontological primacy that dominates the Categories. Wedin's new interpretation thus allows us to see the two treatises as complementing each other: they are parts of a unified history of substance. (shrink)

Michael Wedin argues against the prevailing notion that Aristotle's views on the nature of reality are fundamentally inconsistent. According to Wedin's new interpretation, the difference between the early theory of the Categories and the later theory of the Metaphysics reflects the fact that Aristotle is engaged in quite different projects in the two works--the earlier focusing on ontology, and the later on explanation.

Aristotle's views on the fundamental nature of reality are usually taken to be inconsistent. The two main sources for these views are the Categories and the central books of the Metaphysics, particularly book Zeta. In the early theory of the Categories the basic entities of the world are concrete objects such as Socrates: Aristotle calls them 'primary substances'. But the later theory awards this title to the forms of concrete objects. Michael Wedin proposes a compatibilist solution (...) to this long-standing puzzle, arguing that Aristotle is engaged in quite different projects in the two works. The theory of Metaphysics Zeta is meant to explain central features of the standing doctrine of the Categories, and so presupposes the essential truth of the early theory. The Categories offers a theory of underlying ontological configurations, while book Zeta gives form the status of primary substance because it is primarily the form of a concrete object that explains its nature, and this form is the substance of the object. So when the late theory identifies primary substance with form, it appeals to an explanatory primacy that is quite distinct from the ontological primacy that dominates the Categories. Wedin's new interpretation thus allows us to see the two treatises as complementing each other: they are parts of a unified history of substance. (shrink)

Classifying is a fundamental operation in the acquisition of knowledge. Taxonomic theory can help students of cognition, evolutionary psychology, ethology, anatomy, and sociobiology to avoid serious mistakes, both practical and theoretical. More positively, it helps in generating hypotheses useful to a wide range of disciplines. Composite wholes, such as species and societies, are “individuals” in the logical sense, and should not be treated as if they were classes. A group of analogous features is a natural kind, but a group (...) of homologous features is not. Imposing hypotheses justified only on the basis of nominalist, realist, phenomenalist, or conceptualist metaphysics upon the neurophysiology of organisms or upon the causes of behavior exemplifies the “psychologist's fallacy” of William James. Levels should be distinguished from their members and from classes of levels, and the ontological status of entities ranked at levels should be made clear. It is important not to confuse such categories as substance and process with one another. Several genetical terms, such as “gene” and chromosome,” are even more equivocal than has been realized. Discussions about units of selection, behavior, and thinking suffer from the ambiguity of a “unit of” an entity. An important source of misunderstanding about natural selection is the habit of treating it as an “agent”: in an important sense, natural selection does not “act” at all. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of (...) symmetrical relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

This is a translation of an early essay by the German philosopher Nicolai Hartmann (1882–1950). In this 1923 essay Hartmann presents many of the fundamental ideas of his new critical ontology. He summarizes some of the main points of his critique of neo-Kantian epistemology, and provides the point of departure for his new approach in an extensive criticism of the errors of the classical ontological tradition. Some of these errors concern the definition of an ontological category or principle, (...) and others concern the relations among categories themselves. The outline for the new ontology is sketched through the correctives Hartmann appends to the treatment of each error, prefiguring his mature ontological system. (shrink)

Among the main concerns of 20th century philosophy was that of the foundations of mathematics. But usually not recognized is the relevance of the choice of a foundational approach to the other main problems of 20th century philosophy, i.e., the logical structure of language, the nature of scientific theories, and the architecture of the mind. The tools used to deal with the difficulties inherent in such problems have largely relied on set theory and its “received view”. There are specific (...) issues, in philosophy of language, epistemology and philosophy of mind, where this dependence turns out to be misleading. The same issues suggest the gain in understanding coming from category theory, which is, therefore, more than just the source of a “non-standard” approach to the foundations of mathematics. But, even so conceived, it is the very notion of what a foundation has to be that is called into question. The philosophical meaning of mathematics is no longer confined to which first principles are assumed and which “ontological” interpretation is given to them in terms of some possibly updated version of logicism, formalism or intuitionism. What is central to any foundational project proper is the role of universal constructions that serve to unify the different branches of mathematics, as already made clear in 1969 by Lawvere. Such universal constructions are best expressed by means of adjoint functors and representability up to isomorphism. In this lies the relevance of a category-theoretic perspective, which leads to wide-ranging consequences. One such is the presence of functorial constraints on the syntax–semantics relationships; another is an intrinsic view of (constructive) logic, as arises in topoi and, subsequently, in more general fibrations. But as soon as theories and their models are described accordingly, a new look at the main problems of 20th century’s philosophy becomes possible. The lack of any satisfactory solution to these problems in a purely logical and set-theoretic setting is the result of too circumscribed an approach, such as a static and punctiform view of objects and their elements, and a misconception of geometry and its historical changes before, during, and after the foundational “crisis”, as if algebraic geometry and synthetic differential geometry – not to mention algebraic topology – were secondary sources for what concerns foundational issues. The objectivity of basic geometrical intuitions also acts against the recent version of structuralism proposed as ‘the’ philosophy of category theory. On the other hand, the need for a consistent and adequate conceptual framework in facing the difficulties met by pre-categorical theories of language and scientific knowledge not only provides the basic concepts of category theory with specific applications but also suggests further directions for their development (e.g., in approaching the foundations of physics or the mathematical models in the cognitive sciences). This ‘virtuous’ circle is by now largely admitted in theoretical computer science; the time is ripe to realise that the same holds for classical topics of philosophy. (shrink)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side (...) of the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

Social ontology is the study of the nature and properties of the social world. It is concerned with analyzing the various entities in the world that arise from social interaction. -/- A prominent topic in social ontology is the analysis of social groups. Do social groups exist at all? If so, what sorts of entities are they, and how are they created? Is a social group distinct from the collection of people who are its members, and if so, how is (...) it different? What sorts of properties do social groups have? Can they have beliefs or intentions? Can they perform actions? And if so, what does it take for a group to believe, intend, or act? -/- Other entities investigated in social ontology include money, corporations, institutions, property, social classes, races, genders, artifacts, artworks, language, and law. It is difficult to delineate a precise scope for the field (see section 2.1). In general, though, the entities explored in social ontology largely overlap with those that social scientists work on. A good deal of the work in social ontology takes place within the social sciences (see sections 5.1–5.8). -/- Social ontology also addresses more basic questions about the nature of the social world. One set of questions pertains to the constituents, or building blocks, of social things in general. For instance, some theories argue that social entities are built out of the psychological states of individual people, while others argue that they are built out of actions, and yet others that they are built out of practices. Still other theories deny that a distinction can even be made between the social and the non-social. -/- A different set of questions pertains to how social categories are constructed or set up. Are social categories and kinds produced by our attitudes? By our language? Are they produced by causal patterns? And is there just one way social categories are set up, or are there many varieties of social construction? -/- The term ‘social ontology’ has only come into wide currency in recent years, but the nature of the social has been a topic of inquiry since ancient Greece. As a whole, the field can be understood as a branch of metaphysics, the general inquiry into the nature of entities. (shrink)

The aim of this paper is to trace in Leibniz’s drafts the sketched outline of a conceptual framework he organized around the key concept of ‘requisite’. We are faced with the project of a semi-formal theory of conditions, whose logical skeleton can have a lot of different interpretations. In particular, it is well suited to capture some crucial relations of ontological dependence. Firstly the area of ‘mediate requisites’ is explored - where causal and temporal relations are dealt with (...) on the basis of a general theory of ‘consequence’.Then the study of ‘immediate requisites’ is taken into account - a true sample of mereological inquiry, where Leibniz strives for a unitary treatment of part-whole relation, conceptual inclusion and inherence. Far from simply conflating these relations one with another and with causality, therefore, Leibniz tried to spell them out, while at the same time understanding them within a single conceptual framework. (shrink)

The relation-theory of mental acts proposes that a mental act is a kind of relative entity founded upon the mind and directed at the object of perception or thought. While most medieval philosophers recognized that there is something importantly relational about thought, they nevertheless rejected the view that mental acts are wholly relations. Rather, the dominant view was that a mental act is either in whole or part an Aristotelian quality added to the mind upon which such a (...) relation to the object can be founded. In this paper, I examine Durand of St.-Pourçain's defense of the relation-theory of mental acts against two objections raised against it: the first from John Duns Scotus, among others, and the second from an anonymous Thomist and Adam Wodeham. -/- . (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.3 (2001) 437-438 [Access article in PDF] Michael V. Wedin. Aristotle's Theory of Substance: The Categories and Metaphysics Zeta. Oxford Aristotle Studies. New York: Oxford University Press, 2000. Pp. xiii + 482. Cloth, $55.00. Michael Wedin has written the equivalent for Aristotle of what biblical scholars would call a "harmony of the gospels." It is a wonderfully rich and argumentatively dense (...) reconstruction of Aristotle's two most important treatises on substance, the Categories and Metaphysics Zeta, works that many of our most able Aristotle scholars have declared irreconcilable.The first chapter, on "the plan" of the Categories, includes a sensible account of the role in that work of the "onymies," as Wedin calls homonymy, synonymy, and paronymy. The second chapter, which focuses on "nonsubstantial individuals" in the Categories, gives the most philosophically sophisticated reconstruction known to me of how Aristotle might have conceived this white in Socrates to be a nonrecurrent particular. Having myself contributed to the glut of recent scholarship on nonsubstantial individuals in the Categories, I have personal, as well as professional, reasons to praise the rigor and insight of this chapter.In Chapter 3 Wedin tries to pin down the ontological commitment of Aristotle's Categories. Since, if there were no primary substances there would not be anything else, the fundamental ontological commitment of the Categories is a commitment to primary substances. Individual nonsubstances exist just in case there are primary substances in which they inhere. As for species and genera of substances and species and genera of the nonsubstantial individuals that inhere in them, Wedin finds Aristotle curiously indifferent to their existence.Chapter 4, a transitional chapter, takes up a range of possible views on the relation between the Categories and Metaphysics Zeta. Incompatibilism is argued against, yet the arguments for compatibilism in recent commentaries are found to be insufficient. In the next chapter Wedin moves on to his own statement of, and justification for, compatibilism.The key to Wedin's compatibilist interpretation is the distinction he draws between being a substance and being the "substance-of" something. Zeta can then be seen to be supplementing, rather than revising, let alone contradicting, the Categories, if Zeta can be understood to be about the substance-of the primary substances of the Categories (157-8).Aristotle proposes in Z3 three candidates for what the substance of, say, Socrates, is, namely, his matter, his form, and the compound of the two. Aristotle settles on form and discusses form as essence in Z4 and Z5, which discussion Wedin takes up in his own [End Page 437] Chapter 6. Then in Chapter 7 Wedin takes on the enigmatic claim of Z6, "In the case of things that are primary and spoken of per se, it is clear that the thing and the essence of the thing are the same" (1032a4-6).Wedin makes Chapter 8, which is primarily a treatment of Z10 and Z11, a discussion of Aristotle on "compositional plasticity," that is, on whether, say, the form of human being might be realized in something other than flesh and bones. "[O]ne could grant," Wedin writes, that to be a human being is just to be a member of a determinate biological species and so to have a very specific material nature, and yet insist that the form of such creatures be realizable in quite different sorts of matter. Creatures so constituted would not be human beings but they would be entities with similar functional capacities and states... From the point of view of philosophy of mind, for example, what matters are the psychological capacities, functions, and states characteristic of persons. Just what these are is determined by a form—the form that happens to be realized in human matter. (340-41) In Chapter 9 Wedin turns to Z13, which, as he acknowledges, has often been thought to be the most confounding chapter in Zeta. Wedin draws on Z16 to help resolve the aporia with which Z13 ends (roughly this... (shrink)

A review of U. Mäki (ed.). Fact and Fiction in Economics, Cambridge: Cambridge University Press, 2003. pp. xvi 384. ISBN 0521 00957. As people interested mainly in theory, methodologists and philos...

As with the problem of universals, late medieval thinkers were very concerned with the ontological status of relations, for they were central to numerous theological and philosophical problems. These relations were of various types: relations of identity, qualitative similarity, quantitative equality, causal relations, and intentional relations, such as those between knower and the object known. Each of these relations was taken to be an Aristotelian accident. Does it differ from the substance which is related? Broadly speaking, I have discovered (...) four alternative theories: as sentence of the form "a is related by a real relation R to b" is true only if the relation R is an extra-mental thing really distinct from a and b ; R only exists as a concept in a mind ; a and b exist in a certain real way ; the term "R" is connotative, signifying a directly and connoting b . Using printed sources and my critical edition of various codices, I ask the following thinkers whether a real relation is distinct from that which is related: Thomas Aquinas, Giles of Rome, Henry of Ghent, Richard of Middleton, John Duns Scotus, Henry of Harclay, Hervaeus Natalis, and Peter Aurioli. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time (...) – is critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

This book raises and examines the philosophical problem of how it is possible that the social world is constituted as a unified totality. A novel theory of social i holism is put forward on the basis of what is specified as formal ontology. The first part of the book discloses the non-extensional constitution of the social world and proposes that the individual is to be understood as a 'Leibnizian entelechial monad' in conceptual communication with the others. it is further (...) established that the categories of social holism must be placed within a transcendental locus. in the second part, this conceptual communication is analysed as the possession and application of social concepts, meaningful linguistic behaviour, and the intentionality of mental acts. Finally, in the last part, the event-structure to the social world is described. Social states of affairs as constituents of an event-dense social world are shown to be complex wholes irreducible to their subjects and instantiating an intensional nexus of relations of social properties. (shrink)

Resumen Este trabajo de investigación versará sobre la posibilidad de pensar un diálogo entre la teoría de género y la diferencia sexual, atravesando la necesaria delimitación teórica y conceptual de las categorías en juego, ya sea la de género como la de diferencia sexual, con todas las necesarias conceptualizaciones vinculantes. Se trabajará sobre la tensión que existe entre una postura culturalista como la de género y aquella que es denominada como diferencia sexual, la cual no responde al esquema de la (...) diferencia anatómica, aspecto que necesita de la introducción de una perspectiva psicoanalista lacaniana para abordar tal problemática. La lectura de la posibilidad de diálogo provendrá de la ubicación del cuerpo como un elemento central para el desarrollo de la investigación, ya sea en su vertiente psicoanalítica de cuerpo sexuado orientado a lo real lacaniano, como también en la perspectiva de una somateca como espacio de apertura en oposición a la noción de corpus. Es en esta discusión acerca de la comprensión de lo corporal donde podremos identificar la posibilidad de diálogo, en tanto el cuerpo está atravesado por una inconsistencia: su incompletitud ontológica.This research work focuses on the possibility of thinking of a dialogue between gender theory and sexual difference, going through the necessary theoretical and conceptual delimitation of the categories at stake, be it gender or sexual difference, and all the necessary binding conceptualizations. We work on the tension between a culturalist position like gender and one denominated sexual difference, but not in the sense of anatomical difference. To address this issue, it is necessary to introduce a Lacanian psychoanalytic perspective. The possibility of dialogue will come from the location of the body as a central element for the development of the research, either in its psychoanalytic approach as sexed body oriented to the Lacanian real, or in the perspective of a Somateca as a space of opening, opposed to the notion of corpus. It is in this discussion about the understanding of the body that we can identify the possibility of dialogue, for the body is crossed by an inconsistency its ontological incompleteness. (shrink)

This volume is devoted to problems within analytic metaphysics. It defends an ontology and theory of categories inspired by Aristotle, but revised in such a way as to be compatible with modern science. The ontology of both natural and social reality is addressed, starting out from the view that universals exist but only in the spatiotemporal world. In attempting to bring Aristotle's ontology up-to-date, the author relies very much on the thinking of Edmund Husserl, conceiving the cement of (...) the universe as Husserlian relations of existential dependence and regarding intentionality as a non-reducible category in the ontology of mind. The work is thoroughly realistic in spirit, but large parts of it should nonetheless be of interest to conceptualists and nominalists, too. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that (...) there is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

Significant scholarship has been devoted to the problem of the incompatibility of Aristotle’s accounts of substance in the Categories and in the Metaphysics. Substance, in the former treatise, is that category of being distinguished from the other accidental categories by reason of the ontological dependence of accident upon substance: every accident must be present in a substance to be present at all. Primary substances such as “Socrates” are distinguished from secondary substances such as “human being” or “animal” (...) since secondary substances are said of primary ones. Only primary substances are neither said of a subject nor present in a subject, depending upon nothing else for their existence. This assertion of the ontological primacy of the individual seems to be withdrawn by Aristotle, however, in the Metaphysics, in which substance emerges in a discussion of the hupokeimenon—the underlying subject of which everything else is predicated. This subject is to be understood in three senses: as matter, as form, and as the composite of the two. Primary substance, finally, is granted to form alone, the “most perplexing” of the candidates, according to Aristotle, and the one that turns out to refer to the same thing as essence. Since what Aristotle means by essence looks to be a form common to all individuals of a particular species, it is not surprising that commentators identify at worst a contradictory theory regarding substance, and at best a transformation of an immature theory of substance into a mature one. (shrink)

Quine has developed two reasons for thinking that our ontology should not include the ontological category of properties. His first point is that the criterion for individuating properties is unclear, and the second is that postulating the existence of properties would not explain anything. In what follows I critically examine these two themes, which I will call the clarity argument and the parsimony argument. Although I will suggest that these two arguments are defective, I also will try to show (...) that certain related arguments on behalf of the existence of properties are likewise flawed. This will set the stage for the discussion in the fourth section of the perspective provided by evolutionary theory on the question of the ontological status of properties. It will emerge that evolutionary theory provides reason for thinking that properties exist, and, additionally, gives an interesting point of view on the epistemological and metaphysical issues that Quine has addressed. (shrink)

In the exuberance that followed Einstein’s discoveries, philosophers at one time or another have proposed that his theories support virtually every conceivable moral in ontology. I present an opinionated assessment, designed to avoid this overabundance. We learn from Einstein’s theories of novel entanglements of categories once held distinct: space with time; space and time with matter; and space and time with causality. We do not learn that all is relative, that time in the fourth dimension in any non-trivial sense, (...) that coordinate systems and even geometry are conventional or that spacetime should be reduced ontologically to causal, spatio-temporal or other relations. (shrink)

This brief paper aims to underline which are the philosophical limits of mereotopology, when one takes it as a basic unitary theoretical framework for formal ontology. Mereotopology is a first-order theory of the relations among wholes, parts and the boundaries between parts, that combines mereological and topological concepts. Nowadays, with the expression “formal ontology” one intends either the computational (engineering) version, or the philosophical (categorial) one. It is important, then, to avoid terminological confusions. The main philosophical reason that keeps (...) me from developing the connection between computational and philosophical formal ontologies on mereotopological basis is the following: anti-Representationalism and Monism are two ontological stances very difficult to join together, as mereotopology does, if one takes into account the ontological implications of the emerging dynamical dual paradigm in the information theoretic approach to quantum physics. In general, it is this approach to the current fundamental and experimentally extremely successful physical theories about the microphysical realm, namely Quantum Mechanics and Quantum Field Theory, that allows to overcome the “gap” between the two disciplinary fields of formal ontology, making information a physical magnitude. I do not oppose anti-Representationalism, but its connection with the monistic stance, because of the fact that nowadays information appears as a basic component of the microphysical realm just like energy-matter. This fact justifies a realistic but information-matter dual ontology as the proper formal ontology of the emerging paradigm in the information theoretic approach to contemporary quantum physics. The primacy that Aristotle gives to the theory of principle (act/potency) as to the theory of categories is a very helpful tool to solve the main question that arises within a realistic dual ontological theoretical framework: the question of the non-stable nature of the categories, that reflect the increasingly complexity of the physical dynamic realistic orders. Here is the importance of an historical approach to the topic, given also the fact that mereological formal ontology originates with the works of three authors (Bolzano, Brentano, Husserl) that studied, directly or indirectly, Aristotle’s ontology. (shrink)

Values exist not in isolation, but in complex wholes. Values are what they are because of the complex wholes in which they are situated. To do justice to this thesis will require a holistic ontology, a theory according to which many types of entities exist only as inseparable parts or moments of wider contexts or environments. An ontological theory of environments -- with roots in Gestalt psychology and the ecological psychology of J. J. Gibson and Roger Barker, (...) and which is related also to the theory of motivation sketched by Edmund Husserl as part of his theory of the lifeworld or Lebenswelt -- will help us to understand the ontology of values. It will help us to understand what values are. It will not, however, tell us what is good or bad. From facts of ontology, no value propositions follow. (shrink)

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific (...) theoretical field - arise from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)