5.1.5 Normativity in Logic