<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Protagoras on kenji.blog</title><link>http://kenji.blog/id/tags/protagoras/</link><description>Recent content in Protagoras on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>id</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/id/tags/protagoras/index.xml" rel="self" type="application/rss+xml"/><item><title>Guru dan Murid, Pengadilan yang Kontradiktif Siapapun Pemenangnya: Paradoks Protagoras</title><link>http://kenji.blog/id/p/paradox-of-the-court/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/id/p/paradox-of-the-court/</guid><description>&lt;img src="http://kenji.blog/p/paradox-of-the-court/img/paradox_of_court.jpg" alt="Featured image of post Guru dan Murid, Pengadilan yang Kontradiktif Siapapun Pemenangnya: Paradoks Protagoras" />&lt;p>Di Yunani Kuno, seorang pemuda bernama Euathlus menjadi murid Protagoras, seorang Sofis (guru retorika) terhebat. Di antara keduanya, dibuatlah perjanjian pembayaran biaya kuliah sebagai berikut:&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Isi Perjanjian:&lt;/strong>
Setelah Euathlus menyelesaikan seluruh kursus retorika, ia akan membayar sisa biaya kuliah kepada Protagoras &lt;strong>saat ia memenangkan kasus pengadilan pertamanya&lt;/strong>.&lt;/p>
&lt;/blockquote>
&lt;p>Euathlus adalah murid yang berprestasi dan berhasil menyelesaikan seluruh kursus retorika dengan sangat baik.
Namun setelah lulus, entah mengapa ia tidak mau mengambil satu pun kasus pengadilan. Jika ia tidak maju ke pengadilan, syarat &amp;ldquo;memenangkan kasus pengadilan pertamanya&amp;rdquo; tidak akan pernah terpenuhi selamanya, sehingga ia tidak perlu membayar biaya kuliah.&lt;/p>
&lt;p>Kehabisan kesabaran, Protagoras menggugat Euathlus ke pengadilan.
&amp;ldquo;Bayarlah biaya kuliahmu.&amp;rdquo;&lt;/p>
&lt;p>Dan dari sinilah labirin logika dimulai.&lt;/p>
&lt;h2 id="logika-sang-guru-protagoras">Logika Sang Guru, Protagoras
&lt;/h2>&lt;p>Protagoras berargumen di pengadilan seperti ini:&lt;/p>
&lt;p>&amp;ldquo;Wahai Hakim, bagaimanapun hasilnya, akulah yang menang.&lt;/p>
&lt;ul>
&lt;li>Jika di pengadilan ini &lt;strong>aku menang&lt;/strong>, berdasarkan putusan pengadilan, Euathlus harus membayar biaya kuliah kepadaku.&lt;/li>
&lt;li>Jika di pengadilan ini &lt;strong>aku kalah&lt;/strong>, itu berarti bagi Euathlus ia &amp;rsquo;telah memenangkan kasus pengadilan pertamanya&amp;rsquo;. Dengan kata lain, syarat perjanjian terpenuhi, dan ia harus membayar biaya kuliah berdasarkan perjanjian.&lt;/li>
&lt;/ul>
&lt;p>Dalam kedua kasus, ia memiliki kewajiban untuk membayar biaya kuliah.&amp;rdquo;&lt;/p>
&lt;h2 id="logika-sang-murid-euathlus">Logika Sang Murid, Euathlus
&lt;/h2>&lt;p>Menanggapi hal ini, Euathlus pun tidak mau kalah.&lt;/p>
&lt;p>&amp;ldquo;Wahai Hakim, bagaimanapun hasilnya, akulah yang menang.&lt;/p>
&lt;ul>
&lt;li>Jika di pengadilan ini &lt;strong>aku menang&lt;/strong>, berdasarkan putusan pengadilan, aku tidak perlu membayar biaya kuliah.&lt;/li>
&lt;li>Jika di pengadilan ini &lt;strong>aku kalah&lt;/strong>, aku belum &amp;lsquo;memenangkan kasus pengadilan pertamanya&amp;rsquo;. Dengan kata lain, karena syarat perjanjian belum terpenuhi, secara kontrak aku tidak memiliki kewajiban untuk membayar biaya kuliah.&lt;/li>
&lt;/ul>
&lt;p>Dalam kedua kasus, aku tidak perlu membayar biaya kuliah.&amp;rdquo;&lt;/p>
&lt;div class="mermaid">graph TD
A["Hasil Pengadilan"] --> B["Protagoras Menang"]
A --> C["Euathlus Menang"]
B --> B1["Putusan: Euathlus harus membayar"]
B --> B2["Perjanjian: Euathlus belum menang → tidak perlu membayar"]
C --> C1["Putusan: Euathlus tidak perlu membayar"]
C --> C2["Perjanjian: Kemenangan pertama Euathlus → harus membayar"]
B1 --> D{"Kontradiksi! Putusan vs Perjanjian"}
B2 --> D
C1 --> E{"Kontradiksi! Putusan vs Perjanjian"}
C2 --> E
style A fill:#ECEFF1,stroke:#333,stroke-width:2px
style B fill:#4CAF50,color:#fff
style C fill:#2196F3,color:#fff
style D fill:#F44336,color:#fff,stroke-width:3px
style E fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="mengapa-terjadi-kontradiksi">Mengapa Terjadi Kontradiksi?
&lt;/h2>&lt;p>Akar penyebab munculnya paradoks ini adalah karena &lt;strong>dua sistem aturan yang berbeda (hukum dan perjanjian) menghasilkan keputusan yang saling bertentangan&lt;/strong>.&lt;/p>
&lt;ul>
&lt;li>&lt;strong>Aturan Hukum&lt;/strong>: Patuhi putusan pengadilan.&lt;/li>
&lt;li>&lt;strong>Aturan Perjanjian&lt;/strong>: Patuhi syarat &amp;ldquo;memenangkan kasus pengadilan pertama lalu membayar&amp;rdquo;.&lt;/li>
&lt;/ul>
&lt;p>Biasanya, hukum dan perjanjian berfungsi sebagai domain independen masing-masing. Namun, karena Protagoras menjadikan &amp;ldquo;pembayaran biaya kuliah&amp;rdquo; sebagai isu utama dalam pengadilan, hasil pengadilan itu sendiri memengaruhi syarat perjanjian, menyebabkan kedua sistem tersebut jatuh ke dalam putaran yang merujuk pada diri sendiri (self-referential loop).&lt;/p>
&lt;h2 id="jawaban-para-ahli-hukum">Jawaban para Ahli Hukum
&lt;/h2>&lt;p>Seorang ahli hukum Romawi Kuno, Aulus Gellius, mengajukan solusi berikut untuk masalah ini:&lt;/p>
&lt;p>&amp;ldquo;Pengadilan harus memberikan putusan yang menguntungkan Euathlus (tidak perlu membayar). Karena faktanya, syarat perjanjian belum terpenuhi. Namun, setelah putusan ini, Protagoras dapat menuntut Euathlus &lt;strong>sekali lagi&lt;/strong>. Alasannya, karena Euathlus menang di pengadilan pertama, syarat perjanjian telah terpenuhi. Pada sidang kedua ini, Protagoras yang akan menang.&amp;rdquo;&lt;/p>
&lt;p>Singkatnya, jawaban ini menyatakan bahwa kontradiksi akan terjadi jika paradoks tersebut &amp;ldquo;diselesaikan secara bersamaan dalam satu kali persidangan&amp;rdquo;, tetapi kontradiksi dapat diselesaikan jika diproses &amp;ldquo;dibagi menjadi dua kali persidangan&amp;rdquo;.&lt;/p>
&lt;h2 id="hubungannya-dengan-paradoks-referensi-diri">Hubungannya dengan Paradoks Referensi Diri
&lt;/h2>&lt;p>Paradoks Protagoras memiliki &lt;strong>struktur referensi diri (self-referential structure)&lt;/strong> yang sama dengan &amp;ldquo;Paradoks Pembohong (&amp;lsquo;Kalimat ini adalah kebohongan&amp;rsquo;)&amp;rdquo; dan &amp;ldquo;Paradoks Russell&amp;rdquo;. Suatu proposisi (kesimpulan pengadilan) memengaruhi kondisi (pemenuhan perjanjian) yang menentukan kebenaran atau kepalsuan dirinya sendiri.&lt;/p>
&lt;p>Paradoks semacam ini memiliki kaitan yang erat dengan masalah-masalah yang menunjukkan batasan mendasar logika dan komputasi dalam ilmu komputer modern, seperti &amp;ldquo;Halting Problem (kita tidak dapat membuat program yang menentukan apakah suatu program akan berhenti atau tidak)&amp;rdquo; dan Teorema Ketidaklengkapan Gödel.&lt;/p>
&lt;p>Paradoks Protagoras adalah sebuah peringatan dari 2.400 tahun yang lalu bahwa sistem aturan yang dibuat manusia (seperti hukum dan perjanjian) dapat runtuh dari dalam karena referensi diri yang cerdik.&lt;/p></description></item></channel></rss>