Anti-selection occurs when information asymmetry exists between insurers and applicants. When an applicant knows they are at high risk of loss, but the insurer does not, the applicant may try to use this knowledge differential to secure insurance at a lower premium that does not match risk.

We prove a finite model theorem and infinitary completeness result for the propositional -calculus. The construction establishes a link between finite model theorems for propositional program logics and the theory of well-quasi-orders.

BackgroundThe Mental Capacity Act was enacted in 2007 in England and Wales, but the assessment of mental capacity still remains an area of professional concern. Doctors’ compliance with legal and professional standards is inconsistent, but the reasons for poor compliance are not well understood. This preliminary study investigates doctors’ experiences of and attitudes toward mental capacity assessment.MethodsThis is a descriptive, cross-sectional study where a two-domain, study-specific structured questionnaire was developed, piloted and digitally disseminated to doctors at differing career stages employed (...) in a large, multi-site National Health Service Trust in London over 4 months in 2018. Descriptive statistics and frequency tables adjusted for missing data were generated and secondary analysis was conducted.ResultsParticipants were predominantly UK trained, female and between the ages of 30 and 44 years. Less than half of the participants reported receiving formal MCAx training. Only one-third of the participants self-rated themselves as very competent or extremely competent. Self-reported MCA confidence was significantly affected by career stage with Consultants with over 10 years of experience reporting lowest confidence.ConclusionsThis study describes significant variation in practice by doctors and low self-confidence in the practice of MCAx. These results raise concerns that MCAx continues to be inconsistently performed by doctors despite appropriate awareness of the law and professional guidance on best practice. (shrink)

It is shown that over any countable first-order structure, IND programs with dictionaries accept exactly the Π 1 1 relations. This extends a result of Harel and Kozen 118) relating IND and Π 1 1 over countable structures with some coding power, and provides a computational analog of a result of Barwise et al. 108) relating the Π 1 1 relations on a countable structure to a certain family of inductively definable relations on the hereditarily finite sets over that structure.

I argue that rather than aiming at the well-being of those whom we love, we should aim to share in their ends. The former stance runs the risk of being objectionably paternalistic and, as I explain, only the latter makes reciprocal relationships possible. I end by diagnosing our attraction to the idea that we should promote our loved-ones’ well-being.

Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative categoricity. In this paper, we show (...) that most other abstraction principles are not naturally relatively categorical, so that there is in fact a large amount of incompatibility between these two recent trends in contemporary philosophy of mathematics. To better understand the precise demands of relative categoricity in the context of abstraction principles, we compare and contrast these constraints to stability-like acceptability criteria on abstraction principles, the Tarski-Sher logicality requirements on abstraction principles studied by Antonelli and Fine, and supervaluational ideas coming out of Hodes' work. (shrink)

Benacerraf’s 1965 multiple-reductions argument depends on what I call ‘deferential logicism’: his necessary condition for number-set identity is most plausible against a background Quineanism that allows autonomy of the natural number concept. Steinhart’s ‘folkist’ sufficient condition on number-set identity, by contrast, puts that autonomy at the center — but fails for not taking the folk perspective seriously enough. Learning from both sides, we explore new conditions on number-set identity, elaborating a suggestion from Wright.

Rawls' requirement that citizens of liberal democracies support only policies which they believe can be justified in 'public reason' depends on a certain ideal for the relationships between citizens. This is a valuable ideal, and thus citizens have reasons to try to achieve it. But it is not always possible to find the common ground that we would need in order to do so, and thus we should reject Rawls' strong claim that we have an obligation to defend our views (...) in public reason. Because I recognize that we have strong reasons to conduct our political enquiry within the guidelines of political liberalism, but deny that we always have an obligation to do so, one might call my view 'permissive political liberalism'. (shrink)

Fallacies are things people commit, and when they commit them they do something wrong. What kind of activities are people engaged in when they commit fallacies, and in what way are they doing something wrong? Many different things are called fallacies. The diversity of the use of the concept of a fallacy suggests that we are dealing with a family of cases not related by a common essence. However, we suggest a simple account of the nature of fallacies which encompasses (...) them all, viz., the term “fallacy” is our most general term for criticizing any general procedure used for the fixation of beliefs that has an unacceptably high tendency to generate false or unfounded beliefs, relative to that method of fixing beliefs. Very different sorts of things called fallacies are examined in the light of this account, e.g., denying the antecedent, circular arguments, so-called informal fallacies, and propositions said to be fallacies. We do not provide a theory of fallacies. Still, on our account pretty much all of those things that have been called fallacies are fallacies, and they have been called fallacies for pretty much the same reasons. (shrink)

I attempt to vindicate our authority to create new practical reasons for others by making choices of own own. In The Doctrine of Right Kant argues that we have an obligation to leave the Juridical State of Nature and found the state. In a less familiar passage in Religion within the Bounds of Mere Reason he argues for an obligation to leave what he calls the Ethical State of Nature and join together in the Moral Community. I read both texts (...) as addressing and trying to resolve a tension between our individual freedom and our authority to make claims on one another. I explicate the political argument, and then develop the view that Kant sketches in the Religion, arguing that regarding others as capable of making choices that give you reasons to act is a condition of the full exercise of your autonomy. (shrink)

In spite of laws in many states regulating the nutritional content of foods and the availability of “junk food” and soda, a 2001 Surgeon General’s Report indicated that 15% to 20% of the nation’s children are overweight or obese. In areas that are predominately Hispanic and African American, the numbers rise to between 40% and 50%. Although there are continuing efforts to educate the adult population, many school systems and public health jurisdictions have had little impact on the rising numbers (...) of overweight and obese children. This session described the process of initiating a student-based, student driven approach to obesity, junk food, and diabetes and disease prevention.A need existed for a grassroots approach at the student level to raise awareness of increasing obesity rates and diabetes and other related diseases in the adolescent population. (shrink)

In spite of laws in many states regulating the nutritional content of foods and the availability of “junk food” and soda, a 2001 Surgeon General’s Report indicated that 15% to 20% of the nation’s children are overweight or obese. In areas that are predominately Hispanic and African American, the numbers rise to between 40% and 50%. Although there are continuing efforts to educate the adult population, many school systems and public health jurisdictions have had little impact on the rising numbers (...) of overweight and obese children. This session described the process of initiating a student-based, student driven approach to obesity, junk food, and diabetes and disease prevention.A need existed for a grassroots approach at the student level to raise awareness of increasing obesity rates and diabetes and other related diseases in the adolescent population. (shrink)

It is known that, on average, people adapt their choice of memory strategy to the subjective utility of interaction. What is not known is whether an individual's choices are boundedly optimal. Two experiments are reported that test the hypothesis that an individual's decisions about the distribution of remembering between internal and external resources are boundedly optimal where optimality is defined relative to experience, cognitive constraints, and reward. The theory makes predictions that are tested against data, not fitted to it. The (...) experiments use a no-choice/choice utility learning paradigm where the no-choice phase is used to elicit a profile of each participant's performance across the strategy space and the choice phase is used to test predicted choices within this space. They show that the majority of individuals select strategies that are boundedly optimal. Further, individual differences in what people choose to do are successfully predicted by the analysis. Two issues are discussed: the performance of the minority of participants who did not find boundedly optimal adaptations, and the possibility that individuals anticipate what, with practice, will become a bounded optimal strategy, rather than what is boundedly optimal during training. (shrink)

We often come to value someone or something through experience of that person or thing. You may thereby come to embrace a value that you did not grasp prior to the experience in question. Moreover, it seems that in a large and important subset of cases you could not have fully appreciated that value merely by considering a report of the reasons or arguments that purport to establish that it is valuable. Despite its ubiquity, this phenomenon goes missing in a (...) great deal of contemporary work in ethics and political philosophy. In this paper I further specify the phenomenon of interest by developing a series of examples. Then I support the claim that philosophers routinely overlook it by surveying several significant philosophical positions that do so. (shrink)

Did the Carthaginian cavalry general Maharbal really urge Hannibal to march on Rome after Cannae, and then comment bitterly Vincere sets, Hannibal; victoria uti nescis, when his leader refused? There are two main objections: Maharbal may not have been there, and anyway Cannae was too far away to justify such a march. The whole story has been seen as one of those well-known Roman historiographical inventions. But there may well be more to the story than that, illuminating both Hannibalic history (...) and some Roman historiographical techniques. (shrink)

Kant’s political theory stands in the social contract tradition, but departs significantly from earlier versions of social contract theory. Most importantly Kant holds, against Hobbes and Locke, that we have not merely a pragmatic reason but an obligation to exit the state of nature and found a state. Kant holds that each person has an innate right to freedom, but it is possible to simultaneously honor everyone’s right only under the rule of law. Since we are obligated to respect each (...) person’s right to freedom, and can do so only in a state, we are obligated to submit to the authority of the state if we have one, and to establish one if we do not. In the first half of the essay I reconstruct this argument in more detail. In the second half I survey four points of controversy: (i) What is the relationship between Kant’s political philosophy and his moral philosophy? (ii) How does the innate right to freedom support the postulate that we are permitted to acquire property and other private rights? (iii) How does the postulate support an obligation to found the state? (iv) How should we understand Kant’s views about political revolutions? (shrink)

Neo-Fregeans have been troubled by the Nuisance Principle, an abstraction principle that is consistent but not jointly satisfiable with the favored abstraction principle HP. We show that logically this situation persists if one looks at joint consistency rather than satisfiability: under a modest assumption about infinite concepts, NP is also inconsistent with HP.

I argue that we cannot adequately characterize the aims of education in terms of some formal conception of what it is to think well. Implementing any such aim requires reliance on and communication of further, substantive normative commitments. This reveals that a standard contrast between an old-fashioned approach to education that aims to communicate a particular normative outlook, and a progressive approach that aims to develop skills of critical reasoning and reflection is confused and misleading.

This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only three profiles. The improvements to Fine’s theorem allow for an analysis of (...) the well-behaved models had by an abstraction principle, and this in turn leads to an improvement of Walsh and Ebels-Duggan’s relative categoricity theorem. (shrink)

: Because an influenza pandemic would create the most serious hardships for those who already face most serious hardships, countries should take special measures to mitigate the effect of a pandemic on existing social inequalities. Unfortunately, there is little evidence that anybody is thinking about that.

The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of choice—a result hitherto unestablished. (...) It discusses both the general interest of this result, its interest to neo-Fregean philosophy of mathematics, and the potential significance of the Burali–Fortian method of proof. (shrink)

Objects appear to fall into different sorts, each with their own criteria for identity. This raises the question of whether sorts overlap. Abstractionists about numbers—those who think natural numbers are objects characterized by abstraction principles—face an acute version of this problem. Many abstraction principles appear to characterize the natural numbers. If each abstraction principle determines its own sort, then there is no single subject-matter of arithmetic—there are too many numbers. That is, unless objects can belong to more than one sort. (...) But if there are multi-sorted objects, there should be cross-sortal identity principles for identifying objects across sorts. The going cross-sortal identity principle, ECIA2 of Cook and Ebert (2005), solves the problem of too many numbers. But, I argue, it does so at a high cost. I therefore propose a novel cross-sortal identity principle, based on embeddings of the induced models of abstracts developed by Walsh (2012). The new criterion matches ECIA2’s success, but offers interestingly different answers to the more controversial identifications made by ECIA2. (shrink)

I argue that unfortunate formative circumstances do not undermine the warrant for either responsibility or blame. I then diagnose the tendency to think that formative circumstances do matter in this way, arguing that knowledge of these circumstances can play an essential epistemic role in our interpersonal interactions.

Our ordinary talk reflects a deep tension in the way that we think about love. On the one hand, we regard love as an especially important expression of our agency. Yet, on the other hand, we also think of love as something that happens to us, in the face of which we are passive and can be powerless. While it’s hard to see how to hold these two ways of thinking of love together, in this paper I argue that we (...) must find some way of doing so. I argue that we must think of love as a contentful attitude attributable to its agent, an expression of our selves. But familiar ways of understanding agency sort love into the category of things that happen to us, rather than that of things that we do: You cannot love at will, nor is love an attitude to which you could reason. I conclude that questions about the relationship of our agency to what we love are not superficial, but stem from deep tensions about the relationship between love and reasons. A resolution to these difficulties would provide important insight not only into the character of love, but also the nature of agency, and its relationship to values, reasoning and reasons. (shrink)

Berislav Marušić’s On the Temporality of Emotions is a lovely book. Marušić confronts a puzzle about grief and anger that many will find familiar from their own.

It is often alleged that an agent is morally responsible in a liability sense for a transgression just in case s/he deserves a negative interpersonal response for that transgression, blaming responses such as resentment and indignation being paradigms. Aside from a few exceptions, guilt is cited in recent discussions of moral responsibility, if at all, as merely an effect of being blamed, or as a reliable indicator of moral responsibility, but not itself an explanation of moral responsibility. In this paper, (...) I argue that an agent is morally responsible in a liability sense for a transgression just in case s/he deserves to feel moral guilt for that transgression. I argue that this alternative view offers all that the predominant blame-focused view offers, while also solving some puzzling features of moral responsibility. Specifically, it offers a compelling way to reconcile conflicting intuitions about the suberogatory, and allows those who do not understand what Darwall calls ‘second-personal’ reasons to be morally responsible for their immoral acts. (shrink)

Inspired by impossibility theorems of social choice theory, many democratic theorists have argued that aggregative forms of democracy cannot lend full democratic justification for the collective decisions reached. Hence, democratic theorists have turned their attention to deliberative democracy, according to which “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” (Cohen 1997a, 73). However, relatively little work has been done to offer a formal theory of democratic deliberation. This (...) article helps fill that gap by offering a formal theory of three different modes of democratic deliberation: myopic discussion, constructive discussion, and debate. We show that myopic discussion suffers from indeterminacy of long run outcomes, while constructive discussion and debate are conclusive. Finally, unlike the other two modes of deliberation, debate is path independent and converges to a unique compromise position, irrespective of the initial status quo. (shrink)

Christine M. Korsgaard has had a profound influence on moral philosophy over the past forty years. Through her writing and teaching she has developed a distinctive, rigorous, and historically informed way of thinking about ethics, agency, and the normative dimension of human life more generally. The twelve original essays in this volume are written in her honor on the occasion of her retirement from teaching. They engage questions that recur in her work: Why are we obligated to do what morality (...) demands? What features of our nature make us subject to moral obligation? What does it mean to be autonomous and responsible for what we do? What do we owe to nonhuman animals? Contributors include Stephen Darwall, Kyla Ebels-Duggan, Barbara Herman, Richard Moran, Japa Pallikkathayil, Faviola Rivera-Castro, T.M. Scanlon, Tamar Schapiro, Sharon Street, David Sussman, Sigrún Svavarsdóttir, and David Velleman. These essays shed light on Korsgaard's own views while staking out provocative new positions on the topics that feature centrally in her own work. (shrink)

Many thinkers agree that facilitating the development of students’ autonomy is a proper aim of education generally and higher education in particular. I defend a version of the autonomy view, but not as I think its other advocates imagine it. I suggest that an important aim of education is the facilitation of intellectual virtues. What is right about the idea that education should facilitate students’ autonomy is best captured in virtue terms as intellectual charity and humility.

Kant rejects all of the standard accounts of the dependence of morality on religious claims or commitment. He nevertheless thinks that morality “leads to” religion. I defend an account of this “leading to” relationship, arguing that it is the result of Kant’s struggle to capture the practical import of the consequences of our actions within a moral theory that rejects the idea that we must maximize the good. On this view, the best way to acknowledge that the outcomes of our (...) actions matter, while maintaining uncompromising commitment to the moral law, is to hope in God. (shrink)

I argue that political liberals should not support the monopoly of a single educational approach in state sponsored schools. Instead, they should allow reasonable citizens latitude to choose the worldview in which their own children are educated. I begin by defending a particular conception of political liberalism, and its associated requirement of public reason, against the received interpretation. I argue that the values of respect and civic friendship that motivate the public reason requirement do not support the common demand that (...) citizens “bracket” their comprehensive commitments in politics. Rather, citizens should seek to enact policies the justification of which is compatible with the truth of their fellow reasonable citizens’ worldviews. Next I argue that no single educational approach can meet this standard of justification. Many believe that state sponsored education in a pluralist, liberal society ought to present multiple worldviews in a neutral way. I argue that this aspiration is unrealizable, and no other educational model will plausibly meet the justificatory demand. Finally, I address two objections to my favored alternative: that it may allow for the inculcation of disrespect, and that it violates children’s autonomy. Against the first, I claim that political liberals have no grounds for thinking that reasonable citizens will seek to inculcate disrespect. Finally, I argue that there is no conception of autonomy that can sustain the second. (shrink)

We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests. The system is designed to reflect the natural style of reasoning with KAT that one finds in the literature. One can also use the system to reason about properties of simple imperative programs using schematic KAT. We explain how the system works and illustrate its use with some examples, including an extensive scheme equivalence proof.

I yield to no one in my admiration for and appreciation of what the scientists have accomplished in the last few centuries as well as back in the days of the Greeks. Nonetheless there are certain questions that perennially recur. One might readily say that scientists have not yet reached the proper answers, but judging from what they have already accomplished satisfactory answers will be forthcoming in the revolving years. That is too facile a reply. On some things we want (...) real answers now. To put off fairly adequate explanations until some future limbo is wholly unsatisfactory. (shrink)

The prospect of using cell-based interventions to treat neurological conditions raises several important ethical and policy questions. In this target article, we focus on issues related to the unique constellation of traits that characterize CBIs targeted at the central nervous system. In particular, there is at least a theoretical prospect that these cells will alter the recipients' cognition, mood, and behavior—brain functions that are central to our concept of the self. The potential for such changes, although perhaps remote, is cause (...) for concern and careful ethical analysis. Both to enable better informed consent in the future and as an end in itself, we argue that early human trials of CBIs for neurological conditions must monitor subjects for changes in cognition, mood, and behavior; further, we recommend concrete steps for that monitoring. Such steps will help better characterize the potential risks and benefits of CBIs as they are tested and potentially used for treatment. (shrink)

Many of the haemopoietic cell growth factors have now been purified to homogeneity and their structural genes cloned. Methods are also now available for obtaining pure populations of haemopoietic cells. The use of such cells, in combination with pure growth factors, has provided intriguing information about the biological activities and mode of action of the factors in faciliating survival, proliferation and differentiation of the haemopoietic cells.