Frederik J. Andersen

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result.

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.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory.

Den filosofiske position konsekventialisme er ofte genstand for debat i filosofikredse, men alt for hyppigt opstår der misforståelser blandt de involverede, fordi de ikke er eksplicitte, hvad grundantagelser og væsentlige distinktioner angår. Denne korte artikel vil give en approksimation af, hvad der forstås ved konsekventialisme på et generisk niveau. Målet med artiklen er at klargøre nogle af de grundantagelser og distinktioner, som konsekventialister ofte benytter i deres teoridannelse, og som bør holdes for øje i ønsket om en frugtbar debat.

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of the case for process reliabilism (if any) is already captured by the generality problem.

This paper sketches a general account of how to respond in an epistemically rational way to moral disagreement. Roughly, the account states that when two parties, A and B, disagree as to whether p, A says p while B says not-p, this is higher-order evidence that A has made a cognitive error on the first-order level of reasoning in coming to believe that p. If such higher-order evidence is not defeated, then one rationally ought to reduce one’s confidence with respect to the proposition in question. We term this the higher-order evidence account, and present it as a superior to what we might call standard conciliationism, which holds that when agents A and B disagree about p, and are epistemic peers, they should both suspend judgement about p or adjust their confidence towards the mean of A and B’s prior credences in p. Many have suspected that standard conciliationism is implausible and may have skeptical implications. After presenting the HOE account, we put it to work by applying it to a range of cases of moral disagreement, including those that have feature in recent debates assuming standard conciliationism. We show that the HOE account support reasonable, non-skeptical verdicts in a range of cases. Note that this is a paper on moral disagreement, not on the HOE account, thus the account is merely stated here, while defended more fully elsewhere.