The general question to be discussed is to what extent logic is part of
normative ethics. Specifically, it will be maintained that the semantic
consistency argument, to the effect that the false proposition (falsum)
cannot be demonstrated to be true, relies on the principle that ought
implies can (impossibilium nulla obligatio est).