Главная задача логики

Выявить какие способы рассуждений правильные, а какие нет. Т.е. получить истинное значение о предмете размышления

Основоположник Логики

Основоположником логики является Аристотель древнегреческий мыслитель.

Именно Аристотель подверг анализу человеческое мышление. Так возникла формальная логика – наука, изучающая логические операции и правила человеческого мышления, имеющая дело только с формой понятий.

Логика в комбинаторике

в 17 веке появилась идея разделения логики и естественного языка. Готфрид Вильгельм Лейбниц (1646-1716 гг.) предложил использовать математическую символику в логике и при построении логических исчислений в своей работе «Искусство комбинаторики», тем самым заложил основы символьной логики.

Символы в логике

Идеи применения символического метода к логике впервые высказаны Джорджем Булем (1815 – 1864 гг.) в статье «Математический анализ логики» (1847). В 1854 году он опубликовал трактат «Исследование законов мышления, на которых основываются математические теории логики и вероятности». Независимо от него исследованием логики занимался Огастес де Морган (1806 - 1871 гг.) в своей работе «Формальная логика», опубликованной в 1847 году, он изложил элементы логики высказываний и основы алгебры отношений

Первая логическая вычислительная машина

В 1866 году Уильям Стенли Джевонс создал «Логическое фортепиано» — машина, позволяющая механически выводить заключения из поставленных посылок.

​Логика в технике

В начале XX века Пауль Эренфест (1880 - 1933 гг.) указал на возможность применения аппарата булевой алгебры в телефонной связи для описания переключательных цепей. В 1938-1940 г. почти одновременно появились работы советского ученого Шестакова, американского ученого Шеннона и японских ученых Накасимы и Хакадзавы о применении алгебры логики в цифровой технике. Аппарат алгебры логики играет важную роль в развитии современной микропроцессорной техники: он используется в проектировании аппаратных вычислительных средств, в разработке всех языков программирования и в конструировании дискретных устройств автоматики.