SEJARAH LOGIKA

 

SEJARAH LOGIKA

Sejarah Logika adalah studi tentang perkembangan ilmu berlaku inferensi. Sementara banyak kebudayaan memiliki sistem rumit dipekerjakan penalaran, dan metode logis jelasdalam semua pemikiran manusia, sebuah analisis eksplisit prinsip – prinsip penalarandikembangkan hanya dalam tiga tradisi yaitu orang – orang Cina, India dan Yunani. Dari jumlah tersebut, hanya perlakuan terhadap logika turun dari tradisi Yunani khususnya LogikaAritoteles menemukan aplikasi dan penerimaan luas dalam sains dan matematika. TradisiYunani dikembangkan lebih lanjut oleh ahli logika Islam dan eropa abad Pertengahan ahlilogika. Tidak sampai abad ke – 19 berapa yang berikutnya kemajuan besar dalam logikamuncul, dengan pengembangan logika simbolik oleh George Boole dan perkembanganselanjutnya menjadi sistem logis formal yang dihitung oleh Gottlob frege dan set teoretisiseperti Georg Cantor dan Giuseppe peano,mengantar dalam informasi umur.Logika dikenal seabgai “dialektika” atau “analisis” di Yunani Kuno. Kata “logika”(dari bahasa Yunani logos, yang berarti wacana atau kalimat) tidak muncul dalam pengertianmodern sampai tafsir Alexander dari Aphrodisia yang menulis pada abad ketiga Masehi.

Logika Dalam Filsafat Islam

Gagasan dari filsafat Yunani dan filsafat Helenistik dipengaruhi Mu’tazili teolog,yang sangat dihargai Aristoteles’s Organon. Karya – karya yang dipengaruhi Helenistik filsuf Islam yang penting dalam penerimaan logika Aristoteles di abad pertengahan Eropa, bersamadengan komentar – komentar di Organon oleh Averreos. Karya – karya al –Farabi, Ibnu Sinaal – Ghazali dan ahli logika muslim lainnya yang sering dikritik dan dikoreksi logikaAristoteles dan memperkenalkan bentuk – bentuk mereka sendiri logika, juga memainkan peran sentral dalam perkembangan selanjutnya logika abad pertengahan Eropa. Logika Islamtidak hanya mencakup studi mengenai pola – pola formal inferensi dan keabsahannya, tetapi juga unsur – unsur epistemologi dan metafisika. Karena sengketa dengan ahli tata bahasaarab. Para filsuf Islam yang menarik untuk bekerja di luar hubungan antara logika dan bahasa, dan mereka mencurahkan banyak diskusi untuk pertanyaan tentang materi subyek dan tujuan dalam kaitannya dengan logika penalaran dan pidato. Dalam bidang analisis logisformal, mereka diuraikan pada istilah teori, proposisi dan silogisme. Mereka menganggapteori silogisme menjadi bentuk yang semua argumentasi rasional dapat dikurangi, dan merekamenganggap teori silogismr sebagai titik pusat logika. Bahkan puisi dianggap sebagai senisilogisme dalam berbagai bentuk oleh banyak ahli logika Islam Besar.

Al – Farabi Logika

Meskipun Al – Farabi adalat terutama seorang ahli logika Aristoteles, iamemperkenalkan sejumlah elemen non – Aristoteles logika. Dia mendiskusikan topik masadepan kontingen yang jumlah dan hubungan dari kategori hubungan antara logika dan tat bahasa dan non – Aristetolian bentuk inferensi. Ia dikreditkan untuk mengkategorikan logikake dalam dua kelompok terpisah, yang pertama adalah “ide” dan yang kedua menjadi “bukti”.Al – Faribi juga memperkenalkan teori – teori silogisme bersyarat dan anlogis kesimpulan,yang bukan bagian dari tradisi Aristotelian. Selain dibuat untuk tradisi Aristotelian adalah pengenalan konsep puitis silogisme dalam komentarnya tentang puisi Aristoteles.

Avicennian Logika

Ibnu Sema mengembangkan sendiri sistem logika dikenal sebagai “AvicennianLogika” sebagai alterantif terahdap logika Aristoteles. Setelah terjemahan latin abad ke – 12, juga dipengaruhi avicennian logika awal Eropa Abad Pertengahan ahli logika seperti albertusMagnus, meskipun logika aritoteles kemudian menjadi lebih populer di eropa karenakuatnyapengaruh Averroism. Ibnu Sina mengembangkan teori awal pada silogisme hipotesis,yang membentuk dasar awal faktor resiko analisis. Ia juga mengembangkan teori awal padakalkulus proporsional, yang meruakan logika daerah tidak tercakup dalam tradisi Aristotelian.Kritik pertama pada logika Aritoteles juga ditulis oleh Ibnu Sina, yang mengembangkan teoriasli di temporal modal silogisme. Ia juga berkontribudi inventively untuk pengembanganlogika induktif, menjadi orang pertama yang menjelaskan metode persetujuan, seiring perbedaan dan variasi yang sangat penting untuk logika induktif dan metode ilmiah.Aristoteles mengkritik “angka pertama” dan dirumuskan sistem awal logika induktif, pertanda sistem logika induktif yang dikembangkan oleh John Stuart Mill (1806 – 1873).Sistematis bantahan – bantahan dari logika Yunani ditulis oleh Sekolah Illminationanist,didirikan oleh Shahab al – Din Suhrawardi (1155 – 1191), yang mengembangkan ide “tegaskeniscayaan”, yang mengacu pada pengurangan semua modalitas (keharusan, kemungkinan,kontingensi dan ketidakmungkinan) untuk modus tunggal kebutuhan menulis sebuah bukutentang logika Avicennian, yang merupakan komentar dari Ibnu Sina al – Isharat (Mukjizat)dan Al – Hidayah (Pedoman). Sistematis lain penolakan terhadap logika Yunani ditulis olehIbnu Taimiyah yang menulis “penolakan terhadap ahli logika Yunani), di mana iamemberikan bukti untuk induksi menjadi satu – satunya bentuk benar argumen, yangmemiliki pengaruh penting pada perkembangan metode ilmiah dari pengamatan dan eksperimentasi yang ditulis oleh Muhammad bin Fayd ibn Muhammad Amin Al – Sharwanidi abad ke – 15 yang terakhir arab besar bekerja pada logika.

Tradisional Logika

“Tradisional Logika” umumnya berarti tradisi buku teks yang diawali dengan AntoineArnuld dan Pierre Nicole’s logika, atau Seni Berpikir, lebih dikenal sebagai Port – RoyalLogic. Dipublikasikan pada tahun 1662, itu adalah pekerjaan yang paling berpengaruh padalogika di Inggris sampai Mill’s sistem of logic pada tahun 1825. Buku ini menyajikan sebuahdoktrin Cartesian longgar (bahwa proposisi adalah menggabungkan gagasan daripada istilah,misalnya dalam suatu kerangka yang luas berasal dari istilah abad pertengahan aristoteles danLogika. Antara tahun 1664 dan 1700 ada delapan edisi, dan buku telah banyak pengaruhsetelah itu. Itu sering dicetak ulang dalam bahasa Inggris sampai akhir abad kesembilan belas. Hal ini masih dicetak ulang hari ini, tapi sebagian besar untuk tujuan historis. Rekening proposisi bahwa Locke dalam essay memberikan dasarnya bahwa Port – Royal : “Verbal proposisi, yang kata – kata, tanda – tanda ide – ide kami, bersama – sama atau terpisah dalamkalimat afirmatif atau negatif. Jadi, yang terdiri dari proposisi yang meletakkan bersama ataumemisahkan tanda – tanda ini, menurut sebagai hal – hal yang mereka berdiri untuk setujuatu tidak setuju. Bekerja dalam tradisi ini termasuk Isaac Watts Logic : Atau Hak Penggunaan Reason (1725), Richard Whately Logic (1826), dan John Stuart Mill sistem of Logic (1843), yang merupakan salah satu yang terakhir karya – karya besar dalam tradisi.Berpengaruh lain adalah Novum Organum oleh Francis Bacon, yang diterbitkan pada 1620.Judul diterjemahkan sebagai “instrumen baru”. Dalam karya ini, Bacon menolak metodesilogisme aritoteles dalam mendukung prosedur alternatif yang oleh lambat dan kerja kerasyang setia mengumpulkan informasi dari hal – hal dan membawa ke dalam pemahaman.Metode ini dikenal sebagai induksi. Metode induktif dimulai dari pengamatan empiris danhasil untuk menurunkan aksioma atau proposisi. Dari aksioma yang lebih rendah yang lebihumum yang dapat diturunkan (dengan induksi). Menemukan penyebab alam yang fenomenalseperti panas, seseorang harus daftar semua situasi dimana panas yang ditemukan. Kemudiandaftar yang lain harus disusun, daftar situasi yang mirip dengan daftar pertama kecualikurangnya panas. Tabel ketiga situasi di mana panas dapat bervariasi. Bnetuk alam, ataumenyebabkan, harus panas yang umum bagi semua kasus di meja pertama, kurang dari semuacontoh tabel kedua dan bervariasi dengan gelar dalam contoh tabel ketiga

 

Munculnya Logika Modern

Perode yang mengikuti perkembangan penting dalam logika ketiga belas dan awalabad keempat belas awal abad kesembilan belas sebagian besar salah satu kemunduran dankalalaian, dan umumnya dianggap sebagai tandus oleh sejarawan logika. Kebangkitankembali logika yang terjadi pada pertengahan abad kesembilan belas, pada awal perioderevolusioner dengan subyek yang berkembang menjadi ketat dan disiplin yang formalistik teladan adalah metode pembuktian tepat digunakan dalam matematika. Perkembanganmodern yang disebut “simbolik” atau “matematika” logika selama periode ini adalah yang paling signifikan dalam dua ribu tahun sejarah logika, dan dibilang salah satu yang paling penting dan peristiwa – peristiwa luar biasa dalam sejarah intelektual manusia. Sejumlah fitur modern membedakan dari yang lama Aristoteles atau logika tradisional, yang paling pentingadalah sebagai berikut, Logika modern secara fundamental kalkulus aturan yang operasihanya ditentukan oleh bentuk dan bukan oleh arti dari simbol – simbol itu memperkerjakan,seperti dalam matematika. Banyak ahli logika terkesan oleh keberhasilan matematika didalam yang tidak ada perselisihan yang berkepanjangan tentang matematika dengan baik apapun hasilnya. Bahwa meskipun ada kesalahan dalam evaluasi integral tertentu olehLaplace menyebabkan kesalahan mengenai orbit bulan yang berlangsung selama hampir 50tahun, keselahan, sekali melihat, telah diperbaiki serius tanpa perselisihan. Peirce kontrasdengan perdebatan ini dan kepastian sekitarnya logika tradisional, dan khususnya penalarandalam metafisika. Dia berargumen bahwa yang benar – banar tepat logika akan tergantung pada matematika, yaitu diagram atau ikon pikir. Mereka yang mengikuti metode tersebutakan lolos semua kesalahan kecuali seperti akan segera diperbaiki setelah sekali dicurigai.Logika modern juga konstruktif daripada abstractive yaitu daripad meresmikan abstrak danteorema yang berasal dari bahasa biasa (atau dari intuisi psikologis tentang validitas) itukonstruksi teorema oleh metode formal, maka mencari penafsiran dalam bahasa biasa. Hal inisepenuhnya simbolik, yang berarti bahwa bahkan konstanta logis (medevial ahli logika yangdisebut ‘syncategoremata’) seperti halnya istilah categoric dinyatakan dalam simbol.Akhirnya, logika modern sangat menghindari psikologis, epistemologis, dan pertanyaanmetafisik.