Decidability

Logic’s neutrality is framed as theory closure
Interprets logic's neutrality through theory closure within a metalinguistic framework distinguishing validity from truth, connecting theory construction with logical structure.