Logic and Ontology · Study