Registry · Theorem VII.T17 tau-effective not_applicable

VII.T17 — Gettier Dissolution

Gettier cases are cover failures; genuine knowledge requires sufficiently fine cover; 60-year epistemological puzzle dissolved.

Book VII Part 3 Ch. 33

Dependency Graph

Depends on (1)

VII.D42

Lean Formalization

Module:

Symbol: