We examine the computably enumerable (c.e.) degrees of prime models of complete atomic decidable (CAD) theories. A structure has degree d if d is the degree of its elementary diagram. We show that if a CAD theory T has a prime model of c.e. degree c, then T has a prime model of strictly lower c.e. degree b, where, in addition, b is low (b' = 0'). This extends Csima's result that every CAD theory has a low prime model. We (...) also prove a density result for c.e. degrees of prime models. In particular, if c and d are c.e. degrees with d < c and c not low₂ (c" > 0"), then for any CAD theory T, there exists a c.e. degree b with d < b < c such that T has a prime model of degree b, where b can be chosen so that b' is any degree c.e. in c with d' ≤ b'. As a corollary, we show that for any degree c with 0 < c < 0', every CAD theory has a prime model of low c.e. degree incomparable with c. We show also that every CAD theory has prime models of low c.e. degree that form a minimal pair, extending another result of Csima. We then discuss how these results apply to homogeneous models. (shrink)

We introduce agreement reducibility and highlight its major features. Given subsets A and B of, we write if there is a total computable function satisfying for all,.We shall discuss the central role plays in this reducibility and its connection to strong‐hyper‐hyper‐immunity. We shall also compare agreement reducibility to other well‐known reducibilities, in particular s1‐ and s‐reducibility. We came upon this reducibility while studying the computable reducibility of a class of equivalence relations on based on set‐agreement. We end by describing the (...) origin of agreement reducibility and presenting some results in that context. (shrink)

Kolbe and de Melo-Martin’s (2023) arguments draw attention to what is most useful about moral distress—identifying its causes is at least as important as measuring its severity. Jameton’s original...

This paper aims to identify the key characteristics of model organisms that make them a specific type of model within the contemporary life sciences: in particular, we argue that the term “model organism” does not apply to all organisms used for the purposes of experimental research. We explore the differences between experimental and model organisms in terms of their material and epistemic features, and argue that it is essential to distinguish between their representational scope and representational target. We also examine (...) the characteristics of the communities who use these two types of models, including their research goals, disciplinary affiliations, and preferred practices to show how these have contributed to the conceptualization of a model organism. We conclude that model organisms are a specific subgroup of organisms that have been standardized to fit an integrative and comparative mode of research, and that it must be clearly distinguished from the broader class of experimental organisms. In addition, we argue that model organisms are the key components of a unique and distinctively biological way of doing research using models.Keywords: Experimental organism; Genetics; Model organism; Modeling; Philosophy of biology; Representation. (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)

Faultless disagreement and faultless retraction have been taken to motivate relativism for predicates of personal taste, like ‘tasty’. Less attention has been devoted to the question of what aspect of their meaning underlies this relativist behavior. This paper illustrates these same phenomena with a new category of expressions: appearance predicates, like ‘tastes vegan’ and ‘looks blue’. Appearance predicates and predicates of personal taste both fall into the broader category of experiential predicates. Approaching predicates of personal taste from this angle suggests (...) that their relativist behavior is due to their experience-sensitivity, rather than their evaluative meaning. Furthermore, appearance predicates hold interest beyond what they can teach us about predicates of personal taste. Examination of a variety of uses of appearance predicates reveals that they give rise to relativist behavior for a variety of reasons—including some that apply also to other types of expressions, such as epistemic modals and comparative terms. This paper thus serves both to probe the source of relativist behavior in discourse about personal taste, as well as to map out this kind of behavior in the rich and under-explored discourse about appearances. (shrink)

In Talking about, Unnsteinsson defends an intentionalist theory of reference by arguing that confused referential intentions degrade reference. Central to this project is a “belief model” of both identity confusion and unconfused thought. By appealing to a well‐known argument from Campbell, I argue that this belief model falls short, because it fails to explain the inferential behavior it promises to explain. Campbell's argument has been central in the contemporary literature on Frege's puzzle, but Unnsteinsson's account of confusion provides an opportunity (...) for more clarity about how the argument is best interpreted, and what it shows. (shrink)

This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates (...) and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation and supplemented by many exercises, this volume will be invaluable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formal reasoning. (shrink)

The recent emergence of machine-manipulated media raises an important societal question: How can we know whether a video that we watch is real or fake? In two online studies with 15,016 participants, we present authentic videos and deepfakes and ask participants to identify which is which. We compare the performance of ordinary human observers with the leading computer vision deepfake detection model and find them similarly accurate, while making different kinds of mistakes. Together, participants with access to the model’s prediction (...) are more accurate than either alone, but inaccurate model predictions often decrease participants’ accuracy. To probe the relative strengths and weaknesses of humans and machines as detectors of deepfakes, we examine human and machine performance across video-level features, and we evaluate the impact of preregistered randomized interventions on deepfake detection. We find that manipulations designed to disrupt visual processing of faces hinder human participants’ performance while mostly not affecting the model’s performance, suggesting a role for specialized cognitive capacities in explaining human deepfake detection performance. -/- . (shrink)

The country's leading libertarian scholar sets forth the essential principles for a legal system that best balances individual liberty versus the common good.

A major goal of this work is to specify some steps of the process by which participants maintain coherency in their conversations.The underlying element of the analysis is a construct called a “context space.” Roughly, a group of utterances that refers to a single issue or episode forms the basis for a context space. Superficially, a conversation is a sequence of utterances; at a deeper level it is a structured entity whose utterances can be parsed into hierarchically related context spaces.As (...) a conversation proceeds, each conversant builds a discourse model that includes the conversation's context space structure, a notion of the present discourse topic, and a list of items being focused upon. Conversational coherency depends upon a lack of conflict between the respective models of the participants. Conflicts are prevented by speakers following high level syntactic and semantic relational rules that enable listeners to identify their discourse models. These rules, given in the study, are highly integrated with the view of conversation presented here—a hierarchy of related context spaces. (shrink)

Bioethics has entered a new era: as many commentators have noted, the familiar mantra of autonomy, beneficence, nonmaleficence, and justice has proven to be an overly simplistic framework for understanding problems that arise in modern medicine, particularly at the intersection of public policy and individual preferences. A tradition of liberal pluralism grounds respect for individual preferences and affirmation of competing conceptions of the good. But we struggle to maintain (or at times explicitly reject) this tradition in the face of individual (...) preferences that we find distasteful, suspect, or even repugnant, especially where the broader social good or respect for equality is at stake. Directed donation presents us with such a dilemma: can we uphold the right of self-determination through respect of individual preferences regarding disposition of transplantable organs while at the same time maintaining an allocation system that reflects values of equity and justice claimed to underlie the socially negotiated practice of transplantation? Or are some preferences simply to be deemed unethical and not respected, even if that leads to a reduction in the number of transplantable organs available and to an apparent disregard for the autonomous decisions of the recently deceased? (shrink)

It is often argued that the general propriety of challenging an assertion with ‘How do you know?’ counts as evidence for the Knowledge Norm of Assertion (KNA). Part of the argument is that this challenge seems to directly challenge whether a speaker knows what she asserts. In this article I argue for a re-interpretation of the data, the upshot of which is that we need not interpret ‘How do you know?’ as directly challenging a speaker's knowledge; instead, it's better understood (...) as challenging a speaker's reasons. Consequently, I argue that reasons-based norms can equally well explain this data. (shrink)

The DSM is the main classification of mental disorders used by psychiatrists in the United States and, increasingly, around the world. Although widely used, the DSM has come in for fierce criticism, with many commentators believing it to be conceptually flawed in a variety of ways. This paper assesses some of these philosophical worries. The first half of the paper asks whether the project of constructing a classification of mental disorders that ‘cuts nature at the joints’ makes sense. What is (...) mental disorder? Are types of mental disorder natural kinds (that is, are the distinctions between them objective and of fundamental theoretical importance, as are, say, the distinctions between the chemical elements)? The second half of the paper addresses epistemic worries. Even if types of mental disorder are natural kinds there may be reason to doubt that the DSM will come to reflect their natural structure. In particular, I examine the extent to which the DSM is theory-laden, and look at how it has been shaped by social and financial factors. Ultimately, I conclude that although the DSM is of immense practical importance it is not likely to become the best possible classification of mental disorders. (shrink)

Pyrrhonian sceptics claim, notoriously, to assent to the appearances without making claims about how things are. To see whether this is coherent we need to consider the philosophical history of ‘appearance’(phainesthai)-talk, and the closely related concept of an impression (phantasia). This history suggests that the sceptics resemble Plato in lacking the ‘non-epistemic’ or ‘non-doxastic’ conception of appearance developed by Aristotle and the Stoics. What is distinctive about the Pyrrhonian sceptic is simply that the degree of doxastic commitment involved in his (...) assent to an impression is asymptotally low. (shrink)

A new reading of Plato's account of conventionalism about names in the Cratylus. It argues that Hermogenes' position, according to which a name is whatever anybody 'sets down' as one, does not have the counterintuitive consequences usually claimed. At the same time, Plato's treatment of conventionalism needs to be related to his treatment of formally similar positions in ethics and politics. Plato is committed to standards of objective natural correctness in all such areas, despite the problematic consequences which, as he (...) himself shows, arise in the case of language. (shrink)

Hume's position in ethics, which is based on his empiricist theory of the mind, is best known for asserting four theses: (1) Reason alone cannot be a motive to the will, but rather is the slave of the passions (see Section 3) (2) Moral distinctions are not derived from reason (see Section 4). (3) Moral distinctions are derived from the moral sentiments: feelings of approval (esteem, praise) and disapproval (blame) felt by spectators who contemplate a character trait or action (see (...) Section 7). (4) While some virtues and vices are natural (see Section 13), others, including justice, are artificial (see Section 9). There is heated debate about what Hume intends by each of these theses and how he argues for them. He articulates and defends them within the broader context of his metaethics and his ethic of virtue and vice. Hume's main ethical writings are Book 3 of his Treatise of Human Nature, Of Morals (which builds on Book 2, Of the Passions), his Enquiry concerning the Principles of Morals, and some of his Essays. In part the moral Enquiry simply recasts central ideas from the moral part of the Treatise in a more accessible style; but there are important differences. The ethical positions and arguments of the Treatise are set out below, noting where the moral Enquiry agrees; differences between the Enquiry and the Treatise are discussed afterwards. (shrink)

A generally ignored feature of Plato’s celebrated image of the cave in Republic VII is that the ascent from the cave is, in its initial stages, said to be brought about by force. What kind of ‘force’ is this, and why is it necessary? This paper considers three possible interpretations, and argues that each may have a role to play.

Socrates’ refutations of Thrasymachus in Republic I are unsatisfactory on a number of levels which need to be carefully distinguished. At the same time several of his arguments are more powerful than they initially appear. Of particular interest are those which turn on the idea of a craft, which represents a shared norm of practical rationality here contested by Socrates and Thrasymachus.

This paper suggests that a basic distinction between philosophical counselling and psychotherapy is to be found in the conception of ‘the person’that is inherent in each of the fields. Understanding this distinction allows not only for a more profound recognition of what is unique to philosophical counselling but also for a better view of possibilities of interchange between the fields. [1].

A generally ignored feature of Aristotle’s famous function argument is its reliance on the claim that practitioners of the crafts (technai) have functions: but this claim does important work. Aristotle is pointing to the fact that we judge everyday rational agency and agents by norms which are independent of their contingent desires: a good doctor is not just one who happens to achieve his personal goals through his work. But, Aristotle argues, such norms can only be binding on individuals if (...) human rational agency as such is governed by objective teleological norms.
. (shrink)

The question of responsibility to future generations is a distinctively modern ethical problem, which exposes the limits of many modern ethical frameworks. I argue for the theological importance of this ‘limit’, and of the question of responsibility to future generations, drawing on the ultimate/penultimate conceptuality of Dietrich Bonhoeffer’s Ethics. Responsibility to future generations calls for detailed attention to a given situation, in the light of its openness to a future not within our control; and action for the sake of future (...) generations requires a suspension of one’s own judgement on that action. Christian ethics can take responsibility to future generations seriously while (and indeed through) maintaining a critique of attempts to orient action towards an innerworldly future utopia. (shrink)

This article describes a new prenatal genetic test that is painless, early, and increasingly available. State legislatures have reacted by prohibiting abortion for reason of fetal sex or of fetal diagnosis and managing genetic counseling. This article explores these legislative responses and considers how physicians and genetic counselors currently communicate post-testing options. The article then examines the challenges ahead for genetic counseling, particularly in light of the troubling grip of abortion politics on conversations about prenatal diagnosis.

The so-called "biometric-Mendelian controversy" has received much attention from science studies scholars. This paper focuses on one scientist involved in this debate, Arthur Dukinfield Darbishire, who performed a series of hybridization experiments with mice beginning in 1901. Previous historical work on Darbishire's experiments and his later attempt to reconcile Mendelian and biometric views describe Darbishire as eventually being "converted" to Mendelism. I provide a new analysis of this episode in the context of Darbishire's experimental results, his underlying epistemology, and his (...) influence on the broader debate surrounding the rediscovery and acceptance of Mendelism. I investigate various historiographical issues raised by this episode in order to reflect on the idea of "conversion" to a scientific theory. Darbishire was an influential figure who resisted strong forces compelling him to convert prematurely due to his requirements that the new theory account for particularly important anomalous facts and answer the most pressing questions in the field. (shrink)

Plato’s depiction of the first city in the Republic (Book II), the so-called ‘city of pigs’, is often read as expressing nostalgia for an earlier, simpler era in which moral norms were secure. This goes naturally with readings of other Platonic texts (including Republic I and the Gorgias) as expressing a sense of moral decline or crisis in Plato’s own time. This image of Plato as a spokesman for ‘moral nostalgia’ is here traced in various nineteenth- and twentieth-century interpretations, and (...) rejected. Plato’s pessimism about human nature in fact precludes any easy assumption that things, or people, were better in the old days. (shrink)

Cultural forces such as film create and reinforce rigidly-defined images of a doctor's identity for both the public and for medical students. The authoritarian and hierarchical institution of medical school also encourages students to adopt rigidly-defined professional identities. This restrictive identity helps to perpetuate the power of the patriarchy, limits uniqueness, squelches inquisitiveness, and damages one's self-confidence. This paper explores the construction of a physician's identity using cultural theorists' psychoanalytic analyses of gender and race as a framework of analysis. Cultural (...) theorists' politically-motivated work provides an excellent point of departure for destabilizing parts of the authoritarian medical hierarchy that can damage a student's professional development. Drawing on such discourse, this paper examines the processes by which a doctor's identity becomes rigidly defined and fixed by daily training. It finally proposes a way for a medical student to extrapolate himself from the current definitions of this identity and create a broader, more malleable concept of professional identity by defining himself from outside of, rather than through, difference. (shrink)

When can macroscopic data about a system be used to set parameters in a microfoundational simulation? We examine the epistemic viability of tweaking parameter values to generate a better fit between the outcome of a simulation and the available observational data. We restrict our focus to microfoundational simulations—those simulations that attempt to replicate the macrobehavior of a target system by modeling interactions between microentities. We argue that tweaking can be effective but that there are two central risks. First, tweaking risks (...) overfitting the simulation to the data and thus compromising predictive accuracy; and second, it risks compromising the microfoundationality of the simulation. We evaluate standard responses to tweaking and propose strategies to guard against these risks. (shrink)

France's 'murder of the century' remains also the most violent non-war crime by women against women on record. The Papin sisters' killing and mutilation of their mistresses in 1933 has provoked reproduction and speculation ever since, by such prominent cultural figures as Simone de Beauvoir, Jacques Lacan, and Claude Chabrol. This book offers an overview of these reproductions and draws some provocative conclusions from them.