Формальная логика (математическая логика) является важнейшей основой функционирования современных компьютеров. Мы используем законы формальной логики, когда делаем запрос на поиск информации в Интернете или базе данных или когда анализируем правильность математического вывода.
Многие элементы компьютеров проектируются и работают на основе законов формальной логики. Её общепризнанным создателем является английский математик Джордж Буль (1815 – 1864).
До работ Буля логика всегда считалась одним из разделов философии. Основы логики, как науки о законах и формах мышления, были заложены ещё в работах Аристотеля в 384 г. до н.э. Аристотель ввёл понятие силлогизма, сделав важный шаг в разработке логической дедукции и формализации логических рассуждений.
Когда мы говорим о формальной логике, то имеем в виду, что анализируется правильность формы высказываний и умозаключений, а не их конкретное содержание. Достижения Аристотеля в области логики не претерпели существенных изменений вплоть до XVII века. Впервые идеи обоснования логики на основе вычислений, подобно тому как мы оперируем символами в алгебре, были высказаны ещё в XVII веке Готфридом Лейбницем.
Идеи Лейбница реализовал в своих работах Дж. Буль. В 1847 г. он опубликовал работу "Математический анализ логики", в которой высказал идею, что логика более близка к математике, чем к философии. Эта работа была чрезвычайно высоко оценена английским математиком Августом Де Морганом,