Unsusr Dasar Proposisi

Proposisi kategorik adalah suatu pernyataan yang terdiri atas hubungan 2 term sebagai subjek dan predikat serta dapat dinilai benar atau salah. Hubungan ini berbentuk pengiyaan atau pengingkaran. Proposisi kategorik terdiri atas empat unsur, dua di antaranya merupakan materi pokok proposisi, sedang 2 yang lain sebagai hal yang menyertainya. Empat unsur yang dimaksudkan adalah term sebagai subjek, term sebagai predikat, kopula, dan kuantor.

Term sebagai subjek adalah hal yang diterangkan dalam proposisi, term sebagai predikat adalah hal yang menerangkan dalam proposisi. Kedua unsur sebagai subjek dan predikat inilah yang merupakan materi pokok proposisi kategorik. Kopula merupakan hal yang mengungkapkan adanya hubungan antara subjek dan predikat, dan kuantor merupakan pembilang yang menunjukkan lingkungan yang dimaksudkan oleh subjek.
Proposisi dalam logika dapat benar dapat juga salah, tidak dapat dinilai kedua-duanya. Dalam arti tidak dapat setengah benar atau setengah salah. Jika benar ya benar jika salah ya salah sehingga tegas perbedaan antara keduanya.
Benar salahnya suatu proposisi dihubungkan dengan hal yang dibicarakannya. Jika yang dibicarakan tentang benda-benda alamiah maka kebenarannya adalah harus sesuai dengan kenyataannya (mengikut teori korespondens), dan jika yang dibicarakan hal atas dasar persetujuan bersama maka kebenarannya harus sesuai dengan hasil persetujuan tersebut (mengikuti teori koherensi). Jadi, benar salahnya suatu proposisi itu dihubungkan dengan isinya.

Term sebagai subjek berhubungan dengan kuantitas proposisi. Subjek dibedakan antara subjek universal dan subjek partikular. Subjek universal adalah mencakup semua yang dimaksud oleh subjek, subjek partikular adalah hanya mencakup sebagian dari keseluruhan yang disebutkan oleh subjek. Subjek universal dalam pernyataan simbolik disertai dengan kuantor universal, dan subjek partikular dalam pernyataan simbolik disertai dengan kuantor eksistensial.
Term sebagai predikat selalu berhubungan dengan isinya, dan merupakan kualitas proposisi, yang dibedakan antara predikat afirmatif dan predikat negatif. Predikat afirmatif adalah sifat mengiyakan adanya hubungan predikat dengan subjek, predikat negatif adalah sifat mengingkari adanya hubungan predikat dengan subjek atau sifat meniadakan hubungan subjek dengan predikat.



http://massofa.wordpress.com/2008/01/31/proposisi-kategorik-penyimpulan-langsung-dan-silogisme-kategorik/