bilginin ne olduğuyla, yani bilgi tanımıyla ilgili bilim dalı.
edmund gettier'in ''gerekçelendirilmiş doğru inanç bilgi midir?'' adlı makalesinde çağdaş epistemoloji literatüründe geleneksel bilgi tanımı kabul edilen ''gerekçelendirilmiş doğru inanç bilgidir.'' tanımına yaptığı itiraz çağdaş epistemoloji'deki tartışmaların odak noktasıdır. gettier'in ilgili tanıma yaptığı itiraz, platon'un theaetetus eserinde sokrates'ın doğru inanç tanımına yaptığı itiraza benzemektedir:
bir hakim suçsuz bir zanlıyı bir avukatın yalana dayanan savunmasına kanarak suçsuz kabul ettiğinde o hakim suçsuz kişinin suçsuz olduğunu bilmiyordur. sokrates'a göre bu durumda hakim suçsuz kişinin suçsuz olduğuna inanıyordur ve bu inancı doğru inançtır ama aynı hakim suçsuz kişinin suçsuz olduğunu bilmiyordur. dolayısıyla her doğru inanç bilgi olmadığından bilgiye doğru inanç denemez.
ancak, william kingdon clifford'un ''bir şeye yetersiz delile dayanarak inanmak, herkes için, her zaman ve her yerde yanlıştır.'' sözü dikkate alınarak doğru inancın doğruluğuna yeni bir özellik kazandırıldığında, yani; doğru inanç, bir önermeye yeterli delile dayanarak inanma olarak tanımlandığında sokrates'ın ''doğru inanç bilgidir.'' tanımına yaptığı itirazdan ve gettier'in geleneksel bilgi tanımına yaptığı itirazdan etkilenmeyen bir ''doğru inanç bilgidir.'' tanımı elde etmek mümkün. çünkü söz konusu örnekte hakim yetersiz delile dayanarak suçsuz zanlının suçsuz olduğuna inanmaktadır. aynı durum gettier örneklerinde de geçerlidir.