Definisi umumnya logika adalah cabang filsafat yang bersifat praktis berpangkal pada penalaran, dan sekaligus juga sebagai dasar filsafat dan sebagai sarana ilmu. Dengan fungsi sebagai dasar filsafat dan sarana ilmu karena logika merupakan “jembatan penghubung” antara filsafat dan ilmu, yang secara terminologis logika didefinisikan: Teori tentang penyimpulan yang sah. Penyimpulan pada dasarnya bertitik tolak dari suatu pangkal-pikir tertentu, yang kemudian ditarik suatu kesimpulan[1]. Penyimpulan yang sah, artinya sesuai dengan pertimbangan akal dan runtut sehingga dapat dilacak kembali yang sekaligus juga benar, yang berarti dituntut kebenaran bentuk sesuai dengan isi.Dengan demikian, dapatlah dikatakan bahwa logika adalah suatu pertimbangan akal atau pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Sebagai ilmu, logika disebut logike episteme atau dalam bahasa latin disebut logica scientia yang berarti ilmu logika, namun sekarang lazim disebut dengan logika saja.; Rakhmat 2013).
Encyclopedia Britannica Logika adalah studi sistematik tentang sruktur proposisi dan syarat-syarat umum mengenai penalaran yang sahih dengan menggnkan metode yang mengesampingkan isi atau bahan psoposisi dan hanya membahas bentuk logisnya saja. perbedaan antara bentuk dan bahan ini diadakan apabila kita membedakan ketepatan logik (Logical Soundness) atau Kesahihan (validity) sebuah penalaran dengan kebenaran premis-premisnya, yang menjadi pangkal tolkanya
William S. Sahakian mengatakan bahwa logika adalah pengkajian untuk berpikir secara sahih, hakikat dari pengertian ini adalah untuk menegaskan bahwa logika harus dipahami lewat sebuah penalaran, karena sebuah penlaran akan dikatakan logis jika menggunkan konsep berpikir dalam logika. maka dengan demikian, dalam memahami logika terlebih dahulu harus dipahami apa itu penalaran.
Dari dua pengertian di atas, dapat disimpulkan bahwa logika merupakan sebuah ilmu pengetahuan dan keterampilan untuk berpikir lurus,18 dikatan demikian, karena sesungguhnya logika berhubungan dengan kegiatan pikir,19 namun kegitan pikir yang dimaksudkan adalah bukan berpikir yang asal-asalan, tetapi berpikir menurut hukum-hukum logika.
- SEJARAH
Yunani kuno
Logika dimulai sejak Thales (624 SM-548 SM), filosofi Yunani pertama yang meninggalkan segala dongeng, takhayul, dan cerita-cerita isapan jempol dan berpaling kepada akal budi untuk memecahkan rahasia alam semesta. Thales mengatakan bahwa air adalah arkhe (Yunani) yang berarti prinsip atau asas utama alam semesta. Saat itu Thales telah mengenalkan logika induktif. Aristoteles kemudian mengenalkan logika sebagai ilmu, yang kemudian disebut logica scientica. Aristoteles mengatakan bahwa Thales menarik kesimpulan bahwa air adalah arkhe alam semesta dengan alasan bahwa air adalah jiwa segala sesuatu. Dalam logika Thales, air adalah arkhe alam semesta, yang menurut Aristoteles disimpulkan dari; Air adalah jiwa tumbuh-tumbuhan (karena tanpa air tumbuhan mati); Air adalah jiwa hewan dan jiwa manusia; Air jugalah uap; Air jugalah es.Jadi, air adalah jiwa dari segala sesuatu, yang berarti, air adalah arkhe alam semesta. Sejak saat Thales sang filsuf mengenalkan pernyataannya, logika telah mulai dikembangkan. Pada masa Aristoteles logika masih disebut dengan analitica , yang secara khusus meneliti berbagai argumentasi yang berangkat dari proposisi yang benar, dan dialektika yang secara khusus meneliti argumentasi yang berangkat dari proposisi yang masih diragukan kebenarannya. Inti dari logika Aristoteles adalah silogisme.
Pada 370 SM – 288 SM Theophrastus, murid Aristoteles yang menjadi pemimpin Lyceum, melanjutkan pengembangn logika. Theoprastus, memberi sumbangan terbesar dalam logika ialah penafsirannya tentang pengertian yang mungkin dan juga tentang sebuah sifat asasi dari setiap kesimpulan. Kemudian, Porphyrius (233-306 M), seorang ahli pikir di Iskandariah menambahkan satu bagian baru dalam pelajaran logika. Bagian baru ini disebut Eisagoge, yakni sebagai pengantar Categorie. Dalam bagian baru ini dibahas lingkungan-lingkungan zat dan lingkungan-lingkungan sifat di dalam alam, yang biasa disebut dengan klasifikasi. Dengan demikian, logika menjadi tujuh bagian.Tokoh logika pada zaman Islam adalah Al-Farabi (873-950 M) yang terkenal mahir dalam bahasa Grik Tua, menyalin seluruh karya tulis Aristoteles dalam berbagai bidang ilmu dan karya tulis ahli-ahli pikir Grik lainnya. Al-Farabi menyalin dan memberi komentar atas tujuh bagian logika dan menambahkan satu bagian baru sehingga menjadi delapan bagian.
Karya Aristoteles tentang logika dalam buku Organon dikenal di dunia Barat selengkapnya ialah sesudah berlangsung penyalinan-penyalinan yang sangat luas dari sekian banyak ahli pikir Islam ke dalam bahasa Latin. Penyalinan-penyalinan yang luas itu membukakan masa dunia Barat kembali akan alam pikiran Grik Tua.Petrus Hispanus (meninggal 1277 M) menyusun pelajaran logika berbentuk sajak, seperti All-Akhdari dalam dunia Islam, dan bukunya itu menjadi buku dasar bagi pelajaran logika sampai abad ke-17. Petrus Hispanus inilah yang mula-mula mempergunakan berbagai nama untuk sistem penyimpulan yang sah dalam perkaitan bentuk silogisme kategorik dalam sebuah sajak. Dan kumpulan sajak Petrus Hispanus mengenai logika ini bernama Summulae.
Francis Bacon (1561-1626 M) melancarkan serangan sengketa terhadap logika dan menganjurkan penggunaan sistem induksi secara lebih luas. Serangan Bacon terhadap logika ini memperoleh sambutan hangat dari berbagai kalangan di Barat, kemudian perhatian lebih ditujukan kepada penggunaan sistem induksi.Pembaruan logika di Barat berikutnya disusul oleh lain-lain penulis di antaranya adalah Gottfried Wilhem von Leibniz. Ia menganjurkan penggantian pernyataan-pernyataan dengan simbol-simbol agar lebih umum sifatnya dan lebih mudah melakukan analisis. Demikian juga Leonard Euler, seorang ahli matematika dan logika Swiss melakukan pembahasan tentang term-term dengan menggunakan lingkaran-lingkaran untuk melukiskan hubungan antarterm yang terkenal dengan sebutan circle-Euler.
John Stuart Mill pada tahun 1843 mempertemukan sistem induksi dengan sistem deduksi. Setiap pangkal-pikir besar di dalam deduksi memerlukan induksi dan sebaliknya induksi memerlukan deduksi bagi penyusunan pikiran mengenai hasil-hasil eksperimen dan penyelidikan. Jadi, kedua-duanya bukan merupakan bagian-bagian yang saling terpisah, tetapi sebetulnya saling membantu. Mill sendiri merumuskan metode-metode bagi sistem induksi, terkenal dengan sebutan Four Methods.Logika Formal sesudah masa Mill lahirlah sekian banyak buku-buku baru dan ulasan-ulasan baru tentang logika. Dan sejak pertengahan abad ke-19 mulai lahir satu cabang baru yang disebut dengan Logika-Simbolik. Pelopor logika simbolik pada dasarnya sudah dimulai oleh Leibniz.[2]
Logika simbolik pertama dikembangkan oleh George Boole dan Augustus de Morgan. Boole secara sistematik dengan memakai simbol-simbol yang cukup luas dan metode analisis menurut matematika, dan Augustus De Morgan (1806-1871) merupakan seorang ahli matematika Inggris memberikan sumbangan besar kepada logika simbolik dengan pemikirannya tentang relasi dan negasi.
Tokoh logika simbolik yang lain ialah John Venn (1834-1923), ia berusaha menyempurnakan analisis logik dari Boole dengan merancang diagram lingkaran-lingkaran yang kini terkenal sebagai diagram Venn (Venn’s diagram) untuk menggambarkan hubungan-hubungan dan memeriksa sahnya penyimpulan dari silogisme. Untuk melukiskan hubungan merangkum atau menyisihkan di antara subjek dan predikat yang masing-masing dianggap sebagai himpunan.
Perkembangan logika simbolik mencapai puncaknya pada awal abad ke-20 dengan terbitnya 3 jilid karya tulis dua filsuf besar dari Inggris Alfred North Whitehead dan Bertrand Arthur William Russell berjudul Principia Mathematica (1910-1913) dengan jumlah 1992 halaman. Karya tulis Russell-Whitehead Principia Mathematica memberikan dorongan yang besar bagi pertumbuhan logika simbolik.
- METODE
Di Indonesia pada mulanya logika tidak pernah menjadi mata pelajaran pada perguruan-perguruan umum. Pelajaran logika cuma dijumpai pada pesantren-pesantren Islam dan perguruan-perguruan Islam dengan mempergunakan buku-buku berbahasa Arab. Pada masa sekarang ini logika di Indonesia sudah mulai berkembang sesuai perkembangan logika pada umumnya yang mendasarkan pada perkembangan teori himpunan.
Metode ilmu logika[3]
Ilmu logika mengunankan metode penalaran yang mana metode tersebut di bagi menjadi dua Ada model penalaran antara lain yakni, Induksi, Deduksi, Abduksi dan lain-lain. Adapaun induksi dan deduksi adalah dua model penalaran yang paling doninan digunakan dalam dunia ilmiah.
Induksi adalah proses penalaran atau penarikan kesimpulan dimana benar-tidaknya tesis (pernyataan/proses) ditentukan oleh pengalaman. Induksi bertolak dari observasi tentang objek-objek tertentu. Induksi bergerak dari
a. Seperangkat fakta yang diobservasi secara khusus
b. Ditarik pernyataan yang bersifat umum tentang akta dari seperangkat sebab tertentu menuju pada sebab akibat, atau sebaliknya.
Filusuf
pada zaman keemasan Yunani, Aristoteles menyatakan bahwa proses peningkatan
dari hal-hal yang bersifat individual kepada yang brsifat universal, disebut
sebagai pola penalaran induksi[4].
[1] Dr. H. Muhamad Rakhmat, PENGANTAR LOGIKA DASAR.
[2] Bertens, Ringkasan Sejarah Filsafat.
[3] “Pengantar Teori Teori Filsafat | Ferry Hidayat | download.”
blog hamdani 