 The debates about logic and ontology overlap at various places. Given the division of ontology into (O1)–(O4), and the division of logic into (L1)–(L4) we can look at several areas of overlap. In the following we will discuss some paradigmatic debates on the relationship between logic and ontology, divided up by areas of overlap.