In Division One of Being and Time Heidegger presents a novel categorization of what there is, and an original account of the project of ontology and consequently of the nature and genesis of those ontological categories. He officially recognizes two categories of Being: Zuhandensein and Vorhandensein. Vorhandene things are roughly the objective, person-independent, causally interacting subjects of natural scientific inquiry. Zuhandene things are those which a neo-Kantian would describe as having been imbued with human values and (...) significances. In addition to these categories, there is human Being, or Dasein, in whose structure the origins of the two thing-ish categories are to be found. This essay concerns itself with three of Heidegger’s conceptual innovations: his conceiving of ontology in terms of self-adjudicating anthropological categories, as summed up in the slogan that “fundamental ontology is the regional ontology of Dasein,” his corresponding anti-traditional assertion of the ontological priority of the domain of the Zuhandensein to that of the Vorhandensein, which latter is seen as rooted in or precipitated out of that more basic world of human significances, and the non-Cartesian account of awareness and classificatory consciousness as social and practical. (shrink)

Maybe it's just because hermeneutics is so much in vogue these days, but I've lately come to believe that the secret of the meaning of life is revealed by certain jokes from the state of Maine. The pertinent one on this occasion (and some of you will recognize it as one I've invoked before) is the one that goes "How's your wife? to which the appropriate deadpan downeaster reply is: "Compared to what?".

THE TITLE OF THIS PAPER calls for clarification. Not only are there several senses in which something may be said to "be," there are also many nuances to the terms "categorial" and "intuition." Taking Aristotle as a guide, let us focus upon the primary sense of "being," that is, substance considered both as first substance and second substance. We may then take "categorial" as referring to what Aristotle calls the "figures of predication," the ways in which predicates characterize subjects, (...) indicating "what" the subject is, its quality, quantity, relation, its "where," its "when," and so forth. The term "intuition" expresses something too primitive to be defined, but Edmund Husserl's metaphorical contrast between the "emptiness" of thought and speech and the "fullness" of intuition successfully highlights its essential characteristic. A couple of examples should suffice to grasp the import of Husserl's distinction. Consider the difference, for instance, between first entertaining vague plans of visiting a foreign city and then experiencing the fulfillment of actually strolling through its streets, or the difference between first reading a manual of instructions for performing some task and then actually executing the task skillfully. Taking Husserl as a guide, let us therefore characterize intuition broadly as the presentation of something in its fullness, as opposed to thinking or talking about it in an empty way. Finally, combining Husserlian and Aristotelian terminologies, we may describe categorial intuition as the presentation of figures of predication. Rather than presenting some particular thing, say a red chair, categorial intuition presents the chair's being red, the red quality's belonging to the chair. In short, categorial intuition makes present the modes of presentation of things. (shrink)

Katerina Jennings and Esther Braun identify an important problem with the current approach to defining categories of competitors in sport (Jennings and Braun 2024). They make a significant contribu...

Residual categories such as »not elsewhere categorized« densely populate modern information systems. This article roughly categories two types of modern information surveillance and notification systems, statistical and event-based. It examines the nature of residual categories arising from each, and proposes some methodological considerations for how these impact moral order within information infrastructure. The article concludes with comments about how the inclusion of lived experience might ameliorate a sort of moral gridlock often encountered today in large-scale information systems.

When we think of the problem of ‘universals’, we tend first of all to identify this issue with medieval philosophy. In that period the arguments ran hot and heavy, and the result was that philosophers almost came to be classified according to the position each took about the relation between the individual and universal concepts. Of course, the fact is that the problem of universals has been important in every philosophical age in western thought. Metaphysics as an enterprise may rise (...) and fall in popularity, but the problem of universals is always with us. Yet, like most philosophical problems of importance, it has not always meant one thing. (shrink)

Psychiatric researchers typically assume that the modelling of psychiatric symptoms is not influenced by psychiatric categories; symptoms are modelled and then grouped into a psychiatric category. I highlight this primarily through analysing research domain criteria. RDoC’s importance makes it worth scrutinizing, and this assessment also serves as a case study with relevance for other areas of psychiatry. RDoC takes inadequacies of existing psychiatric categories as holding back causal investigation. Consequently, RDoC aims to circumnavigate existing psychiatric categories by (...) directly investigating the causal basis of symptoms. The unique methodological approach of RDoC exploits the supposed lack of influence of psychiatric categories on symptom modelling, taking psychiatric symptoms as the same regardless of which psychiatric category is employed or if no psychiatric category is employed. But this supposition is not always true. I will show how psychiatric categories can influence symptom modelling, whereby identical behaviours can be considered as different symptoms based on an individual’s psychiatric diagnosis. If the modelling of symptoms is influenced by psychiatric categories, then psychiatric categories will still play a role, a situation which RDoC researchers explicitly aim to avoid. I discuss four ways RDoC could address this issue. This issue also has important implications for factor analysis, cluster analysis, modifying psychiatric categories, and symptom based approaches. (shrink)

How do we know what kinds of things constitute knowledge or justified belief? Naturalized epistemology is committed to denying a priori insight into the kinds of kinds that are and are not knowledge or justification makers. By contrast, it is argued here that knowledge of these matters is a priori knowledge of a special kind. Such knowledge may be called “categorial.” The dialectical give and take between categorial and naturalized epistemology is pursued, before endorsing an argument that breaks the standoff (...) in favor of categorial epistemology. In particular, an argument is given for a certain kind of mathematical skepticism that is entirely a priori. The skeptical argument turns on categorial claims about actuality. Responses are considered before defending a method of categorial dumbfounding in certain circumstances. This yields a positive argument for the categoriality of fundamental epistemic principles. The categorial rationalist conclusions are embraced and some consequences noted. (shrink)

To investigate the metaphysics of gender categories—categories like “woman,” “genderqueer,” and “man”—is to ask questions about what gender categories are and how they exist. This chapter offers a pluralist account of the metaphysics of gender categories, according to which there are several different varieties of gender categories. I begin by giving a brief overview of some feminist accounts of the metaphysics of gender categories and illustrating how certain moral and political considerations have been in (...) play in these discussions as constraints on acceptable accounts of gender categories. I then present my pluralist account of gender categories and highlight some of its virtues. Finally, I assess how my pluralist account fares relative to the moral and political considerations identified earlier in the chapter. I argue that although the account does not fare well, we should in fact revise our understanding of what those considerations are and how they should constrain our accounts of gender categories. I then show that, on this revised understanding, my pluralist account emerges as a viable position. (shrink)

Identifying objects as members of ontological domains activates category-specific processes. There is evidence that these processes include particular ways of “tracking” substances and could do all the “tracking” necessary for concept acquisition. There may be no functional need or evolutionary scenario for a general tracking capacity of the kind described by Millikan.

ABSTRACTEmotion differentiation, the ability to describe and label our own emotions in a differentiated and specific manner, has been repeatedly associated with well-being. However, it is unclear exactly what type of differentiation is most strongly related to well-being: the ability to make fine-grained distinctions between emotions that are relatively closely related, the ability to make larger distinctions between very distinct emotions, or the combination of both. To determine which type of differentiation is most predictive of well-being, we (...) performed a comprehensive meta-analysis across six datasets. We examined the correlations between these three types of differentiation and several indicators of well-being. Results showed that individuals differentiated most between very distinct emotions and least between more related emotions, and that an index computed across emotions from both the same and di... (shrink)

IN THE FIRST EDITION TRANSCENDENTAL DEDUCTION of the categories Kant does not mention the logical functions of judgment. In the second edition the Deduction can be said to be dominated by the logical functions of judgment. A transcendental deduction supplies a method for showing that pure concepts can have applicability. My contention is that the two deductions constitute exactly the same method, and so are the exact same deduction. The difference between them, rather, is in the characterization of the (...) pure concepts that the method is supposed to be a method for. The undifferentiated categories of the A edition become the logical functions together with their schemata in the B edition. This does not mean that Kant has split the A edition notion of categories since the A edition categories are equivalent to just the schemata themselves. (shrink)

The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well developed. A number of examples illustrate the usefulness of the concept.

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by a (...) single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C∗ - algebras with respect to operations (completely positive unit preserving linear maps on C∗ - algebras)as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory. (shrink)

The proposal of Steels & Belpaeme (S&B) is on the right track to solve the nativist/empiricist/culturalist controversy. However, their nativist model of colour categorization does not correspond to a proper genetic model. Colour perception is the outcome of a complex process of development. A direct correspondence between genes and colour categories cannot be the right approach to the problem.

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 (...) class='Hi'>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)

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)

IN A PRESIDENTIAL ADDRESS I believe the speaker is allowed more latitude than in a more ordinary speech. There is more freedom to explore and perhaps even preach. So I am going to do a bit of both. My chapter and verse, some of you will be surprised to know, is a passage from the preface to Foucault’s The Order of Things, in which he argues that categories are a matter of invention. This text has had enormous impact on (...) the issue I wish to address today, and in many ways has helped to define it and to establish as definitive, in the minds of many of our contemporaries, the view that categories are invented. (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and tree (...) languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (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 contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes. The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology (...) in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations. Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science. (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)

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)

Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review (...) the paper and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (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)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

As a metaphysical theory, radical ontic structural realism is characterised mainly in terms of the ontological primacy it places on relations and structures, as opposed to the individual relata and objects that inhabit these relations/structures. The most popular criticism of ROSR is that its central thesis is incoherent. Bain attempts to address this criticism by arguing that the mathematical language of category theory allows for a coherent articulation of ROSR’s key thesis. Subsequently, Wüthrich and Lam and Lal and Teh have (...) criticised Bain’s arguments and claimed that category theory fares no better than set theory in coherently articulating the main ideas of ROSR. In this paper, we defend Bain’s main arguments against these critiques, and attempt to elaborate on the sense in which category theory can be seen as providing a coherent articulation of ROSR. We also consider the relationship between ROSR and Categorical Quantum Mechanics. (shrink)

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same (...) ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians. Using databases as an entry to category theory, it begins with sets and functions, then introduces the reader to notions that are fundamental in mathematics: monoids, groups, orders, and graphs—categories in disguise. After explaining the “big three” concepts of category theory—categories, functors, and natural transformations—the book covers other topics, including limits, colimits, functor categories, sheaves, monads, and operads. The book explains category theory by examples and exercises rather than focusing on theorems and proofs. It includes more than 300 exercises, with solutions. Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics. (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)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can (...) be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

Images of species, sets, and containers, combined with an obsolete positivist theory of meaning and a curiously illogical interpretation of a structuralist understanding of meaning, together have driven feminists and their critics to find unavoidable essentialism and binary totalism in feminist theorists' use of the category WOMEN. This paper explores an enriched imagination for how categories can be structured internally and in relations to other categories, and proposes that we need to think categories simultaneously through multiple and (...) mixed metaphors, including the metaphors of a spun thread and family resemblance, and the image of correlational densities in multidimensional quality spaces. (shrink)

Anyone who tries to understand categories soon runs into the problem of giving an account of the unity of a category. Call this the “unity problem.” In this essay, I describe a distinctive and under-studied version of the unity problem and discuss how it might be solved. First, I describe various versions of the unity problem. Second, I focus on one version and argue that it is best dealt with by thinking of at least some categories as “norm-constituted,” (...) in a sense that I try to make clear. Third, I discuss some objections to my proposal. Fourth, I compare norm -constituted categories to categories that are normative in a different sense. Fifth, I briefly discuss the possibility of grounding the normativity of norm-constituted categories. Finally, I raise a few questions for further research. (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)

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)

It seems to have been taken for granted that we all know what a human action is. However in attempting to draw from what philosophers have said about actions the necessary clues as to their distinguishing features, one finds little to discourage the idea that there is no way of distinguishing one category of occurrences, human actions, from the complex of different sorts of things which happen. From this I am tempted to conclude that there is no category of human (...) action. But before drawing such a conclusion an ancient but terrible question must be faced: What sorts of things happen in the world ? This ancient question is faced but not answered. It is brought up because the failure to find a satisfactory answer to the question, Is human action a category? is a failure even to find a satisfactory assumption about what kind of reference the term ?human action? is supposed to have. (shrink)

In Principles of Human Knowledge Berkeley speaks of the sensible qualities of an apple as being its parts. The paper argues that our words for sense-qualities play a role so unlike that of part-words that verbal atrocities would result from treating qualities as parts. Berkeley lends a surface plausibility to this move by focusing on a narrow selection of the normal linguistic accompaniment of the noun 'apple'. He puts out of mind the language of 'doing things with apples'— peeling, (...) dicing, and so on— which when recalled shows how strikingly far apart are the two categories he tries to mingle. (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)

Much recent work on Aristotle's Categories assumes that there is an ontological theory presented in that work and tries to reconstruct it on the basis of the slender evidence in the book. I claim that this is misguided. Using a distinction made by G.E.L. Owen between theory and the "phaenomena", I argue that the Categories is mainly concerned with setting out the phenomena -- the intuitions that any ontology must explain. This thesis has consequences for the interpretation of (...) Aristotle's ontological writings. I explore some of these. (shrink)

In recent years, numerous articles and books in the humanities and the social sciences have been devoted to understanding the ascription of race, gender, ethnicity, sexual orientation, mental illness, and other ‘human kind’ concepts to persons. What may be more surprising given the enormous volume of this research and the diversity of its sources is that much of it shares a common commitment to understanding the categories picked out by these concepts in an non- essentialist way. For example, Iris (...) Marion Young suggests of social groups (including races, genders, classes, age groups, and ethnicities) that they. (shrink)

Categories We Live By makes several claims about Judith Butler's Gender Trouble which Butler seeks to contest, while remaining in fundamental agreement with most of the conclusions in Asta Sveinsdottir's book. At issue is whether or not performativity can rightly be restricted to what is called an exercitive in J. L. Austin's sense, whether Butler is a radical constructivist or a qualified one, and whether unauthorized speech acts have a power to bring a reality into being that is (...) different from those authorized by legal regimes. Along the way, Butler suggest that establishing facts takes place within variable historical schemes and that this argument is neither a denial or facts nor of materiality. Finally, an individualist idea of freedom is subject to criticism in order to make way for an historically constrained freedom, collective in nature. (shrink)

This article argues for two related theses. First, it defends a general thesis: any kind of necessity, including metaphysical necessity, can only be known a priori. Second, however, it also argues that the sort of a priori involved in modal metaphysical knowledge is not related to imagination or any sort of so-called epistemic possibility. Imagination is neither a proof of possibility nor a limit to necessity. Rather, modal metaphysical knowledge is built on intuition of philosophical categories and the structures (...) they form. (shrink)

The central problem about the relationship between categories and the real order can be stated very simply: the purpose of categorial predication is to yield a set of necessary truths about things within the world, but the universality of these same truths sometimes seems to subordinate the particularity of the real order to the generality of conceptual understanding. As a result, an apparent conflict arises between the real and the logical orders which quite naturally raises a question about how (...) these two separate realms are to be related. In this paper I will examine this question in typically Aristotelian terms, first by discussing a small cluster of passages in Wilfrid Sellars’s challenging paper about Aristotle’s metaphysics, and then by offering my own interpretation of Aristotle’s position about the issue in question. My fundamental purpose in doing this is to establish an intelligible relationship between categories and the real order and to do so by exploring the logical space between an individual thing and the question “What is it?” I am convinced that within this space form and content meet and that we can at least begin to answer our original question about the real and the logical orders by exploring their interconnection. (shrink)

Seminal work by Knobe, Prasada, and Newman (2013) distinguished a set of concepts, which they named “dual‐character concepts.” Unlike traditional concepts, they require two distinct criteria for determining category membership. For example, the prototypical dual‐character concept “artist” has both a concrete dimension of artistic skills, and an abstract dimension of aesthetic sensibility and values. Therefore, someone can be a good artist on the concrete dimension but not truly an artist on the abstract dimension. Does this analysis capture people's understanding of (...) cornerstone social categories, such as gender, around which society and everyday life have traditionally been organized? Gender, too, may be conceived as having not only a concrete dimension but also a distinct dimension of abstract norms and values. As with dual‐character concepts, violations of abstract norms and values may result in someone being judged as not truly a man/woman. Here, we provide the first empirical assessment of applying the dual‐character framework to people's conception of gender. We found that, on some measures that primarily relied on metalinguistic cues, gender concepts did indeed resemble dual‐character concepts. However, on other measures that depicted transgressions of traditional gender norms, neither “man” nor “woman” appeared dual‐character‐like, in that participants did not disqualify people from being truly a man or truly a woman. In a series of follow‐up studies, we examined whether moral norms have come to replace gender role norms for the abstract dimension. Implications for the evolution of concepts and categories are explored. (shrink)

The project of Categories We Live By is to offer a metaphysics of social categories. The strategy is to give a theory of social properties of individuals. The main components of the theory are a conferralist framework for properties; an account of social meaning; and an account of social construction; accompanying is also an account of social identity. This theory can be applies to offer concrete conferralist proposals of categories such as sex, gender, race, disability, religion, and (...) LGBTQ categories. This précis describes the main components (conferralist framework, social meaning, social construction, social identity) briefly, but leaves discussions of applications for another time. (shrink)

The concept of an ontological category is central to metaphysics. Metaphysicians argue about which category 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, an issue which is rarely addressed; Jan Westerhoff presents the first in-depth analysis both of the use made of ontological categories in the metaphysical (...) literature, and of various attempts at defining them. He also develops a new theory of ontological categories which implies that there will be no unique system, and that the ontological category an object belongs to is not an essential property of that object. Systems of ontological categories are structures imposed on the world, rather than reflections of a deep metaphysical reality already present. All metaphysicians should find Westerhoff's book highly stimulating. (shrink)

Current controversy over whether the Office of Management and Budget system of racial and ethnic classification should be used in pharmacogenetics research as suggested by the U.S. Federal Drug Administration has been couched in terms of realist-social constructionist debates on race. The assumptions both parties to these debates share instead need to be relinquished—specifically, dichotomies between the social and scientific and what is descriptive and evaluative/normative. This paper defends a pragmatic approach to the question of the appropriateness of the OMB (...) group categories in pharmacogenetics research, an approach that is local and context-specific rather than global, incorporates practical and ethical as well as theoretical dimensions, and recognizes intersections of the social and the biological in the constitution of group categories. (shrink)