Paradoks Russell: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29459905; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 1: | Baris 1: | ||
'''Paradox Russell''' adalah sebuah paradoks dalam logika dan [[teori himpunan]] yang ditemukan oleh matematikawan dan filsuf Inggris [[Bertrand Russell]] pada tahun 1901. Paradoks ini menunjukkan adanya kontradiksi dalam teori himpunan naïf (naïve set theory), khususnya pada prinsip bahwa setiap properti yang terdefinisi dengan baik dapat membentuk sebuah himpunan. | '''Paradox Russell''' adalah sebuah paradoks dalam logika dan [[teori himpunan]] yang ditemukan oleh matematikawan dan filsuf Inggris [[Bertrand Russell]] pada tahun 1901. Paradoks ini menunjukkan adanya kontradiksi dalam teori himpunan naïf (naïve set theory), khususnya pada prinsip bahwa setiap properti yang terdefinisi dengan baik dapat membentuk sebuah himpunan.<ref>[https://www.britannica.com/topic/Russells-paradox Russell’s Paradox]. ''Encyclopaedia Britannica''.</ref><ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
Paradox ini menjadi salah satu temuan paling penting dalam fondasi matematika modern karena memaksa para matematikawan untuk merevisi cara mereka memahami konsep “himpunan”. | Paradox ini menjadi salah satu temuan paling penting dalam fondasi matematika modern karena memaksa para matematikawan untuk merevisi cara mereka memahami konsep “himpunan”.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
== Sejarah == | == Sejarah == | ||
Paradox Russell ditemukan oleh Bertrand Russell pada tahun 1901 dan kemudian disampaikan kepada Gottlob Frege pada tahun 1902. Frege saat itu sedang menyelesaikan sistem logika formal untuk aritmetika, tetapi paradoks ini menunjukkan bahwa sistem tersebut mengandung kontradiksi serius. | Paradox Russell ditemukan oleh Bertrand Russell pada tahun 1901 dan kemudian disampaikan kepada Gottlob Frege pada tahun 1902. Frege saat itu sedang menyelesaikan sistem logika formal untuk aritmetika, tetapi paradoks ini menunjukkan bahwa sistem tersebut mengandung kontradiksi serius.<ref>Bertrand Russell. [https://archive.org/details/principlesofmath01russ The Principles of Mathematics]. Cambridge University Press. 1903.</ref><ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
Penemuan ini juga muncul dalam konteks perkembangan teori himpunan oleh Georg Cantor, yang sebelumnya telah mengembangkan konsep himpunan tak hingga, namun belum memiliki sistem aksiomatik yang ketat. | Penemuan ini juga muncul dalam konteks perkembangan teori himpunan oleh Georg Cantor, yang sebelumnya telah mengembangkan konsep himpunan tak hingga, namun belum memiliki sistem aksiomatik yang ketat.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
== Pernyataan Paradoks == | == Pernyataan Paradoks == | ||
Paradox Russell muncul dari pertanyaan berikut: Apakah himpunan semua himpunan yang tidak mengandung dirinya sendiri mengandung dirinya sendiri? | Paradox Russell muncul dari pertanyaan berikut: Apakah himpunan semua himpunan yang tidak mengandung dirinya sendiri mengandung dirinya sendiri?<ref>[https://www.britannica.com/topic/Russells-paradox Russell’s Paradox]. ''Encyclopaedia Britannica''.</ref> | ||
Secara formal, definisikan himpunan R = {x | x ∉ x}. | Secara formal, definisikan himpunan R = {x | x ∉ x}.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
Artinya R adalah himpunan semua himpunan yang tidak menjadi anggota dirinya sendiri. Kemudian muncul dua kemungkinan: jika R ∈ R maka kontradiksi, dan jika R ∉ R maka juga kontradiksi. | Artinya R adalah himpunan semua himpunan yang tidak menjadi anggota dirinya sendiri. Kemudian muncul dua kemungkinan: jika R ∈ R maka kontradiksi, dan jika R ∉ R maka juga kontradiksi.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
== Analogi Barber == | == Analogi Barber == | ||
Paradox ini sering dijelaskan dengan analogi “barber paradox”: seorang tukang cukur mencukur semua orang yang tidak mencukur dirinya sendiri. Pertanyaannya: apakah ia mencukur dirinya sendiri? | Paradox ini sering dijelaskan dengan analogi “barber paradox”: seorang tukang cukur mencukur semua orang yang tidak mencukur dirinya sendiri. Pertanyaannya: apakah ia mencukur dirinya sendiri?<ref>[https://www.britannica.com/topic/Russells-paradox Russell’s Paradox]. ''Encyclopaedia Britannica''.</ref> | ||
Jika ia mencukur dirinya sendiri, maka ia tidak boleh mencukur dirinya sendiri, dan jika tidak, maka ia harus mencukur dirinya sendiri. | Jika ia mencukur dirinya sendiri, maka ia tidak boleh mencukur dirinya sendiri, dan jika tidak, maka ia harus mencukur dirinya sendiri.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
== Dampak dalam Matematika == | == Dampak dalam Matematika == | ||
Paradox Russell menunjukkan bahwa teori himpunan naïf tidak konsisten. Hal ini menyebabkan pengembangan sistem aksiomatik baru dalam teori himpunan modern. | Paradox Russell menunjukkan bahwa teori himpunan naïf tidak konsisten. Hal ini menyebabkan pengembangan sistem aksiomatik baru dalam teori himpunan modern.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
Sistem seperti Zermelo–Fraenkel (ZF) dan ZFC kemudian dikembangkan untuk menghindari kontradiksi ini. | Sistem seperti Zermelo–Fraenkel (ZF) dan ZFC kemudian dikembangkan untuk menghindari kontradiksi ini.<ref>Alfred North Whitehead. [https://archive.org/details/cu31924001575244 Principia Mathematica]. Cambridge University Press. 1910–1913.</ref> | ||
== Signifikansi Filosofis == | == Signifikansi Filosofis == | ||
Paradox Russell memiliki dampak besar dalam logika matematika, fondasi matematika, dan filsafat bahasa. | Paradox Russell memiliki dampak besar dalam logika matematika, fondasi matematika, dan filsafat bahasa.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
Paradoks ini menunjukkan bahwa definisi yang tampak logis dapat menghasilkan kontradiksi jika tidak dibatasi secara formal. | Paradoks ini menunjukkan bahwa definisi yang tampak logis dapat menghasilkan kontradiksi jika tidak dibatasi secara formal.<ref>[https://www.britannica.com/topic/Russells-paradox Russell’s Paradox]. ''Encyclopaedia Britannica''.</ref> | ||
== Kesimpulan == | == Kesimpulan == | ||
Paradox Russell adalah kontradiksi dalam teori himpunan naïf yang menjadi titik balik penting dalam perkembangan logika modern dan teori himpunan aksiomatik. | Paradox Russell adalah kontradiksi dalam teori himpunan naïf yang menjadi titik balik penting dalam perkembangan logika modern dan teori himpunan aksiomatik.<ref>[https://plato.stanford.edu/entries/russell-paradox/ Russell's Paradox]. ''Stanford Encyclopedia of Philosophy''.</ref> | ||
== Referensi == | == Referensi == | ||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Paradoks+Russell&oldid=29459905 Wikipedia bahasa Indonesia], revisi 29459905 (2026-07-15T02:22:56Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Paradoks+Russell&oldid=29459905 Wikipedia bahasa Indonesia], revisi 29459905 (2026-07-15T02:22:56Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | ||
<!-- WIKI_UNISSULA_PRESENTATION_V4 --> | |||
Revisi terkini sejak 25 Agustus 2026 23.08
Paradox Russell adalah sebuah paradoks dalam logika dan teori himpunan yang ditemukan oleh matematikawan dan filsuf Inggris Bertrand Russell pada tahun 1901. Paradoks ini menunjukkan adanya kontradiksi dalam teori himpunan naïf (naïve set theory), khususnya pada prinsip bahwa setiap properti yang terdefinisi dengan baik dapat membentuk sebuah himpunan.[1][2]
Paradox ini menjadi salah satu temuan paling penting dalam fondasi matematika modern karena memaksa para matematikawan untuk merevisi cara mereka memahami konsep “himpunan”.[3]
Sejarah
Paradox Russell ditemukan oleh Bertrand Russell pada tahun 1901 dan kemudian disampaikan kepada Gottlob Frege pada tahun 1902. Frege saat itu sedang menyelesaikan sistem logika formal untuk aritmetika, tetapi paradoks ini menunjukkan bahwa sistem tersebut mengandung kontradiksi serius.[4][5]
Penemuan ini juga muncul dalam konteks perkembangan teori himpunan oleh Georg Cantor, yang sebelumnya telah mengembangkan konsep himpunan tak hingga, namun belum memiliki sistem aksiomatik yang ketat.[6]
Pernyataan Paradoks
Paradox Russell muncul dari pertanyaan berikut: Apakah himpunan semua himpunan yang tidak mengandung dirinya sendiri mengandung dirinya sendiri?[7]
Secara formal, definisikan himpunan R = {x | x ∉ x}.[8]
Artinya R adalah himpunan semua himpunan yang tidak menjadi anggota dirinya sendiri. Kemudian muncul dua kemungkinan: jika R ∈ R maka kontradiksi, dan jika R ∉ R maka juga kontradiksi.[9]
Analogi Barber
Paradox ini sering dijelaskan dengan analogi “barber paradox”: seorang tukang cukur mencukur semua orang yang tidak mencukur dirinya sendiri. Pertanyaannya: apakah ia mencukur dirinya sendiri?[10]
Jika ia mencukur dirinya sendiri, maka ia tidak boleh mencukur dirinya sendiri, dan jika tidak, maka ia harus mencukur dirinya sendiri.[11]
Dampak dalam Matematika
Paradox Russell menunjukkan bahwa teori himpunan naïf tidak konsisten. Hal ini menyebabkan pengembangan sistem aksiomatik baru dalam teori himpunan modern.[12]
Sistem seperti Zermelo–Fraenkel (ZF) dan ZFC kemudian dikembangkan untuk menghindari kontradiksi ini.[13]
Signifikansi Filosofis
Paradox Russell memiliki dampak besar dalam logika matematika, fondasi matematika, dan filsafat bahasa.[14]
Paradoks ini menunjukkan bahwa definisi yang tampak logis dapat menghasilkan kontradiksi jika tidak dibatasi secara formal.[15]
Kesimpulan
Paradox Russell adalah kontradiksi dalam teori himpunan naïf yang menjadi titik balik penting dalam perkembangan logika modern dan teori himpunan aksiomatik.[16]
Referensi
- ↑ Russell’s Paradox. Encyclopaedia Britannica.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Bertrand Russell. The Principles of Mathematics. Cambridge University Press. 1903.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell’s Paradox. Encyclopaedia Britannica.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell’s Paradox. Encyclopaedia Britannica.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Alfred North Whitehead. Principia Mathematica. Cambridge University Press. 1910–1913.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
- ↑ Russell’s Paradox. Encyclopaedia Britannica.
- ↑ Russell's Paradox. Stanford Encyclopedia of Philosophy.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 29459905 (2026-07-15T02:22:56Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.