Registry · Definition VII.D43 tau-effective not_applicable

VII.D43 — Justification as Gluing

Justification is local-data agreement on overlaps; not a chain but a consistency relation; foundationalism-coherentism dissolved.

Book VII Part 3 Ch. 34

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: