It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes, which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of the motivations for it, and some of its consequences. Then, I argue that, assuming equivalence of certain two definitions of a topos, the concept of a complement-classifier is, at least in general and within the conceptual framework of category (...) theory, not appropriately defined. For this purpose, I first analyze the standard notion of a subobject classifier, show its connection with the representability of the functor Sub via the Yoneda lemma, recall some other properties of the internal structure of a topos and, based on these, I critically comment on the notion of a complement-classifier. (shrink)

In this work we expand the foundational perspective of category theory on quantum event structures by showing the existence of an object of truth values in the category of quantum event algebras, characterized as subobject classifier. This object plays the corresponking role that the two-valued Boolean truth values object plays in a classical event structure. We construct the object of quantum truth values explicitly and argue that it constitutes the appropriate choice for the valuation of propositions describing the (...) behavior of quantum systems. (shrink)

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valuation in quantum mechanics as exemplified, in particular, by Kochen–Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event algebras. We show explicitly that the latter category is equipped with an object of truth values, (...) or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is inherent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical implications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

The category-theoretic representation of quantum event structures provides a canonical setting for confronting the fundamental problem of truth valua- tion in quantum mechanics as exemplified, in particular, by Kochen-Specker’s theorem. In the present study, this is realized on the basis of the existence of a categorical adjunction between the category of sheaves of variable local Boolean frames, constituting a topos, and the category of quantum event al- gebras. We show explicitly that the latter category is equipped with an object of (...) truth values, or classifying object, which constitutes the appropriate tool for assigning truth values to propositions describing the behavior of quantum systems. Effectively, this category-theoretic representation scheme circumvents consistently the semantic ambiguity with respect to truth valuation that is in- herent in conventional quantum mechanics by inducing an objective contextual account of truth in the quantum domain of discourse. The philosophical im- plications of the resulting account are analyzed. We argue that it subscribes neither to a pragmatic instrumental nor to a relative notion of truth. Such an account essentially denies that there can be a universal context of reference or an Archimedean standpoint from which to evaluate logically the totality of facts of nature. In this light, the transcendence condition of the usual concep- tion of correspondence truth is superseded by a reflective-like transcendental reasoning of the proposed account of truth that is suitable to the quantum domain of discourse. (shrink)

A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on (...) HA op fp can be derived from that of Sh(P 0 ,J 0 ) via the embedding Φ. We also show that the equivalence relations in HA op fp are not effective in general. On the way to these results we establish a new kind of duality between HA op fp and a category of sheaves equipped with certain structure defined in terms of Ehrenfeucht games. Our methods are model-theoretic and combinatorial as opposed to proof-theoretic as in [Pi]. (shrink)

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective (...) geometric morphisms f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this “continuous semantics” is equivalent to the a priori separate notion of predicate in continuous logic, a logic which is independently well-studied by model theorists and which finds various applications. We show this equivalence by exhibiting the real interval $[0,1]$ in the category of metric spaces as a “continuous subobject (...) classifier” giving a correspondence not only between the two notions of predicate, but also between the natural notion of quantification in the continuous semantics and the existing notion of quantification in continuous logic.Along the way, we formulate what it means for a given category to behave like the category of metric spaces, and afterwards show that any such category supports the aforementioned continuous semantics. As an application, we show that categories of presheaves of metric spaces are examples of such, and in fact even possess continuous subobject classifiers. (shrink)

In 1908 the German mathematician Ernst Zermelo gave an axiomatization of the concept of set. His axioms remain at the core of what became to be known as Zermelo-Fraenkel set theory. There were two axioms that received diverse criticisms at the time: the axiom of choice and the axiom of separation. This paper centers around one question this latter axiom raised. The main purpose is to show how this question might be solved with the aid of another, more recent mathematical (...) theory of sets which, like Zermelo’s, has numerous philosophical underpinnings. Keywords: properties of sets, foundations of mathematics, axiom of separation, subobject classifier, truth values. (shrink)

The overwhelming majority of the attempts in exploring the problems related to quantum logical structures and their interpretation have been based on an underlying set-theoretic syntactic language. We propose a transition in the involved syntactic language to tackle these problems from the set-theoretic to the category-theoretic mode, together with a study of the consequent semantic transition in the logical interpretation of quantum event structures. In the present work, this is realized by representing categorically the global structure of a quantum algebra (...) of events (or propositions) in terms of sheaves of local Boolean frames forming Boolean localization functors. The category of sheaves is a topos providing the possibility of applying the powerful logical classification methodology of topos theory with reference to the quantum world. In particular, we show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes the appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. Effectively, this scheme induces a revised realist account of truth in the quantum domain of discourse. We also include an Appendix, where we compare our topos-theoretic representation scheme of quantum event algebras with other categorial and topos-theoretic approaches. (shrink)

We use the language of categorical logic to construct generic saturated models of intuitionistic theories. Our main technique is the thorough study of the filter construction on categories with finite limits, which is the completion of subobject lattices under filtered meets. When restricted to coherent or Heyting categories, classifying categories of intuitionistic first-order theories, the resulting categories are filtered meet coherent categories, coherent categories with complete subobject lattices such that both finite disjunctions and existential quantification distribute over filtered (...) meets. Such categories naturally embed into Grothendieck toposes which then contain saturated models of the theory we started with. (shrink)

Here, we present a category ${\mathbf {pEff}}$ which can be considered a predicative variant of Hyland's Effective Topos ${{\mathbf {Eff} }}$ for the following reasons. First, its construction is carried in Feferman’s predicative theory of non-iterative fixpoints ${{\widehat {ID_1}}}$. Second, ${\mathbf {pEff}}$ is a list-arithmetic locally cartesian closed pretopos with a full subcategory ${{\mathbf {pEff}_{set}}}$ of small objects having the same categorical structure which is preserved by the embedding in ${\mathbf {pEff}}$ ; furthermore subobjects in ${{\mathbf {pEff}_{set}}}$ are classified by (...) a non-small object in ${\mathbf {pEff}}$. Third ${\mathbf {pEff}}$ happens to coincide with the exact completion of the lex category defined as a predicative rendering in ${{\widehat {ID_1}}}$ of the subcategory of ${{\mathbf {Eff} }}$ of recursive functions and it validates the Formal Church’s thesis. Hence pEff turns out to be itself a predicative rendering of a full subcategory of ${{\mathbf {Eff} }}$. (shrink)

Classifying Madness (Springer, 2005) concerns philosophical problems with the Diagnostic and Statistical Manual of Mental Disorders, more commonly known as the D.S.M. The D.S.M. is published by the American Psychiatric Association and aims to list and describe all mental disorders. The first half of Classifying Madness asks whether the project of constructing a classification of mental disorders that reflects natural distinctions makes sense. Chapters examine the nature of mental illness, and also consider whether mental disorders fall into natural kinds. The (...) second half of the book addresses epistemic worries. Even supposing a natural classification system to be possible in principle, there may be reasons to be suspicious of the categories included in the D.S.M. I examine the extent to which the D.S.M. depends on psychiatric theory, and look at how it has been shaped by social and financial factors. I aim to be critical of the D.S.M. without being antagonistic towards it. Ultimately, however, I am forced to conclude that although the D.S.M. is of immense practical importance, it is unlikely to come to reflect the natural structure of mental disorders. (shrink)

Work on a computer program called SMILE + IBP (SMart Index Learner Plus Issue-Based Prediction) bridges case-based reasoning and extracting information from texts. The program addresses a technologically challenging task that is also very relevant from a legal viewpoint: to extract information from textual descriptions of the facts of decided cases and apply that information to predict the outcomes of new cases. The program attempts to automatically classify textual descriptions of the facts of legal problems in terms of Factors, a (...) set of classification concepts that capture stereotypical fact patterns that effect the strength of a legal claim, here trade secret misappropriation. Using these classifications, the program can evaluate and explain predictions about a problem’s outcome given a database of previously classified cases. This paper provides an extended example illustrating both functions, prediction by IBP and text classification by SMILE, and reports empirical evaluations of each. While IBP’s results are quite strong, and SMILE’s much weaker, SMILE + IBP still has some success predicting and explaining the outcomes of case scenarios input as texts. It marks the first time to our knowledge that a program can reason automatically about legal case texts. (shrink)

In the political discourse regarding gender identity, the concept of biological sex has been weaponised by gender critical commentators to oppose gender affirmation for trans people. Recently, these commentators have appealed to an essentialist model of sex based on anisogamy, or relative gamete size, to argue that one’s sex is an immutable characteristic. I argue that the gender critical argument is unsound. The diverse purposes of sex classification and the complex variability of people’s sexual characteristics show that an essentialist model (...) is untenable. I then consider how a more adequate theoretical framework from the philosophy of biology can accommodate this complexity and capture how sex is classified in relevant contexts. Further implications of the framework are explored which concern the vagueness, polysemy, and mutability of sex. These undercut the gender critical argument and show that the appeal to biological sex fails to undermine gender affirmation for trans people. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

The aim of this paper is to propose a systematic classification of emotions which can also characterize their nature. The first challenge we address is the submission of clear criteria for a theory of emotions that determine which mental phenomena are emotions and which are not. We suggest that emotions as a subclass of mental states are determined by their functional roles. The second and main challenge is the presentation of a classification and theory of emotions that can account for (...) all existing varieties. We argue that we must classify emotions according to four developmental stages: 1. pre-emotions as unfocussed expressive emotion states, 2. basic emotions, 3. primary cognitive emotions, and 4. secondary cognitive emotions. We suggest four types of basic emotions (fear, anger, joy and sadness) which are systematically differentiated into a diversity of more complex emotions during emotional development. The classification distinguishes between basic and non-basic emotions and our multi-factorial account considers cognitive, experiential, physiological and behavioral parameters as relevant for constituting an emotion. However, each emotion type is constituted by a typical pattern according to which some features may be more significant than others. Emotions differ strongly where these patterns of features are concerned, while their essential functional roles are the same. We argue that emotions form a unified ontological category that is coherent and can be well defined by their characteristic functional roles. Our account of emotions is supported by data from developmental psychology, neurobiology, evolutionary biology and sociology. (shrink)

Though whistleblowing is quickly becoming an accepted means of addressing wrongdoing, whistleblower protection laws and the relevant case law are either awkwardly silent, unclear or mutually inconsistent concerning public disclosures of classified government information. I remedy this problem by first arguing that such disclosures constitute a pro tanto wrong as they violate (1) promissory obligations, (2) role obligations and (3) the obligation to respect the democratic allocation of power. However, they may be justified if (1) the information disclosed concerns grave (...) government wrongdoing, (2) alternative channels of disclosure are first exhausted and (3) steps are taken to minimize harm. (shrink)

This article examines the distinction between active matter and active materials, and it offers foundational remarks toward a system of classification for active materials. Active matter is typically identified as matter that exhibits two characteristic features: self-propelling parts, and coherent dynamical activity among the parts. These features are exhibited across a wide range of organic and inorganic materials, and they are jointly sufficient for classifying matter as active. Recently, the term “active materials” has entered scientific use as a complement, supplement, (...) and extension of “active matter.” At the same time, new work in the philosophy of science has considered the problem of how to classify the products of synthetic and laboratory processes, and the extent to which the aims of classifying natural kinds compare and contrasts with the aims of classifying these synthetic kinds. In this article, I apply those considerations to the problems of classifying and characterizing active materials. In doing so, I also argue for a conception of active materials’ coherent dynamical activity as multiscale, rather than emergent, and I discuss how the special non-equilibrium status of active materials factors in to classificatory concerns. (shrink)

By a classifying topos for a first-order theory , we mean a topos such that, for any topos models of in correspond exactly to open geometric morphisms → . We show that not every first-order theory has a classifying topos in this sense, but we characterize those which do by an appropriate ‘smallness condition’, and we show that every Grothendieck topos arises as the classifying topos of such a theory. We also show that every first-order theory has a conservative extension (...) to one which possesses a classifying topos, and we obtain a Heyting-valued completeness theorem for infinitary first-order logic. (shrink)

Computably enumerable equivalence relations received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility \. This gives rise to a rich degree structure. In this paper, we lift the study of c-degrees to the \ case. In doing so, we rely on the Ershov hierarchy. For any notation a for a non-zero computable ordinal, we prove several algebraic properties of the degree structure induced by \ on the \ equivalence relations. (...) A special focus of our work is on the existence of infima and suprema of c-degrees. (shrink)

This paper argues that we should replace the common classification of theories of welfare into the categories of hedonism, desire theories, and objective list theories. The tripartite classification is objectionable because it is unduly narrow and it is confusing: it excludes theories of welfare that are worthy of discussion, and it obscures important distinctions. In its place, the paper proposes two independent classifications corresponding to a distinction emphasised by Roger Crisp: a four-category classification of enumerative theories (about which items constitute (...) welfare), and a four-category classification of explanatory theories (about why these items constitute welfare). (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within a single framework. We (...) examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

Given two (positive) equivalence relations ∼ 1 , ∼ 2 on the set ω of natural numbers, we say that ∼ 1 is m-reducible to ∼ 2 if there exists a total recursive function h such that for every x, y ∈ ω, we have $x \sim_1 y \operatorname{iff} hx \sim_2 hy$ . We prove that the equivalence relation induced in ω by a positive precomplete numeration is complete with respect to this reducibility (and, moreover, a "uniformity property" holds). This (...) result allows us to state a classification theorem for positive equivalence relations (Theorem 2). We show that there exist nonisomorphic positive equivalence relations which are complete with respect to the above reducibility; in particular, we discuss the provable equivalence of a strong enough theory: this relation is complete with respect to reducibility but it does not correspond to a precomplete numeration. From this fact we deduce that an equivalence relation on ω can be strongly represented by a formula (see Definition 8) iff it is positive. At last, we interpret the situation from a topological point of view. Among other things, we generalize a result of Visser by showing that the topological space corresponding to a partition in e.i. sets is irreducible and we prove that the set of equivalence classes of true sentences is dense in the Lindenbaum algebra of the theory. (shrink)

How should one understand comparisons in which neither of two alternatives is at least as good as the other? Much recent literature on comparability problems focuses on what the appropriate explanation of the phenomenon is. Is it due to vagueness or the possibility of non-conventional comparative relations such as parity? This paper argues that the discussions on how to best explain comparability problems has reached an impasse at which it is hard to make any progress. To advance the discussion we (...) suggest a new classification of comparability problems that focuses on the problems they cause for practical reasoning. (shrink)

Classify and Label is a philosophical treatment of classification in the social sciences and everyday life, focusing on its moral, social, and political implications. This book stands at the intersection of philosophy of the social sciences, feminist philosophy, philosophy of sex, and social and political philosophy.

We show that the Lascar group $\operatorname {Gal}_L$ of a first-order theory T is naturally isomorphic to the fundamental group $\pi _1|)$ of the classifying space of the category of models of T and elementary embeddings. We use this identification to compute the Lascar groups of several example theories via homotopy-theoretic methods, and in fact completely characterize the homotopy type of $|\mathrm {Mod}|$ for these theories T. It turns out that in each of these cases, $|\operatorname {Mod}|$ is aspherical, i.e., (...) its higher homotopy groups vanish. This raises the question of which homotopy types are of the form $|\mathrm {Mod}|$ in general. As a preliminary step towards answering this question, we show that every homotopy type is of the form $|\mathcal {C}|$ where $\mathcal {C}$ is an Abstract Elementary Class with amalgamation for $\kappa $ -small objects, where $\kappa $ may be taken arbitrarily large. This result is improved in another paper. (shrink)

The representation and classification of the structure of natural arguments has been one of the most important aspects of Aristotelian and medieval dialectical and rhetorical theories. This traditional approach is represented nowadays in models of argumentation schemes. The purpose of this article is to show how arguments are characterized by a complex combination of two levels of abstraction, namely, semantic relations and types of reasoning, and to provide an effective and comprehensive classification system for this matrix of semantic and quasilogical (...) connections. To this purpose, we propose a dichotomous criterion of classification, transcending both levels of abstraction and representing not what an argument is but how it is understood and interpreted. The schemes are grouped according to an end-means criterion, which is strictly bound to the ontological structure of the conclusion and the premises. On this view, a scheme can be selected according to the intended or reconstructed purpose of an argument and the possible strategies that can be used to achieve it. (shrink)

The representation and classification of the structure of natural arguments has been one of the most important aspects of Aristotelian and medieval dialectical and rhetorical theories. This traditional approach is represented nowadays in models of argumentation schemes. The purpose of this article is to show how arguments are characterized by a complex combination of two levels of abstraction, namely, semantic relations and types of reasoning, and to provide an effective and comprehensive classification system for this matrix of semantic and quasilogical (...) connections. To this purpose, we propose a dichotomous criterion of classification, transcending both levels of abstraction and representing not what an argument is but how it is understood and interpreted. The schemes are grouped according to an end-means criterion, which is strictly bound to the ontological structure of the conclusion and the premises. On this view, a scheme can be selected according to the intended or reconstructed purpose of an argument and the possible strategies that can be used to achieve it. (shrink)

This chapter shows how necessary it is for any science, including a science of evidence, to be able to classify phenomena of interest. It presents an evidence classification scheme that is ‘substance blind’, meaning that the classes of individual items of evidence identified are recurrent and apply regardless of the substance or content of the evidence. There are also substance-blind combinations of evidence that are also recurrent. The chapter shows how substance-blindness occurs as a matter of course involving concepts encountered (...) throughout science, logic, and mathematics. (shrink)

Analogies come in several forms that serve distinct functions. Inductive analogy is a common type of analogical argument, but critical thinking texts sometimes treat all analogies as inductive. Such an analysis ignores figurative analogies, which may elucidate but do not argue; and also neglects a priori arguments by analogy, a type of analogical argument prominent in law and ethics. A priori arguments by analogy are distinctive, but--contrary to the claims of Govier and Sunstein-they are best understood as deductive, rather than (...) a special form of non deductive reasoning. (shrink)

Almost all languages have some ways of categorizing nouns. Languages of South-East Asia have classifiers used with numerals, while most Indo-European languages have two or three genders. They can have a similar meaning and one can develop from the other. This book provides a comprehensive and original analysis of noun categorization devices all over the world. It will interest typologists, those working in the fields of morphosyntactic variation and lexical semantics, as well as anthropologists and all other scholars interested in (...) the mechanisms of human cognition. (shrink)

'This study is extremely authoritative and up-to-date... This book has much to offer linguists motivated by any one of several primary interests, particularly universals and the connection between language and cognition' -Journal of Linguistics 'Aikhenvald displays the rare gift of being able to inspire interest in new research through the success of her own results, without stifling those future possibilities through undue certitude in having discovered all of the answers already. The best thing about this very excellent book is precisely (...) the author's keen awareness that it is not the last word on the subject' -Journal of Linguistics 'Data presented in a clear, straightforward manner... also cutting edge research presented in the spirit of a work in progress' -Journal of LinguisticsAlmost all languages have some ways of categorizing nouns. Languages of South-East Asia have classifiers used with numerals, while most Indo-European languages have two or three genders. They can have a similar meaning and one can develop from the other. This book provides a comprehensive and original analysis of noun categorization devices all over the world. It will interest typologists, those working in the fields of morphosyntactic variation and lexical semantics, as well as anthropologists and all other scholars interested in the mechanisms of human cognition. (shrink)

Music performance anxiety is a commonly present topic among musicians. Most studies on MPA investigated effects of a more general occurrence of MPA on performances. Less is known about individual variations of MPA within a performance, more specifically at the times before, during, and after the performance. This study used a questionnaire to investigate these performance times in order to find out if there occur different types in the variation of the perceived MPA across the performance. The study was performed (...) with 532 musicians; 27% of them being professional orchestra musicians, 45% non-professional orchestra musicians, and 28% non-professional choir singers. The musicians were asked to fill in the Performance-specific Questionnaire for Musicians immediately after a performance. The questionnaire contains three scales regarding symptoms of MPA, functional coping with MPA and performance-related self-efficacy. A cluster analysis was performed on the PQM scales to identify systematic variations. Findings indicate that there are three different types of MPA in the sample studied. Type 1 describes musicians who have few symptoms of MPA throughout the performance, show functional coping with MPA, and have a stable and well-developed self-efficacy. Type 2 describes musicians who begin their performance with rather high symptoms of MPA but can positively reduce these by the end of the performance and show high values in self-efficacy and in functional coping. Type 3 contains musicians who begin their performance with some symptoms of MPA, which increase to the end of the performance. The values of self-efficacy and functional coping in this type are rather low. Of the total sample, half of the musicians were assigned to Type 1 and approximately a quarter each to Type 2 and Type 3. In accordance with the literature, the results confirm the importance of self-efficacy and functional coping for a positive performance experience. (shrink)

The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle ex falso quodlibet, and several (...) weaker principles, turn out to be distinguishable, giving perhaps supporting motivation for adopting minimal logic as the ambient logic for reasoning in the possible presence of inconsistency. (shrink)

Among the complete ℵ0-categorical theories with finite non-logical vocabularies, we distinguish three classes. The classification is obtained by looking at the number of bound variables needed to isolated complete types. In classI theories, all types are isolated by quantifier free formulas; in classII theories, there is a leastm, greater than zero, s.t. all types are isolated by formulas in no more thanm bound variables: and in classIII theories, for eachm there is a type which cannot be isolated inm or fewer (...) bound variables. ClassII theories are further subclassified according to whether or not they can be extended to classI theories by the addition of finitely many new predicates. Alternative characterizations are given in terms of quantifier elimination and homogeneous models. It is shown that for each primep, the theory of infinite Abelian groups all of whose elements are of orderp is classI when formulated in functional constants, and classIII when formulated in relational constants. (shrink)

Distinguished metaphysicians examine issues central to the high-profile debate between philosophers over how to classify the natural world, and discuss issues in applied ontology such as the classification of diseases. Leading metaphysicians explore fundamental questions related to the classification and structure of the natural world An essential commentary on issues at the heart of the contemporary debate between philosophy and science Interweaves discussion of overarching themes with detailed material on applied ontology.

It is well known that the Ackermann function can be defined via diagonalization from an iteration hierarchy which is built on a start function like the successor function. In this paper we study for a given start function g iteration hierarchies with a sub-linear modulus h of iteration. In terms of g and h we classify the phase transition for the resulting diagonal function from being primitive recursive to being Ackermannian.

Aristotle, in Chapter 7 of his Categories, classifies habits and dispositions, as well as knowledge, among relatives. However, in Chapter 8 of the Categories, he affirms that habits, including knowledge, and dispositions, including unstable knowledge, are qualities. Thus, habits and dispositions in general, and knowledge in particular, seem to be subject to a ‘dual categorization’. At the end of Chapter 8 of the treatise, the issue of the dual categorization is explicitly raised. How can one and the same thing be (...) a quality and a relative? Aristotle gives two distinct solutions to this problem. Both have been criticized by some modern commentators : these solutions would amount to a rejection of the basic principles of the categorial system and, as such, to a sort of philosophical suicide. However, Aristotle’s early commentators, notably the Greek Neoplatonists and Boethius, made attempts to render both solutions plausible and compatible with the rest of the doctrine. Their attempts are not only of exegetical interest, they also contain some significant philosophical analyses concerning the categories. In what follows, I will present the abovementioned problem of dual categorization in Aristotle and the two solutions offered to it in Categories, 8, 11a20-38. I will then turn to the early reception of this text, and focus on the way the Greek Neoplatonists and Boethius tried to make Aristotle’s solutions more plausible. Throughout, I will try to establish in what sense habits and dispositions in general, and knowledge in particular, are relative. I will conclude with some remarks on the later reception of Categories, 8, 11a20-38 and on the problem of the ontological status of mental acts and states. (shrink)