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)

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)

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)

Let E be an analytic equivalence relation on a Polish space. We introduce a framework for studying the possible “reasonable” complete classifications and the complexity of possible classifying invariants for E, such that: (1) the standard results and intuitions regarding classifications by countable structures are preserved in this framework; (2) this framework respects Borel reducibility; and (3) this framework allows for a precise study of the possible invariants of certain equivalence relations which are not classifiable by countable structures, such (...) as E1. In this framework we show that E1 can be classified, with classifying invariants which are κ-sequences of E0-classes where κ=b, and it cannot be classified in such a manner if κ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)

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)

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)

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)

Proportionality is a central and globally spread argumentation technique in public law. This article provides a conceptual introduction to proportionality and argues that such a domain-specific form of argumentation is particularly interesting for argument mining. As a major contribution of this article, we share a new dataset for which proportionality has been annotated. The dataset consists of 300 German Federal Constitutional Court decisions annotated at the sentence level (54,929 sentences). In addition to separating textual parts, a fine-grained system of proportionality (...) categories was used. Finally, we used these data for a classification task. We built classifiers that predict whether or not proportionality is invoked in a sentence. We employed several models, including neural and deep learning models and transformers. A BERT-BiLSTM-CRF model performed best. (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)

Lee and Baskerville (2003) attempted to clarify the concept of generalization and classify it into four types. In Tsang and Williams (2012) we objected to their account of generalization as well as their classification and offered repairs. Then we proposed a classification of induction, within which we distinguished five types of generalization. In their (2012) rejoinder, they argue that their classification is compatible with ours, claiming that theirs offers a ‘new language.’ Insofar as we resist this ‘new language’ and insofar (...) as they think that our position commits us to positivism and the rejection of interpretivism, they conclude both that our classification is more restrictive than theirs and also that we embrace ‘paradigmatic domination.’ Lee and Baskerville’s classification of generalization is based on a distinction between theoretical and empirical statements. Accordingly we will first clarify the terms ‘theoretical statement’ and ‘empirical statement.’ We note that they find no fault with our classification of induction, we re-state our main objections to their classification that remain unanswered and we show that their classification of generalizing is in fact incompatible with ours. We argue that their account of generalization retains fatal flaws, which means it should not be relied upon. We demonstrate that our classification is not committed to any paradigm and so we do not embrace ‘paradigmatic domination.’. (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)

This paper examines the controversial governance mechanism of classified boards. Classified board advocates believe that multiple year terms give directors a longer-term horizon. Shareholder activists push for declassifications of boards because they argue that agency problems are likely to arise. In a longitudinal study of six years of KLD, RiskMetrics and Compustat data, we test the influence of classified boards on social performance dimensions. We find that classified boards are negatively associated with social performance strengths in the areas of community (...) and diversity, indicating that they are not proactive in these areas. However, classified boards are negatively associated with social performance concerns on five out of six dimensions, providing evidence that while these boards are not proactive in stakeholder management, neither are they harmful nor neglectful towards stakeholders. The overall findings suggest that classified boards may be associated with a stakeholder management philosophy of “do no harm.”. (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)

Although the most common understanding of suicide is intentional self-killing, this conception either rules out someone who lacks mental capacity being classed as a suicide or, if acting intentionally is meant to include this sort of case, then what it means to act intentionally is so weak that intention is not a necessary condition of suicide. This has implications in health care, and has a further bearing on issues such as assisted suicide and health insurance. In this paper, I argue (...) that intention is not a necessary condition of suicide at all. Rather, I develop a novel approach that deploys the structure of a homicide taxonomy to classify and characterise suicides to arrive at a conceptually robust understanding of suicide. According to my analysis of suicide, an agent is the proximate cause of his death. Suicide is ‘self-killing,’ rather than ‘intentional self-killing.’ Adopting this understanding of suicide performs several functions: We acquire an external standard to assess diverging analyses on specific cases by appealing to homologous homicides. Following such a taxonomy differentiates types of suicides. This approach has application in addressing negative connotations about suicide. As a robust view, adding intention is an unnecessary complication. It is more consistent with psychological and sociological assessments of suicide than ‘intentional self-killing.’ It has useful applications in informing public policy. This paper’s focus is on classifying types of suicides, rather than on the moral permissibility or on underlying causes of suicidal ideation and behaviour. (shrink)

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.

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)

There has long been interest in why languages are shaped the way they are, and in the relationship between sign language and gesture. In sign languages, entity classifiers are handshapes that encode how objects move, how they are located relative to one another, and how multiple objects of the same type are distributed in space. Previous studies have shown that hearing adults who are asked to use only manual gestures to describe how objects move in space will use gestures that (...) bear some similarities to classifiers. We investigated how accurately hearing adults, who had been learning British Sign Language for 1–3 years, produce and comprehend classifiers in locative and distributive constructions. In a production task, learners of BSL knew that they could use their hands to represent objects, but they had difficulty choosing the same, conventionalized, handshapes as native signers. They were, however, highly accurate at encoding location and orientation information. Learners therefore show the same pattern found in sign-naïve gesturers. In contrast, handshape, orientation, and location were comprehended with equal accuracy, and testing a group of sign-naïve adults showed that they too were able to understand classifiers with higher than chance accuracy. We conclude that adult learners of BSL bring their visuo-spatial knowledge and gestural abilities to the tasks of understanding and producing constructions that contain entity classifiers. We speculate that investigating the time course of adult sign language acquisition might shed light on how gesture became conventionalized during the genesis of sign languages. (shrink)

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)

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)

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.

The faces of both adults and children can be classified accurately by sex, even in the absence of sex‐stereotyped social cues such as hair and clothing (Wild et al., 2000). Although much is known from psychological and computational studies about the information that supports sex classification for adults' faces, children's faces have been much less studied. The purpose of the present study was to quantify and compare the information available in adults' versus children's faces for sex classification and to test (...) alternative theories of how human observers distinguish male and female faces for these different age groups. We implemented four computational/neural network models of this task that differed in terms of the age categories from which the sex classification features were derived. Two of the four strategies replicated the advantage for classifying adults' faces found in previous work. To determine which of these strategies was a better model of human performance, we compared the performance of the two models with that of human subjects at the level of individual faces. The results suggest that humans judge the sex of adults' and children's faces using feature sets derived from the appropriate face age category, rather than applying features derived from another age category or from a combination of age categories. (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)

Neonatal brain monitoring in the neonatal intensive care units (NICU) requires a continuous review of the spontaneous cortical activity, i.e., the electroencephalograph (EEG) background activity. This needs development of bedside methods for an automated assessment of the EEG background activity. In this paper, we present development of the key components of a neonatal EEG background classifier, starting from the visual background scoring to classifier design, and finally to possible bedside visualization of the classifier results. A dataset with 13,200 5-minute EEG (...) epochs (8–16 channels) from 27 infants with birth asphyxia was used for classifier training after scoring by two independent experts. We tested three classifier designs based on 98 computational features, and their performance was assessed with respect to scoring system, pre- and post-processing of labels and outputs, choice of channels, and visualization in monitor displays. The optimal solution achieved an overall classification accuracy of 97% with a range across subjects of 81–100%. We identified a set of 23 features that make the classifier highly robust to the choice of channels and missing data due to artefact rejection. Our results showed that an automated bedside classifier of EEG background is achievable, and we publish the full classifier algorithm to allow further clinical replication and validation studies. (shrink)

This book presents a new classification system for acts of wrongdoing, sanctions imposed on the people who commit those acts, and the aims these sanctions intend to achieve.

In 2004 Csima, Hirschfeldt, Knight, and Soare [1] showed that a set A ≤T 0' is nonlow₂ if and only if A is prime bounding, i.e., for every complete atomic decidable theory T, there is a prime model M computable in A. The authors presented nine seemingly unrelated predicates of a set A, and showed that they are equivalent $\Delta _{2}^{0}$ sets. Some of these predicates, such as prime bounding, and others involving equivalence structures and abelian p-groups come from model (...) theory, while others involving meeting dense sets in trees and escaping a given function come from pure computability theory. As predicates of A, the original nine properties are equivalent for $\Delta _{2}^{0}$ sets; however, they are not equivalent in general. This articale examines the (degree-theoretic) relationship between the nine properties. We show that the nine properties fall into three classes, each of which consists of several equivalent properties. We also investigate the relationship between the three classes, by determining whether or not any of the predicates in one class implies a predicate in another class. (shrink)

This paper presents a logical Style painting classifier based on evaluated Horn clauses, qualitative colour descriptors and Explanations. Three versions of $\ell $-SHE are defined, using rational Pavelka logic, and expansions of Gödel logic and product logic with rational constants: RPL, $G$ and $\sqcap $, respectively. We introduce a fuzzy representation of the more representative colour traits for the Baroque, the Impressionism and the Post-Impressionism art styles. The $\ell $-SHE algorithm has been implemented in Swi-Prolog and tested on 90 paintings (...) of the QArt-Dataset and on 247 paintings of the Paintings-91-PIB dataset. The percentages of accuracy obtained in the QArt-Dataset for each $\ell $-SHE version are 73.3%, 65.6% $) and 68.9% $). Regarding the Paintings-91-PIB dataset, the percentages of accuracy obtained for each $\ell $-SHE version are 60.2%, 48.2% $) and 57.0% $). Our logic definition for the Baroque style has obtained the highest accuracy in both datasets, for all the $\ell $-SHE versions. An important feature of the classifier is that it provides reasons regarding why a painting belongs to a certain style. The classifier also provides reasons about why outliers of one art style may belong to another art style, giving a second classification option depending on its membership degrees to these styles. (shrink)

Raquel FERN ´ ANDEZ, Jonathan GINZBURG and Shalom LAPPIN Department of Computer Science King’s College London Strand, London WC2R 2LS, UK {raquel,ginzburg,lappin}@dcs.kcl.ac.uk..

Clark and Krauss [1977] presents a classification of complete, satisfiable and o-categorical theories in first order languages with finite non-logical vocabularies. In 1988 the first author modified this classification and raised three questions about the distribution of finitely axiomatizable theories. This paper answers two of those questions.

A $\Pi^0_1$ class can be defined as the set of infinite paths through a computable tree. For classes $P$ and $Q$, say that $P$ is Medvedev reducible to $Q$, $P \leq_M Q$, if there is a computably continuous functional mapping $Q$ into $P$. Let $\mathcal{L}_M$ be the lattice of degrees formed by $\Pi^0_1$ subclasses of $2^\omega$ under the Medvedev reducibility. In "Non-branching degrees in the Medvedev lattice of $\Pi \sp{0}\sb{1} classes," I provided a characterization of nonbranching/branching and a classification of (...) the nonbranching degrees. In this paper, I present a similar classification of the branching degrees. In particular, $P$ is separable if there is a clopen set $C$ such that $P \cap C \neq \emptyset \neq P \cap C^c$ and $P \cap C \perp_M P \cap C^c$. By the results in the first paper, separability is an invariant of a Medvedev degree and a degree is branching if and only if it contains a separable member. Further define $P$ to be hyperseparable if, for all such $C$, $P \cap C \perp_M P \cap C^c$ and totally separable if, for all $X,Y \in P$, $X \perp_T Y$. I will show that totally separable implies hyperseparable implies separable and that the reverse implications do not hold, that is, that these are three distinct types of branching degrees. Along the way I will show some related results and present a combinatorial framework for constructing $\Pi^0_1$ classes with priority arguments. (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.

Given the crucial role unauthorized disclosures can play in uncovering grave government wrongdoing, it makes sense to search for a defense of justified cases of what I call “classified public whistleblowing.” The question that concerns me is what form such a defense should take. The main claim will be a negative one, namely, that a defense of whistleblowing cannot be based on individual rights, be they legal or moral, though this is indeed the most commonly proposed defense. In closing, I (...) will outline a more appealing alternative, namely, a justification defense. (shrink)