The course provides an introduction to formal ontology, starting with the analogy with formal logic. It will address how logical frameworks, broadly construed, are useful to provide rigorous formulati