Apakah kalian pernah mendengar mengenai Aristotelas? Siapakah dia? Aristoteles adalah filosof besar pada abad 4 SM. Aristoteles dilahirkan di Stragira 384 SM. Untuk menyelesaikan pendidikannya Aristoteles pergi ke Athena dan menetap disana selama 20 tahun sebagai murid Plato.sepeninggal Plato ia mendirika sekolah di Assus. Salah satu karya Aristoteles adalah logika yang banyak berisi: pengertian, keputusan, pembuktian silogisme dan lain-lain. Inti ajaran Aristoteles mengenai logika adalah Sillogismus, yaitu keputusan kedua yang tersusun sedemikian hingga melahirkan keputusan yang ketiga. Logika yang dikemukakan oleh Aristoteles dikenal sebagai logika tradisional, yang menjadi tonggak pemikiran logika.
Perkembangan selanjutnya terjadi pada abad ke-18 Masehi, G. W. Leibniz, seorang ahli matematika berkebangsaan Jerman, pertama kali mempelajari logika simbolik. Ahli matematika lainya yang berjasa dalam perkembangan logika simbolik adalah George Boole, Leonard Euler, John Venn, dan Bertrand Russel.
Tidak ada komentar:
Posting Komentar