Ontologi adalah studi tentang keberadaan dan eksistensi. Ia mempertanyakan apa yang ada, kategori-kategori apa saja yang ada, dan apa artinya sesuatu itu ada. Kata ini berasal dari bahasa Yunani ontos, yang berarti keberadaan, dan logos, yang berarti studi. Ontologi adalah cabang metafisika, dan merupakan salah satu bidang filsafat tertua. Parmenides bertanya tentang apa itu. Aristoteles mempelajari keberadaan dalam berbagai pengertiannya. Para filsuf abad pertengahan membedakan esensi dari eksistensi. Para ontolog modern memperdebatkan apakah objek abstrak seperti angka dan proposisi itu ada, apakah dunia yang mungkin itu nyata, dan apakah ada partikel fundamental atau hanya medan.

Ontologi bukan hanya latihan filosofis. Ia penting bagi sains, di mana teori-teori mengandaikan komitmen tentang apa yang ada. Ia penting bagi ilmu komputer, di mana ontologi adalah representasi formal dari pengetahuan. Ia penting bagi hukum, di mana pengadilan harus memutuskan apa yang dianggap sebagai pribadi, properti, atau tindakan. Pertanyaan ontologis seringkali bersifat implisit. Ketika seorang fisikawan mengatakan bahwa elektron itu ada, ia membuat klaim ontologis. Ketika seorang pengacara mengatakan bahwa korporasi adalah pribadi, ia membuat klaim ontologis. Ontologi membuat klaim-klaim tersebut eksplisit dan mempertanyakan apakah klaim tersebut dapat dibenarkan.

Pertanyaan ontologis

• Apa yang ada? Benda fisik, pikiran, angka, alam semesta?
• Apa itu zat?
• Apa itu kategori?
• Apa itu eksistensi?

Ontologi tidak sama dengan epistemologi. Epistemologi mempelajari pengetahuan. Ontologi mempelajari apa yang diketahui.