Filsafat

Karena penalaran yang baik adalah elemen penting dari semua ilmu, ilmu sosial dan disiplin ilmu humaniora, logika menjadi sebuah ilmu formal. Sub-bidang logika antara lain logika matematika, logika filosofis, Modal logika, logika komputasi dan logika non-klasik. Pertanyaan utama dalam filsafat matematika adalah apakah entitas matematika objektif dan ditemukan, yang disebut realisme matematika, atau diciptakan, yang disebut antirealisme matematika.