Many efforts have been made in recent years to construct formal systems for mechanizing general mathematical reasoning. Most of these systems are based on logics which are stronger than first-order logic. However, there are good reasons to avoid using full second-order logic for this task. In this work we investigate a logic which is intermediate between FOL and SOL, and seems to be a particularly attractive alternative to both: ancestral logic. This is the logic which is obtained from FOL by (...) augmenting it with the transitive closure operator. While the study of this logic has so far been mostly model-theoretical, this work is devoted to its proof theory. Two natural Gentzen-style proof systems for ancestral logic are presented: one for the reflexive transitive closure, and one for the non-reflexive one. We show that these systems are sound for ancestral logic and provide evidence that they indeed encompass all forms of reasoning for this logic that are used in practice. The two systems are shown to be equivalent by providing translation algorithms between them. We end with an investigation of two main proof-theoretical properties: cut elimination and constructive consistency proof. (shrink)

Because you are highly unlikely to cast the deciding vote in the next elections, it is often said that you don’t have a reason to vote in order to change the outcomes. In a recent paper, however, Zach Barnett forcefully argues that this is a mistake. He shows how it follows, from rather conservative assumptions, that in many real-life cases the expected social value of voting is higher than its cost. Barnett is successful, we believe, in showing that the commonly (...) held belief – that voters do not have a reason to vote in order to change the outcomes – is way too hasty. However, Barnett is – we argue in this paper – too quick on one key premise, and once this is noticed, it becomes unclear how often Barnett’s reasoning can point to a justification of voting to change the outcomes. Barnett’s reasoning, we conclude, may apply to significantly less real-life scenarios than he suggests. (shrink)

In this paper, I explore the possibility of developing a Kantian account of the ethics of belief by deploying the tools provided by Kant's ethics. To do so, I reconstruct epistemic concepts and arguments on the model of their ethical counterparts, focusing on the notions of epistemic principle, epistemic maxim and epistemic universalizability test. On this basis, I suggest that there is an analogy between our position as moral agents and as cognizers: our actions and our thoughts are subject to (...) the same rational norm. (shrink)

In Mindblindness, Simon Baron-Cohen presents a model of the evolution and development of "mindreading." He argues that we mindread all the time, effortlessly, automatically, and mostly unconsciously. It is the natural way in which we interpret, predict, and participate in social behavior and communication. We ascribe mental states to people: states such as thoughts, desires, knowledge, and intentions. Building on many years of research, Baron-Cohen concludes that children with autism, suffer from "mindblindness" as a result of a selective (...) impairment in mindreading. For these children, the world is essentially devoid of mental things. Baron-Cohen develops a theory that draws on data from comparative psychology, from developmental, and from neuropsychology. He argues that specific neurocognitive mechanisms have evolved that allow us to mindread, to make sense of actions, to interpret gazes as meaningful, and to decode "the language of the eyes." A Bradford Book. (shrink)

Deliberation and democratic legitimacy -- Moral pluralism and political consensus -- Associations and democracy (with Joel Rogers) -- Freedom of expression -- Procedure and substance in deliberative democracy -- Directly-deliberative polyarchy (with Charles Sabel) -- Democracy and liberty -- Money, politics, political equality -- Privacy, pluralism, and democracy -- Reflections on deliberative democracy -- Truth and public reason.

We present a new justification for methodological triangulation (MT), the practice of using different methods to support the same scientific claim. Unlike existing accounts, our account captures cases in which the different methods in question are associated with, and rely on, incommensurable theories. Using a nonstandard Bayesian model, we show that even in such cases, a commitment to the minimal form of epistemic conservatism, captured by the rigidity condition that stands at the basis of Jeffrey’s conditionalization, supports the practice of (...) MT. (shrink)

The use of artificial intelligence (AI) to aid legal decision making has become prominent. This paper investigates the use of AI in a critical issue in employment law, the determination of a worker’s status—employee vs. independent contractor—in two common law countries (the U.S. and Canada). This legal question has been a contentious labor issue insofar as independent contractors are not eligible for the same benefits as employees. It has become an important societal issue due to the ubiquity of the gig (...) economy and the recent disruptions in employment arrangements. To address this problem, we collected, annotated, and structured the data for all Canadian and Californian court cases related to this legal question between 2002 and 2021, resulting in 538 Canadian cases and 217 U.S. cases. In contrast to legal literature focusing on complex and correlated characteristics of the employment relationship, our statistical analyses of the data show very strong correlations between the worker’s status and a small subset of quantifiable characteristics of the employment relationship. In fact, despite the variety of situations in the case law, we show that simple, off-the-shelf AI models classify the cases with an out-of-sample accuracy of more than 90%. Interestingly, the analysis of misclassified cases reveals consistent misclassification patterns by most algorithms. Legal analyses of these cases led us to identify how equity is ensured by judges in ambiguous situations. Finally, our findings have practical implications for access to legal advice and justice. We deployed our AI model via the open-access platform, https://MyOpenCourt.org/, to help users answer employment legal questions. This platform has already assisted many Canadian users, and we hope it will help democratize access to legal advice to large crowds. (shrink)

We use a new model of metarepresentational development to predict a cognitive deficit which could explain a crucial component of the social impairment in childhood autism. One of the manifestations of a basic metarepresentational capacity is a ‘ theory of mind ’. We have reason to believe that autistic children lack such a ‘ theory ’. If this were so, then they would be unable to impute beliefs to others and to predict their behaviour. This hypothesis was tested using Wimmer (...) and Perner’s puppet play paradigm. Normal children and those with Down’s syndrome were used as controls for a group of autistic children. Even though the mental age of the autistic children was higher than that of the controls, they alone failed to impute beliefs to others. Thus the dysfunction we have postulated and demonstrated is independent of mental retardation and specific to autism. (shrink)

An examination of the controversial "theory of mind" hypothesis, which states that children with autism are unable to comprehend other people's mental states. The theory relates to the most fundamental questions of normal development as well as to autism i.

The aim of this paper is to explore Kant’s account of normativity through the prism of the distinction between the natural and the human sciences. Although the pragmatic orientation of the human sciences is often defined in contrast with the theoretical orientation of the natural sciences, I show that they are in fact regulated by one and the same norm, namely reason’s demand for autonomy.

If updating with E has the same result across all epistemically possible worlds, then the agent has no uncertainty as to the behavior of the update, and we may call it a transparent update. If an agent is uncertain about the behavior of an update, we may call it opaque. In order to model the uncertainty an agent has about the result of an update, the same update must behave differently across different possible worlds. In this paper, I study opaque (...) updates using a simple system of dynamic epistemic logic suitably modified for that purpose. The paper highlights the connection between opaque updates and the dynamic-epistemic principles Perfect-Recall and No-Miracles. I argue that opaque updates are central to contemporary discussions in epistemology, in particular to externalist theories of knowledge and to the related problem of epistemic bootstrapping, or easy knowledge. Opaque updates allow us to explicitly investigate a dynamic form of uncertainty, using simple and precise logical tools. (shrink)

While it is well known that Kant’s transcendental idealism forbids the transcendent use of reason and its ideas, what had been underexplored until the last decade or so is his account of the positive use of reason’s ideas as it is expounded in the “Appendix” of the Critique of Pure Reason. The main difficulty faced by his account is that while there is no doubt that for Kant we need to rely on the ideas of reason in order to gain (...) knowledge of the empirical world, the justificatory grounds for our use remain unclear. Commentators have suggested various ways of addressing this worry. Some emphasize that reason’s demand for systematicity is purely methodological; others that the assumption that nature itself is systematically unified is transcendentally necessary. Some simply deem Kant’s account “extremely self-contradictory.” What is clear is that if neither the presupposition of nature’s systematic unity nor the command to seek this unity have any justification, reason’s regulative function, which plays a crucial role in Kant’s account of cognition, also lacks justification. This would be a disastrous result, for it would threaten the very possibility of cognition and its progress. This chapter proposes to tackle this problem from a new angle by exploring the role of reason’s feelings in Kant’s account. While the relationship between practical reason and feeling has been explored at length in the literature, the relationship between theoretical reason and feeling has not, and my aim is to suggest that doing so can shed new light on reason’s cognitive activity. For focusing on the fact that theoretical reason’s need manifests itself as a feeling will enable me to reassess how this need is met through reason’s regulative use of its ideas. (shrink)

This paper argues that contrary to what is often thought, virtue for Kant is not just a matter of strength of will; it has an essential affective dimension. To support this claim, I show that certain affective dispositions, namely moral feelings and desires, are virtuous in the sense that they are constitutive of virtue at the affective level. There is thus an intrinsic connection between an agent’s practice of virtue and the cultivation of her affective dispositions.

In the recent literature on the issue, a number of commentators have argued that Kant’s aesthetic theory commits him to the position that nothing is ugly. For instance, in ‘Why Kant finds nothing ugly’, Shier argues that ‘within Kant’s aesthetics, there cannot be any negative judgments of taste’ (Shier (1998): 413). And in ‘Kant’s problems with ugliness’, Thomson claims that ‘Kant’s aesthetic theory precludes […] ugliness’ (Thomson (1992): 107). In other words, as it is presented in some of the literature, (...) Kant’s account of aesthetic judgment seems to preclude him from accounting for the possibility of ugliness. A number of reasons have been put forward to explain why there can be no ugliness for Kant. Some have to do with his account of experience in general. Others have to do with the very nature of the free play between imagination and understanding. Of course, the real source of the problem is that the Critique of Judgment does not actually discuss ugliness, so commentators are left with the task of filling in the gaps. This paper aims to argue that Kant’s account of aesthetic judgment commits him not only to the existence of the ugly, but to the distinction between two kinds of ugliness. To support this claim, I will start from the premise that if there is to be room for ugliness, it should be defined as the contrary of beauty. However, I will suggest that Kant’s account of beauty can be negated in two ways, one that gives rise to impure ugliness and the other to pure ugliness. I will examine them in turn, first by showing that impure ugliness is the contrary of beauty insofar as it contravenes our interests and produces a desire to dispose of it, whereas beauty is necessarily disinterested for Kant. In the second section, I will use Kant’s definition of judgments of pure beauty to carve a space for an account of pure ugliness. For, it should present all the characteristics that make it “pure” whilst replacing the characteristics that make it beautiful with the ones that make it ugly. On this basis, I will define pure ugliness as the disinterested displeasure caused by the experience of what I will call “foul play” between the imagination and the understanding. (shrink)

Why do children with autism have such trouble developing normal social understanding of other people's feelings? This new edition updates the field by linking autism research to the newest methods for studying the brain.

In line with familiar portrayals of Kant's ethics, interpreters of his philosophy of education focus essentially on its intellectual dimension: the notions of moral catechism, ethical gymnastics and ethical ascetics, to name but a few. By doing so, they usually emphasise Kant's negative stance towards the role of feelings in moral education. Yet there seem to be noteworthy exceptions: Kant writes that the inclinations to be honoured and loved are to be preserved as far as possible. This statement is not (...) only at odds with Kant's general claim that education should not encourage feelings, but more importantly, it encourages a feeling that is in many ways paradigmatically un-Kantian. How are we to understand the fact that of all feelings, the love of honour should be preserved? To answer this question, I begin by clarifying the reasons behind Kant's negative stance towards feelings in moral education. I then turn to his account of the feeling of love of honour. After distinguishing between its good and its bad forms, I consider two ways of making sense of the positive role Kant assigns to it. The first, modest reading will suggest that the feeling of love of honour is morally useful because it has two functions: an epistemic one, and a motivational one. The second, more ambitious reading will suggest that the feeling of love of honour enables the child to experience her inner worth as bearer of value. (shrink)

The aim of this paper is to show that for Kant, a combination of epigenesis and monogenesis is the condition of possibility of anthropology as he conceives of it and that moreover, this has crucial implications for the biological dimension of his account of human nature. More precisely, I begin by arguing that Kant’s conception of mankind as a natural species is based on two premises: firstly the biological unity of the human species (monogenesis of the human races); and secondly (...) the existence of ‘seeds’ which may or may not develop depending on the environment (epigenesis of human natural predispositions). I then turn to Kant’s account of man’s natural predispositions and show that far from being limited to the issue of races, it encompasses unexpected human features such as gender, temperaments and nations. These predispositions, I argue, are means to the realisation of Nature’s overall purpose for the human species. This allows me to conclude that man’s biological determinism leads to the species’ preservation, cultivation and civilisation. (shrink)

On my interpretation of Kant, feeling plays a central role in the mind: it has the distinct function of tracking and evaluating our activity in relation to ourselves and the world so as to orient us. In this article, I set out to defend this view against a number of objections raised by Melissa Merritt and Uri Eran. I conclude with some reflections on the fact that, despite being very different, Merritt and Eran’s respective views of Kantian feelings turn out (...) to have something potentially problematic in common: they blur the boundary between feelings and other kinds of mental states. (shrink)

The man behind the New York Times Magazine ’s immensely popular column “The Ethicist”–syndicated in newspapers across the United States and Canada as “Everyday Ethics”–casts an eye on today’s manners and mores with a provocative, thematic collection of advice on how to be good in the real world. Every week in his column on ethics, Randy Cohen takes on conundrums presented in letters from perplexed people who want to do the right thing (or hope to get away with doing (...) the wrong thing), and responds with a skillful blend of moral authority and humor. Cohen’s wisdom and witticisms have now been collected in The Good, the Bad & the Difference , a collection of his columns as wise and funny as a combination of “Dear Abby,” Plato, and Mel Brooks. The columns are supplemented with second thoughts on (and sometimes complete reversals of) his original replies, follow-up notes on how his advice affected the actions of various letter writers, reactions from readers both pro and con, and observations from such “guest ethicists” as David Eggers and the author’s mom. Each chapter also features an “Ethics Pop Quiz,” and readers will be invited to post their answers on the book’s Web site. The best of them will appear in a future paperback edition of the book. The Good, the Bad & the Difference is divided into seven sections: •Civic Life (what we do in public) •Family Life (what we do at home) •Social Life (what we do in other people’s homes) •Commercial Life (what we do in situations where money is a factor) •Medical Life (the rights and obligations of patients and caregivers) •Work Life (ethics for the professional sphere) •School Life (moral questions from and about kids) Each section provides a window into how we live today, shedding light on the ways in which a more ethical approach to the decisions we make, and to our daily behavior, can make a big difference in how we feel about ourselves tomorrow. (shrink)

This article concerns kime, a somatic code used in the ‘empty hand’ Japanese martial art of karate. Kime is a tactile-kinesthetic entity born out of practice, coming into being in a social setting through the specific organization of the body-self, fusing body and self into one stance and movement. Kime is entirely embodied, yet can only be operated and recognized inter-subjectively. It plays a crucial role in combat and at the same time also indicates a spiritual possibility that depends on (...) eradication of emotion and volition. An analysis of kime shows how cultural understandings can emerge without necessarily using symbolic representations or verbal discourse in their construction. These somatic non-dual understandings can come to form an entire world-of-meaning directly through the moving body. The moving body shapes itself within itself even as it interacts with and contributes to shape its immediate environment. This is a world-of-meaning that includes complex inter-subjectivity founded on the speed and ambiguity of the interface between the innerness and the outerness of the body. (shrink)

Neokantismes: la marque du pluriel indique d'emblee que le mot d'ordre des annees 1865 Retour a Kant! regroupe differentes ecoles. Les auteurs dont les textes inedits en francais se trouvent ici rassembles et traduits, appartiennent en effet soit a l'ecole de Marbourg (H. Cohen, P. Natorp et E. Cassirer) soit a l'ecole de Bade (W. Windelband, H. Rickert, E. Lask, J. Cohn). Le point commun du neokantisme logique des premiers et du neokantisme axiologique des seconds consiste en une volonte (...) d'asseoir le positivisme sur un fondement philosophique respectueux de l'attitude phenomenologique. Kant apparut donc a tous ces penseurs comme science rigoureuse a condition toutefois de ne considerer le sujet transcendantal que comme une fonction logique de la pensee qui elabore la forme et le contenu de la connaissance. A condition egalement de ne pas limiter l'entreprise critique a la physique, mais de l'etendre au fondement de toutes les sciences de l'esprit. (shrink)

The arc of the moral universe -- Structure, choice, and legitimacy: Locke's theory of the state -- Democratic equality -- A more democratic liberalism -- For a democratic society -- Knowledge, morality and hope: the social thought of Noam Chomsky: with Joel Rogers -- Reflections on Habermas on democracy -- A matter of demolition?: Susan Okin on justice and gender -- Minimalism about human rights: the most we can hope for? -- Is there a human right to democracy? -- Extra (...) republicam nulla justitia?: with Charles Sabel. (shrink)

The aim of this paper is to show that for Kant, a combination of epigenesis and monogenesis is the condition of possibility of anthropology as he conceives of it and that moreover, this has crucial implications for the biological dimension of his account of human nature. More precisely, I begin by arguing that Kant’s conception of mankind as a natural species is based on two premises: firstly the biological unity of the human species (monogenesis of the human races); and secondly (...) the existence of ‘seeds’ which may or may not develop depending on the environment (epigenesis of human natural predispositions). I then turn to Kant’s account of man’s natural predispositions and show that far from being limited to the issue of races, it encompasses unexpected human features such as gender, temperaments and nations. These predispositions, I argue, are means to the realisation of Nature’s overall purpose for the human species. This allows me to conclude that man’s biological determinism leads to the species’ preservation, cultivation and civilisation. (shrink)

Within the ambit of modernity, "to be" a "person" means "to have" "a body." But what exactly do we mean when we say: ‘I have a body’? Who or what is this ‘I’ that ‘has’ ‘a body’ anyway? And how and why does this ‘having’, this possessing, of ‘a body’ confer legal and psychological personhood on us? Does such bodily possession necessarily define a mode of ‘self ownership’? Is distinguishing between the notions of ‘being an organism’, or even ‘being alive’, (...) and ‘having a body’ just a matter of semantics? Or are there pragmatic, bio-political consequences to the ways we construe our vitality and embodiment? Can thinking about ‘the body’ as a (or even, the) matter of ‘self possession’ tell us something interesting about how ‘personhood’ informs our lives? After all, what is ‘the nature’ of ‘the body’, if it can be possessed in such a manner? And does this proprietary way of thinking exhaust the possibilities for how we can imagine what it means to be an organism, a person, a citizen or a human? (shrink)