Layar Asdos

Dalam logika, silogisme hipotetis memiliki dua penggunaan. Dalam logika proposisional, silogisme mengungkapkan aturan-aturan penyimpulan, sedangkan dalam sejarah logika ia berperan sebagai teori konsekuensi. 

Silogisme hipotetis berbeda dengan silogisme kategoris dan tunduk kepada aturan tersendiri. Dalam silogisme hipotetis, premis pertama (premis mayor) menampilkan kondisi yang tak tentu (“jika P, maka Q”) atau masalah (“atau P atau Q”; “P dan Q tidak dapat benar dua-duanya”). Premis pertama itu harus diselesaikan secara memadai oleh premis kedua (premis minor) sehingga kesimpulan yang sahih dapat dihasilkan. Penyelesaian masalah selalu dalam bentuk afirmasi atau negasi.  

Bentuk dasar silogisme kategoris ialah: Jika A adalah bagian dari C maka B adalah bagian dari C (Adan B adalah anggota dari C). Silogisme kategoris ini mengikuti hukum “Semua atau Tidak Sama Sekali” (All or None atau Dictum de Omni et Nullo); artinya, berlaku untuk seluruh anggota kelas, atau tidak sama sekali. Tidak dikenal “ada sebagian” dan “tidak ada sebagian”. Sebagai contoh, kalau kelas ikan memiliki insang, maka tidak mungkin ada anggotanya yang tak berinsang; dan kalau kelas merpati adalah burung, maka tak mungkin ada merpati yang bukan burung.

Deduksi adalah bentuk argumen yang kesimpulannya niscaya mengikuti premis-premisnya. Lazimnya deduksi juga dipahami sebagai pembuatan pernyataan khusus berdasarkan pernyataan-pernyataan yang lebih umum. Pernyataan khusus itu disebut kesimpulan dan pernyataan-pernyataan yang lebih umum disebut premis. Dalam deduksi kesimpulan diturunkan dari premis-premisnya. Menerima premis tetapi menolak kesimpulan adalah tidak konsisten.