Falsafah analitik
Falsafah analitik , juga disebut falsafah linguistik , satu set pendekatan yang longgar yang berkaitan dengan masalah falsafah, dominan dalam falsafah Anglo-Amerika dari awal abad ke-20, yang menekankan kajian bahasa dan analisis konsep yang logik. Walaupun kebanyakan karya dalam falsafah analitik telah dilakukan di Great Britain dan Amerika Syarikat, sumbangan yang besar juga telah dilakukan di negara-negara lain, terutama Australia, New Zealand, dan negara-negara Scandinavia.
Sifat falsafah analitik
Ahli falsafah analitik melakukan penyiasatan konseptual yang secara khasnya, walaupun tidak selalu, melibatkan kajian bahasa di mana konsep-konsep yang dimaksudkan, atau dapat, dinyatakan. Menurut satu tradisi dalam falsafah analitik (kadang-kadang disebut sebagai formalisme), misalnya, definisi konsep dapat ditentukan dengan mengungkap struktur logik yang mendasari, atau "bentuk logik," dari kalimat yang digunakan untuk menyatakannya. Perwakilan yang jelas mengenai struktur-struktur ini dalam bahasa logik simbolik moden, sehingga difikirkan oleh para formalis, akan menjelaskan kesimpulan yang dibenarkan secara logik ke dan dari kalimat-kalimat tersebut dan dengan demikian menetapkan batasan-batasan logik konsep yang sedang dikaji. Tradisi lain, kadang-kadang disebut sebagai informalisme,juga beralih kepada ayat-ayat di mana konsep itu dinyatakan tetapi sebaliknya menekankan penggunaannya yang pelbagai dalam bahasa biasa dan situasi sehari-hari, dengan idea untuk menjelaskan konsep tersebut dengan memperhatikan bagaimana pelbagai ciri yang dicerminkan dalam bagaimana orang sebenarnya bercakap dan bertindak. Bahkan di kalangan ahli falsafah analitik yang pendekatannya tidak pada dasarnya sama ada formalis atau informal, masalah falsafah sering dianggap sebagai masalah mengenai sifat bahasa. Perbahasan yang berpengaruh dalam etika analitik, misalnya, menyangkut persoalan apakah kalimat yang mengemukakan pertimbangan moral (misalnya, "Adalah salah untuk berbohong") adalah perihalan beberapa ciri dunia, dalam hal ini kalimat itu benar atau salah, atau sekadar ungkapan perasaan subjek - sebanding dengan teriakan "Bravo!" atau "Boo!"- dalam hal ini mereka sama sekali tidak mempunyai nilai kebenaran. Oleh itu, dalam perbahasan ini masalah falsafah mengenai hak dan salah dianggap sebagai masalah mengenai status logik atau tatabahasa pernyataan moral.
Tradisi empiris
Dalam semangat, gaya, dan fokus, falsafah analitik mempunyai kaitan kuat dengan tradisi empirisme, yang telah mencirikan falsafah di Britain selama beberapa abad, membezakannya dari rasionalisme falsafah Eropah Kontinental. Sebenarnya, permulaan falsafah analitik moden biasanya berasal dari masa ketika dua tokoh utamanya, Bertrand Russell (1872–1970) dan GE Moore (1873–1958), memberontak menentang idealisme antiempiris yang secara sementara menangkap falsafah Inggeris pemandangan. Ahli empirik Inggeris yang paling terkenal — John Locke, George Berkeley, David Hume, dan John Stuart Mill — mempunyai banyak kesamaan dan kaedah yang sama dengan ahli falsafah analitik kontemporari. Dan walaupun ahli falsafah analitik telah menyerang beberapa doktrin tertentu empiris,seseorang merasakan bahawa ini adalah hasil daripada kepentingan bersama dalam masalah tertentu daripada perbezaan pandangan falsafah umum.
Sebilangan besar empiris, walaupun mengakui bahawa indera gagal menghasilkan kepastian yang diperlukan untuk pengetahuan, namun hanya melalui pemerhatian dan eksperimen yang dapat diperoleh kepercayaan yang sah tentang dunia — dengan kata lain, penalaran apriori dari premis yang jelas mendedahkan bagaimana dunia. Oleh itu, banyak empiris bersikeras pada dikotomi yang tajam antara sains fizikal, yang akhirnya mesti mengesahkan teori mereka dengan pemerhatian, dan sains deduktif atau priori — misalnya, matematik dan logik — kaedahnya adalah pengurangan teorema dari aksioma. Ilmu deduktif, dalam pandangan empiris, tidak dapat menghasilkan kepercayaan yang dibenarkan, lebih kurang pengetahuan, mengenai dunia. Kesimpulan ini merupakan tonggak dua gerakan awal yang penting dalam falsafah analitik, atomisme logik dan positivisme logik.Dalam pandangan positivis, misalnya, teorema matematik tidak mewakili pengetahuan yang tulen mengenai dunia objek matematik tetapi sebaliknya hanyalah hasil dari hasil konsekuensi konvensyen yang mengatur penggunaan simbol matematik.
Maka timbul persoalan adakah falsafah itu sendiri harus diasimilasikan dengan ilmu empirikal atau sains a priori. Ahli empirik awal mengasimilasikannya dengan sains empirikal. Lebih-lebih lagi, mereka kurang memikirkan diri sendiri mengenai kaedah falsafah daripada ahli falsafah analitik kontemporari. Disibukkan dengan epistemologi (teori pengetahuan) dan falsafah fikiran, dan berpendapat bahawa fakta asas dapat dipelajari mengenai subjek ini dari introspeksi individu, empiris awal mengambil pekerjaan mereka untuk menjadi semacam psikologi introspektif. Falsafah analitik pada abad ke-20, sebaliknya, cenderung untuk menarik introspeksi secara langsung. Lebih penting lagi, pengembangan logik simbolik moden nampaknya menjanjikan pertolongan dalam menyelesaikan masalah falsafah — dan logik adalah apriori seperti sains. Nampaknya,falsafah itu mesti dikelaskan dengan matematik dan logik. Walau bagaimanapun, sifat dan metodologi falsafah yang tepat tetap dipertikaikan.
Peranan logik simbolik
Bagi ahli falsafah yang berorientasi pada formalisme, munculnya logik simbolik moden pada akhir abad ke-19 adalah aliran sungai dalam sejarah falsafah, kerana ia sangat memberi kesan kepada kelas pernyataan dan kesimpulan yang dapat diwakili dalam bahasa formal (yaitu, aksiomatik). Perwakilan rasmi pernyataan ini memberikan gambaran mengenai struktur logik yang mendasarinya; pada saat yang sama, ini membantu menghilangkan teka-teki filosofis tertentu yang telah dibuat, menurut pandangan para formalis, melalui kecenderungan para ahli falsafah terdahulu untuk membuat kesalahan dalam bentuk tatabahasa untuk bentuk logik. Kerana kesamaan ayat seperti "Harimau menggigit" dan "Harimau ada", misalnya, kata kerja yang adasepertinya berfungsi, seperti kata kerja lain, untuk memprediksi sesuatu subjek. Nampaknya, keberadaan itu adalah milik harimau, sama seperti gigitannya. Walau bagaimanapun, dalam logik simbolik, kewujudan bukan milik; itu adalah fungsi orde tinggi yang mengambil apa yang disebut "fungsi proposisi" sebagai nilai. Oleh itu, apabila fungsi proposisi "T x " - di mana T adalah singkatan dari predikat "... adalah harimau" dan x adalah pemboleh ubah yang dapat diganti dengan nama - ditulis di sebelah simbol yang dikenal sebagai pengukur eksistensial - ∃ x , yang berarti " Terdapat sekurang-kurangnya satu x sehingga… ”—hasilnya adalah ayat yang bermaksud“ Terdapat sekurang-kurangnya satu x sehingga xadalah harimau. " Fakta bahawa kewujudan bukan harta dalam logik simbolik mempunyai konsekuensi filosofis yang penting, salah satunya menunjukkan bahawa hujah ontologi untuk kewujudan Tuhan, yang telah membingungkan para ahli falsafah sejak penemuannya pada abad ke-11 oleh St. Anselm dari Canterbury, tidak berasas.
Antara tokoh abad ke-19 yang menyumbang kepada pengembangan logik simbolik ialah ahli matematik George Boole (1815–64), penemu algebra Boolean, dan Georg Cantor (1845–1918), pencipta teori set. Pengasas logik simbolik moden yang dikenali umum adalah Gottlob Frege (1848-1925), dari Universiti Jena di Jerman. Frege, yang karyanya tidak dihargai sepenuhnya hingga pertengahan abad ke-20, secara historis penting terutama untuk pengaruhnya terhadap Russell, yang program logiknya (doktrin bahawa keseluruhan matematik dapat berasal dari prinsip-prinsip logik) telah dicuba secara bebas oleh Frege sekitar 25 tahun sebelum penerbitan karya logik utama Russell, Principles of Mathematics (1903) dan Principia Mathematica (1910–13; ditulis dengan kerjasama rakan sekerja Russell di University of Cambridge Alfred North Whitehead).
