Analitik felsefe, formel mantık epistemik mantık konularını içermektedir.

İnanma teriminin mantığı ile kabul teriminin mantığı işlenmiştir.

Bilme deyiminin çeşitli kullanılışları ile bilginin tanımlanması sorunları konu edinilmiştir.

Bilgi teriminin ve onunla yakından ilgili olan doğruluk, inanma, belgeleme gibi terimlerin mantığı olan epistemik mantığın kurulmasına katkı sağlamak amacındadır.

Mantıkta anlam, biçimsel dil, dizimsel kurallar, yorumsal kurallar, temel mantık dili, yazılış biçimleri, kümeler kuramının temel kavramları gibi konuları içermektedir.