Many have been attracted to the idea that for something to be good there just have to be reasons to favour it. This view has come to be known as the buck-passing account of value. According to this account, for pleasure to be good there need to be reasons for us to desire and pursue it. Likewise for liberty and equality to be values there have to be reasons for us to promote and preserve them. Extensive discussion has focussed on (...) some of the problems that the buck-passing account faces, such as the 'wrong kind of reason' problem. Less attention, however, has been paid as to why we should accept the buck-passing account or what the theoretical pay-offs and other implications of accepting it are. The Normative and the Evaluative provides the first comprehensive motivation and defence of the buck-passing account of value. Richard Rowland argues that the buck-passing account explains several important features of the relationship between reasons and value, as well as the relationship between the different varieties of value, in a way that its competitors do not. He shows that alternatives to the buck-passing account are inconsistent with important views in normative ethics, uninformative, and at odds with the way in which we should see practical and epistemic normativity as related. In addition, he extends the buck-passing account to provide an account of moral properties as well as all other normative and deontic properties and concepts, such as fittingness and ought, in terms of reasons. (shrink)

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

This article is about the implications of a conciliatory view about the epistemology of peer disagreement for our moral beliefs. Many have endorsed a conciliatory view about the epistemology of peer disagreement according to which if we find ourselves in a disagreement about some matter with another whom we should judge to be our epistemic peer on that matter, we must revise our judgment about that matter. This article focuses on three issues about the implications of conciliationism for our moral (...) beliefs. The first is whether there is an asymmetry between the implications of conciliationism for the epistemic status of our moral beliefs and the implications of conciliationism for the epistemic status of our non-moral beliefs; for instance, some have argued that conciliationism leads to epistemological moral skepticism but not to epistemological nonmoral skepticism. The second is what the implications of conciliationism are for the epistemic status of particular moral beliefs. The third is whether conciliationism's impact on the epistemic status of our moral beliefs has practical implications. (shrink)

Many including Judith Jarvis Thomson, Philippa Foot, Peter Geach, Richard Kraut, and Paul Ziff have argued for good simpliciter skepticism. According to good simpliciter skepticism, we should hold that there is no concept of being good simpliciter or that there is no property of being good simpliciter. I first show that prima facie we should not accept either form of good simpliciter skepticism. I then show that all of the arguments that good simpliciter skeptics have proposed for their view (...) fail to show that we have good reason to accept good simpliciter skepticism. So, I show that we do not have good reason to accept good simpliciter skepticism. (shrink)

Christopher Cowie has recently argued that companions in guilt arguments against the moral error theory that appeal to epistemic reasons cannot work. I show that such companions in guilt arguments can work if, as we have good reason to believe, moral reasons and epistemic reasons are instances of fundamentally the same relation.

This paper is about how moral disagreement matters for metaethics. It has four parts. In the first part I argue that moral facts are subject to a certain epistemic accessibility requirement. Namely, moral facts must be accessible to some possible agent. In the second part I show that because this accessibility requirement on moral facts holds, there is a route from facts about the moral disagreements of agents in idealized conditions to conclusions about what moral facts there are. In the (...) third part I build on this route to show that (*) if there is significant moral disagreement in idealized conditions, then our understanding of morality is fatally flawed and we should accept relativism over non-naturalism and quasi-realism. So, if, like many, you think that there would be significant moral disagreement in idealized conditions, you should hold that our understanding of morality is fatally flawed and reject non-naturalism and quasi-realism. In the fourth part of this paper I show that (*) undermines the plausibility of non-naturalism, quasi-realism, and the view that our understanding of morality is not fatally flawed even if we do not have sufficient reason to believe that there would be significant moral disagreement in idealized conditions. (shrink)

According to fitting-attitude (FA) accounts of value, X is of final value if and only if there are reasons for us to have a certain pro-attitude towards it. FA accounts supposedly face the wrong kind of reason (WKR) problem. The WKR problem is the problem of revising FA accounts to exclude so called wrong kind of reasons. And wrong kind of reasons are reasons for us to have certain pro-attitudes towards things that are not of value. I argue that the (...) WKR problem can be dissolved. I argue that (A) the view that there are wrong kind of reasons for the pro-attitudes that figure in FA accounts conflicts with the conjunction of (B) an extremely plausible and extremely weak connection between normative and motivating rea- sons and (C) an extremely plausible generality constraint on the reasons for pro- attitudes that figure in FA accounts. I argue that when confronted with this trilemma we should give up (A) rather than (B) or (C) because there is a good explanation of why (A) seems so plausible but is in fact false, but there is no good explanation of why (B) and (C) seem so plausible but are in fact false. (shrink)

Conor McHugh and Jonathan Way argue that we should put fittingness rather than reasons first because we can provide an account of the evaluative in terms of the normative only if we put fittingness rather than reasons first. I argue that it is no more difficult to provide an account of the evaluative in terms of the normative if we put reasons rather than fittingness first.

Our concepts of good simpliciter, good for, and good as a particular kind of thing must share some common element. I argue that all three types of goodness can be analysed in terms of the reasons that there are for a certain sets of agents to have pro-attitudes. To this end I provide new and compelling accounts of good for and goodness of a kind in terms of reasons for pro-attitudes that are more explanatorily illuminating than competing accounts and that (...) evade the objections that undermine previous accounts of good for and goodness of a kind in terms of reasons. (shrink)

This article responds to a recent empirical study by De Brigard and Weijers on intuitions about the experience machine and what it tells us about hedonism.

Many have argued that various features of moral disagreements create problems for cognitivism about moral judgment, but these arguments have been shown to fail. In this paper, I articulate a new problem for cognitivism that derives from features of our responses to moral disagreement. I argue that cognitivism entails that one of the following two claims is false: (1) a mental state is a belief only if it tracks changes in perceived evidence; (2) it is intelligible to make moral judgments (...) that do not track changes in perceived evidence. I explain that there is a good case that (1) holds such that we should prefer theories that do not entail the negation of (1). And I argue that the seeming intelligibility of entirely intransigent responses to peer disagreement about moral issues shows us that there is a good case that (2) holds. (shrink)

In a recent issue of Utilitas Gerald Lang provided an appealing new solution to the Wrong Kind of Reason problem for the buck-passing account of value. In subsequent issues Jonas Olson and John Brunero have provided objections to Lang's solution. I argue that Brunero's objection is not a problem for Lang's solution, and that a revised version of Lang's solution avoids Olson's objections. I conclude that we can solve the Wrong Kind of Reason problem, and that the wrong kind of (...) reasons for pro-attitudes are reasons that would not still be reasons for pro-attitudes if it were not for the additional consequences of having those pro-attitudes. (shrink)

Evolutionary debunking arguments in ethics aim to use facts about the evolutionary causes of ethical beliefs to undermine their justification. Global Evolutionary Debunking Arguments (GDAs) are arguments made in metaethics that aim to undermine the justification of all ethical beliefs. Local Evolutionary Debunking Arguments (LDAs) are arguments made in first‐order normative ethics that aim to undermine the justification of only some of our ethical beliefs. Guy Kahane, Regina Rini, Folke Tersman, and Katia Vavova argue for skepticism about the possibility of (...) LDAs. They argue that LDAs cannot be successful because they over‐extend in a way that makes them self‐undermining and yield a form of moral skepticism. In this paper I argue that this skepticism about the possibility of LDAs is misplaced. (shrink)

Proponents of the epistemic companions in guilt argument argue that we should reject the moral error theory because it entails that there are no epistemic reasons. In this paper, I investigate whether a plausible version of the moral error theory can be constructed that does not entail an error theory about epistemic reasons. I argue that there are no irreducibly normative second-personal reasons even if there are irreducibly normative reasons. And epistemic reasons are not second-personal reasons. In this case, a (...) plausible version of the moral error theory can be constructed that does not entail an error theory about epistemic reasons if facts and claims about morality entail facts and claims about irreducibly normative second-personal reasons. And, as I explain, there is a good case that facts and claims about morality do entail facts and claims about irreducibly normative second-personal reasons. (shrink)

Antes de comentar en "La nueva ciencia de la mente", primero ofrezco algunos comentarios sobre filosofía y su relación con la investigación psicológica contemporánea como se ejemplifica en las obras de Searle (S), Wittgenstein (W), Hacker (H) et al. Ayudará a ver mis reseñas de PNC (Filosofía en un Nuevo Siglo), TLP, PI, OC, Making the Social World (MSW) y otros libros por y sobre estos genios, que proporcionan una descripción clara del comportamiento de orden superior, no se encuentra en (...) psicología ni filosofía, a la que me referiré como el marco de WS. Al igual que con tantos libros de filosofía, podríamos parar con el título. Como indican las citas y comentarios anteriores y en mis otras reseñas y los libros que cubren, hay razones convincentes para los problemas que enfrentamos al describir la psicología del orden superior considerado como conceptual y no científico. Esto debería ser cristalino para todos, pero la envidia de la ciencia y el olvido casi completo a WSH, etc. es un modo la! Pero como H señala anteriormente, los temas discutidos aquí son todo acerca de los juegos de idiomas y no tienen nada que ver con la ciencia. De hecho, como de costumbre, si uno traduce al inglés claro hay muy poco interés aquí, y ciertamente nada no dicho antes y mejor por WS, etc. innumerables veces desde los años 30 (véase, por ejemplo, The Blue and Brown Books de 1933- 35). No es de extrañar que no haga referencias significativas a ninguno de los libros o personas anteriores (¡la única referencia a S es un artículo de 1958!), aunque en mi opinión están en la parte superior de la lista de las principales figuras de la psicología descriptiva. En la p119 nos dice que la clave de todo esto es averiguar cómo "... un proceso cognitivo a nivel personal puede pertenecer a un sujeto representativo. Esta es la tarea de la segunda mitad del libro". Pero W hizo esto hace 80 años y ya que tenemos las explicaciones bellamente claras de WSH, H&M, etc., no tiene sentido torturarse con la prosa bastante sin rumbo y opaca que se desvía terminan en Sartre, Heidegger, Husserl y Frege, con un toque de ensalada de palabras posmodernista para buena medida. Un esfuerzo valiente en un tema interesante, pero en última instancia agotador e infructuoso. Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punto de vista puede consultar mi libros Talking Monkeys 3ª ed (2019), Estructura Logica de Filosofia, Psicología, Mente y Lenguaje en Ludwig Wittgenstein y John Searle 2ª ed (2019), Suicidio pela Democracia 4ª ed (2019), La Estructura Logica del Comportamiento Humano (2019), The Logical Structure de la Conciencia (2019, Comprender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política y Economía, Historia y Literatura (2019), Delirios Utópicos Suicidas en el siglo 21 5ª ed (2019), Observaciones sobre Imposibilidad, Incompletitud, Paraconsistencia, Indecidibilidad, Aleatoriedad, Computabilidad, Paradoja e Incertidumbre en Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych Berto, Floyd, Moyal-Sharrock y Yanofsky(2019) y otros. (shrink)

The ability to engage in reflexive thought—in thought about thought or about other mental states more generally—is regarded as a complex intellectual achievement that is beyond the capacities of most nonhuman animals. To the extent that reflexive thought capacities are believed necessary for the possession of many other psychological states or capacities, including consciousness, belief, emotion, and empathy, the inability of animals to engage in reflexive thought calls into question their other psychological abilities. This chapter attacks the idea that reflexive (...) thought is required in this pervasive way and holds that supposing that it is derives from a tendency among philosophers and scientists toward overcomplication. Against this tendency, it recommends an aponoian framework, from apó, “away from” and noûs, “intelligence” or “thought,” arguing that seemingly complex psychological abilities are often not as complex as they seem, and do not require the ability to engage in reflexive thought. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Arguing against the claim that beliefs are reasons for action.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Arguing first that the best way to understand what a continuant is is as something that primarily has its properties at a time rather than atemporally, the paper then defends the idea that there are occurrent continuants. These are things that were, are, or will be happening—like the ongoing process of someone reading or my writing this paper, for instance. A recently popular philosophical view of process is as something that is referred to with mass nouns and not count nouns. (...) This has mistakenly encouraged the view that the only way to think of process is as the stuff of events, and has obscured the possibility of thinking of processes as individual continuants. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Starting from the assumption that one can literally perceive someone's anger in their face, I argue that this would not be possible if what is perceived is a static facial signature of their anger. There is a product–process distinction in talk of facial expression, and I argue that one can see anger in someone's facial expression only if this is understood to be a process rather than a product.

What someone’s behaviour must be like if we are to be aware of their emotions in it Content Type Journal Article Pages 1-14 DOI 10.1007/s11097-011-9224-0 Authors Rowland Stout, School of Philosophy, UCD Dublin, Dublin 4, Republic of Ireland Journal Phenomenology and the Cognitive Sciences Online ISSN 1572-8676 Print ISSN 1568-7759.

A significant argument for the claim that knowing-wh is knowing-that, implicit in much of the literature, including Stanley and Williamson (2001), is spelt out and challenged. The argument includes the assumption that a subject's state of knowing-wh is constituted by their involvement in a relation with an answer to a question. And it involves the assumption that answers to questions are propositions or facts. One of Lawrence Powers' counterexamples to the conjunction of these two assumptions is developed, responses to it (...) are rebutted, and the possibility of rejecting the second rather than the first of these assumptions is explored briefly. (shrink)

I argue that while every betrayal is a breach of trust, not every breach of trust is a betrayal. I defend a conception of trust as primarily a feature of behaviour (i.e. trusting behaviour) and only secondarily a feature of a mental attitude. So it is possible to have the attitude of distrust towards someone while still trusting them in the way you behave. This makes sense of the possibility of Judas Iscariot breaching Jesus’ trust, and so betraying him, even (...) though Jesus presumably knew that Judas would do just that. This conception of trust may be spelt out in terms of making oneself reliant on somebody in a collaboration with them. Such collaborations include relationships like friendships and love affairs, as well as political activities or defending one’s country against aggression. I argue that only when these collaborations involve a commitment to loyalty is a breach of trust a betrayal. And loyalty is a feature of those collaborations or relationships that exclude others – us/them collaborations. (shrink)

Generosity is not the same thing as kindness or self-sacrifice. Presumptuousness is incompatible with generosity, but not with kindness or self-sacrifice. I consider a kind but interfering neighbour who inappropriately takes over the role of mother to my daughter; her behaviour is not generous. Presumptuousness is the improper exercise of a disposition to adopt a role that one does not have. With this in mind I explore the idea that generosity is the proper exercise of the disposition to adopt a (...) role that one does not have. It is a mean between meanness on the one hand (where that disposition is not exercised when it should be) and presumptuousness on the other hand (where that disposition is exercised when it should not be). Adopting a role is being motivated by the considerations that should motivate someone who actually has that role. The disposition to adopt roles you do not have is important in social situations where there is a need for a role that nobody is filling. It is also the basis of developing relationships like friendship; you have to act as if you are a friend before you become a friend. This model fits the parable of the Good Samaritan in an obvious way. It also explains charity and forgiveness. I suggest that forgiveness is demanded by a certain relationship – call it love. What makes forgiveness optional after someone has wronged you is that love itself may be optional after someone has wronged you. There is nothing generous about forgiving someone you love, though loving them may be generous. Forgiveness only counts as generous when you don’t love the person, and even then it can fail to be generous if it is presumptuous. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

An influential philosophical conception of our mind’s place in the world is as a site for the states and events that causally mediate the world we perceive and the world we affect. According to this conception, states and events in the world cause mental states and events in us through the process of perception. These mental states and events then go on to produce new states and events in the world through the process of action. Our role is as hosts (...) for these states and events that causally mediate the states and events on the input side and those on the output side. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

Despite being somewhat long in the tooth at the time, Aristotle, Hume and Kant were still dominating twentieth century moral philosophy. Much of the progress made in that century came from a detailed working through of each of their approaches by the expanding and increasingly professionalized corps of academic philosophers. And this progress can be measured not just by the quality and sophistication of moral philosophy at the end of that century, but also by the narrowing of some of the (...) gaps between Aristotelian, Humean and Kantian philosophers. (shrink)

There are important similarities between moral thought and talk and thought and talk about gender: disagreements about gender, like disagreements about morality, seem to be intractable and to outstrip descriptive agreement; and it seems coherent to reject any definition of what it is to be a woman in terms of particular social, biological, or other descriptive features, just as it seems coherent to reject any definition of what it is to be good or right in terms of any set of (...) descriptive properties. These similarities give us reason to investigate the idea that, like moral thought and talk, gender thought and talk is inherently normative. This paper proposes a normative account of gender thought and talk in terms of fitting treatment. On this fitting treatment account, to judge that A is gender G is just to judge that it is fitting to treat A as a G. This account is a descriptive or hermeneutical account of our gender thought and talk rather than an ameliorative account of our gender concepts or a metaphysical account of gender properties in social metaphysics. This paper argues that other descriptive accounts of gender thought and talk face problems that the fitting treatment account overcomes. (shrink)

I argue against the claim that the fundamental form of trust is a 2-place relation of A trusting B and in favour of the fundamental form being a 4-place relation of A, by ψ-ing, trusting B to φ. I characterize trusting behaviour as behaviour that knowingly makes one reliant on someone doing what they are supposed to do in the collaborative enterprise that the trusting behaviour belongs to. I explain how trust is involved in the following collaborative enterprises: knowledge transfer (...) – i.e. telling someone something; maintaining a relationship; and passing responsibility for an action on to someone else. And I finish by showing how our talk of trust in non-collaborative contexts – e.g. trusting a branch to support one’s weight – may be explained by reference to the central sort of collaborative trust. (shrink)

In chapter 14 of Zahavi’s recent book, Self and Other, the notion of shame is discussed. In feeling shame one experiences oneself as experienced by others. For Sartre, that experience in itself is sufficient for shame, as one experiences oneself as determined in the experience of others and hence as shamefully not self-determining. But Zahavi introduces an extra condition for shame, which is a ‘global decrease in self-esteem’. This paper questions the need for this condition and argues that seeing oneself (...) as shameful in the eyes of others needs to be spelt out in a pragmatist way in terms of certain shame-involving practices rather than in a purely phenomenological way. (shrink)

in O’Rourke, F. (ed.), Human Destinies (Notre Dame Press, forthcoming).

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative AI (Artificial Intelligence) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

Some standards, such as moral and prudential standards, provide genuinely or authoritatively normative reasons for action. Other standards, such as the norms of masculinity and the mafia’s code of omerta, provide reasons but do not provide genuinely normative reasons for action. This paper first explains that there is a similar distinction amongst attitudinal standards: some attitudes (belief, desire) have standards that seem to give rise to genuine normativity; others (boredom, envy) do not. This paper gives a value-based account of which (...) attitudinal standards give rise to genuine normativity. It argues that this account has interesting implications before extending it to provide an account of which action-guiding standards are genuinely normative. It argues that this value-based account of which standards are genuinely normative is more plausible than alternatives suggested in the literature and has interesting implications for genuine normativity in law and aesthetics. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

I argue that all reasons for actions and attitudes consist in reasons for preferences; call this view RP. According to RP, reasons for A to believe that p just consist in reasons for A to prefer their believing that p to their not believing that p, and reasons for A to have a pro-attitude or perform an action just consist in reasons for A to prefer that she has that attitude/performs that action. I argue that we have strong reason to (...) accept RP because we can explain a correlation between reasons for prefer- ences and other reasons only if we accept RP. I argue that no objections undermine RP and that RP has interesting implications for the reasons for attitudes there are and for reasons fundamentalism. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

There is an intuitive difference in how we think about pluralism and attitudinal diversity in epistemological contexts versus political contexts. In an epistemological context, it seems problematically arbitrary to hold a particular belief on some issue, while also thinking it perfectly reasonable to hold a totally different belief on the same issue given the same evidence. By contrast, though, it doesn’t seem problematically arbitrary to have a particular set of political commitments, while at the same time thinking it perfectly reasonable (...) for someone in a similar position have a totally different set of political commitments. This chapter examines three explanatory theses that might be used to make sense of this difference: (1) that practical commitments are desire dependent in a way that beliefs are not; (2) that there are reasons to be resolute in practical commitments, but not in beliefs; and (3) that compromise in the face of practical political disagreement doesn’t mitigate controversy, whereas compromise in the face of disagreement about mere beliefs does mitigate controversy. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)