<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Ekuivalensi Logis on kenji.blog</title><link>http://kenji.blog/id/tags/ekuivalensi-logis/</link><description>Recent content in Ekuivalensi Logis 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/ekuivalensi-logis/index.xml" rel="self" type="application/rss+xml"/><item><title>Melihat Apel Biru Menjadi Bukti Bahwa 'Gagak Itu Hitam'?: Paradoks Gagak Hempel</title><link>http://kenji.blog/id/p/hempels-ravens/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/id/p/hempels-ravens/</guid><description>&lt;img src="http://kenji.blog/p/hempels-ravens/img/hempels_ravens.jpg" alt="Featured image of post Melihat Apel Biru Menjadi Bukti Bahwa 'Gagak Itu Hitam'?: Paradoks Gagak Hempel" />&lt;p>Bagaimana ilmuwan membuktikan sebuah teori? Biasanya, mereka menggunakan &amp;ldquo;induksi&amp;rdquo;, yaitu mengamati dunia dan mengumpulkan data.
Misalnya, jika Anda ingin membuktikan hipotesis &amp;ldquo;Semua gagak berwarna hitam&amp;rdquo;, Anda akan mengamati burung gagak di seluruh dunia dan memastikan bahwa mereka berwarna hitam satu per satu.&lt;/p>
&lt;p>Namun pada tahun 1940-an, ahli logika Carl Hempel menunjukkan celah logika yang aneh, yang tersembunyi dalam metode ilmiah yang tampaknya wajar ini.
Itulah paradoks &lt;strong>Gagak Hempel (Hempel&amp;rsquo;s Ravens)&lt;/strong>, yang menyatakan bahwa &lt;strong>&amp;ldquo;Hanya dengan melihat apel biru atau sepatu merah, hal itu menjadi bukti bahwa &amp;lsquo;gagak itu hitam&amp;rsquo;&amp;rdquo;&lt;/strong>.&lt;/p>
&lt;h2 id="pergantian-logika-keajaiban-kontraposisi">Pergantian Logika: Keajaiban Kontraposisi
&lt;/h2>&lt;p>Untuk memahami argumen Hempel, kita perlu mengingat konsep &lt;strong>&amp;ldquo;Kontraposisi&amp;rdquo;&lt;/strong> yang dipelajari di matematika sekolah menengah.&lt;/p>
&lt;p>Dalam logika, jika suatu proposisi &amp;ldquo;Jika A maka B&amp;rdquo; adalah benar, maka kontraposisinya &amp;ldquo;Jika bukan B maka bukan A&amp;rdquo; juga pasti benar (ini disebut ekuivalensi logis).&lt;/p>
&lt;p>Hipotesis $H_1$: &lt;strong>&amp;ldquo;Semua gagak berwarna hitam (Jika itu gagak, maka ia hitam)&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Mari kita ambil kontraposisi dari hipotesis $H_1$ ini.
Menjadi &amp;ldquo;Jika tidak hitam, maka itu bukan gagak&amp;rdquo;.&lt;/p>
&lt;p>Hipotesis $H_2$: &lt;strong>&amp;ldquo;Semua benda yang tidak hitam bukanlah gagak&amp;rdquo;&lt;/strong>&lt;/p>
&lt;p>Menurut aturan logika, $H_1$ dan $H_2$ memiliki &lt;strong>arti yang sama persis (ekuivalen)&lt;/strong>. Jika salah satu terbukti, maka yang lain juga otomatis terbukti.&lt;/p>
&lt;h2 id="membuktikan-gagak-tanpa-melihat-gagak">Membuktikan Gagak Tanpa Melihat Gagak
&lt;/h2>&lt;p>Sekarang, untuk memverifikasi hipotesis $H_1$ (gagak itu hitam), setiap kali kita menemukan seekor gagak hitam, kepastian (bukti) dari hipotesis tersebut menjadi sedikit lebih kuat.
Ini adalah sesuatu yang disetujui semua orang.&lt;/p>
&lt;p>Namun, karena $H_1$ dan $H_2$ memiliki arti yang sama, menemukan bukti untuk hipotesis $H_2$ (benda yang tidak hitam bukan gagak) seharusnya secara langsung menjadi bukti untuk hipotesis $H_1$.&lt;/p>
&lt;p>Lalu, apa yang menjadi bukti bagi $H_2$?
Kita hanya perlu menemukan &amp;ldquo;sesuatu yang tidak hitam dan bukan gagak&amp;rdquo;.&lt;/p>
&lt;ul>
&lt;li>Misalkan ada &lt;strong>&amp;ldquo;apel biru&amp;rdquo;&lt;/strong> di atas meja. Benda ini tidak hitam dan bukan gagak. Oleh karena itu, ini adalah bukti yang mendukung $H_2$.&lt;/li>
&lt;li>Ada &lt;strong>&amp;ldquo;sepatu merah&amp;rdquo;&lt;/strong> di dalam lemari. Ini juga tidak hitam dan bukan gagak. Ini adalah bukti untuk $H_2$.&lt;/li>
&lt;li>Ada &lt;strong>&amp;ldquo;awan putih&amp;rdquo;&lt;/strong> mengambang di langit. Ini juga merupakan bukti untuk $H_2$.&lt;/li>
&lt;/ul>
&lt;p>Karena bukti untuk $H_2$ memiliki nilai yang sama dengan bukti untuk $H_1$, secara logis ditariklah kesimpulan aneh berikut ini.&lt;/p>
&lt;p>&lt;strong>&amp;ldquo;Semakin banyak kita mengamati apel biru atau sepatu merah di dalam ruangan, kebenaran dari hipotesis &amp;lsquo;semua gagak berwarna hitam&amp;rsquo; akan semakin terbukti.&amp;rdquo;&lt;/strong>&lt;/p>
&lt;div class="mermaid">graph TD
A["Proposisi H1: Semua gagak berwarna hitam"] &lt;-->|Ekuivalensi logis (Kontraposisi)| B["Proposisi H2: Semua benda yang tidak hitam bukan gagak"]
C["Observasi: Gagak hitam"] -->|Menjadi bukti| A
D["Observasi: Apel biru"] -->|Menjadi bukti| B
D -.->|Oleh karena itu, ini juga seharusnya menjadi bukti?| A
style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff
style B fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff
style C fill:#2196F3,stroke:#333,color:#fff
style D fill:#FF9800,stroke:#333,color:#fff&lt;/div>
&lt;h2 id="mengapa-ini-bertentangan-dengan-intuisi">Mengapa Ini Bertentangan dengan Intuisi?
&lt;/h2>&lt;p>Tidak ada ahli burung di dunia mana pun yang semakin yakin bahwa &amp;ldquo;gagak itu hitam&amp;rdquo; setelah melihat apel biru. Secara logis ini seharusnya sangat benar, tetapi mengapa akal sehat kita menolaknya?&lt;/p>
&lt;p>Di dunia filsafat dan statistik, beberapa pendekatan telah diusulkan untuk mengatasi paradoks ini.&lt;/p>
&lt;h3 id="1-solusi-bayesian-perbedaan-jumlah-informasi">1. Solusi Bayesian (Perbedaan Jumlah Informasi)
&lt;/h3>&lt;p>Sanggahan paling kuat dari sudut pandang statistik modern (probabilitas Bayesian) difokuskan pada perbedaan &amp;ldquo;kekuatan bukti (jumlah informasi)&amp;rdquo;.&lt;/p>
&lt;p>Di dunia ini, jumlah &amp;ldquo;benda yang tidak hitam&amp;rdquo; jauh lebih banyak daripada &amp;ldquo;benda yang hitam&amp;rdquo;, dan jumlah &amp;ldquo;benda yang bukan gagak&amp;rdquo; secara astronomis lebih banyak daripada &amp;ldquo;burung gagak&amp;rdquo;.&lt;/p>
&lt;p>Ketika kita melihat sebuah apel biru, itu memang menjadi bukti bahwa &amp;ldquo;semua gagak berwarna hitam&amp;rdquo;, tetapi &lt;strong>nilai sebagai buktinya (peningkatan probabilitas) mendekati nol&lt;/strong>.
Memverifikasi salah satu dari tak terhitung banyaknya &amp;ldquo;benda yang tidak hitam&amp;rdquo; di alam semesta yang luas ini hanya akan meningkatkan probabilitas &amp;ldquo;gagak itu hitam&amp;rdquo; sebesar memindahkan satu butir pasir dari padang pasir. Di sisi lain, menemukan satu ekor gagak hitam secara langsung memiliki nilai bukti yang sangat besar.&lt;/p>
&lt;p>Artinya, secara logis &amp;ldquo;apel biru adalah sebuah bukti&amp;rdquo;, tetapi secara praktis &amp;ldquo;dapat diabaikan karena nilainya sebagai bukti setara dengan nol&amp;rdquo;. Itulah solusi Bayesian.&lt;/p>
&lt;h3 id="2-batas-dari-ornitologi-dalam-ruangan">2. Batas dari &amp;ldquo;Ornitologi Dalam Ruangan&amp;rdquo;
&lt;/h3>&lt;p>Paradoks ini menyoroti betapa rapuhnya premis yang mendasari &amp;ldquo;induksi (menarik hukum umum dari pengamatan)&amp;rdquo;, yang merupakan inti dari sains. Jika kita hanya mengandalkan ekuivalensi logis, maka &amp;ldquo;ornitologi dalam ruangan&amp;rdquo; akan menjadi mungkin, di mana kita dapat memverifikasi semua hukum alam semesta (seperti &amp;ldquo;semua angsa berwarna putih&amp;rdquo; atau &amp;ldquo;semua alien tidak berwarna hijau&amp;rdquo;) hanya dengan mengamati barang-barang di dalam ruangan tanpa harus keluar.&lt;/p>
&lt;p>Paradoks Gagak Hempel adalah paradoks yang sangat menarik, yang menunjukkan bahwa kata-kata &amp;ldquo;bukti&amp;rdquo; dan &amp;ldquo;pembuktian&amp;rdquo; yang kita gunakan secara tidak sadar, tidak dapat ditangkap dengan baik hanya oleh aturan logika simbolik murni.&lt;/p></description></item></channel></rss>