Filsafat analitik
Filsafat analitik , juga disebut filsafat linguistik , seperangkat pendekatan yang terkait longgar dengan masalah filosofis, dominan dalam filsafat Anglo-Amerika dari awal abad ke-20, yang menekankan studi bahasa dan analisis logis konsep. Meskipun sebagian besar pekerjaan dalam filsafat analitik telah dilakukan di Britania Raya dan Amerika Serikat, kontribusi signifikan juga telah dibuat di negara-negara lain, terutama Australia, Selandia Baru, dan negara-negara Skandinavia.
Sifat filsafat analitik
Para filsuf analitik melakukan penyelidikan konseptual yang secara karakteristik, meskipun tidak selalu, melibatkan studi bahasa di mana konsep-konsep tersebut, atau dapat, diungkapkan. Menurut satu tradisi dalam filsafat analitik (kadang-kadang disebut sebagai formalisme), misalnya, definisi konsep dapat ditentukan dengan mengungkap struktur logis yang mendasarinya, atau "bentuk logis," dari kalimat yang digunakan untuk mengekspresikannya. Representasi yang mudah dipahami dari struktur-struktur ini dalam bahasa logika simbolik modern, demikian pikir para formalis, akan memperjelas kesimpulan yang secara logis diizinkan ke dan dari kalimat-kalimat semacam itu dan dengan demikian menetapkan batas-batas logis dari konsep yang diteliti. Tradisi lain, kadang-kadang disebut sebagai informalisme,dengan cara yang sama berpaling ke kalimat-kalimat di mana konsep itu diungkapkan tetapi sebaliknya menekankan penggunaannya yang beragam dalam bahasa sehari-hari dan situasi sehari-hari, gagasannya adalah untuk menjelaskan konsep tersebut dengan mencatat bagaimana berbagai fiturnya tercermin dalam bagaimana orang benar-benar berbicara dan bertindak. Bahkan di antara para filsuf analitik yang pendekatannya pada dasarnya tidak formalis atau informalis, masalah filosofis sering dianggap sebagai masalah tentang sifat bahasa. Debat yang berpengaruh dalam etika analitik, misalnya, menyangkut pertanyaan apakah kalimat yang mengekspresikan penilaian moral (misalnya, "Adalah salah untuk mengatakan kebohongan") adalah deskripsi dari beberapa fitur dunia, dalam hal ini kalimat bisa benar. atau salah, atau hanya ekspresi perasaan subjek — sebanding dengan teriakan “Bravo!” atau "Boo!”—Dalam hal ini mereka tidak memiliki nilai kebenaran sama sekali. Dengan demikian, dalam debat ini masalah filosofis tentang sifat benar dan salah diperlakukan sebagai masalah tentang status logis atau gramatikal dari pernyataan moral.
Tradisi empiris
Dalam semangat, gaya, dan fokus, filsafat analitik memiliki ikatan yang kuat dengan tradisi empirisme, yang telah mencirikan filsafat di Inggris selama beberapa abad, membedakannya dari rasionalisme filsafat Eropa Kontinental. Faktanya, permulaan filsafat analitik modern biasanya berasal dari masa ketika dua tokoh utamanya, Bertrand Russell (1872–1970) dan GE Moore (1873–1958), memberontak melawan idealisme anti-empiris yang sementara waktu menangkap filosofi Inggris untuk sementara waktu. tempat kejadian. Ahli empiris Inggris yang paling terkenal — John Locke, George Berkeley, David Hume, dan John Stuart Mill — memiliki banyak minat dan metode yang sama dengan para filsuf analitik kontemporer. Dan walaupun para filsuf analitik telah menyerang beberapa doktrin khusus kaum empiris,orang merasa bahwa ini adalah hasil lebih dari kepentingan bersama dalam masalah-masalah tertentu daripada perbedaan dalam pandangan filosofis umum.
Sebagian besar empiris, meskipun mengakui bahwa indera gagal menghasilkan kepastian yang diperlukan untuk pengetahuan, tetap berpendapat bahwa hanya melalui pengamatan dan eksperimen bahwa keyakinan yang dibenarkan tentang dunia dapat diperoleh — dengan kata lain, alasan apriori dari tempat yang terbukti sendiri tidak dapat. mengungkapkan bagaimana dunia ini. Oleh karena itu, banyak ahli empiris bersikeras pada dikotomi tajam antara ilmu fisika, yang akhirnya harus memverifikasi teori mereka dengan pengamatan, dan ilmu deduktif atau apriori - misalnya, matematika dan logika - metode yang merupakan pengurang teorema dari aksioma. Ilmu deduktif, dalam pandangan empiris, tidak dapat menghasilkan keyakinan yang dibenarkan, apalagi pengetahuan, tentang dunia. Kesimpulan ini adalah landasan dari dua gerakan awal yang penting dalam filsafat analitik, atomisme logis dan positivisme logis.Dalam pandangan positivis, misalnya, teorema matematika tidak mewakili pengetahuan asli dari dunia objek matematika tetapi sebaliknya hanya hasil dari konsekuensi dari konvensi yang mengatur penggunaan simbol matematika.
Pertanyaan kemudian muncul apakah filsafat itu sendiri harus berasimilasi dengan ilmu-ilmu empiris atau ilmu-ilmu a priori. Para empiris awal mengasimilasi ilmu-ilmu empiris. Selain itu, mereka kurang reflektif tentang metode filsafat daripada para filsuf analitik kontemporer. Disibukkan dengan epistemologi (teori pengetahuan) dan filosofi pikiran, dan berpendapat bahwa fakta-fakta mendasar dapat dipelajari tentang subjek-subjek ini dari introspeksi individu, para empiris awal menjadikan pekerjaan mereka sebagai semacam psikologi introspektif. Di lain pihak, para filsuf analitik pada abad ke-20 kurang cenderung menarik pada akhirnya untuk introspeksi langsung. Lebih penting lagi, pengembangan logika simbolis modern tampaknya menjanjikan bantuan dalam memecahkan masalah filosofis — dan logika sama apriorinya dengan sains. Sepertinya,filsafat itu harus diklasifikasikan dengan matematika dan logika. Namun, sifat yang tepat dan metodologi filsafat yang tepat, masih menjadi perdebatan.
Peran logika simbolik
Bagi para filsuf yang berorientasi pada formalisme, kemunculan logika simbolik modern pada akhir abad ke-19 adalah titik awal dalam sejarah filsafat, karena ia sangat menambah kelas pernyataan dan kesimpulan yang dapat diwakili dalam bahasa formal (yaitu, aksiomatik). Representasi formal dari pernyataan ini memberikan wawasan tentang struktur logis yang mendasarinya; pada saat yang sama, itu membantu menghilangkan teka-teki filosofis tertentu yang telah dibuat, dalam pandangan kaum formalis, melalui kecenderungan para filsuf sebelumnya untuk mengira bentuk permukaan gramatikal untuk bentuk logis. Karena kesamaan kalimat seperti "Gigitan harimau" dan "Harimau ada," misalnya, kata kerja yang adamungkin berfungsi, seperti kata kerja lain, untuk predikat sesuatu dari subjek. Jadi, kelihatannya keberadaan itu adalah milik harimau, sama seperti menggigitnya. Akan tetapi, dalam logika simbolik, keberadaan bukanlah properti; itu adalah fungsi tingkat tinggi yang mengambil apa yang disebut "fungsi proposisional" sebagai nilai. Jadi, ketika fungsi proposisional "T x " —dalam mana T mewakili predikat "... adalah seekor harimau" dan x adalah variabel yang dapat diganti dengan nama — ditulis di samping simbol yang dikenal sebagai quantifier eksistensial — ∃ x , yang berarti " Ada setidaknya satu x sedemikian rupa sehingga ... "- hasilnya adalah kalimat yang berarti" Ada setidaknya satu x sedemikian rupa sehingga xadalah harimau. " Fakta bahwa keberadaan bukan properti dalam logika simbolik telah memiliki konsekuensi filosofis yang penting, salah satunya adalah untuk menunjukkan bahwa argumen ontologis untuk keberadaan Tuhan, yang telah membingungkan para filsuf sejak penemuannya pada abad ke-11 oleh St Anselmus dari Canterbury, tidak sehat.
Di antara tokoh-tokoh abad ke-19 yang berkontribusi pada pengembangan logika simbolik adalah matematikawan George Boole (1815-64), penemu aljabar Boolean, dan Georg Cantor (1845-1918), pencipta teori himpunan. Pendiri logika simbolik modern yang diakui secara umum adalah Gottlob Frege (1848–1925), dari Universitas Jena di Jerman. Frege, yang karyanya tidak sepenuhnya dihargai sampai pertengahan abad ke-20, secara historis penting terutama karena pengaruhnya terhadap Russell, yang program logikaismenya (doktrin bahwa seluruh matematika dapat diturunkan dari prinsip-prinsip logika) telah dicoba secara mandiri oleh Frege sekitar 25 tahun sebelum penerbitan karya logika utama Russell, Principles of Mathematics (1903) dan Principia Mathematica (1910–13; ditulis dalam kolaborasi dengan rekan Russell di Universitas Cambridge Alfred North Whitehead).
