Logika 1, Sorites

Sorites adalah rangkaian silogisme kategoris tanpa memunculkan kesimpulan antara.

Sorites memiliki karakteristik berikut:
1. Setiap proposisi dalam bentus standar
2. Setiap term muncul dua kali
3. Predikat kesimpulan, muncul di premis pertama
4. Setiap proposisi berikutnya, muncul term yang sama dengan proposisi sebelumnya

Inilah tahapan tahapan untuk menguji validitas sorites:
1. Susun dahulu sorites dalam bentuk standar
2. Munculkan kesimpulan antara
3. Uji validitas setiap komponen silogisme
4. Jika setiap komponennya valid, soritesnya valid

Contoh Sorites dan menguji validitas:
Semua C adalah A
Beberapa C adalah D
Semua A adalah B
Kesimpulan: Beberapa D adalah B

Mari kita uji validitasnya:
1. Susun sorites dalam bentuk standar, syarat:
-Predikat kesimpulan muncul di premis pertama
-Setiap proposisi berikutnya, muncul term yang sama dengan proposisi sebelumnya

Jika di susun, menjadi:
P1: Semua A adalah B
P2: Semua C adalah A
P3: Beberapa C adalah D
K: Beberapa D adalah B

2. Munculkan kesimpulan antara, menjadi:
P1: Semua A adalah B
P2: Semua C adalah A
Ka: Semua C adalah B
P3: Beberapa C adalah D
K: Beberapa D adalah B

3. Uji setiap komponen Silogisme:
Komponen 1:
P1: Semua A adalah B
P2: Semua C adalah A
Ka: Semua C adalah B

Tipe AAA(1): Secara modus dan figur valid.

Komponen 2:
Ka: Semua C adalah B
P3: Beberapa C adalah D
K: Beberapa D adalah B

Tipe AII(3): Secara modus dan figur valid.

Karena semua komponen sorites valid, maka sorites di atas valid.

Good Luck!