(народився 2 листопада 1815, Лінкольн, Лінкольншир, Англія — помер 8 грудня 1864, Баллінтемпл, графство Корк, Ірландія) — англійський математик, який допоміг створити сучасну символічну логіку та чия алгебра логіки, яка тепер називається булевою алгеброю, є основою для проектування цифрових комп'ютерних схем.
Джузеппе Пеано (народився 27 серпня 1858, Кунео, Королівство Сардинія [Італія] — помер 20 квітня 1932, Турин, Італія) — італійський математик і засновник символічної логіки, інтереси якого зосереджувалися на основах математики та розвитку формальна логічна мова.
Аристотель: Батько логіки (найвидатніші грецькі філософи)
Більшість основних символів логіки та теорії множин, які використовуються сьогодні, були введені між 1880 і 1920 роками. Основними авторами були Ернст Шредер (1841-1902), Джузеппе Пеано (1858-1932), Альфред Норт Уайтхед (1861-1947) і Бертран Рассел (1872-1970).
Майже весь прогрес у символічній логіці в першій половині 20 століття був досягнутий за допомогою теорій множин і екстенсіональної логіки і, таким чином, в основному спирався на роботи Пірс, Шредер, Пеано та Георг Кантор.
Джордж Буль Джордж Буль (народився 2 листопада 1815, Лінкольн, Лінкольншир, Англія — помер 8 грудня 1864, Баллінтемпл, графство Корк, Ірландія) — англійський математик, який допоміг створити сучасну символічну логіку та чия алгебра логіки, яка тепер називається булевою алгеброю, є основою для проектування цифрових комп'ютерних схем.