Registry · Proposition VII.P09 tau-effective not_applicable

VII.P09 — Underdetermination as Cover Failure

Theories underdetermined by coarse covers; finer covers eliminate pseudo-sections; Duhem-Quine thesis reformulated.

Book VII Part 3 Ch. 34

Dependency Graph

Depends on (1)

VII.D43

Lean Formalization

Module:

Symbol: