The author addresses the nature and functions of some historiographical categories, showing their problematic application to philosophical currents and historical periodizations. By considering some cases of study in the history of modern philosophy, it is shown how the excessive expansion of such categories has made them useless as working tools, and has generated and nurtured philosophical mythologies and historiographical legends. Nonetheless, such mythologies and legends constitute an important field of investigation for historians of philosophy.

The author examines an essay by Maurizio Torrini on the scientific revolution and libertinism. Studying the reception of Galileo’s discoveries in European philosophical culture, Torrini highlights the misunderstandings and instrumental uses that libertines made of Galilean astronomy. The scientific revolution and libertinism had independent paths and even when their paths crossed, no fusion emerged between the two components. Only at the end of the seventeenth century did apologetics unify libertinism and Galilean science into one doctrine to facilitate their condemnation. The (...) essay shows the consequences that this interpretation produces on the historiographic categories with which modern philosophy is interpreted. (shrink)

In the last few decades, the historiographical categories rationalism and empiricism have been criticized for their limitations to explain the complex positions and the links held by the philosophers tradiotnally attached to them. This narrative was firstly conceived by Kantian German historians and began to become standard at the turn of the twentieh century. Nonetheless, nineteenth-century French historiography developed other narratives by which early modern philosophers were classified according to alternative criteria. In the first edition of Histoire comparée (...) des systémes de philosophie (1804), Joseph-Marie Degérando distinguishes three first-order early modern schools founded by Bacon, Descartes and Leibniz, respectively. Degérando introduces the empiricism and rationalism distinction as one among others, and not as the fundamental one. In addition, he separates empiricism from experimental philosophy. The last one, along with speculative philosophy, is said to conciliate senses and reason. As a result, this account offers philosophical groupings different from those constructed by the standard narrative. Furthermore, it draws on labels and classification criteria which were part of the early modern philosophical discourse. (shrink)

Broadly speaking, “empiricism” is a label that usually denotes an epistemological view that emphasizes the role that experience plays in forming concepts and acquiring and justifying knowledge. In contemporary philosophy, there are some authors who call themselves as empiricists, although there are differences in the way they define what experience consists in, how it is related to theory, and the role experience plays in discovering and justifying knowledge, etc. (e.g., Ayer 1936; Van Fraassen 2002). In contrast, in the early modern (...) period, empiricism was not a label that philosophers traditionally characterized until nowadays as empiricists (most famously, John Locke, George Berkeley, and David Hume) used to describe their doctrines. Indeed, as attributed to early modern philosophical authors, empiricism is not an actor’s category, but an analytic historiographical category retrospectively applied to them and confronted to rationalism, whose main representatives were considered to be Rene Descartes, Baruch Spinoza, and G.W. Leibniz. Such a narrative began to be established by the late nineteenthcentury and described early modern empiricism as an epistemological stance maintaining (1) that the origin of all mental contents lies in experience (a genetic statement), and (2) that knowledge can only be justified a posteriori (an epistemic statement). This entails that empiricists deny the existence of innate mental contents and the possibility of a purely a priori knowledge. In the history of early modern science such a dichotomy has been usually rendered in terms of the opposition between continental rationalist Cartesian science vs British empiricist Newtonian science. In the last four decades, many aspects of this traditional narrative have been criticized, and the meaning of early modern empiricism is subject of renewed studies. (shrink)

This volume takes cue from the idea that the thought of no philosopher can be understood without considering it as the result of a constant, lively dialogue with other thinkers, both in its internal evolution as well as in its reception, re-use, and assumption as a starting point in addressing past and present philosophical problems. In doing so, it focuses on a feature that is crucially emerging in the historiography of early modern philosophy and science, namely the complexity in the (...) production of knowledge. The book explores the applicability of this approach to a long-considered armchair philosopher, namely René Descartes, who is now more and more understood as a full-blown scientist, networker, and intellectual éminence grise rather than as the mere philosopher of the cogito, as well as the originator of different ‘Cartesianisms’ which encompassed many ideas and approaches for long captured by dichotomic historiographical categories as rationalism and empiricism, or speculative and experimental philosophy. The essays gathered in the volume aim to address the ways in which Descartes’s philosophy evolved and was progressively understood by scientists, philosophers, and intellectuals from different contexts and eras, either by considering direct interlocutors of Descartes such as Isaac Beeckman and Elisabeth of Bohemia, early modern thinkers who developed upon his ideas and on particular topics as Nicolas Malebranche or Thomas Willis, those who adapted his overall methodology in developing new systems of knowledge as Johannes Clauberg and Pierre-Sylvain Régis, and contemporary thinkers from continental and analytic traditions like Emanuele Severino and Peter Strawson. (shrink)

Beginning in the 1990s, the medieval historiography has devoted increasing attention to the presence of thought experiments in the medieval philosophical sources. Following the line drawn by King, Perler, Grellard and Marenbon studies, this paper aims to use the concept of thought experiment as an historiographical category to explore the issues of Peter Damian’s dilemma, in the chapter I of De divina omnipotentia, about the capacity of the divine power to restore the virginity of a maiden who has lost (...) it. In this perspective, the case of the virgin appears as a counterfactual scenario, that makes us understand how the question is not metaphysical but fundamentally epistemological. Peter Damian is not discussing about possible boundaries of God’s nature: he is rather arguing about the inability of the dialectic arguments to explain the omnipotence, in an attempt to define the cognitive and linguistic modes under which the human intellect could comprehend the virgin’s dilemma. The crucial step is the shift from possibilitas – intended as a statistical approach to the possible as “potential” – to potentia as a metaphysical attribute, regardless of her actualization: in this way, Peter Damian lifts the question up from the level of the human will, which often fails to grasp his objects, to the divine form of the will, which unfailingly achieves his objectives. (shrink)

In 2010s, the love story between Sidapa and Bulan, two oft-described as male gods, widely circulated online and eventually became a folkloric representation about the LGBTQIA+ during the pre-colonial Philippines. But in 2019 this queer mythological romance was exposed to be a hoax. However, instead of dismissing the story altogether for being a hoax, especially given the story’s already irreversible circulation in popular culture today, this paper rather examines the “mythification” of Sidapa-Bulan queer romance as a case for historical rethinking. (...) Drawing from a bricolage of digital, ethnohistorical, and historiographical materials, this paper is divided into four sections. The first section dissects this paper’s conceptual tools: the use of seemingly anachronistic categories of “queer” and “LGBTQIA+,” and how these categories intersect with the concepts of “myth-making” as a sociological (and by extension, historical) phenomenon, and what came to be known as “neo-archiving” (i.e., the use of fiction in response to the gaps in history). The second section explains the paper’s methodology and sources, specifically its use of four historical thinking skills in dissecting the Sidapa-Bulan myth. The third section examines the Sidapa-Bulan myth as a historical case, specifically in terms of sourcing and close reading, corroborating, and contextualizing. And the fourth section attempts to offer, albeit in broad strokes, some potential ways to move forward from the damages caused by the Sidapa-Bulan myth. As such, this paper argues that only by maintaining transparency over its own history, that the Sidapa-Bulan queer romance, as a case of contemporary myth-making (where queer artists, authors, and allies did not merely passively consume the story, but rather actively re-define and appropriate it), can become useful and integral in rethinking and, thus, enriching the Philippine LGBTQIA+ past. But in a practical sense, this paper demonstrates how historical thinking skills can empower the public to detect, dissect, and dispel disinformation today. (shrink)

This article aims to grope how Paul Veyne's thought operates from his interlocutors. For this, seeking to clarify the “methodological” issues of his historiographic making and his aesthetic bases, a series of relations will be introduced between the mentioned author and Nietzsche, Deleuze, Foucault, and Borges. Starting from Nietzsche, in the first part, entitled “Veyne and the relational methodology”, it will be justified how it is possible to make a historiographical theory that merges philosophy and anthropology in its constitution. (...) In the second half, called “Mental categories of relational mediation in Veyne”, the possible aesthetic bases that operate within Veynian thought will be presented –for this purpose, mainly studies on the Baroque will be used. (shrink)

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)

Several scholars observed that narratives about the human past are evaluated comparatively. Few attempts have been made, however, to explore how such evaluations are actually done. Here I look at a lengthy “contest” among several historiographic narratives, all constructed to make sense of another one—the biblical story of the conquest of Canaan. I conclude that the preference of such narratives can be construed as a rational choice. In particular, an easily comprehensible and emotionally evocative narrative will give way to a (...) complex and mundane one, when the latter provides a more coherent account of the consensually accepted body of evidence. This points to a fundamental difference between historiographic narratives and fiction, contrary to some influential opinions in the philosophy of historiography. Such historiographic narratives have similarities with hypotheses and narrative explanations in natural science. (shrink)

The most important problem of modern political philosophy is the loss of politics’ independence from other spheres of human activity. Since the beginning of the last century, philosophers have sought to justify the uniqueness of political being and to update the modern politicalphilosophical vocabulary by redefining the categories of antiquity (e.g. τὸ ᾰ̓γᾰθόν, φῐλία, παρρησία, etc.). The article is devoted to the approach to the rehabilitation of the political sphere based on the political-philosophical experience of the ancient Greeks. The (...) theoretical basis of the study is H. Arendt’s solution of the issue of depoliticization in the context of her reminiscences of the ancient heritage. The author turns to the notion of civic friendship, which largely determines Arendt’s contribution to the discussions on the rehabilitation of politics and acts as a practice endowing the community with political potential. On the basis of Arendt’s interpretation of the political philosophy of Socrates, Plato and Aristotle, the author justifies the appeal to this notion and shows the connection of civic friendship with other categories of ancient thought (truth, opinion, Maieutics). The analysis reveals that the requirement borrowed from Socrates to eliminate truth from the sphere of human affairs puts Arendt’s philosophy in opposition to the tradition of political thought, and the use of political-philosophical categories to describe the human lifeworld allows us to consider it as a version of the hermeneutics of the subject. The author concludes that the justification of politics by means of ancient thought has an original anthropological dimension. It consists in the recognition of the significance of political action for the orientation of man in the world and the assertion of his identity in the community. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

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)

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)

This paper examines the views of Joseph-Márie Degérando and Wilhelm Gottlieb Tennemann about empiricism, and the scope and limits of experience as well as its relation to reason and its role in the attainment of true knowledge. While Degérando adopted the “philosophy of experience” and Tennemann advocated Kant’s critical philosophy, both authors blamed each other for the same mistake: if Degérando considered that, despite all appearances to the contrary, critical philosophy fell into empiricism, Tennemann judged that the philosophy of experience (...) was nothing but pure and simple empiricism. Degérando’s and Tennemann’s discrepancies involved not only a discussion of “nomenclatures” and of the role and limits of experience in knowing, but also an epistemological and ideological commitment to the pacification of the intellectual field in the aftermath of the French Revolution. In this line, Degérando’s alignment with the philosophy of experience attempted to distance himself from the politically dangerous sensualism attributed to the idéologie. But, unlike his countryman Charles Villers, he did not want to replace the sensualism by critical philosophy. His opposition to philosophical novelty (which he associated with political revolution) led him to praise only the “eclectic” spirit of Kant’s philosophy. (shrink)

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-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)

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)

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)

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)

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)

In this essay, I challenge Charles Mills’s use of the category of moral personhood for advancing a robust anti-racist political critique in nonideal circumstances. I argue that the idea of the moral equality of persons is necessary but insufficient for reparative justice. I enrich the normative basis of political critique to include: (1) a clarification of what the public recognition of moral personhood can legitimately entail as a requirement of justice enforceable by the state, especially with respect to economic reforms (...) that advance equal opportunity and (2) a conception of non-alienated labor that assails identity-based occupational segregation in the labor market. These additional components do not exhaust the plausible bases for political critique, but enrich it in a way that the idea of moral equality alone cannot. (shrink)

One well known problem regarding quantifiers, in particular the 1st order 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 functor-function 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)

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

Kendall Walton’s “Categories of Art” (1970) is one of the most important and influential papers in twentieth-century aesthetics. It is almost universally taken to refute traditional aesthetic formalism/empiricism, according to which all that matters aesthetically is what is manifest to perception. Most commentators assume that the argument of “Categories” applies to works of literature. Walton himself notes a word of caution: “The aesthetic properties of works of literature are not happily called ‘perceptual’ … (The notion of perceiving a (...) work in a category … is not straightforwardly applicable to literary works)” (335 n.5). However, he goes on to say that although he focuses “on visual and musical works … the central points I make concerning them hold, with suitable modifications, for novels, plays, and poems as well” (335 n.5). Here I consider what “suitable modifications” are required to extend the account to literature. (shrink)

Introduction to a symposium in The Journal of Aesthetics and Art Criticism on the 50th anniversary of Kendall Walton's "Categories of Art." Featuring papers by Madeleine Ransom, Stacie Friend, David Davies and Kendall Walton.

Categories We Live by: The Construction of Sex, Gender, Race, and Other Social Categories, by Ásta. Oxford: OUP, 2018. Pp. 160.

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.

Arguing first that the best way to understand what a continuant is is as something that primarily has its properties at a time rather than atemporally, the paper then defends the idea that there are occurrent continuants. These are things that were, are, or will be happening—like the ongoing process of someone reading or my writing this paper, for instance. A recently popular philosophical view of process is as something that is referred to with mass nouns and not count nouns. (...) This has mistakenly encouraged the view that the only way to think of process is as the stuff of events, and has obscured the possibility of thinking of processes as individual continuants. (shrink)

We introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.

In this paper an Artificial Neural Network (ANN) model, for predicting the category of a tumor was developed and tested. Taking patients’ tests, a number of information gained that influence the classification of the tumor. Such information as age, sex, histologic-type, degree-of-diffe, status of bone, bone-marrow, lung, pleura, peritoneum, liver, brain, skin, neck, supraclavicular, axillar, mediastinum, and abdominal. They were used as input variables for the ANN model. A model based on the Multilayer Perceptron Topology was established and trained using (...) data set which its title is “primary tumor” and was obtained from the University Medical Centre, Institute of Oncology, Ljubljana, Yugoslavia Test data evaluation shows that the ANN model is able to correctly predict the tumor category with 76.67 % accuracy. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) class='Hi'>categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

Language exists because human subjects define themselves in the circumstance they are in. This is possible because they are able to know, not directly through their senses only, but adding something new to the construct they create in their conscience. The main thing they add to the construct created is categories, something invented or fabricated by the human subject at the moment of speaking.

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 (...) sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

This paper provides an account of Kant's categories of freedom, explaining how they fit together and what role they are supposed to play. My interpretation places particular emphasis on the structural features that the table of the categories of freedom shares with the table of judgements and the table of categories laid out by Kant in the Critique of Pure Reason. In this way we can identify two interpretative constraints, namely (i) that the categories falling under (...) each heading must form a synthetic unity whereby the third one derives from the combination of the other two. and (ii) that the first two categories falling under each heading must be morally undetermined and sensibly conditioned, while the third category is sensibly unconditioned and determined only by the moral law. (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)

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)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different (...) categories, on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

The social categories to which we belong—Latino, disabled, American, woman— causally influence our lives in deep and unavoidable ways. One might be pulled over by police because one is Latino, or one might receive a COVID vaccine sooner because one is American. Membership in these social categories most often falls outside of our control. This paper argues that membership in social categories constitutes a restriction on human agency, creating a situation of non-ideal agency for many human individuals. (...) -/- However, there are ways to resist the causal influence of social categories, and certain socially marginalized groups can be understood as attempting to do just this. I discuss two instances of social category resistance: gender pronouns and the rights of trans individuals. I suggest that the intentional declaration of gender pronouns (“she/her” or “they/them”) can be understood as an attempt to resist the causal powers of nonconsensual social categorization. Similarly, one among many reasons to support the rights of trans individuals is that their self-declarations of gender identity can be viewed as a reclamation of agency in the face of causal constraints imposed by socially defined and imposed gender categories. This lesson can be generalized to people belonging to a broad range of marginalized groups. (shrink)

This article focuses on the reception of Aristotle’s Categories by the first three representatives of Greek Neoplatonism: Plotinus (204/205–270 CE), Porphyry (ca. 234–ca. 305 CE), Iamblichus (ca. 242–ca. 325 CE). The first section argues that Plotinus’ acquaintance with Aristotle’s treatises marked a fresh start vis-à-vis the previous Platonist tradition. Aristotle’s views, arguments and vocabulary are ubiquitous in Plotinus writings (the Enneads) and they must be considered an essential part of his philosophical project. Plotinus, however, does not share some of (...) Aristotle’s key theories and is critical of them. The second section focuses on Plotinus’ discussion of Aristotle’s Categories in the tripartite treatise On the Genera of Being (6.1–3). There he rejects the Peripatetic division into ten categories as providing an incomplete account of the genera of being that unduly omits “those which are most authentically beings”, i.e. Plato’s separate Forms. While drawing on earlier Platonist objections to Aristotle, Plotinus’ approach is original insofar as he criticizes Aristotle and his followers not only for omitting intelligible beings in the division of categories, but also for being unable, for this very reason, to work out an adequate division of sensible beings themselves. The third section is devoted to Porphyry, a student of Plotinus’ and the editor of his works. Porphyry worked intensively on Aristotle’s Categories, which he regarded as an introduction not only to logic, but to philosophy as a whole. Unlike Plotinus, Porphyry aimed to integrate Aristotle into Platonism and his engagement with the Categories was a key part of his project after Plotinus’ in-depth criticism. Porphyry’s approach is connected to his view of the subject-matter of the Categories, which he sees as focusing on words insofar as they signify beings, and not on beings as such. The fourth section focuses on some parallels between Plotinus’ Genera of Beings and Porphyry’s works, which may reflect the debate within Plotinus’ school. The fifth section focuses on Iamblichus of Chalcis. Both in theology and in the interpretation of Aristotle’s Categories, Iamblichus aimed to both continue and supplant Porphyry’s work. While Plotinus criticizes Aristotle’s categories for omitting intelligible beings, and while Porphyry accepts Aristotle’s categories insofar as they focus on words signifying sensible things, Iamblichus incorporates his Neoplatonist and Pythagorizing metaphysics into the interpretation of the Categories. (shrink)

The importance of the pure concepts of the understanding (i.e. the categories) within Kant’s system of philosophy is undeniable. As I hope to make clear in this essay, however, the categories are also an essential part of Kant’s critique of Christian Wolff. In particular, I argue that Kant’s development of the categories represents a decisive break with the Wolffian conception of the understanding and that this break is central to understanding the task of the Transcendental Analytic. This (...) break, however, is not merely that Kant affirms while Wolff and his followers deny a sharp distinction between sensibility and the understanding, which is the aspect of Kant’s rejection of Wolff that scholars most frequently note. Rather, this break concerns differences in their views about the understanding itself. For while Wolff conceives of the understanding as a mental capacity to extract and make distinct content already present in the senses, Kant conceives of the understanding in its “real use” as a capacity to produce purely intellectual content. (shrink)

This article uses sim-max games to model perceptual categorization with the goal of answering the following question: To what degree should we expect the perceptual categories of biological actors to track properties of the world around them? I argue that an analysis of these games suggests that the relationship between real-world structure and evolved perceptual categories is mediated by successful action in the sense that organisms evolve to categorize together states of nature for which similar actions lead to (...) similar results. This conclusion indicates that both strongly realist and strongly antirealist views about perceptual categories are too simple. (shrink)

There are many ways of construing the claim that some categories are more “natural" than others. One can ask whether a system of categories is innate or acquired by learning, whether it pertains to a natural phenomenon or to a social institution, whether it is lexicalized in natural language or requires a compound linguistic expression. This renders suspect any univocal answer to this question in any particular case. Yet another question one can ask, which some authors take to (...) have a bearing on the issue of the naturalness of categories, is whether a system of categories constitutes a unique way of organizing a particular set of entities or phenomena, or whether there are other legitimate classification schemes that can coexist with it. Another way of putting this is by asking whether systems of categories can cut across one another, and if so, under what circumstances. Some philosophers have claimed that crosscutting systems of categories cannot exist as genuine natural kinds. This paper examines that claim and puts forward some counterexamples, concluding that this notion of natural kind is not in tune with scientific classification and ought to be rejected in favor of an alternative. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

ABSTRACT: A general interpretation and close textual analysis of Kant’s theory of the categories of freedom (or categories of practical reason) in his Critique of Practical Reason. My main concerns in the paper are the following: (1) I show that Kant’s categories of freedom have primarily three functions: as conditions of the possibility for actions (i) to be free, (ii) to be comprehensible as free and (iii) to be morally evaluated. (2) I show that for Kant actions, (...) although qua theoretical objects they are always already constituted by means of the theoretical categories, qua practical objects (objects of reason in its practical use, i.e. objects qua possibly good or bad) they are constituted by means of the categories of freedom; and that it is only in this way that actions, qua phenomena, can be a consequence of freedom, and can be understood and evaluated as such. (3) Since Kant's presentation of his theory of the Categories of Freedom is extremely brief, Kant's parallel theory of the theoretical categories in his Critique of Pure Reason is used as a guide for the interpretation of the practical categories and their systematic relevance. (Translation by Alex Worsnip, reviewed and approved by the author.). (shrink)