Filsafat

Logika adalah studi tentang penalaran dan argumen. Argumen adalah ""sebuah rangkaian pernyataan yang terhubung dan dimaksudkan untuk membangun suatu proposisi"". Rangkaian pernyataan-pernyataan yang terhubung disebut "premis" dan proposisi adalah kesimpulannya. Sebagai contoh:
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.