In this paper we establish the - and -transfer principles for finitely decidable locally finite varieties, where a class of structures is finitely decidable if the first order theory of its finite members is recursive. The transfer principles deal with the local structure of finite algebras and have strong global consequences.

We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.

We prove that in a locally finite variety that has definable principal congruences , solvable congruences are nilpotent, and strongly solvable congruences are strongly abelian. As a corollary of the arguments we obtain that in a congruence modular variety with DPC, every solvable algebra can be decomposed as a direct product of nilpotent algebras of prime power size.

Bradd Hart, Matthew Valeriote, A Structure Theorem for Strongly Abelian Varieties with Few Models.Bradd Hart, Sergei Starchenko, Addendum to "A Structure Theorem for Strongly Abelian Varieties.".Bradd Hart, Sergei Starchenko, Matthew Valeriote, Vaught's Conjecture for Varieties.B. Hart, S. Starchenko, Superstable Quasi-Varieties.B. Hart, A. Pillay, S. Starchenko, Triviality, NDOP and Stable Varieties.

Experiences of Depression is a philosophical exploration of what it is like to be depressed. In this important new book, Matthew Ratcliffe develops a detailed account of depression experiences by drawing on work in phenomenology, philosophy of mind and psychology, and several other disciplines.

This chapter describes the attributionist approach to moral responsibility. Works by Pamela Hieronymi, T.M. Scanlon, Angela Smith, and Matthew Talbert are taken to representative of this approach. On the interpretation given here, attributionism is committed to the following: assessments of moral responsibility are, and ought to be, centrally concerned with the morally significant features of an agent’s orientation toward others that are attributable to her, and an agent is eligible for moral praise or blame solely on the basis of (...) these attributions. Attributionism is presented as rejecting the claim that agents are morally responsible only for what is under their voluntary control, as well as the claim that agents are responsible for wrongdoing only if they could have responded to the moral considerations that spoke against your behavior. These supposed conditions on moral responsibility are rejected for the same reason: agents may reveal features of their selves, in a way that is sufficient for moral responsibility, even in cases in which these conditions are not met. (shrink)

In Real Hallucinations, Matthew Ratcliffe offers a philosophical examination of the structure of human experience, its vulnerability to disruption, and how it is shaped by relations with other people. He focuses on the seemingly simple question of how we manage to distinguish among our experiences of perceiving, remembering, imagining, and thinking. To answer this question, he first develops a detailed analysis of auditory verbal hallucinations (usually defined as hearing a voice in the absence of a speaker) and thought insertion (...) (somehow experiencing one's own thoughts as someone else's). He shows how thought insertion and many of those experiences labeled as "hallucinations" consist of disturbances in a person's senseof being in one type of intentional state rather than another. Ratcliffe goes on to argue that such experiences occur against a backdrop of less pronounced but wider-ranging alterations in the structure of intentionality. In so doing, he considers forms of experience associated with trauma, schizophrenia, and profound grief. The overall position arrived at is that experience has an essentially temporal structure, involving patterns of anticipation and fulfillment that are specific to types of intentional states and serve to distinguish them phenomenologically. Disturbances of this structure can lead to various kinds of anomalous experience. Importantly, anticipation-fulfillment patterns are sustained, regulated, and disrupted by interpersonal experience and interaction. It follows that the integrity of human experience, including the most basic sense of self, is inseparable from how we relate to other people and to the social world as a whole. (shrink)

The view that it is better for life to be created free of disability is pervasive in both common sense and philosophy. We cast doubt on this view by focusing on an influential line of thinking that manifests it. That thinking begins with a widely-discussed principle, Procreative Beneficence, and draws conclusions about parental choice and disability. After reconstructing two versions of this argument, we critique the first by exploring the relationship between different understandings of well-being and disability, and the second (...) by more briefly focusing on the idea of a significant reason. By placing these results against the broader historical and ongoing contexts in which the lives of those with disabilities have been deemed of inferior quality, we conclude with a call for greater humility about disability and well-being in thought and practice. (shrink)

Spinoza was one of the most influential figures of the Enlightenment, but his often obscure metaphysics makes it difficult to understand the ultimate message of his philosophy. Although he regarded freedom as the fundamental goal of his ethics and politics, his theory of freedom has not received sustained, comprehensive treatment. Spinoza holds that we attain freedom by governing ourselves according to practical principles, which express many of our deepest moral commitments. Matthew J. Kisner focuses on this theory and presents (...) an alternative picture of the ethical project driving Spinoza's philosophical system. His study of the neglected practical philosophy provides an accessible and concrete picture of what it means to live as Spinoza's ethics envisioned. (shrink)

Why do war crimes occur? Are perpetrators of war crimes always blameworthy? In an original and challenging thesis, this book argues that war crimes are often explained by perpetrators' beliefs, goals, and values, and in these cases perpetrators may be blameworthy even if they sincerely believed that they were doing the right thing.

Most people would agree that a small child, or a cognitively impaired adult, is less responsible for their actions, good or bad, than an unimpaired adult. But how do we explain that difference, and how far can anyone be praised or blamed for what they have done? In this fascinating introduction, Matthew Talbert explores some of the key questions shaping current debates about moral responsibility, including: What is free will, and is it required for moral responsibility? Are we responsible (...) for the unforeseen consequences of our actions? Is it fair to blame people for doing what they believe is right? And are psychopaths open to blame? As Talbert argues, we are morally responsible for our actions when they are related to us in particular ways: when our actions express our true selves, for example, or when we exercise certain kinds of control over them. It is because we bear these relationships to our actions that we are open to praise and blame. _Moral Responsibility_ will be an important resource for students and researchers in ethics, moral psychology, and philosophy of agency and of great interest to all those wishing to understand an important aspect of our moral practices. (shrink)

What do mathematicians mean when they use terms such as ‘deep’, ‘elegant’, and ‘beautiful’? By applying empirical methods developed by social psychologists, we demonstrate that mathematicians' appraisals of proofs vary on four dimensions: aesthetics, intricacy, utility, and precision. We pay particular attention to mathematical beauty and show that, contrary to the classical view, beauty and simplicity are almost entirely unrelated in mathematics.

We suggest a rigorous theory of how objective single-case transition probabilities fit into our world. The theory combines indeterminism and relativity in the “branching space–times” pattern, and relies on the existing theory of causae causantes (originating causes). Its fundamental suggestion is that (at least in simple cases) the probabilities of all transitions can be computed from the basic probabilities attributed individually to their originating causes. The theory explains when and how one can reasonably infer from the probabilities of one “chance (...) set-up” to the probabilities of another such set-up that is located far away. (shrink)

Discussions about the meaning of the word “ought” are pulled in two apparently competing directions. First, in ethical theory this word is used in the paradigmatic statement of ethical principles and conclusions about what some agent is obligated to do. This leads some ethical theorists to claim that the word “ought” describes a real relation, roughly, of being obligated to (realism) or expresses some non-cognitive attitude toward agents acting in certain ways (expressivism). Second, in theoretical linguistics this word is classified (...) as a modal auxiliary verb alongside words like “might,” “may,” “can,” “must,” etc. This leads some theoretical linguists to claim that the word “ought” is a weak necessity modal, which can be modeled with universal quantification over a restricted set of possible worlds. This chapter seeks some resolution of this tension by showing how versions of realism and expressivism can be modified in light of the best semantics of “ought” as a weak necessity modal. In addition, the chapter explains how this semantics might point to a third view—inferentialism—that accounts for the meaning of “ought” not in terms of what relation it describes, nor in terms of what attitude it expresses, but rather in terms of its inferential role. (shrink)

In _Camus, Philosophe: To Return to our Beginnings_ Matthew Sharpe reads Camus as a _philosophe_ in the classical and enlightenment lineages, arguing that his defense of _mesure_ singles him out amidst 20th century French thought and makes him of renewed relevance today.

Mathematical explanations are poorly understood. Although mathematicians seem to regularly suggest that some proofs are explanatory whereas others are not, none of the philosophical accounts of what such claims mean has become widely accepted. In this paper we explore Wilkenfeld’s suggestion that explanations are those sorts of things that generate understanding. By considering a basic model of human cognitive architecture, we suggest that existing accounts of mathematical explanation are all derivable consequences of Wilkenfeld’s ‘functional explanation’ proposal. We therefore argue that (...) the explanatory criteria offered by earlier accounts can all be thought of as features that make it more likely that a mathematical proof will generate understanding. On the functional account, features such as characterising properties, unification, and salience correlate with explanatoriness, but they do not define explanatoriness. (shrink)

We investigated whether mathematicians typically agree about the qualities of mathematical proofs. Between-mathematician consensus in proof appraisals is an implicit assumption of many arguments made by philosophers of mathematics, but to our knowledge the issue has not previously been empirically investigated. We asked a group of mathematicians to assess a specific proof on four dimensions, using the framework identified by Inglis and Aberdein (2015). We found widespread disagreement between our participants about the aesthetics, intricacy, precision and utility of the proof, (...) suggesting that a priori assumptions about the consistency of mathematical proof appraisals are unreasonable. (shrink)

In this chapter, we consider the plausibility and consequences of the use of the term “honest errors” to describe the accidental killings of civilians resulting from the US military’s drone campaigns in Iraq, Syria, Afghanistan, and elsewhere. We argue that the narrative of “honest errors” unjustifiably excuses those involved in these killings from moral culpability, and reinforces long-standing, pernicious assumptions about the moral superiority of the US military and the inevitability of civilian deaths in combat. Furthermore, we maintain that, given (...) the knowledge-distorting practices within the US military’s organizational structure, few if any civilian deaths from drone strikes meet the criteria of a genuinely morally excusing “honest mistake”. Instead, these accidental killings often reflect objectionable attitudes of relative disregard for the safety of civilians. These attitudes are, we argue, sufficient to warrant the attribution of blame and moral responsibility, both with respect to certain individual actions and with respect to the US military as an institution. In light of this, we propose incorporating a Principle of the Moral Equality of Non-combatants into military assessments of what counts as “acceptable risk” to civilians. This would go some way, we argue, to redressing the ongoing injustice inflicted on the victims of civilian killings by the failure of the US military and US political leadership to take moral responsibility for unjustified civilian deaths. (shrink)

Judith Jarvis Thomson famously argued that abortion is permissible even if we accept that a fetus qualifies as a person and possesses a right to life. The current paper presents two arguments that undermine Thomson’s position. First, the paper sketches a contractarian argument that explores Thomson’s violinist thought experiment from behind a veil of ignorance, which suggests that if we had an equal likelihood of being an unwanted fetus and a pregnant woman, it would be rational for us to oppose (...) abortion. Second, the paper discusses the hypothetical self-aborting fetus, a thought experiment that reverses the dependence relationship between a woman and a fetus. It is argued that in this scenario, where fetuses have agency of their own, Thomson’s position would counterintuitively prohibit a woman from temporarily curtailing the freedom of her fetus even to save her own life. (shrink)

One’s account of the meaning of ethical sentences should fit – roughly, as part to whole – with one’s account of the meaning of sentences in general. When we ask, though, where one widely discussed account of the meaning of ethical sentences fits with more general accounts of meaning, the answer is frustratingly unclear. The account I have in mind is the sort of metaethical expressivism inspired by Ayer, Stevenson, and Hare, and defended and worked out in more detail recently (...) by Blackburn, Gibbard, and others. So, my first aim (§1) in this paper is to pose this question about expressivism’s commitments in the theory of meaning and to characterize the answer I think is most natural, given the place expressivist accounts attempt to occupy metaethics. This involves appeal to an ideationalist account of meaning. Unfortunately for the expressivist, however, this answer generates a problem; it’s my second aim (§2) to articulate this problem. Then, my third aim (§3) is to argue that this problem doesn’t extend to the sort of account of the meaning of ethical claims that I favor, which is like expressivism in rejecting a representationalist order of semantic explanation but unlike expressivism in basing an alternative order of semantic explanation on inferential role rather than expressive function. (shrink)

Lewisian theism is the view that both traditional theism and Lewis’s modal realism are true. On Lewisian theism, God must exist in worlds in one of the following ways: God can be said to have a counterpart in each world; God can be said to exist in each world in the way that a universal can be said to exist in worlds, i.e. through transworld identity; God can be said to be a scattered individual, with a part of God existing (...) in each world; and, God can be said to exist in each world, through His existing from the standpoint of each world. In the literature, – have been rejected as viable options. I grant that and are not viable. However, I believe that and have been too hastily rejected. Herein, I develop ways to respond to objections to and, and conclude that is a viable option for Lewisian theists. (shrink)

One of the central debates within contemporary Anglo-American political philosophy concerns how to formulate an egalitarian theory of distributive justice which gives coherent expression to egalitarian convictions and withstands the most powerful anti-egalitarian objections. This book brings together many of the key contributions to that debate by some of the world’s leading political philosophers: Richard Arneson, G.A. Cohen, Ronald Dworkin, Thomas Nagel, Derek Parfit, John Rawls, T.M. Scanlon, and Larry Temkin.

On Anselmian theism, God is, amongst other things, a necessary being. On genuine modal realism, possible worlds are maximal mereological sums of spatiotemporally connected individuals. I argue in this paper that AT and GMR are either incompatible or their conjunction leads to—amongst other things—modal collapse. Specifically, I argue: regardless of whether God is concrete or abstract, His necessary existence either is inconsistent with AT-GMR or it leads to, amongst other things, modal collapse for AT-GMR. I conclude the paper by contending (...) that, if I am correct, the ATist will have an argument against the truth of GMR, and the GMRist will have an argument against the truth of AT. (shrink)

Does artificial intelligence (AI) pose existential risks to humanity? Some critics feel this question is getting too much attention, and want to push it aside in favour of conversations about the immediate risks of AI. These critics now include the journal Nature, where a recent editorial urges us to 'stop talking about tomorrow's AI doomsday when AI poses risks today.' We argue that this is a serious failure of judgement, on Nature's part. In science, as in everyday life, we expect (...) influential actors to consider the consequences of error. As the world's leading scientific journal, Nature is certainly an influential actor, especially so in the absence of robust global regulation of AI. Yet it has manifestly failed to consider the cost of error in this case. (shrink)

This paper explains three ways to develop a conceptual role view of meaning in metaethics. First, it suggests that there’s a way to combine inspiration from noncognitivism with a particular form of the conceptual role view to form a noncognitivist view with distinctive advantages over other noncognitivist views. Second, it suggests that there’s also a way to combine a strong commitment to cognitivism with a different form of the conceptual role view to form a version of cognitivism with distinctive advantages (...) over other cognitivist views. Finally, it suggests that there's another way to think of the conceptual role view in metaethics is as opening up the space for a third way, beyond cognitivism and noncognitivism. (shrink)

This article attempts to show that Heidegger’s phenomenology may shed light on political phenomena. It pursues this project by arguing that Heidegger’s phenomenology is an appropriation of Aristotle’s practical philosophy and his conceptualization of phronesis. I argue that, in Being and Time, Heidegger’s ‘circumspection’, which is a capacity for making sense of practical situations, is a translation of phronesis. Heidegger argues, though, that the sight of circumspection is foreshortened by the rules and norms of ‘the one’. In division 2, ‘conscience’ (...) becomes a sharpening of the vision of phronesis, which sees through the one. I then defend Heidegger’s appropriation of phronesis and argue that Heidegger’s concept of conscience, which takes up a critical stance toward plurality, may actually be a proper vision of practical wisdom under modern conditions. I substantiate this claim by turning to an unlikely source to bolster Heidegger’s reading of phronesis and the modern public, Hannah Arendt. (shrink)

This is an advanced overview of ethical expressivism, which discuss some of the history of the research program and recent developments in the work of Michael Ridge and Mark Schroeder.

We focus on the production of efficient descriptions of objects, actions and events. We define a type of efficiency, textual economy, that exploits the hearer’s recognition of inferential links to material elsewhere within a sentence. Textual economy leads to efficient descriptions because the material that supports such inferences has been included to satisfy independent communicative goals, and is therefore overloaded in the sense of Pollack [18]. We argue that achieving textual economy imposes strong requirements on the representation and reasoning used (...) in generating sentences. The representation must support the generator’s simultaneous consideration of syntax and semantics. Reasoning must enable the generator to assess quickly and reliably at any stage how the hearer will interpret the current sentence, with its (incomplete) syntax and semantics. We show that these representational and reasoning requirements are met in the SPUD system for sentence planning and realization. (shrink)

The author discusses Rawls’s conception of socioeconomic justice, Democratic Equality. He contrasts Rawls’s account, which includes the difference principle constrained by the principle of fair equality of opportunity, with Natural Aristocracy, which constrains the difference principle only by the principle of careers open to talents. According to the author, many of Rawls’s own arguments support NaturalAristocracy over Democratic Equality. In particular, Natural Aristocracy appears well placed to avoid a challenge that naturally arises in consideration of Democratic Equality, with respect to (...) which formal distributive principle should deal with social and natural causes of inequality. The challenge is to cite a morally relevant distinction which supports the appropriateness of dealing with natural causes of inequality differently to those generated by social causes. In support of his proposal, the author also appeals to certain arguments in Rawls’s Political Liberalism. (shrink)

In this article, we report a study in which 109 research-active mathematicians were asked to judge the validity of a purported proof in undergraduate calculus. Significant results from our study were as follows: (a) there was substantial disagreement among mathematicians regarding whether the argument was a valid proof, (b) applied mathematicians were more likely than pure mathematicians to judge the argument valid, (c) participants who judged the argument invalid were more confident in their judgments than those who judged it valid, (...) and (d) participants who judged the argument valid usually did not change their judgment when presented with a reason raised by other mathematicians for why the proof should be judged invalid. These findings suggest that, contrary to some claims in the literature, there is not a single standard of validity among contemporary mathematicians. (shrink)

Recent philosophical debate about the meaning of knowledge claims has largely centered on the question of whether epistemic claims are plausibly thought to be context sensitive. The default assumption has been that sentences that attribute knowledge or justification have stable truth-conditions across different contexts of utterance, once any non-epistemic context sensitivity has been fixed. The contrary view is the contextualist view that such sentences do not have stable truth-conditions but can vary depending on the context of utterance. This debate manifestly (...) presupposes that the meta-epistemological issue of accounting for the meaning of epistemic claims is to be settled by determining the truth-conditions of these claims. I think this presupposition is undermotivated in light of two observations. First, many epistemologists see epistemic claims as evaluative or normative, in some sense. Second, in the meta- ethical debate most philosophers take alternatives to truth-conditional semantics, such as expressivism, as live options when it comes to evaluative or normative claims. As it turns out, I think expressivism doesn’t provide a plausible account of normative concepts across the board. But considering it as an alternative in the meta-epistemological debate points the way to another alternative to truth-conditional semantics. This is a form of inferentialism. In this paper, I try to motivate a move to epistemic inferentialism by showing how it overcomes worries about expressivism and interacts with plausible ideas about the social function epistemic claims play in our commerce with one another and the word. (shrink)

The idea of philosophy as a 'way of life' is not a new one. From the first recorded philosophy by Plato, there has been a tradition of thinking about philosophy as pointing us towards the good life, happiness and an ethical existence. But where does this notion that philosophy has anything to offer in terms of guiding us in how to live and live well come from? In this first ever introduction to philosophy as a way of life, Matthew (...) Sharpe and Michael Ure take us us through the history of the idea from Plato and the Buddha to Foucault, Hadot and Zizek. They examine the kinds of practical exercises each thinker recommended and practiced to transform their philosophy into manners of living and acting. Philosophy as a Way of Life also examines the recent resurgence of thinking about philosophy as a practical, lived reality and why this ancient tradition still has so much relevance and power in the contemporary world. (shrink)

Warning: includes two somewhat graphic images. This paper is an effort to lay out a taxomony of conceptual relations between the domains of the sublime and the religious. -/- .

In the last two decades, philosophy of neuroscience has predominantly focused on explanation. Indeed, it has been argued that mechanistic models are the standards of explanatory success in neuroscience over, among other things, topological models. However, explanatory power is only one virtue of a scientific model. Another is its predictive power. Unfortunately, the notion of prediction has received comparatively little attention in the philosophy of neuroscience, in part because predictions seem disconnected from interventions. In contrast, we argue that topological predictions (...) can and do guide interventions in science, both inside and outside of neuroscience. Topological models allow researchers to predict many phenomena, including diseases, treatment outcomes, aging, and cognition, among others. Moreover, we argue that these predictions also offer strategies for useful interventions. Topology-based predictions play this role regardless of whether they do or can receive a mechanistic interpretation. We conclude by making a case for philosophers to focus on prediction in neuroscience in addition to explanation alone. (shrink)

In the contemporary metaethical debate, expressivist (Blackburn, Gibbard) and constructivist (Korsgaard, Street) views can be viewed as inspired by irrealist ideas from Hume and Kant respectively. One realist response to these contemporary irrealist views is to argue that they are inconsistent with obvious surface-level appearances of ordinary ethical thought and discourse, especially the fact that we talk and act as if there is ethical knowledge . In this paper, I explore some constructivist and expressivist options for responding to this objection. (...) My conclusion is that, although both constructivists and expressivists can capture other surface-level features of ethical thought and discourse, the possibility of ethical knowledge causes special problems for these versions of irrealism. I end with some comments about where I think irrealists should begin to look for a response to these special problems, which points, somewhat surprisingly, towards an alternative inferentialist form of irrealism about epistemic and ethical thought and discourse, which is inspired by Sellars. (shrink)

Philosophical debate about the meaning of normative terms has long been pulled in two directions by the apparently competing ideas: (i) ‘ought’s do not describe what is actually the case but rather prescribe possible action, thought, or feeling, (ii) all declarative sentences deserve the same general semantic treatment, e.g. in terms of compositionally specified truth conditions. In this paper, I pursue resolution of this tension by rehearsing the case for a relatively standard truth-conditionalist semantics for ‘ought’ conceived as a necessity (...) modal and proposing a revision to it motivated by the distinctively prescriptive character of some deontic modals. In my view, this puts pressure on a popular conception of one of the core debates of metanormative theory between realists and antirealists. To make good on this claim, I go on to explore two very general ways we might interpret the results of compositional semantics—“representationalism” and “inferentialism”—in order to argue that, contrary to what is generally assumed, both can capture the special prescriptivity of ‘ought’ and both can countenance compositionally specified and informative truth-conditions for ought-sentences. Hence, my main thesis is that the deciding factor between them should not be which of ideas (i) and (ii) we are more impressed by but rather what we think of the relative merits of how representationalism and inferentialism respect these ideas. I’m inclined to favor an antirealist form of inferentialism, but the task I’ve set myself here is mainly to articulate the view in the context of metanormative theory and the semantics of deontic modals rather than try to defend it fully. To this purpose, towards the end I also briefly compare and contrast inferentialism with a third “ideationalist” metasemantic view, which may be an attractive home for some sophisticated versions of metanormative expressivism. Depending on how expressivism is worked out, it may be completely compatible with and so perhaps usefully combined with inferentialism or it may offer a competing way to respect ideas (i) and (ii). (shrink)

Many of the methods commonly used to research mathematical practice, such as analyses of historical episodes or individual cases, are particularly well-suited to generating causal hypotheses, but less well-suited to testing causal hypotheses. In this paper we reflect on the contribution that the so-called hypothetico-deductive method, with a particular focus on experimental studies, can make to our understanding of mathematical practice. By way of illustration, we report an experiment that investigated how mathematicians attribute aesthetic properties to mathematical proofs. We demonstrate (...) that perceptions of the aesthetic properties of mathematical proofs are, in some cases at least, subject to social influence. Specifically, we show that mathematicians’ aesthetic judgements tend to conform to the judgements made by others. Pedagogical implications are discussed. (shrink)

Nonsymbolic comparison tasks are commonly used to index the acuity of an individual's Approximate Number System (ANS), a cognitive mechanism believed to be involved in the development of number skills. Here we asked whether the time that an individual spends observing numerical stimuli influences the precision of the resultant ANS representations. Contrary to standard computational models of the ANS, we found that the longer the stimulus was displayed, the more precise was the resultant representation. We propose an adaptation of the (...) standard model, and suggest that this finding has significant methodological implications for numerical cognition research. (shrink)