I wish to reflect briefly on what logic “is” and what the “is” is founded upon. Logic has traditionally been linked with argumentation. I shall examine a simple argument relative to a “miniworld”, and with the help of current logic and traditional ontology, extract from it a modest theory of logical entities and relations. “Current logic” involves modal semantics and the “traditional ontology” is that of Plato, Bonaventure and Thomas Aquinas, and some later philosophers.