sejarah singkat logika matematika

Dari awal peradaban manusia sebenarnya mereka telah menggunakan logika. Berfikir akan logis atau tidaknya suatu kejadian. Secara ilmu pengetahuan bagaimana perkembangan ilmu logika ini dari masa ke masa. Pertama dilihat dari masa Yunani Kuno.
Penggunaan rumusan logika dimulai sejak perioda ilmuwan filsuf Thales . Pada zaman ini telah digunakan prinsip penalaran secara induktif dalam menyimpulkan beberapa kejadian. Latar belakang kemunculan ini dikarenakan pada saat it banyak munculnya hal hal bersifat mitos dan takhayul. Namun pada periode ini belum dianggap sebagai ilmu logikanya. Baru sebatas menggunakan struktur dan kaedah kaedah tertentu. Selanjutnya baru di zaman Ariestoteles baru diperkenalkan
logika ini sebagai salah satu cabang ilmu (logica scientica). Pada masa ini logica juga belum menggunakan istilah logica, melainkan baru dikenal dengan istilah analitica. Pendalaman dari makna analitica ini sebagai penelitian dari semua pernyataan yang diragukan dengan berdasarkan pada pernyatan pernyataan yang telah pasti kebenarannya. Cara pengambilan keputusan akhir dari premis yang ada, menggunakan silogisme, inilah warisan Aristoteles yang hingga sekarang masih digunakan.
Pada saat tersebut Aristoteles menulis buku yang berjudul Oraganon yang memuat enam unsur dasar dar analitica. Pertama
cateogorie yang menjelaskan tantang pengertian umum. De Interpretatione yang membahas tentang keputusan keputusan,
Anlytica Posteriora mengenai pembuktian. Seri selanjutnya membahasa tentang Analytica Priora atau penggunaan hukum silogisme, selanjutnya ada topica yang membahas hal argumen dan metoda untuk berdebat. Terakhir baru De Sohisticis atau mengenai kesalahan atau kekeliruan dalam berfikir.
Penggunaan nama istilah logica ini baru dikenalkan pada masa Zeno. Kemudian penerapan secara sistematis baru dilakukan oleh Galenus dan Sextus Empiricus. Keduanya menerapkan logika dalam bidang geometri, sementaraitu mereka sebenarnya adalah ahli pengobatan.
Pada abad kesembilan, buku enam seri buku aristoteles di atas masi digunakan dalam mempelajari logika, baik secara filosofis ataupun matematis . Namun pada abad ini penyempurnaan logika dilakukan oleh Thomas Aquinas. Pada abad ini juga lah hadir tokoh logika modern seperti Petrus Hispanus, Roger Bacon, Raymundus Lullus dan William Ocham. Pengembangan akan sistematis analitica tersebut dikembangkan dengan versi modern.
Namun sementara itu Thomas Hobbes masih meneruskan prinsip dasar yang digariskan oleh Aristoteles secara murni. Perkembangan logika
selanjutnya menghadirkan logika dalam bentuk simbolis. Dalam logika ini premis premis lebih disederhanakan dalam bentuk simbol, bertujuan agar lebih memudahkan dalam mencapai kesimpulan akhir. Beberapa tokoh yang menjadi penggagas logika ini seperti George Boole, John Venn (terkenal dengan diagram Venn), Leibniz yang terkenal dengan karyanya Ars Magna yang berisi tentang penggabungan logika dan aljabar, Gottlob Frege.Terakhir tokoh yang populer dalam logika pada masa abad pertengahan ini adalah Chares Sanders Peirce. Dia memperkenalkan dalil Peirce /Peirce’s Law . Dalam dalil tersebut logika diterjemahkan sebagai teori umum tentang simbol (general theory of signs). Pierce sendiri merupakan seorang ahli filsafat yang pernah menjadi guru besar di John Hopkins University (marthayunanda).