CEVAP:

İngiliz mantıkçı ve matematikçi George Boole (1815-1864) çağdaş matematiksel mantığın ortaya çıkmasını sağlayan düşünürlerden biridir. Mantık konusunda yayımlanan ilk çalışması 1847 tarihli 82 sayfalık Mantığın Matematik Çözümlemesi’dir. Boole, Leibniz’in yolundan giderek mantığın bir cebir olarak kurulabileceği yaklaşımını benimsemiştir. Boole aslında Aristoteles’in mantık sistemini eleştirerek yola çıkmamış, aksine, Aristoteles mantığının matematiksel yapısını ortaya çıkarmayı amaçlamıştır. Yine de sonuçta ulaştığı mantık sistemi Aristoteles mantığının yerini almıştır. Leibniz gibi Boole da etkin bir mantık sisteminin mantığın sayılar cebirine benzer bir sistem olarak kurulmasıyla gerçekleştirileceğini düşünmektedir.