Jabarkan Semua manusia fana. (premis) dari Filsafat

Karena itu, Socrates adalah makhluk fana. (kesimpulan)

Penalaran deduktif adalah ketika diberikan premis tertentu, kesimpulannya tersirat dan tak terhindarkan. Aturan inferensi digunakan untuk menyimpulkan kesimpulan seperti, modus ponens, di mana diberikan "A" dan "Jika A maka B", maka "B" harus disimpulkan.

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.