Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Radical Ontic Structural Realism (ROSR) claims that structure exists independently of objects that may instantiate it. Critics of ROSR contend that this claim is conceptually incoherent, insofar as, (i) it entails there can be relations without relata, and (ii) there is a conceptual dependence between relations and relata. In this essay I suggest that (ii) is motivated by a set-theoretic formulation of structure, and that adopting a category-theoretic formulation may provide ROSR with more support. In particular, I consider how (...) a category-theoretic formulation of structure can be developed that denies (ii), and can be made to do work in the context of formulating theories in physics. Keywords: structural realism, category theory, general relativity.. (shrink)

Category mistakes are sentences such as 'Green ideas sleep furiously' or 'Saturday is in bed'. They strike us as highly infelicitous but it is hard to explain precisely why this is so. Ofra Magidor explores four approaches to category mistakes in philosophy of language and linguistics, and develops and defends an original, presuppositional account.

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

The notion of 'natural kinds' has been central to contemporary discussions of metaphysics and philosophy of science. Although explicitly articulated by nineteenth-century philosophers like Mill, Whewell and Venn, it has a much older history dating back to Plato and Aristotle. In recent years, essentialism has been the dominant account of natural kinds among philosophers, but the essentialist view has encountered resistance, especially among naturalist metaphysicians and philosophers of science. Informed by detailed examination of classification in the natural and social sciences, (...) this book argues against essentialism and for a naturalist account of natural kinds. By looking at case studies drawn from diverse scientific disciplines, from fluid mechanics to virology and polymer science to psychiatry, the author argues that natural kinds are nodes in causal networks. On the basis of this account, he maintains that there can be natural kinds in the social sciences as well as the natural sciences. (shrink)

We are women, we are men. We are refugees, single mothers, people with disabilities, and queers. We belong to social categories and they frame our actions, self-understanding, and opportunities. But what are social categories? How are they created and sustained? How does one come to belong to them? Ásta approaches these questions through analytic feminist metaphysics. Her theory of social categories centers on an answer to the question: what is it for a feature of an individual to be socially meaningful? (...) In a careful, probing investigation, she reveals how social categories are created and sustained and demonstrates their tendency to oppress through examples from current events. To this end, she offers an account of just what social construction is and how it works in a range of examples that problematize the categories of sex, gender, and race in particular. The main idea is that social categories are conferred upon people. Ásta introduces a 'conferralist' framework in order to articulate a theory of social meaning, social construction, and most importantly, of the construction of sex, gender, race, disability, and other social categories. (shrink)

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea (...) of an adjoint pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

The concept that peope have of themselves as a 'person' is one of the most intimate notions that they hold. Yet the way in which the category of the person is conceived varies over time and space. In this volume, anthropologists, philosophers, and historians examine the notion of the person in different cultures, past and present. Taking as their starting point a lecture on the person as a category of the human mind, given by Marcel Mauss in 1938, (...) the contributors critically assess Mauss's speculation that ntions of the person, rather than being primarily philosophical or psychological, have a complex social and ideological origin. Discussing societies ranging from ancient Greece, India, and China to modern Africa and Papua New Guinea, they provide fascinating descriptions of how these different cultures define the person. But they also raise deeper theoretical issues: What is universally constant and what is culturally variable in people's thinking about the person? How can these variations be explained? Has there been a general progressive development toward the modern Western view of the person? What is distinctive about this? How do one's notions of the person inform one's ability to comprehend alternative formulations? These questions are of compelling interest for a wide range of anthropologists, philosophers, historians, psychologists, sociologists, orientalists, and classicists. The book will appeal to any reader concerned with understanding one of the most fundamental aspects of human existence. (shrink)

Kimberlé Williams Crenshaw ends her landmark essay “Mapping the Margins: Intersectionality, Identity Politics, and Violence against Women of Color” with a normative claim about coalitions. She suggests that we should reconceptualize identity groups as “in fact coalitions,” or at least as “potential coalitions waiting to be formed.” In this essay, I explore this largely overlooked claim by combining philosophical analysis with archival research I conducted at the Gay, Lesbian, Bisexual and Transgender Historical Society Archive in San Francisco about Somos Hermanas, (...) the solidarity project of the Alliance Against Women’s Oppression, based in the San Francisco Women’s Building (1984–90). I extend my analysis into the present by drawing on the oral history and published works of Carmen Vázquez, a key organizer in both Somos Hermanas and the Women’s Building. I argue that conceptualizing identities as in fact coalitions—as complex, internally heterogeneous unities constituted by their internal differences and dissonances and by internal as well as external relations of power—enables us to organize effective political coalitions that cross existing identity categories and to pursue a liberatory politics of interconnection. (shrink)

Categories play a major role in contemporary metaphysics. They have not only been invoked in a number of philosophical theories but are themselves objects of epistemological and metaphysical scrutiny. In this article, we will discuss the following questions: How do we know when something belongs to a certain category? Is there a fundamental category of the world? Can we give a satisfactory account of the number of categories and the completeness of systems of categories? Are categories the genuine (...) subjects of ontology? (shrink)

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect (...) to category mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

The general topic of this book is the theory of categories, its sources, meaning and development. The inquiry can be seen to proceed on two levels. On one, the history of the theory is traced from its alleged genesis in Aristotle, through its main subsequent stages of Kant and Hegel, up to a kind of consummation in two of its prominent twentieth century adherents, Alfred North White head and Nicolai Hartmann. Special attention has been paid to that aspect of the (...) Hegelian conception of the categorial analysis from which the principle of coherence emerged. On the second, deeper level, however, everything starts with Whitehead's metaphysical system, the central part of which con sists of a fascinating, though highly intricate, web of categorial notions and propositions. The historical perspective becomes a means for untangling that web. I am indebted to a number of people for advice, comment and criticism of various parts of this book. My greatest thanks go to my teachers and colleagues Nathan Rotenstreich, Nathan Spiegel, Yaakov Fleischman, as well as to the late Shmuel Hugo Bergman and Pepita Haezrachi. of this book was published in 1967 by An earlier, Hebrew version the Bialik Institute of Jerusalem. I am grateful to Mr Yehoshua Perel, Mr Arnold Schwartz and to my wife Varda for their cooperation in rendering the extensively revised text of the book into readable English. I also owe great appreciation to Miss Liat Dawe for an accurate and painstaking word-processing of the text. (shrink)

The concept of an ontological category is central to metaphysics. Metaphysicians argue about which category of existence an object should be assigned to, whether one category can be reduced to another one, or whether there might be different equally adequate systems of categorization. Answers to these questions presuppose a clear understanding of what precisely an ontological category is, and Jan Westerhoff now provides the first in-depth analysis. After examining a variety of attempted definitions, he proceeds to (...) argue for a new understanding of ontological categories, according to which they are systematizations of our knowledge of the world rather than essential characteristics of the world itself. Metaphysicians will find his work highly stimulating. (shrink)

The author of Categories We Live By replies to critics Linda Martín Alcoff, Judith Butler, and Abraham Sesshu Roth.

Wrong beliefs, known by some as ‘alternative facts’, have proliferated lately in important areas of human life, including social, political, and public health domains. This can be and has been damaging. This brief article proposes an epistemological category classification of these wrong beliefs, with the following mappings: a) ‘No-Information’ marked by willful blindness produces ‘Empty Beliefs’; b) ‘Mis-Information’ yields ‘Mis(taken) Beliefs’; and c) ‘Dis-Information’ predicated on blatant distortions produces ‘Dis(torted) Beliefs’. This simple classification system, is perhaps epistemologically satisfying, and (...) moreover could have positive policy implications. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most of (...) the properties of this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (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 publication of Frege’s Begriffsschrift in 1879 forever altered the landscape for many Western philosophers. Here, Sebastian Rödl traces how the Fregean influence, written all over the development and present state of analytic philosophy, led into an unholy alliance of an empiricist conception of sensibility with an inferentialist conception of thought. -/- According to Rödl, Wittgenstein responded to the implosion of Frege’s principle that the nature of thought consists in its inferential order, but his Philosophical Investigations shied away from offering (...) an alternative. Rödl takes up the challenge by turning to Kant and Aristotle as ancestors of this tradition, and in doing so identifies its unacknowledged question: the relation of judgment and truth to time. Rödl finds in the thought of these two men the answer he urges us to consider: the temporal and the sensible, and the atemporal and the intelligible, are aspects of one reality and cannot be understood independently of one another. In demonstrating that an investigation into the categories of the temporal can be undertaken as a contribution to logic, Rödl seeks to transform simultaneously our philosophical understanding of both logic and time. (shrink)

Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory. Focusing on a categorical theory of sets, we argue that a strong case can be made for its logical and conceptual autonomy. Its justificatory autonomy turns on whether the objects of a foundation for mathematics should be specified only up to isomorphism, as is customary in (...) other branches of contemporary mathematics. If such a specification suffices, then a category-theoretical approach will be highly appropriate. But if sets have a richer `nature' than is preserved under isomorphism, then such an approach will be inadequate. (shrink)

Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We also address (...) the relation of our axiom systems to alternative proposals from the literature, including an axiom set proposed by Freyd and Scedrov for which we reveal a technical issue (when encoded in free logic where free variables range over defined and undefined objects): either all operations, e.g. morphism composition, are total or their axiom system is inconsistent. The repair for this problem is quite straightforward, however. (shrink)

This paper is an essay in what Austin (_Proc Aristotel Soc_ 57: 1–30, 1956–1957) called "linguistic phenomenology". Its focus is on showing how the grammatical features of ordinary causal verbs, as revealed in the kinds of linguistic constructions they can figure in, can shed light on the nature of the processes that these verbs are used to describe. Specifically, drawing on the comprehensive classification of English verbs founds in Levin (_English verb classes and alternations: a preliminary investigation_, University of Chicago (...) Press, Chicago, 1993), I divide the forms of productive causal processes into five classes, corresponding to Aristotle's ontological categories: there are processes that cause change in location, in state, and in quantity; and that lead to the creation and destruction of substances. These broader categories are then subdivided into other ones, corresponding to different Levin classes, according to further differences in the causal processes they involve. I conclude by discussing the relevance of this argument to research in metaphysics and experimental philosophy. (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)

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried (...) out relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo. (shrink)

in a late note, dated 1797, Kant refers to the schematism of the pure understanding as one of the most difficult as well as one of the most important issues treated in the Critique of Pure Reason.1 His treatment of this theme is indeed notorious for its obscurity.2 As I see it, part of the problem is caused by the fact that Kant frames his discussion in terms that he could expect his readers to be familiar with, while he gradually (...) develops ideas that breach any traditional account of cognition. This holds for his references to the power of judgment and the related view that cognition is a matter of subsuming intuitions under concepts3 as well as for the suggestion that there is an initial gap between categories... (shrink)

Analytic Philosophy, EarlyView. The method of paraphrasing away apparent ontological commitments is a familiar tool for trimming one's ontology. Even so, I argue that aiming to avoid commitment via paraphrase is unjustified. The reason is the standard motivations for paraphrase rest on implicit yet faulty principles regarding ontological categories and categorization- or so I argue. These results also provide indirect support for a permissivist approach to ontology.

Kant famously claims that the table of the categories of freedom does not require explanation. Kant interpreters have been baffled by this claim, and the disagreement among the increasing number of studies in more recent years suggests that the table is not as straightforward as Kant took it to be. In this article I want to show that a coherent interpretation of the table depends essentially on a clarification of what have been taken to be three fundamental ambiguities in Kants (...) text is, I argue, rooted in a hybrid conception of practical rationality assumed by his interpreters. I believe the task of disambiguating the table in all three cases can be completed. But it will require spelling out Kant’s moral cognitivism in such a way that he emerges as holding what I will call a unitary account of practical rationality. (shrink)

Philosophy for children is an educational movement that includes diverse goals that are not always clearly articulated by theorists and practitioners. In order to navigate the multitude of aims found in the philosophy for children literature I propose distinguishing between the following categories of goals: aims of education; educational goals of philosophy for children ; goals of a community of philosophical inquiry ; goals of the facilitator; and goals of the children. The definitions of these various types are given along (...) with some examples of how the distinctions between them can be of aid in understanding the approaches, criticisms, and practice of philosophy for children. (shrink)

Category mistakes are sentences such as ”The number two is blue’ or ”Green ideas sleep furiously’. Such sentences are highly infelicitous and thus a prominent view claims that they are meaningless. Category mistakes are also highly prevalent in figurative language. That is to say, it is very common for sentences which are used figuratively to be such that, if taken literally, they would constitute category mistakes. In this paper I argue that the view that category mistakes (...) are meaningless is inconsistent with many central and otherwise plausible theories of figurative language. Thus if the meaninglessness view is correct, the theories in question must each be rejected, and conversely, if any of the theories in question is correct, the meaninglessness view must be wrong. The debates concerning the semantics of figurative language and concerning the semantic status of category mistakes are closely connected. (shrink)

Les disciplines historiques, littéraires et philosophiques font un emploi abondant des catégories historiographiques. Parmi celles-ci, les termes en ismes sont très fréquents pour référer à une doctrine, un courant artistique, une idéologie ou des événements spécifiques. On fait cependant remarquer que ces désignations posent de nombreux problèmes d’interprétation. En particulier, que l’origine exacte d’une catégorie est souvent méconnue et que sa signification est plus équivoque qu’on ne le croit habituellement. La formation d’un terme en isme s’explique souvent dans un contexte (...) polémique et sert à condamner ou critiquer plutôt qu’à comprendre une pensée, un mouvement ou des faits historiques. Les catégories d’athéisme, de classicisme ou de féminisme en sont de bons exemples. Le présent volume vise à contribuer à l’étude critique des catégories historiographiques et des notions en isme en s’attardant à l’époque moderne (XVI e XVIII e siècles). Il s’agit d’un moment clef de l’histoire européenne pendant laquelle nombre de ces notions apparaissent ou pour laquelle l’historiographie en a fait un emploi abondant. Les chapitres en examinent la valeur théorique par rapport à une origine ou des usages, et déterminent de quelles manières elles contribuent à l’interprétation de l’histoire, de la littérature ou de la philosophie, de la Renaissance jusqu’à la Révolution française. (shrink)

A category is at least a way of dividing up the world, whether it is formulated in the object-language, like final cause, or in the meta-language, like individual concept. It is always an anticipation of experience as well, since it provides a pair of pigeonholes that future experience is to be put into. There is no handy way of deciding what degree of generality a predicate must possess in order to be called a "category"; presumably event and cause (...) are categories, but apple and hominoid are not. In any case, it seems that if we make any distinctions at all in the world, they will begin to order themselves in terms of relative generality as soon as we reflect upon them, and those distinctions that appear to cut most deeply across the variety of things will give rise to specifically philosophical questions about their consistency, coherence, clarity, and justification. This is, then, the point at which we divide into schools and programs. (shrink)

Inductive reasoning is fundamental to human cognition, yet it remains unclear how we develop this ability and what might influence our inductive choices. We created novel categories in which crucial factors such as domain and category structure were manipulated orthogonally. We trained 403 4–9-year-old children to categorise well-matched natural kind and artefact stimuli with either featural or relational category structure, followed by induction tasks. This wide age range allowed for the first full exploration of the developmental trajectory of (...) inductive reasoning in both domains. We found a gradual transition from perceptual to categorical induction with age. This pattern was stable across domains, but interestingly, children showed a category bias one year later for relational categories. We hypothesise that the ability to use category information in inductive reasoning develops gradually, but is delayed when children need to process and apply more complex category structures. (shrink)

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we (...) analyzed and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)