Epistemologi Formal
Epistemologi formal menggunakan perangkat probabilitas, logika, dan teori keputusan untuk memodelkan keyakinan rasional, menanyakan seberapa yakin seorang agen seharusnya berdasarkan bukti yang dimilikinya, bagaimana keyakinan tersebut harus berubah seiring datangnya bukti, dan bagaimana tingkat keyakinan berhubungan dengan keyakinan mutlak.
Definition
Epistemologi formal adalah cabang epistemologi yang menerapkan metode formal — teori probabilitas, teori keputusan, dan logika — untuk memodelkan keyakinan rasional, tingkat keyakinan, bukti, dan dinamika perubahan pikiran seseorang berdasarkan informasi baru.
Scope
Area ini mencakup pemodelan formal keadaan epistemik: teori Bayesian tentang kredensi rasional dan pembaruan, masalah induksi dan logika konfirmasi, serta hubungan antara kredensi bertingkat dan keyakinan kategoris, termasuk paradoks lotre dan prakata. Ini membahas probabilisme, kondisionalisasi, argumen Dutch-book dan akurasi, serta norma-norma epistemik yang mengatur keyakinan parsial. Analisis tradisional tentang pengetahuan dan dimensi sosial penyelidikan dibahas di area-area tetangga.
Sub-topics
Core questions
- Haruskah tingkat keyakinan rasional mematuhi aksioma probabilitas?
- Bagaimana seharusnya seorang agen memperbarui keyakinan ketika bukti baru tiba?
- Dapatkah inferensi induktif dari pengalaman dibenarkan secara rasional?
- Bagaimana tingkat keyakinan berhubungan dengan keyakinan mutlak?
Key theories
- Epistemologi Bayesian
- Keyakinan rasional datang dalam tingkatan yang mematuhi aksioma probabilitas (probabilisme) dan direvisi melalui kondisionalisasi berdasarkan bukti baru; kerangka kerja ini berasal dari identifikasi Ramsey tentang tingkat keyakinan dengan disposisi taruhan.
- Teori logis konfirmasi
- Carnap mencari ukuran logis sejauh mana bukti mengkonfirmasi suatu hipotesis, memperlakukan dukungan induktif sebagai hubungan logis kuantitatif antara proposisi, sebuah pendekatan yang membingkai studi formal tentang bukti.
History
Epistemologi formal berkembang dari tradisi probabilistik Bayes dan Laplace, yang disempurnakan pada abad kedua puluh oleh Ramsey dan de Finetti, yang menghubungkan tingkat keyakinan dengan taruhan yang koheren, dan oleh Carnap, yang mengejar logika induktif konfirmasi. Masalah induksi Hume sebelumnya menetapkan tantangan yang direspons oleh kerangka kerja formal ini, dan bidang ini sejak itu telah menyerap teori keputusan dan studi formal tentang perubahan keyakinan.
Debates
- Apakah probabilisme menangkap semua rasionalitas epistemik
- Para Bayesian berpendapat bahwa keyakinan rasional sepenuhnya diatur oleh koherensi probabilistik dan kondisionalisasi, sementara para kritikus menunjuk pada masalah prior, peran nyata dari keyakinan kategoris, dan paradoks penerimaan sebagai bukti bahwa probabilitas saja tidak mencukupi rasionalitas epistemik.
Key figures
- Frank Ramsey
- Rudolf Carnap
- David Hume
- Bruno de Finetti
Related topics
Seminal works
- ramsey1926
- carnap1950
Frequently asked questions
- Apa yang ditambahkan epistemologi formal pada epistemologi tradisional?
- Ini melengkapi pembicaraan kualitatif tentang keyakinan yang dibenarkan dengan model yang tepat tentang tingkat keyakinan, bukti, dan pembaruan rasional yang diambil dari teori probabilitas dan keputusan. Ini memungkinkan para epistemolog untuk menyatakan norma-norma seperti koherensi probabilistik secara tepat dan mempelajari pertanyaan-pertanyaan, seperti bagaimana merevisi kredensi, yang menolak perlakuan yang murni informal.
- Apa itu kredensi?
- Kredensi adalah tingkat keyakinan, keyakinan bertingkat bahwa suatu proposisi adalah benar, seringkali direpresentasikan dengan angka antara 0 dan 1. Epistemologi formal mempelajari norma-norma yang mengatur kredensi, seperti persyaratan bahwa mereka mematuhi aksioma probabilitas dan memperbarui melalui kondisionalisasi.