Chapter 66: Boolean Logic at the Micro Scale

Logic in τ is scale-dependent. At the micro scale—the level of individual NF addresses, single morphisms, and atomic admissibility checks—logic is classical Boolean: bivalent, decidable, and governed by the excluded middle. This chapter opens the final sub-Part of the diagrammatic sector S_D by establishing the micro-scale foundation of τ-logic and previewing how logic changes as the scale increases. The Boolean micro-logic is not axiomatized but earned: it is recovered from the four-valued Truth4 logic of Book I (Definition I.D21) via the Boolean recovery theorem (Proposition I.P13), which shows that classical logic emerges as the restriction of Truth4 to the interior of the kernel, away from boundary phenomena.