CEVAP:

Modern dönem düşünürleri arasında, biçimsel mantık çalışmalarının yeniden hız kazanmasına en büyük katkıyı sağlayan aynı zamanda bir matematikçi olan Gottfried Wilhelm Leibniz’dir (1646-1716). Leibniz’in ardından gelen Bernard Bolzano’nun (1781-1848) çalışması çağdaş mantığın dayandığı pek çok kavramın açık tanımlarını içermesi bakımından dikkat çekicidir. Thomas Hobbes (1588-1679), mantık kavramlarını daha sonra da gündeme gelecek uylaşımcı bir anlayışla ele alması bakımından önemlidir. John Stuart Mill (1806-1873) tümevarımlı mantık çalışmaları ile dikkat çekmektedir. Mantıkta cebir geleneğinin kurucusu ise George Boole'dur (1815-1864).