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

В этой главе будет рассмотрена тема Формальной Логики (ФЛ). Мы рассмотрим понятие “понятия” с точки зрения ФЛ и ДЛ; понятие абстрактного и конкретного с точки зрения ФЛ и ДЛ; Что такое суждение и умозаключение; Виды индукции; О причинной связи явлений; Что такое аналогия; Имплицитное и эксплицитное знание; Основные формы и законы формальной логики; Понятие о логическом законе; Четыре закона ФЛ; Классическая и современная ФЛ; И значение логических законов. В конце задачи по формальной логике. Предыдущая...