Dialog Silogisme Kartu

Dialog Silogisme Kartu

Armahedi Mahzar © 2011

Ki Algo: Coba kita buktikan apakah permainan logika kartu yang kamu temukan itu untuk membuktikan silogisme Aristoteles

Ni Suiti: Bagaimana bentuk umum silogisme?

Ki Algo: KARENA alasan1 DAN alasan2 MAKA kesimpulan. Kalau masing-masing alasan1, alasan2 dan kesimpulan kita simbolkan dengan p, q dan r, maka silogisme itu dapat dituliskan sebagai (pqr')'= 1 dalam aljabar Boole

Ni Suiti: Kalau begitu susunan kartunya adalah

Ki Algo: Wah kompleks juga susunan kartunya.

Ni Suiti: Begini saja, kita negasikan dulu rumus identitas Boole dengan kaidah penyangkalan yaitu  JIKA a=b MAKA a'=b'.

Ki Algo: Dengan kaidah ini maka rumus silogisme Boole akan menjadi rumus antilogisme Christine Ladd-Franklin pqr'= 0

Ni Suiti: Kalau begitu inilah susunan kartu antilogisme

Bagaimana bentuk umum p, q dan r

Ki Algo: Seperti yang kita bicarakan dulu, menurut Aristoteles, semuanya ada empat yaitu: universal afirmatif atau pengakuan umum, universal negatif atau penyangkalan umum, patikular afirmatif atau pengakuan khusus dan partikular negatif atau penyangkalan khusus.

Ni Suiti:  Pengakuan khusus aIb atau "ada a yang b" yang dirumuskan jadi a x b dalam aljabar Boole, dalam permainan logika kartu dinyatakan sebagai kartu a di samping kartu b.

Penyangkalan khusus aOb atau "ada a yang tidak b" yang dirumuskan jadi a x b' dalam aljabar Boole, dalam permainan logika kartu dinyatakan sebagai kartu a disamping kartu b di atas kartu tertutup.


Penyangkalan umum aEb atau "tiada a yang b" adalah penyangkalan aIb yang dirumuskan sebagai (a x b)' dinyatakan dalam logika kartu sebagai kartu a di atas kartu tertutup yang berada di bawah kartu b.

Pengakuan umum aAb atau “semua a adalah b” yang dinyatakan sebagai (ab')' dalam aljabar Boole dinyatakan sebagai susunan kartu a di atas kartu tertutup yang berada di bawah kartu tertutup yang berada di bawah kartu b.

Tabel pernyataan kategoris fundamental Aristoteles itu sebagai berikut



Ki Algo: Coba kamu buktikan bahwa silogisme Barbara yang ini
"KARENA semua b itu c DAN semua a itu b MAKA semua a itu c ADALAH BENAR"
atau rumus (bAc  aAb  (aAc)')'= 1 dalam aljabar Boole.

Ni Suiti:  Buktikan saja kebalikannya yaitu  bAc  aAb (aAc)' = 0

"semua b itu c DAN semua a itu b DAN ada a yang TIDAK  c” yang susunan kartunya

adalah SALAH

Ki Algo: Bagaimana caranya?

Ni Suiti: Dalam permainan kartu ini berarti susunan antilogisme kartu Barbara itu dapat dijadikan satu kartu tertutup  dalam permainan buang-buangan kartu sesuai dengan tiga aturan pembuangan yang dibolehkan.

Ki Algo: Coba tunjukkan!

Ni Suiti: Wah, hari telah larut malam. Besok saja ya! Kita tidur saja dulu.