<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Filsafat on kenji.blog</title><link>http://kenji.blog/id/categories/filsafat/</link><description>Recent content in Filsafat 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/categories/filsafat/index.xml" rel="self" type="application/rss+xml"/><item><title>Apakah Panah yang Terbang Itu Berhenti?: Paradoks 'Panah Terbang' Zeno</title><link>http://kenji.blog/id/p/zenos-arrow/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/id/p/zenos-arrow/</guid><description>&lt;img src="http://kenji.blog/p/zenos-arrow/img/zenos_arrow.jpg" alt="Featured image of post Apakah Panah yang Terbang Itu Berhenti?: Paradoks 'Panah Terbang' Zeno" />&lt;p>Sebuah panah yang dilepaskan dari busur sedang terbang di udara. Panah ini pasti bergerak.
Namun, filsuf Yunani abad ke-5 SM, Zeno, mengajukan argumen logis yang menakutkan berikut:&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Panah yang sedang terbang sebenarnya berhenti.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Ini bukan lelucon atau tipu muslihat, melainkan &lt;strong>&amp;ldquo;Paradoks Panah Terbang&amp;rdquo;&lt;/strong> yang telah diperdebatkan secara serius oleh para ahli matematika dan filsuf selama 2500 tahun.&lt;/p>
&lt;h2 id="argumen-zeno">Argumen Zeno
&lt;/h2>&lt;p>Argumen Zeno bertitik tolak dari konsep &amp;ldquo;momen waktu&amp;rdquo;.&lt;/p>
&lt;ol>
&lt;li>Waktu adalah serangkaian &amp;ldquo;momen&amp;rdquo;.&lt;/li>
&lt;li>Jika kita mengambil satu momen (sebuah titik dengan durasi waktu nol) layaknya sebuah &amp;ldquo;foto&amp;rdquo;, panah tersebut &amp;ldquo;berada&amp;rdquo; pada satu titik tertentu di ruang.&lt;/li>
&lt;li>Pada momen tersebut, panah hanya &amp;ldquo;menempati&amp;rdquo; tempat itu dan &lt;strong>tidak bergerak&lt;/strong>. (Jika panah itu bergerak, maka hal itu membutuhkan &amp;ldquo;rentang waktu&amp;rdquo;, bukan sebuah &amp;ldquo;momen&amp;rdquo;.)&lt;/li>
&lt;li>Ini berlaku untuk momen mana pun yang kita ambil.&lt;/li>
&lt;li>Jika pada setiap momen waktu panah tersebut diam, &lt;strong>kapan panah itu bergerak?&lt;/strong>&lt;/li>
&lt;/ol>
&lt;div class="mermaid">graph TD
A["Panah yang sedang terbang"] --> B["Waktu adalah serangkaian momen"]
B --> C["Momen t1: Panah diam di posisi A"]
B --> D["Momen t2: Panah diam di posisi B"]
B --> E["Momen t3: Panah diam di posisi C"]
C --> F{"Di semua momen, panah diam"}
D --> F
E --> F
F --> G["Kesimpulan: Panah tidak bergerak!"]
style A fill:#2196F3,color:#fff
style F fill:#FF9800,color:#fff,stroke-width:2px
style G fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="intuisi-vs-logika">Intuisi vs Logika
&lt;/h2>&lt;p>&amp;ldquo;Konyol. Panah itu kan nyatanya terbang.&amp;rdquo; Itulah reaksi pertama kebanyakan orang.
Namun, untuk menunjukkan secara &lt;strong>logis&lt;/strong> di mana letak kesalahan argumen Zeno, sebenarnya sangatlah sulit.&lt;/p>
&lt;p>Faktanya, filsuf Yunani Kuno, Diogenes, diceritakan menanggapi Zeno hanya dengan berdiri dan berjalan memutari ruangan untuk menunjukkan, &amp;ldquo;Lihat, benda bergerak.&amp;rdquo; Namun, tindakan ini tidak lantas &lt;strong>membantah&lt;/strong> logika Zeno. Hal yang dipertanyakan Zeno bukanlah &amp;ldquo;apakah bisa bergerak?&amp;rdquo;, melainkan &amp;ldquo;bisakah kita menjelaskan arti bergerak secara logis tanpa adanya kontradiksi?&amp;rdquo;.&lt;/p>
&lt;h2 id="upaya-penyelesaian-dengan-kalkulus">(Upaya) Penyelesaian dengan Kalkulus
&lt;/h2>&lt;p>&lt;strong>Kalkulus&lt;/strong> yang ditemukan oleh Newton dan Leibniz pada abad ke-17 telah memberikan jawaban matematis (setidaknya secara parsial) atas paradoks ini.&lt;/p>
&lt;p>Dalam kalkulus, &amp;ldquo;kecepatan pada momen tertentu (kecepatan sesaat)&amp;rdquo; didefinisikan sebagai berikut:&lt;/p>
$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$
&lt;p>Artinya, kecepatan didefinisikan sebagai &amp;ldquo;limit&amp;rdquo; dari perubahan posisi $\Delta x$ dibagi dengan perubahan waktu $\Delta t$, dengan $\Delta t$ mendekati nol.&lt;/p>
&lt;p>Poin pentingnya di sini adalah, &lt;strong>&amp;ldquo;kecepatan sesaat&amp;rdquo; bukanlah jarak tempuh dalam durasi waktu nol&lt;/strong>.
Kecepatan itu adalah besaran yang didefinisikan sebagai &amp;ldquo;kecenderungan&amp;rdquo; atau &lt;strong>&amp;ldquo;limit&amp;rdquo;&lt;/strong> dari perubahan kecil sebelum dan sesudah waktu tersebut.&lt;/p>
&lt;p>Oleh karena itu, jawaban dari sudut pandang kalkulus adalah sebagai berikut:&lt;/p>
&lt;p>&amp;ldquo;Memang benar, jika kita memotong sebuah momen dengan panjang nol, panah tidak berpindah &amp;lsquo;di dalam&amp;rsquo; momen tersebut. Namun, panah tersebut memiliki sifat &amp;lsquo;kecepatan sesaat (nilai limit bukan nol)&amp;rsquo; pada momen itu. &amp;lsquo;Diam&amp;rsquo; berarti &amp;lsquo;kecepatan sesaatnya adalah nol&amp;rsquo;, tetapi karena kecepatan sesaat dari panah yang sedang terbang bukanlah nol, maka panah tersebut tidak bisa dikatakan &amp;lsquo;diam&amp;rsquo;.&amp;rdquo;&lt;/p>
&lt;h2 id="pertanyaan-filosofis-yang-tersisa">Pertanyaan Filosofis yang Tersisa
&lt;/h2>&lt;p>Meskipun kalkulus memberikan solusi praktis untuk paradoks Zeno, secara filosofis perdebatan belum sepenuhnya selesai.&lt;/p>
&lt;p>Konsep &amp;ldquo;limit&amp;rdquo; hanyalah sebuah alat bantu matematika (prosedur perhitungan), dan tidak benar-benar menjawab pertanyaan mendasar seperti &lt;strong>&amp;ldquo;apa wujud fisik dari unit waktu terkecil (momen)?&amp;rdquo;, &amp;ldquo;apa itu kontinuitas?&amp;rdquo;,&lt;/strong> dan &lt;strong>&amp;ldquo;apa hakikat dari sebuah gerakan?&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Dalam fisika modern (mekanika kuantum), sedang diperdebatkan kemungkinan bahwa ruang dan waktu juga memiliki unit terkecil (Waktu Planck, Panjang Planck). Jika waktu ternyata tidak &amp;ldquo;kontinu&amp;rdquo; melainkan &amp;ldquo;diskrit (digital)&amp;rdquo;, maka paradoks Zeno mungkin perlu dievaluasi kembali dalam konteks yang sepenuhnya berbeda.&lt;/p>
&lt;p>Setelah 2500 tahun berlalu, panah Zeno masih terus bertanya kepada kita: &amp;ldquo;Apa itu bergerak?&amp;rdquo; dan &amp;ldquo;Apa itu waktu?&amp;rdquo;.&lt;/p></description></item><item><title>Apakah zamrud berwarna hijau atau 'grue'? Teka-teki baru induksi Goodman</title><link>http://kenji.blog/id/p/grue-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/id/p/grue-paradox/</guid><description>&lt;img src="http://kenji.blog/p/grue-paradox/img/grue_paradox.jpg" alt="Featured image of post Apakah zamrud berwarna hijau atau 'grue'? Teka-teki baru induksi Goodman" />&lt;p>Kita memprediksi &amp;ldquo;masa depan&amp;rdquo; berdasarkan &amp;ldquo;pengalaman masa lalu&amp;rdquo;.
&amp;ldquo;Matahari terbit dari timur kemarin, jadi besok juga akan terbit dari timur.&amp;rdquo;
&amp;ldquo;Semua zamrud yang pernah dilihat sejauh ini berwarna hijau, jadi zamrud berikutnya yang digali juga akan berwarna hijau.&amp;rdquo;&lt;/p>
&lt;p>Inferensi semacam ini disebut &amp;ldquo;induksi&amp;rdquo; dan merupakan dasar dari semua ilmu pengetahuan. Namun pada tahun 1955, filsuf Nelson Goodman menemukan konsep warna aneh yang menunjukkan bahwa induksi ini memiliki kelemahan mendasar. Ini adalah &lt;strong>Paradoks &amp;ldquo;Grue&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;h2 id="definisi-warna-baru-grue">Definisi Warna Baru &amp;ldquo;Grue&amp;rdquo;
&lt;/h2>&lt;p>Goodman mendefinisikan sifat (warna) baru yang disebut &amp;ldquo;Grue&amp;rdquo;, yang merupakan gabungan dari &amp;ldquo;Hijau (Green)&amp;rdquo; dan &amp;ldquo;Biru (Blue)&amp;rdquo;, sebagai berikut:&lt;/p>
&lt;blockquote>
&lt;p>&lt;strong>Definisi Grue:&lt;/strong>
Suatu objek dikatakan &amp;ldquo;grue&amp;rdquo; jika diamati sebelum waktu tertentu $t$ (misalnya, 1 Januari 2030) ia berwarna &amp;ldquo;hijau (Green)&amp;rdquo;, dan jika diamati pada atau setelah waktu $t$ ia berwarna &amp;ldquo;biru (Blue)&amp;rdquo;.&lt;/p>
&lt;/blockquote>
$$
\text{Grue} =
\begin{cases}
\text{Green} &amp; (\text{Waktu} &lt; t) \\
\text{Blue} &amp; (\text{Waktu} \ge t)
\end{cases}
$$
&lt;p>Menurut definisi ini, zamrud hijau yang Anda pegang di tangan Anda saat ini (sebelum waktu $t$) berwarna &amp;ldquo;hijau&amp;rdquo; sekaligus &amp;ldquo;grue&amp;rdquo;.&lt;/p>
&lt;h2 id="mengapa-ini-menjadi-paradoks">Mengapa Ini Menjadi Paradoks?
&lt;/h2>&lt;p>Paradoks terjadi ketika kita mencoba memprediksi masa depan.
Sejauh ini, semua zamrud yang diamati oleh umat manusia berwarna &amp;ldquo;hijau&amp;rdquo;. Oleh karena itu, kita memprediksi menggunakan induksi sebagai berikut:&lt;/p>
&lt;p>&lt;strong>Hipotesis A: &amp;ldquo;Semua zamrud berwarna &amp;lsquo;hijau&amp;rsquo;&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Namun, tunggu sebentar. Karena zamrud yang diamati sejauh ini berada sebelum waktu $t$, semuanya pasti juga berwarna &amp;ldquo;grue&amp;rdquo;. Oleh karena itu, dari data observasi yang sama persis, prediksi berikut juga dapat dibuat:&lt;/p>
&lt;p>&lt;strong>Hipotesis B: &amp;ldquo;Semua zamrud berwarna &amp;lsquo;grue&amp;rsquo;&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Jika kita mengikuti aturan induksi, semua observasi masa lalu mendukung Hipotesis A dengan &amp;ldquo;kekuatan yang sama persis&amp;rdquo; sebagaimana mereka mendukung Hipotesis B.&lt;/p>
&lt;div class="mermaid">graph TD
A["Observasi masa lalu: Semua zamrud berwarna hijau"] -->|Pada saat yang sama| B["Observasi masa lalu: Semua zamrud berwarna 'grue'"]
A --> C["Prediksi induktif A: Zamrud di masa depan juga akan berwarna 'hijau'"]
B --> D["Prediksi induktif B: Zamrud di masa depan juga akan berwarna 'grue'"]
C --> E["Tetap hijau setelah waktu t"]
D --> F["Menjadi 'biru' setelah waktu t!"]
style C fill:#4CAF50,stroke:#333,color:#fff
style D fill:#2196F3,stroke:#333,color:#fff
style F fill:#F44336,stroke:#333,color:#fff,stroke-width:2px&lt;/div>
&lt;h2 id="akankah-zamrud-berubah-menjadi-biru">Akankah Zamrud Berubah Menjadi Biru?
&lt;/h2>&lt;p>Jika Hipotesis B benar, saat waktu $t$ tiba, semua zamrud di dunia harus berubah menjadi &amp;ldquo;biru&amp;rdquo; secara bersamaan (menurut definisi grue).&lt;/p>
&lt;p>Kita secara intuitif berpikir, &amp;ldquo;Itu konyol. Hipotesis B hanyalah permainan kata-kata yang tidak wajar, dan Hipotesis A (hijau) pasti lebih tepat.&amp;rdquo;&lt;/p>
&lt;p>Namun, pertanyaan Goodman terletak lebih dalam.
&lt;strong>Kedua hipotesis, baik &amp;ldquo;hijau&amp;rdquo; maupun &amp;ldquo;grue&amp;rdquo;, sepenuhnya konsisten dengan data masa lalu, lalu mengapa kita menganggap hanya prediksi &amp;ldquo;hijau&amp;rdquo; yang valid dan menolak prediksi &amp;ldquo;grue&amp;rdquo;? Apa &amp;ldquo;dasar logis&amp;rdquo; untuk itu?&lt;/strong>&lt;/p>
&lt;h2 id="tantangan-terhadap-keseragaman-alam">Tantangan terhadap &amp;ldquo;Keseragaman Alam&amp;rdquo;
&lt;/h2>&lt;p>Untuk menghindari masalah ini, muncul argumen balasan: &amp;ldquo;Kita harus menggunakan konsep sederhana seperti &amp;lsquo;hijau&amp;rsquo; dan tidak menggunakan konsep kompleks yang melibatkan waktu seperti &amp;lsquo;grue&amp;rsquo;.&amp;rdquo;&lt;/p>
&lt;p>Namun, Goodman menunjukkan bahwa sebaliknya, jika kita mendefinisikan warna &amp;ldquo;Bleen&amp;rdquo; (biru sampai waktu $t$, hijau setelahnya), konsep &amp;ldquo;hijau&amp;rdquo; itu sendiri menjadi konsep kompleks yang bergantung pada waktu: &amp;ldquo;grue sampai waktu $t$, bleen setelahnya&amp;rdquo;.
Dengan kata lain, kata mana yang kita anggap &amp;ldquo;dasar&amp;rdquo; hanyalah kebiasaan bahasa kita.&lt;/p>
&lt;p>Paradoks &amp;ldquo;grue&amp;rdquo; (teka-teki baru tentang induksi) dari Goodman membuktikan bahwa teori ilmiah tidak hanya ditentukan oleh sekadar data objektif, tetapi sangat bergantung pada &amp;ldquo;kerangka konseptual (bahasa) seperti apa yang kita gunakan untuk memahami dunia&amp;rdquo;.&lt;/p>
&lt;p>Bahkan dalam konteks AI dan pembelajaran mesin (machine learning), paradoks ini tetap memiliki makna penting di era modern sebagai masalah &amp;ldquo;overfitting&amp;rdquo; dan &amp;ldquo;bias&amp;rdquo;, di mana meskipun data pelatihannya sama, prediksi terhadap masa depan dapat berubah sepenuhnya tergantung pada &amp;ldquo;struktur model (fitur mana yang menjadi fokus)&amp;rdquo;.&lt;/p></description></item><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><item><title>Jika Anda Menghilangkan Satu Butir Pasir, Kapan Gundukan Pasir Berhenti Menjadi Gundukan Pasir?: Paradoks Gundukan Pasir</title><link>http://kenji.blog/id/p/sorites-paradox/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/id/p/sorites-paradox/</guid><description>&lt;img src="http://kenji.blog/p/sorites-paradox/img/sorites_paradox.jpg" alt="Featured image of post Jika Anda Menghilangkan Satu Butir Pasir, Kapan Gundukan Pasir Berhenti Menjadi Gundukan Pasir?: Paradoks Gundukan Pasir" />&lt;p>Bayangkan ada sebuah gundukan pasir yang megah terdiri dari 10.000 butir pasir di depan Anda. Siapa pun yang melihat akan setuju bahwa ini adalah &amp;ldquo;gundukan pasir&amp;rdquo;.
Sekarang kita hilangkan satu butir pasir saja. 9.999 butir. Masih gundukan pasir, bukan?
Hilangkan satu butir lagi. 9.998 butir. Ini pun masih gundukan pasir.&lt;/p>
&lt;p>Mari kita ulangi operasi ini terus-menerus.
Menghilangkan satu butir saja seharusnya tidak mengubah &amp;ldquo;gundukan pasir&amp;rdquo; menjadi &amp;ldquo;bukan gundukan pasir&amp;rdquo;. Namun, jika logika ini diulang terus-menerus, pada akhirnya hanya tersisa satu butir pasir saja.&lt;/p>
&lt;p>&lt;strong>Apakah satu butir pasir adalah &amp;ldquo;gundukan pasir&amp;rdquo;?&lt;/strong>&lt;/p>
&lt;p>Tentu saja, tidak ada orang yang akan menyebut satu butir pasir sebagai &amp;ldquo;gundukan pasir&amp;rdquo;. Namun, kita tidak pernah menolak premis bahwa &amp;ldquo;menghilangkan satu butir tidak mengubah gundukan pasir&amp;rdquo;. Di suatu titik, logika kita runtuh, tetapi sebenarnya &lt;strong>pada butir keberapa gundukan pasir berhenti menjadi gundukan pasir&lt;/strong>?&lt;/p>
&lt;p>Inilah &lt;strong>&amp;ldquo;Paradoks Gundukan Pasir (Paradoks Sorites)&amp;rdquo;&lt;/strong>, yang berasal dari filsuf Yunani Kuno abad ke-4 SM, Eubulides.&lt;/p>
&lt;h2 id="struktur-logis">Struktur Logis
&lt;/h2>&lt;p>Paradoks ini dapat dinyatakan dalam bentuk silogisme berikut.&lt;/p>
&lt;p>&lt;strong>Premis 1&lt;/strong>: Kumpulan 10.000 butir pasir adalah &amp;ldquo;gundukan pasir&amp;rdquo;.
&lt;strong>Premis 2&lt;/strong>: Jika satu butir pasir dihilangkan dari gundukan pasir, hasilnya tetap merupakan &amp;ldquo;gundukan pasir&amp;rdquo;.
&lt;strong>Kesimpulan&lt;/strong>: Oleh karena itu, satu butir pasir pun adalah &amp;ldquo;gundukan pasir&amp;rdquo;.&lt;/p>
&lt;p>Premis 1 maupun Premis 2, masing-masing terdengar sangat masuk akal jika berdiri sendiri. Namun, jika Premis 2 diterapkan berulang kali, kesimpulan yang jelas-jelas salah akan dihasilkan.&lt;/p>
&lt;div class="mermaid">graph LR
A["10.000 butir = Gundukan Pasir"] -->|Hilangkan 1 butir| B["9.999 butir = Gundukan Pasir"]
B -->|Hilangkan 1 butir| C["9.998 butir = Gundukan Pasir"]
C -->|...diulang...| D["100 butir = Gundukan Pasir?"]
D -->|Hilangkan 1 butir| E["10 butir = Gundukan Pasir?"]
E -->|Hilangkan 1 butir| F["1 butir = Gundukan Pasir?"]
style A fill:#4CAF50,color:#fff
style D fill:#FF9800,color:#fff
style E fill:#FF5722,color:#fff
style F fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="mengapa-paradoks-ini-tidak-bisa-dipecahkan">Mengapa Paradoks Ini Tidak Bisa Dipecahkan
&lt;/h2>&lt;p>Inti dari paradoks gundukan pasir adalah bahwa &lt;strong>kata &amp;ldquo;gundukan pasir&amp;rdquo; pada dasarnya ambigu&lt;/strong>.
&amp;ldquo;Gundukan pasir&amp;rdquo; tidak memiliki definisi yang jelas (nilai ambang batas) seperti &amp;ldquo;berapa butir atau lebih agar bisa disebut gundukan pasir&amp;rdquo;. Konsep seperti ini disebut &lt;strong>&amp;ldquo;predikat samar (vague predicate)&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;p>Bahasa sehari-hari kita dipenuhi dengan kata-kata ambigu seperti ini.&lt;/p>
&lt;ul>
&lt;li>&lt;strong>&amp;ldquo;Tinggi&amp;rdquo;&lt;/strong> itu berapa sentimeter ke atas? Seseorang setinggi 180 cm itu &amp;ldquo;tinggi&amp;rdquo;. Bagaimana kalau dikurangi 1 mm? Dikurangi 1 mm lagi?&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Kaya&amp;rdquo;&lt;/strong> itu asetnya berapa ke atas? Jika 10 miliar yen, itu &amp;ldquo;kaya&amp;rdquo;. Bagaimana kalau berkurang 1 yen?&lt;/li>
&lt;li>&lt;strong>&amp;ldquo;Botak&amp;rdquo;&lt;/strong> itu berapa helai ke bawah? Jika 0 helai, itu &amp;ldquo;botak&amp;rdquo;. Bagaimana kalau tumbuh 1 helai?&lt;/li>
&lt;/ul>
&lt;p>Semua contoh ini memiliki struktur yang persis sama dengan paradoks gundukan pasir.&lt;/p>
&lt;h2 id="pendekatan-para-filsuf">Pendekatan Para Filsuf
&lt;/h2>&lt;h3 id="1-pendekatan-epistemologis-batas-itu-ada">1. Pendekatan Epistemologis (Batas Itu Ada)
&lt;/h3>&lt;p>Pendekatan ini berargumen bahwa &amp;ldquo;sebenarnya ada batas yang jelas antara gundukan pasir dan bukan gundukan pasir, hanya saja manusia tidak memiliki kemampuan untuk mengenalinya&amp;rdquo;.
Misalnya, terdapat batas yang tepat seperti &amp;ldquo;5.837 butir adalah gundukan pasir, tetapi 5.836 butir bukan gundukan pasir&amp;rdquo;, namun kita tidak bisa mengetahuinya.&lt;/p>
&lt;p>Secara logis ini rapi, tetapi banyak orang secara intuitif akan merasa tidak nyaman dengan posisi ini.&lt;/p>
&lt;h3 id="2-logika-fuzzy-nilai-kebenaran-bertingkat">2. Logika Fuzzy (Nilai Kebenaran Bertingkat)
&lt;/h3>&lt;p>Dalam logika klasik, hanya ada dua pilihan: &amp;ldquo;benar atau salah&amp;rdquo;, tetapi dalam logika fuzzy, nilainya bisa berada &lt;strong>di mana saja antara 0 dan 1&lt;/strong>.&lt;/p>
&lt;p>Misalnya:&lt;/p>
&lt;ul>
&lt;li>10.000 butir pasir memiliki &amp;ldquo;tingkat gundukan = 1,0 (sepenuhnya gundukan pasir)&amp;rdquo;&lt;/li>
&lt;li>5.000 butir memiliki &amp;ldquo;tingkat gundukan = 0,7&amp;rdquo;&lt;/li>
&lt;li>100 butir memiliki &amp;ldquo;tingkat gundukan = 0,1&amp;rdquo;&lt;/li>
&lt;li>1 butir memiliki &amp;ldquo;tingkat gundukan = 0,0 (sepenuhnya bukan gundukan pasir)&amp;rdquo;&lt;/li>
&lt;/ul>
&lt;p>Metode ini praktis, tetapi tidak sepenuhnya menyelesaikan paradoks. Karena muncul keambiguan baru: &amp;ldquo;apa perbedaan antara tingkat gundukan 0,7 dan 0,699?&amp;rdquo;&lt;/p>
&lt;h3 id="3-supervaluasionisme-supervaluationism">3. Supervaluasionisme (Supervaluationism)
&lt;/h3>&lt;p>Dalam pendekatan ini, semua batas yang masuk akal untuk kata &amp;ldquo;gundukan pasir&amp;rdquo; dipertimbangkan secara bersamaan. Jika semua batas menilai &amp;ldquo;gundukan pasir&amp;rdquo;, maka itu &amp;ldquo;pasti gundukan pasir&amp;rdquo;. Jika semua menilai &amp;ldquo;bukan gundukan pasir&amp;rdquo;, maka itu &amp;ldquo;pasti bukan gundukan pasir&amp;rdquo;. Area di mana pendapat terbagi dinilai sebagai &amp;ldquo;tidak pasti&amp;rdquo;.&lt;/p>
&lt;h2 id="dampak-terhadap-masyarakat-modern">Dampak terhadap Masyarakat Modern
&lt;/h2>&lt;p>Paradoks gundukan pasir bukan sekadar permainan kata, tetapi juga menimbulkan masalah serius di dunia hukum dan kebijakan nyata.&lt;/p>
&lt;ul>
&lt;li>&lt;strong>Usia dewasa&lt;/strong>: Pada usia 17 tahun 364 hari seseorang adalah &amp;ldquo;anak-anak&amp;rdquo;, dan pada usia 18 tahun 0 hari menjadi &amp;ldquo;dewasa&amp;rdquo;. Apa yang berubah secara esensial dalam satu hari?&lt;/li>
&lt;li>&lt;strong>Garis kemiskinan&lt;/strong>: Jika pendapatan tahunan 1 yen di bawah standar, dianggap &amp;ldquo;miskin&amp;rdquo;, dan jika 1 yen di atas standar, dianggap &amp;ldquo;tidak miskin&amp;rdquo;.&lt;/li>
&lt;li>&lt;strong>Regulasi lingkungan&lt;/strong>: Jika emisi polutan melebihi nilai standar sebesar 0,001 mg, itu ilegal. Jika tepat pada nilai standar, itu legal.&lt;/li>
&lt;/ul>
&lt;p>Bahasa dan pemikiran manusia pada dasarnya mengandung keambiguan, dan upaya untuk membagi dunia ke dalam dua kutub yang jelas mungkin pada dasarnya tidak mungkin dilakukan. Paradoks gundukan pasir adalah sebuah paradoks yang telah membuat para filsuf berpikir keras selama lebih dari 2.400 tahun, yang menunjukkan keterbatasan mendasar dari kecerdasan manusia.&lt;/p></description></item></channel></rss>