Norms and logic