Mulailah dengan premis yang menjamin suatu kesimpulan dan Anda sedang bernalar secara deduktif. Semua manusia fana. Socrates adalah manusia. Oleh karena itu, Socrates fana. Jika premisnya benar dan bentuknya valid, kesimpulannya pasti benar. Tidak ada ruang untuk probabilitas. Deduksi adalah tulang punggung logika, matematika, dan pembuktian formal.

Aristoteles adalah orang pertama yang mensistematiskan deduksi, menggunakan silogisme sebagai alat dasarnya. Silogisme memiliki dua premis dan sebuah kesimpulan, yang disusun sedemikian rupa sehingga kesimpulan tersebut mengikuti secara pasti. Para ahli logika abad pertengahan menyempurnakan sistem ini, dan para ahli logika modern seperti Frege dan Russell mengembangkan logika simbolik, yang merepresentasikan bentuk deduktif dengan simbol dan aturan. Deduksi bersifat mempertahankan kebenaran: ia tidak dapat membawa Anda dari premis yang benar ke kesimpulan yang salah. Tetapi ia tidak dapat menghasilkan konten baru di luar apa yang sudah terkandung dalam premis. Itulah mengapa deduksi ampuh untuk pembuktian dan terbatas untuk penemuan.

Konsep-konsep kunci

• Validitas.
• Keabsahan.
• Silogisme.
• Contoh tandingan.

Deduksi muncul dalam penalaran sehari-hari, argumen hukum, pemrograman komputer, dan pembuktian filosofis. Ketika seseorang mengatakan "itu mengikuti secara logis," biasanya yang mereka maksud adalah deduksi.