Questions: The Factive Knowledge Operator

Question 1

A detective is highly justified in believing the butler committed the crime, and the butler actually did commit it — but the detective's justification rests on fabricated evidence planted by another suspect. Does the detective KNOW the butler is guilty?

• A. Yes — knowledge is justified true belief, and all three conditions are satisfied here
• B. Yes — factivity only requires that the proposition be true, and it is
• C. No — this is a Gettier-type case: truth and justification are present, but the connection between justification and truth-maker is broken
• D. No — the fabricated evidence means the justification condition fails

Answer: (C)

This is a Gettier case. Factivity (Kₐp → p) tells us truth is necessary for knowledge — that condition is satisfied here. But factivity does not say truth is sufficient. A Gettier case is precisely one where belief, truth, and justification are all present yet knowledge is absent — because the justification and the actual truth-maker are only accidentally connected. Factivity sets the floor (no false knowledge) but not the ceiling (truth alone doesn't yield knowledge).

Question 2

Which sentence is a contradiction according to the factive knowledge operator?

• A. She believed it would rain, but it didn't rain.
• B. She thought she knew it would rain, but it didn't rain.
• C. She knew it would rain, but it didn't rain.
• D. She was certain it would rain, but it didn't rain.

Answer: (C)

The factive axiom Kₐp → p means that 'agent a knows p' is true only if p is true. 'She knew it would rain' entails 'it rained.' Conjoining this with 'it didn't rain' produces a direct contradiction. Options A and D (belief and certainty) are not factive — they admit false objects without contradiction. Option B ('thought she knew') is fine because it does not assert knowledge, only its appearance — and the appearance can be mistaken.

Question 3

The factivity of knowledge means that any belief later shown to be false was never actually knowledge, regardless of how justified or confident the believer was.

• T. True
• F. False

Answer: True

Factivity is a necessary condition: Kₐp → p. If p turned out false, then Kₐp was never true — the mental state was justified belief, not knowledge, regardless of its subjective certainty. This is why the correct retrospective report is 'I thought I knew, but I was wrong' rather than 'I knew, but I was wrong.' The latter is a contradiction; the former is a perfectly coherent correction.

Question 4

Belief, like knowledge, is factive — the belief operator Bₐp entails that p is true.

• T. True
• F. False

Answer: False

Belief is explicitly non-factive: Bₐp does NOT entail p. False beliefs are possible and common. The asymmetry between K and B — knowledge guarantees truth, belief does not — is the central logical distinction between the two operators in epistemic logic. In Kripke semantics, factivity corresponds to the reflexivity of the accessibility relation for K, a condition that does not apply to B.

Question 5

In modal logic, why does the factivity of knowledge require the accessibility relation to be reflexive, and what would fail without reflexivity?

Model answer: In Kripke semantics, Kₐp is true at world w if p is true at all worlds v such that wRv (all worlds epistemically accessible from w for agent a). For factivity (Kₐp → p) to hold at every world w: whenever p is true at all R-accessible worlds from w, p must also be true at w itself. This requires that w is accessible from itself — i.e., wRw for all w, which is reflexivity. Without reflexivity, there could be a world w where p is true at all accessible worlds (so Kₐp holds) but false at w — violating factivity. Reflexivity ensures the actual world is always among the agent's epistemic possibilities, so what holds in all possibilities holds actually.

This connects three things into a coherent package: the logical property (reflexivity of R), the modal axiom (Kₐp → p, the T axiom), and the philosophical property (factivity of knowledge). Each additional epistemic property — positive introspection (KK), negative introspection — corresponds to a further relational condition (transitivity, symmetry), building up the standard S4 and S5 systems.