 The founder of modal logic, Aristotle, has special reason to deny that ‘Necessarily (p or q)’ entails ‘Necessarily p or necessarily q’. Aristotle believed that all abstract entities depend on concrete entities for their existence. Yet he also believed that there are necessary truths. The existence of any particular individual is contingent but it is necessary that some individuals exist.