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

4 закона логики, или так называемые "основные принципы мышления", играют ключевую роль в философии и логике. Эти законы признаны универсальными и неизменными, и обязательны для любого формального и интуитивного мышления. . Закон тождества Закон тождества является одним из основных принципов логики, который утверждает, что каждое высказывание истинно (равно самому себе). Другими словами, если что-то равно самому себе, то оно истинно. Этот закон является основополагающим принципом в философии, математике и логике...