Bu eser, sembolik mantığın 1847-1950 yılları arasındaki tarihsel gelişimini
akademik bir perspektifle ele almaktadır. George Boole’un mantığı
cebirselleştirme girişiminden Alan Turing’in hesaplanabilirlik teorisine
uzanan bu yüz yıllık süreç, mantığın felsefi bir disiplinden matematiksel
ve biçimsel bir bilim dalına dönüşümünü temsil eder. Kitap, dört
temel dönüşüm evresi üzerinden ilerlemektedir: Cebirselleşme Dönemi
(1847-1880), Yüklemler Mantığı Dönemi (1879-1921 ...