Two philosophers disagree about whether knowledge is closed under known entailment. A formal epistemologist models the dispute in epistemic logic. What is the primary benefit of this move?
AIt resolves the debate by proving one side correct from the axioms
BIt forces each side to specify which axioms they accept, making their disagreement precise and testable rather than obscured by ambiguous language
CIt eliminates the need for thought experiments by providing algorithmic decision procedures
DIt shows that ordinary language is too imprecise to express epistemological claims at all
The formal approach's payoff is diagnostic clarity, not resolution. By expressing the closure principle as a formal axiom (if Ka and K(a→b) then Kb), each philosopher must decide whether they accept it, which makes the nature of their disagreement explicit. This isolates genuine philosophical disagreement from merely verbal disputes. The common misconception is that formal methods 'solve' the problem; Genette's analogy holds: axiomatizing geometry didn't end all geometric debates, but it clarified which assumptions were load-bearing.
Question 2 Multiple Choice
A Bayesian epistemologist says an agent has a credence of 0.7 in hypothesis H. What does this mean, and how does it differ from traditional binary belief?
AThe agent is 70% likely to be correct about H
BThe agent assigns a graded degree of belief of 0.7 to H, representing partial commitment rather than simply believing or not believing H
CThe agent's justified belief in H has a 0.7 probability of qualifying as knowledge
DThe agent has encountered evidence for H approximately 70% of the time it was relevant
A credence is an agent's subjective degree of belief — a number between 0 and 1 representing how strongly they hold a proposition. This replaces the binary 'believes / does not believe' with a continuous scale. Credences are updated via Bayes' theorem as evidence arrives. The other options confuse credence with objective probability, with probability of knowledge, or with frequency of evidence — all distinct concepts. Bayesianism models rationality as coherent credence management, not as achieving certainty.
Question 3 True / False
Formal epistemology can reveal that two philosophers apparently disagreeing about knowledge are actually committed to different formal axioms, showing their disagreement is substantive rather than merely verbal.
TTrue
FFalse
Answer: True
This is precisely the diagnostic value of formal methods. When philosophers argue in ordinary language, it is often unclear whether they mean different things by the same words or disagree about a genuine substantive claim. Formalizing the dispute forces each side to specify their commitments exactly — and it becomes possible to check whether the disagreement is about which axioms to accept (a substantive philosophical dispute) or stems from using 'knowledge' in different senses (a verbal dispute that dissolves under analysis).
Question 4 True / False
The Bayesian framework shows that rational belief is expected to be binary — you either fully believe a proposition or you don't, based on whether its probability exceeds 0.5.
TTrue
FFalse
Answer: False
This completely inverts Bayesianism's core move. Bayesian epistemology replaces binary belief with continuous credences precisely because many propositions merit neither full belief nor full disbelief. A rational agent might have credence 0.7 in a hypothesis — strongly believing it without being certain. The 0.5 threshold idea misapplies binary logic to a framework designed to model graduated uncertainty. Nothing in Bayesian epistemology collapses credences to a binary verdict.
Question 5 Short Answer
Why do formal epistemologists say their methods 'clarify' rather than 'resolve' epistemological debates? What exactly gets clarified?
Think about your answer, then reveal below.
Model answer: Formal methods clarify the logical structure of positions — which axioms they presuppose, which inferences they license, and whether stated commitments are mutually consistent. What gets clarified is the hidden architecture of an argument: what assumptions it rests on, whether it contains internal contradictions, and where exactly two opposing positions diverge. The debate itself may remain open because the question of which axioms to accept is a substantive philosophical matter that formal methods cannot settle from within.
The analogy to geometry is instructive: axiomatizing Euclidean geometry didn't resolve all disputes about space, but it made clear exactly what was being assumed and what followed from it. Similarly, expressing an epistemological position in formal terms reveals its logical commitments in a way that informal prose cannot. Formal methods are tools for achieving precision, not oracles that deliver verdicts — a crucial distinction for understanding what they contribute.