Несколько математиков в середине 1800-х годов работали над формальным определением логики (среди них особо выделялся Огастес де Морган). Однако именно Буль совершил настоящий концептуальный прорыв: сначала в короткой книге «Математический анализ логики, или Очерк исчисления дедуктивных умозаключений» (1847), затем в гораздо более объемном и амбициозном произведении «Исследование законов мышления, на которых основаны математические теории логики и вероятностей» (1854), которое кратко также называется «Исследование законов мышления». Буль умер в 1864 году в возрасте 49 лет от пневмонии, которую он подхватил, попав под дождь по дороге на лекцию...

Интеллектуальную деятельность, мышление изучают многие науки, в частности: психология, эпистемология, психолингвистика. Среди всех таких наук логика занимает особое место. В ней, в отличие от других наук, законы мышления изучаются со стороны формы мыслей, а не их содержания. Логика изучает такие формы мысли, а также их вербальные, символьные (знаковые) представления, которые находятся в корректном отношении (истинности, случайности, возможности, необходимости и т. д.) к положению дел в реальном мире,...