Coba jelasin Positivisme logis dari Filsafat ilmu dong

Instrumentalisme menjadi populer di kalangan fisikawan pergantian pada sekitar abad ke-20, positivisme logis didefinisikan pada bidang tersebut selama beberapa dekade. Positivisme logis hanya menerima pernyataan yang dapat diuji sebagai sesuatu yang bermakna, menolak interpretasi metafisik, dan menganut verifikasionisme (seperangkat teori pengetahuan yang menggabungkan logikaisme, empirisme, dan linguistik ke landasan filsafat atas dasar yang konsisten dengan contoh-contoh dari ilmu empiris). Pencarian untuk memperbaiki semua filsafat dan mengubahnya menjadi filsafat ilmiah baru, Lingkaran Berlin dan Lingkaran Wina mengemukakan positivisme logis pada akhir 1920-an.

Menafsirkan filosofi bahasa awal Ludwig Wittgenstein, positivis logis mengidentifikasi prinsip atau kriteria yang dapat diverifikasi dari kebermaknaan kognitif. Dari logika Bertrand Russell, mereka mencari reduksi matematika menjadi logika. Mereka juga menganut atomisme logis Russell, Fenomenalisme Ernst Mach — di mana pikiran hanya mengetahui pengalaman sensorik aktual atau potensial, yang merupakan isi semua ilmu, baik fisika maupun psikologi — dan operasionalisme Percy Bridgman. Dengan demikian, hanya yang dapat diverifikasi secara ilmiah dan bermakna kognitif, sedangkan yang tidak dapat diverifikasi adalah "pernyataan semu" yang tidak ilmiah, tidak berarti secara kognitif — metafisik, semosi, atau semacamnya — tidak layak untuk ditinjau lebih lanjut oleh para filsuf, yang baru ditugaskan untuk mengatur pengetahuan daripada mengembangkan pengetahuan baru.

Positivisme logis umumnya digambarkan mengambil posisi ekstrem bahwa bahasa ilmiah tidak boleh merujuk pada sesuatu yang tidak dapat diamati — bahkan gagasan inti tentang kausalitas, mekanisme, dan prinsip — tetapi itu berlebihan. Pembicaraan tentang hal-hal yang tidak dapat diamati seperti itu dapat diizinkan sebagai metafora — pengamatan langsung yang dilihat secara abstrak — atau paling buruk metafisik atau emosional. Hukum teoritis akan direduksi menjadi hukum empiris, sedangkan istilah teoritis akan mengumpulkan makna dari istilah observasional melalui aturan korespondensi . Matematika dalam fisika akan direduksi menjadi logika simbolik melalui logika, sedangkan rekonstruksi rasional akan mengubah bahasa alami menjadi padanan yang distandarisasi, semuanya berjejaring dan disatukan oleh sintaksis logis. Sebuah teori ilmiah akan dinyatakan dengan metode verifikasinya, di mana kalkulus logis atau operasi empiris dapat memverifikasi kepalsuan atau kebenarannya.

Akhir tahun 1930-an, positivis logis meninggalkan Jerman dan Austria ke Inggris dan Amerika. Pada saat itu, banyak yang diganti fenomenalisme Mach dengan Otto Neurath fisikalisme serta Rudolf Carnap telah berusaha untuk menggantikan verifikasi dengan hanya konfirmasi. Dengan berakhirnya Perang Dunia II pada tahun 1945, positivisme logis menjadi lebih ringan, empirisme logis yang sebagian besar dipimpin oleh Carl Hempel di Amerika, menguraikan model hukum penutup dari penjelasan ilmiah sebagai cara untuk mengidentifikasi bentuk logis dari penjelasan tanpa mengacu pada dugaan gagasan "sebab-akibat". Gerakan positivis logis menjadi penopang utama filsafat analitik, dan mendominasi filsafat Anglosfer, termasuk filsafat ilmu yang mempengaruhi ilmu pengetahuan hingga tahun 1960-an. Namun G-30-S gagal menyelesaikan masalah-masalah sentralnya, dan semakin diserang doktrin-doktrinnya. Namun demikian, ia membawa pembentukan filsafat ilmu sebagai subdisiplin filsafat yang berbeda dengan Carl Hempel memainkan peran kunci.