 There is a close relationship between this debate and a common criticism that standard formal logics (in the sense of (L1)) won’t be able to capture the logical truths (in the sense of (L2)). It is the debate about the status of the empty domain in the semantics of first and second order logical systems.