Sorites dibedakan antara dua macam, yaitu sorites progresif yang sering disebut
sorites Aristotels dan sorites regresif yang sering disebut dengan sorites Goklenius.
1. Sorites Progresif, yaitu suatu perbincangan mengarah maju dari term yang tersempit
sampai pada yang terluas, sedang kesimpulannya adalah perpaduan antara subyek
dari premis pertama dengan predikat dari premis terakhir.
2. Sorites Regresif, yaitu suatu perbincangan menagrah balik dari erm yang terluas
menuju yang tersempit, sedang kesimpulannya merupakan perpaduan anatara subyek
dari premis terakhir dengan predikat dari premis pertama.
Polisilogisme
Salah satu bentuk silogisme yang tidak beraturan ialah polisilogisme, yang
didefinisikan adalah suatu bentuk penyimpulan berupa perkaitan silogisme, sehingga
kesimpulan silogisme sebelumnya selalu menajdi premis pada silogisme berikutnya.
Polisilogisme ini, setiap silogisme sampai pada silogisme terakhir dapt mempunyai
kesimpulan tepat dan pasti. Jika berkisar pada tujuh macam silogisme kategoris yang
berkesimpulan pasti, sebagaimana dibicarakan dalam hukum dasar penyimpulan.
Atau dengan kata lain, sampai pada silogisme terakhir pun diagram himpunannya
harus tettap hanya satu bentuk.
Pertanyaan – Jawaban