We argued [Since this argument appeared in other journals, I am reprising it here, almost verbatim.] (Fulda in J Law Info Sci 2:230–232, 1991/AI & Soc 8(4):357–359, 1994) that the paradox of the preface suggests a reason why machines cannot, will not, and should not be allowed to judge criminal cases. The argument merely shows that they cannot now and will not soon or easily be so allowed. The author, in fact, now believes that when—and only when—they are ready they (...) actually should be so allowed, in the interests of justice. Both the original argument applied and this detailed reconsideration applies exclusively to trial courts, and both specifically exclude(d) sentencing. The argument highlights some key relevant differences between minds and machines and attempts, also, to explain why automation is of far greater import for the first-level justice system (trial courts) than for higher courts. A final section discusses why sentencing was, is, and should be excluded. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...) logical pluralisms are inconsistent with the normativity of logic as they entail contradictory claims about how agents ought to reason. Thus, if logic is normative for reasoning, these pluralisms are untenable. (shrink)

Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to normative constraints on reasoning? Hitherto, defenders of the normativity of logic have exclusively focussed on identifying adequate validity bridge principles: principles linking validity facts—facts of the form 'gamma entails phi'—to normative constraints on reasoning. This paper argues for two claims. First, for the time being at least, Harman’s (...) challenge cannot be surmounted by articulating validity bridge principles. Second, Harman’s challenge can be met by articulating invalidity bridge principles: principles linking invalidity facts of the form 'gamma does not entail phi' to normative constraints on reasoning. In doing so, I provide a novel defence of the normativity of logic. (shrink)

In this paper, I show that Turri’s (2015a) experimental study concerning selfless assertions is defective and should therefore be rejected. One performs a selfless assertion when one states something that one does not believe, and hence does not know, despite possessing well supported evidence to the contrary. Following his experimental study, Turri argues that agents in fact both believe and know the content of their selfless assertions. In response to this claim, I demonstrate that the conclusions he draws are premature (...) in this regard. More specifically, I criticize his methodology, showing that his study is not only incomplete but also yields contradictory results. In closing, I propose how such a study should be conducted in order to receive comprehensive results. (shrink)

Logic, the tradition has it, is normative for reasoning. But is that really so? And if so, in what sense is logic normative for reasoning? As Gilbert Harman has reminded us, devising a logic and devising a theory of reasoning are two separate enterprises. Hence, logic's normative authority cannot reside in the fact that principles of logic just are norms of reasoning. Once we cease to identify the two, we are left with a gap. To bridge the gap one would (...) need to produce what John MacFarlane has appropriately called a bridge principle, i.e. a general principle articulating a substantive and systematic link between logical entailment and norms of reasoning. This is Harman's skeptical challenge. In this paper I argue that Harman's skeptical challenge can be met. I show how candidate bridge principles can be systematically generated and evaluated against a set of well‐motivated desiderata. Moreover, I argue that bridge principles advanced by MacFarlane himself and others, for all their merit, fail to address the problem originally set forth by Harman and so do not meet the skeptical challenge. Finally, I develop a bridge principle that meets Harman's requirements as well as being substantive. (shrink)

The paper argues that much of the difficulty with making progress on the issue of the normativity of logic for thought, as discussed in the literature, stems from a misapprehension of what logic is normative for. The claim is that, rather than mono-agent mental processes, logic in fact comprises norms for quite specific situations of multi-agent dialogical interactions, in particular special forms of debates. This reconceptualization is inspired by historical developments in logic and mathematics, in particular the pervasiveness of such (...) dialogical conceptions in the early days of logic in ancient Greece. The multi-agent, dialogical perspective then allows for the formulation of compelling 'bridge principles’ between the relation of logical consequence and dialogical normative principles, something that is notoriously difficult to achieve in a mono-agent setting pertaining exclusively to thought and belief. The upshot is also that the truth-preserving rules of logic generally do not have a primary normative bearing on mono-agent mental processes, and in this sense the paper sides with Harman's critique of the idea that logic has a normative import for thought and belief. (shrink)

In a series of recent papers, Corine Besson argues that dispositionalist accounts of logical knowledge conflict with ordinary reasoning. She cites cases in which, rather than applying a logical principle to deduce certain implications of our antecedent beliefs, we revise some of those beliefs in the light of their unpalatable consequences. She argues that such instances of, in Gilbert Harman’s phrase, ‘reasoned change in view’ cannot be accommodated by the dispositionalist approach, and that we would do well to conceive of (...) logical knowledge as a species of propositional knowledge instead. In this paper, we propose a dispositional account that is more general than the one Besson considers, viz. one that does not merely apply to beliefs, and claim that dispositionalists have the resources to account for reasoned change in view. We then raise what we take to be more serious challenges for the dispositionalist view, and sketch some lines of response dispositionalists might offer. (shrink)

Logic appears to be normative for rational belief. The thesis of the normativity of logic holds that indeed logic has such a normative status. Gilbert Harman has questioned it, thereby giving rise to what has been called “Harman's skeptical challenge”. MacFarlane has clarified that in order to answer this challenge and support the normativity of logic, one needs a “bridge principle” that appropriately connects logical entailments and norms for belief, as well as relevant desiderata for the evaluation of candidate bridge (...) principles. Steinberger has identified a list of desiderata, on the basis of which he has proposed his own bridge principle and shown the inadequacy of previous proposals. This paper argues that Steinberger's list is in need of revision and his principle is unsatisfactory, and then puts forward a revised list of desiderata and a new bridge principle in support of the normativity of logic. (shrink)

The traditional connection between logic and reasoning has been under pressure ever since Gilbert Harman attacked the received view that logic yields norms for what we should believe. In this article I first place Harman's challenge in the broader context of the dialectic between logical revisionists like Bob Meyer and sceptics about the role of logic in reasoning like Harman. I then develop a formal model based on contemporary epistemic and doxastic logic in which the relation between logic and norms (...) for belief can be captured. (shrink)

Se aborda la cuestión de la racionalidad desde la justificación de la lógica, considerando la existencia de sistemas alternativos. Delimito este tema a la justificación de nuestros criterios de racionalidad, centrándome en la racionalidad inferencial. Ante esto, sugiero una solución a posteriori para reconocer sistemas lógicos como razonables, dada la inexistencia de una noción infalible de racionalidad. Esta propuesta es pluralista, reconociendo múltiples sistemas válidos, y normativa, estableciendo que no todos tienen el mismo valor: algunos son más aptos para inferencias (...) que otros. (shrink)