Varlık bilimi anlamına gelmektedir. Temel sorunu varlığın ne olduğu olan felsefi disiplindir Ontoloji varlık ya da varoluş ile bunların temel kategorilerinin araştırılmasıdır. "Varlık" ve "varoluş" ayrımını; "Varlık vardır." ve "Varlık yoktur." fikirlerini tartışır.
Aristoteles'e göre ontoloji varlığın mahiyetinde varlığın bilimidir veya varlıkların incelenmesidir. Ontoloji hangi varlık kategorilerinin daha temel olduğunu belirlemekle uğraşır ve bu kategorilerdekilerden hangilerinin var olduğunun söylenebileceğini sorar.
Değişik filozoflar temel varlık kategorileri için değişik listeler yapmışlardır. Ontolojinin temel sorunlarından biri "Temel varlık kategorileri nelerdir?" sorusudur.
Ontolojik sorulara bazı örnekler: 1 Varlık nedir? 2 Varoluş nedir? 3 Fiziksel nesneler nelerdir? 4 Bir fiziksel nesnenin var olduğu söylemini kanıtlamak mümkün müdür? 5 Bir nesnenin özellikleri veya ilişkileri nedir ve bunlar nesneyle nasıl ilişkilidir? 6 Var oluş bir özellik midir? 7 Bir nesne ne zaman yok olur, ne zaman değişir
