Paradoks kartu
Paradoks kartu adalah varian non-acuan diri yang dikembangkan oleh Philip Jourdain.[1] Fenomena ini juga dikenal dengan nama paradoks kartu pos atau paradoks Jourdain.
Penjelasan sunting
Bayangkan ada sebuah kartu yang di kedua sisinya terulis kalimat sebagai berikut:
| Depan: | Kalimat di balik kartu ini BENAR. |
| Belakang: | Kalimat di balik kartu ini SALAH. |
Menetapkan nilai kebenaran pada masing-masing sisi akan berujung pada paradoks.
- Jika pernyataan pertama benar, begitu pula pernyataan kedua. Tetapi jika pernyataan kedua benar, pernyataan pertama salah. Ujung-ujungnya adalah jika pernyataan pertama benar, pernyataan pertama salah.
- Jika pernyataan pertama salah, begitu pula pernyataan kedua. Tetapi jika pernyataan kedua salah, pernyataan pertama benar. Ujung-ujungnya adalah jika pernyataan pertama salah, pernyataan pertama benar.
Mekanisme yang sama dapat diterapkan pada pernyataan kedua. Tidak satupun kalimat yang memakai acuan diri, karena ini adalah kasus acuan melingkar. Lihat paradoks Yablo untuk mempelajari variasi paradoks pembohong yang tidak bergantung pada acuan melingkar.
Lihat pula sunting
Referensi sunting
- ^ O'Connor, John J.; Robertson, Edmund F. (2005). "Philip Edward Bertrand Jourdain". The MacTutor History of Mathematics archive. Diakses tanggal 4 April 2010.
 | Artikel bertopik logika ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya. |