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.

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

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)

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)

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)

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)

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)

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account of (...) causation, dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural science. (shrink)

This Gentle Introduction is very much still work in progress. Roughly aimed at those who want something a bit more discursive, slower-moving, than Awodey's or Leinster's excellent books. -/- The current [Jan 2018] version is 291pp.

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.

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

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)

Kendall Walton’s “Categories of Art” seeks to situate aesthetic properties contextually. As such, certain knowledge is required to fully appreciate the aesthetic properties of a work, and without that knowledge the ‘correct’ or ‘true’ aesthetic properties of a work cannot be appreciated. The aim of this paper is to show that the way Walton conceives of his categories and art categorization is difficult to square with certain kinds of aesthetic experience—kinds of experience that seems to defy this claim of (...) class='Hi'>category-dependence for aesthetic properties. The argument will be advanced for category-free aesthetic experience by considering Barry C. Smith’s account of wine-tasting and his description of his wine drinking ‘epiphany’. (shrink)

It would be useful to have a category of extensive-form games whose isomorphisms specify equivalences between games. Since working with entire games is too large a project for a single paper, I begin here with preforms, where a “preform” is a rooted tree together with choices and information sets. In particular, this paper first defines the category \, whose objects are “functioned trees”, which are specially designed to be incorporated into preforms. I show that \ is isomorphic to (...) the full subcategory of \ whose objects are converging arborescences. Then the paper defines the category \, whose objects are “node-and-choice preforms”, each of which consists of a node set, a choice set, and an operator mapping node-choice pairs to nodes. I characterize the \ isomorphisms, define a forgetful functor from \ to \, and show that \ is equivalent to the full subcategory of \ whose objects are perfect-information preforms. The paper also shows that many game-theoretic entities can be derived from preforms, and that these entities are well-behaved with respect to \ morphisms and isomorphisms. (shrink)

A provisional model is presented in which categorical perception (CP) provides our basic or elementary categories. In acquiring a category we learn to label or identify positive and negative instances from a sample of confusable alternatives. Two kinds of internal representation are built up in this learning by "acquaintance": (1) an iconic representation that subserves our similarity judgments and (2) an analog/digital feature-filter that picks out the invariant information allowing us to categorize the instances correctly. This second, categorical representation (...) is associated with the category name. Category names then serve as the atomic symbols for a third representational system, the (3) symbolic representations that underlie language and that make it possible for us to learn by "description." Connectionism is one possible mechainsm for learning the sensory invariants underlying categorization and naming. Among the implications of the model are (a) the "cognitive identity of (current) indiscriminables": Categories and their representations can only be provisional and approximate, relative to the alternatives encountered to date, rather than "exact." There is also (b) no such thing as an absolute "feature," only those features that are invariant within a particular context of confusable alternatives. Contrary to prevailing "prototype" views, however, (c) such provisionally invariant features must underlie successful categorization, and must be "sufficient" (at least in the "satisficing" sense) to subserve reliable performance with all-or-none, bounded categories, as in CP. Finally, the model brings out some basic limitations of the "symbol-manipulative" approach to modeling cognition, showing how (d) symbol meanings must be functionally grounded in nonsymbolic, "shape-preserving" representations -- iconic and categorical ones. Otherwise, all symbol interpretations are ungrounded and indeterminate. This amounts to a principled call for a psychophysical (rather than a neural) "bottom-up" approach to cognition. (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)

In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing what we say about the content and structure of both mathematical concepts and theories. Insofar, (...) then, as the structuralist sees mathematics as talking about structures and their morphology, I contend that category theory furnishes a framework for mathematical structuralism. (shrink)

Religious-secular distinctions have been crucial to the way in which modern governments have rationalised their governance and marked out their sovereignty – as crucial as the territorial boundaries that they have drawn around nations. The authors of this volume provide a multi-dimensional picture of how the category of religion has served the ends of modern government. They draw on perspectives from history, anthropology, moral philosophy, theology and religious studies, as well as empirical analysis of India, Japan, Mexico, the United (...) States, Israel-Palestine, France and the United Kingdom. (shrink)

We highlight connections between accessible categories and abstract elementary classes , and provide a dictionary for translating properties and results between the two contexts. We also illustrate a few applications of purely category-theoretic methods to the study of AECs, with model-theoretically novel results. In particular, the category-theoretic approach yields two surprising consequences: a structure theorem for categorical AECs, and a partial stability spectrum for weakly tame AECs.

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)

This paper considers a principal concept of metaphysics – the category of substance – as it figures in Kant’s critical program of establishing metaphysics as a science. Like Leibniz, Kant identifies metaphysical concepts through logical reflection on the form of cognitive activity. He thus begins with general logic’s account of categorical judgment as an act of subordinating predicate to subject. This categorical form is then considered in transcendental logic with reference to the possibility of its real use. Transcendental reflection (...) reveals that the categorical form, in its potential for such use, constitutes the category of substance and accident, representing a first real subject and a determination of its existence. But to qualify for objective, scientific employment, metaphysics’ concepts must admit of real definitions, which show their objects to be possible, and such possibility, pace Leibniz, can be established only in relation to possible experience. Thus, relying on his doctrine of the schematism, Kant shows the category to figure constitutively in experience, as the ground of the first law of nature, that in all change substance persists. (shrink)

The goal of the present set of studies is to explore the boundary conditions of category transfer in causal learning. Previous research has shown that people are capable of inducing categories based on causal learning input, and they often transfer these categories to new causal learning tasks. However, occasionally learners abandon the learned categories and induce new ones. Whereas previously it has been argued that transfer is only observed with essentialist categories in which the hidden properties are causally relevant (...) for the target effect in the transfer relation, we here propose an alternative explanation, the unbroken mechanism hypothesis. This hypothesis claims that categories are transferred from a previously learned causal relation to a new causal relation when learners assume a causal mechanism linking the two relations that is continuous and unbroken. The findings of two causal learning experiments support the unbroken mechanism hypothesis. (shrink)

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)

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)

A value statement such as “she is a good teacher” is categoryspecified, i.e., the criteria of evaluation are specified as those that are applicable to a given category, in this case the category of teachers. In this study of categoryspecified value statements, certain categories are identified that cannot be used to specify value aspects. Special attention is paid to categories that are constituted by functional characteristics. The logical properties of value statements that refer to such categories are shown (...) to differ significantly from the corresponding properties in social choice theory. (shrink)

(2001). Fruits, Apples, and Category Mistakes: On Sport, Games, and Play. Journal of the Philosophy of Sport: Vol. 28, No. 2, pp. 151-159. doi: 10.1080/00948705.2001.9714610.

Many studies have revealed the top-down modulation on unconscious processing. However, there is little research about how category-selective attention could modulate the unconscious processing. In the present study, using functional magnetic resonance imaging , the results showed that category-selective attention modulated unconscious face/tool processing in the middle occipital gyrus . Interestingly, MOG effects were of opposed direction for face and tool processes. During unconscious face processing, activation in MOG decreased under the face-selective attention compared with tool-selective attention. This (...) result was in line with the predictive coding theory. During unconscious tool processing, however, activation in MOG increased under the tool-selective attention compared with face-selective attention. The different effects might be ascribed to an interaction between top-down category-selective processes and bottom-up processes in the partial awareness level as proposed by Kouider, De Gardelle, Sackur, and Dupoux . Specifically, we suppose an “excessive activation” hypothesis. (shrink)