SILOGISME, KATEGORIK, HIPOTETIK, DAN DISJUNGTIF

SILOGISME, KATEGORIK, HIPOTETIK, DAN DISJUNGTIF

Dalam Logika Matematika, Silogisme adalah metode untuk menarik kesimpulan dari sebuah pernyataan yang umum dan sebuah pernyataan spesifik (biasa juga disebut pernyataan mayor dan minor). Pernyataan mayor biasanya adalah sebuah implikasi (if..then..). Contoh:

Pernyataan 1: Semua burung memiliki bulu.
Pernyataan 2: Pinguin termasuk bangsa burung.
Kesimpulan: Pinguin memiliki bulu

atau:
P1: Jika hidup itu logis, maka manusia akan terbuat dari silikon
P2: Pamela Anderson terbuat dari silikon.
K : Pamela Anderson itu logis.
Bukan contoh yang terlalu baik..


Proposisi kategorik adalah proposisi yang mengandung pernyataan tanpa adanya syarat. Proposisi kategorik yang paling sederhana terdiri dari satu term subyek, satu term predikat, satu kopula dan satu quantifier. Subyek, sebagaimana kita ketahui, adalah term yang men¬jadi pokok pembicaraan. Predikat adalah term yang menerangkan subyek. Kopula adalah kata yang menyatakan hubungan antara term subyek dan term predikat. Quantifier adalah kata yang menun¬jukkan banyaknya satuan yang diikat oleh term subyek.

Perlu diketahui, meskipun dalam suatu proposisi tidak dinyatakan quantifier-nya tidak berarti subyek dari proposisi tersebut tidak mengandung pengertian banyaknya satuan yang diikatnya. Dalam keadaan apapun subyek selalu mengandung jumlah satuan yang diikat. Lalu bagaimana menentukan kuantitas dari proposisi yang tidak dinyatakan quantifier-nya. Kita dapat mengetahui lewat hubungan pengertian antara subyek dan predi¬katnya.
Dengan quantifier dapat kita ketahui kuantitas proposisi tertentu, apakah universal, partikular ataukah singular, dan de¬ngan kopula bisa kita ketahui kualitas proposisi itu apakah positif ataukah negatif. Dari kombinasi antara kuantitas dan kualitas proposisi maka kita kenal enam macam proposisi, yaitu: a. Universal positif, b. Partikular positif, c. Singular positif, d. Universal negatif, e. Partikular negatif, f. Singular negatif, Proposisi universal positif, kopulanya mengakui hubungan subyek dan predikat secara keseluruhan, dalarn Logika dilam¬bangkan dengan huruf A. Proposisi partikular positif kopula mengakui hubungan subyek dan predikat sebagian saja dilam¬hangkan dengan huruf I. Proposisi singular positif karena kopula¬nya mengakui hubungan subyek dan predikat secara keseluruhan maka juga dilambangkan dengan huruf A. Huruf Adan I masing masing sebagai lambang proposisi universal positif dan partikular positif diambil dari dua huruf hidup pertama kata Latin Affirmo yang berarti mengakui.