41

Ross’s idea of relations between law and logic cannot be separated from his ontological, epistemological and methodological presuppositions. Distinguishing the statements of law including prescriptive propositions from the statements about law including descriptive propositions, he shows that formal logic cannot be used to infer anything from the former because such statements do not establish facts, while this logic is necessary to deal with the latter, which describe facts. He criticised the very idea of deontic logic. Formal logic appears in Ross’s work as a scientific means of analysing propositions which do not follow such a logic.