Registry · Remark
VII.R16
tau-effective
not_applicable
VII.R16 — Consequences for Traditional Epistemology
Skepticism, idealism, naive realism dissolved; surviving position is structural realism.
Lean Formalization
Symbol: