Abstract

Weyl's interpretation of quantified formulas should not be conflated with Hilbert's. His semantic reasons for rejecting the law of excluded middle are based on a normative conception of transfinite mathematics as a system of conditional obligations.