Sejarah Logika Matematika
 |
| sejarah-logika-matematika-aristoteles |
Logika muncul bersama dengan filsafat. Itu tidak berarti logika berdiri sendiri sebagai satu disiplin di samping filsafat melainkan bahwa dalam filsafat Barat – sudah nyata pemikiran yang logis. Untuk menetapkan dengan pasti kapan “hari lahir” logika tidak mungkin. Umumnya diterima bahwa orang pertama yang melakukan pemikiran sistematis tentang logika adalah filsuf besar Yunani Aristoteles (384-322 M). Menarik, karena Aristoteles sendiri tidak menggunakan istilah “logika”. Apa yang sekarang kita kenal sebagai logika, oleh Aristoteles dinamakan “Analitika” – penyelidikan terhadap argumentasi-argumentasi yang bertitik-tolak dari putusan-putusan yang benar – dan “Dialektika” – penyelidikan terhadap argumentasi-argumentasi yang bertitik-tolak dari putusan-putusan yang masih diragukan.
“Logika” bagi Aristoteles dan para pengikutnya tidak dikategorikan sebagai satu ilmu di antara ilmu-ilmu yang lain. Menurut Aristoteles “logika” adalah persiapan yang mendahului ilmu-ilmu. Atau dapat dikatakan bahwa “logika” adalah alat (organon) untuk mempraktikkan ilmu pengetahuan.
Orang pertama yang menggunakan istilah “logika” adalah Cicero (abad pertama sebelum Masehi) tetapi dalam pengertian “seni berdebat”. Di kemudian hari, yakni pada permulaan abad ketiga masehi, Alexander Aphrodisias menggunakan istilah “logika” dengan arti yang dikenal sekarang. Sampai berabad-abad lamanya pembicaraan mengenai logika tidak mengalami perkembangan melainkan masih tetap sama seperti pada waktu Aristoteles. Immanuel Kant (Abad XVIII) mengatakan logika tidak mengalami perkembangan. Akan tetapi pada pertengahan abad XIX logika mengalami perkembangan karena ada usaha dari beberapa tokoh yang mencoba menerapkan matematika ke dalam logika. Gejala itu kini dikenal sebagai saat munculnya logika modern. Sejak saat itu logika dibedakan menjadi logika tradisional/klasik dan logika modern yang lazim dikenal sebagai logika matematika/simbolik.
Logika tradisional/klasik adalah sistem ciptaan Aristoteles yang berfungsi untuk menganalisa bahasa. Sedangkan logika modern berusaha menerapkan prinsip-prinsip matematik terhadap logika tradisional dengan menggunakan lambang-lambang non-bahasa. Dengan demikian keduanya berkaitan erat satu dengan yang lain. Oleh karena itu memahami kedua macam logika dengan baik merupakan bantuan yang sangat besar dalam berpikir yang teratur, tepat, dan teliti.
Logika modern dirintis oleh orang-orang Inggris, antara lain A. de Morgan (1806 – 1871), George Boole (1815 – 1864), dan mencapai puncaknya dengan karya besar A. N. Whitehead dan Bertrand Russel “Principia Mathematica”.
