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)

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)

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.

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)

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)

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)

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

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)

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.

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)

In 2014, the editorial board of BMC Medical Ethics came together to devise sections for the journal that would give structure to the journal help ensure that authors’ research is matched to the most appropriate editors and help readers to find the research most relevant to them. The editorial board decided to take a practical approach to devising sections that dealt with the challenges of content management. After that, we started thinking more theoretically about how one could go about (...) class='Hi'>classifying the field of medical ethics. This editorial elaborates and reflects on the practical approach that we took at the journal, then considers an alternative theoretically derived approach, and reflects on the possibilities, challenges and value of classifying the field more broadly. (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)

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)

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)

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)

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)

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)

This paper discusses Japanese numeral quantifiers that are used to count individuals, rather than quantities, of a substance, and which may occur either as floated or non-floated quantifiers. It is argued that such morphologically complex numeral quantifiers (NQs) are semantically complex as well: The numeral within the NQ is the quantifier itself, the classifier its domain of quantification. The proposed analysis offers a unified semantic account of floated and non-floated NQs that adheres closely to their surface morphology and syntax. It (...) explains why floated NQs generally force a distributive reading. It covers both classifiers construed with objects and classifiers construed with events. In addition, it captures the fact that the classifier must agree with the NP it is construed with. (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)

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)

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)

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

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)

ABSTRACT This paper investigates influences upon the development of library classification systems in nineteenth-century Britain. Two case studies – Edward Edwards's ‘scheme of classification for a town library’ of 1859 and the Bibliotheca Lindesiana of the earls of Crawford who made a number of significant contributions to the development of library classification over a fifty-year period – are deployed to explore how classification schemes reflected the habituses of their creators and how they were shaped by their socio-economic, epistemological and geographical (...) contexts. The paper also investigates the discourse of classification, examining authors’ claims for the legitimacy, widespread applicability and superiority of their schemes, while revealing how these claims were compromised or modified by practical considerations. The case studies suggest that a modernizing narrative of a transition in the second half of the nineteenth century from an aristocratic, largely rural and amateur paradigm of knowledge formation to a bourgeois, urban and professional model requires significant modification: a more nuanced approach is required, which recognizes the permeability of geographic and social boundaries and the continued relevance of aristocratic libraries as key sites of knowledge formation until the end of the century. (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)

Alzheimer's Disease is a form of dementia that affects the memory, cognition, and motor skills of patients. Extensive research has been done to develop accessible, cost-effective, and non-invasive techniques for the automatic detection of AD. Previous research has shown that speech can be used to distinguish between healthy patients and afflicted patients. In this paper, the ADReSS dataset, a dataset balanced by gender and age, was used to automatically classify AD from spontaneous speech. The performance of five classifiers, as well (...) as a convolutional neural network and long short-term memory network, was compared when trained on audio features and text features. The same audio and text features were used to train five regression models to predict the Mini-Mental State Examination score for each patient, a score that has a maximum value of 30. The top-performing classification models were the support vector machine and random forest classifiers trained on BERT embeddings, which both achieved an accuracy of 85.4% on the test set. The best-performing regression model was the gradient boosting regression model trained on BERT embeddings and CLAN features, which had a root mean squared error of 4.56 on the test set. The performance on both tasks illustrates the feasibility of using speech to classify AD and predict neuropsychological scores. (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)

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)

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 use of batteries became essential in our daily life in electronic devices, electric vehicles and energy storage systems in general terms. As they play a key role in many devices, their design and implementation must follow a thorough test process to check their features at different operating points. In this circumstance, the appearance of any kind of deviation from the expected operation must be detected. This research deals with real data registered during the testing phase of a lithium iron (...) phosphate—LiFePO4—battery. The process is divided into four different working points, alternating charging, discharging and resting periods. This work proposes a hybrid classifier, based on one-class techniques, whose aim is to detect anomalous situations during the battery test. The faults are created by modifying the measured cell temperature a slight ratio from their real value. A detailed analysis of each technique performance is presented. The average performance of the chosen classifier presents successful results. (shrink)

Dini's theorem says that compactness of the domain, a metric space, ensures the uniform convergence of every simply convergent monotone sequence of real-valued continuous functions whose limit is continuous. By showing that Dini's theorem is equivalent to Brouwer's fan theorem for detachable bars, we provide Dini's theorem with a classification in the recently established constructive reverse mathematics propagated by Ishihara. As a complement, Dini's theorem is proved to be equivalent to the analogue of the fan theorem, weak König's lemma, in (...) the original classical setting of reverse mathematics started by Friedman and Simpson. (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)

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)