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

Аристотель, внук легендарного врача  Асклепия, родился  в  г.Стагира (второе  имя - Стагирит) в 384 г.  до н.э. Обучался в академии Платона, был дружен с царем Филиппом, обучал логике его сына Александра Македонского. Впервые  ввел  в  логику законы и правила, основал силлогистику, т.е.создал логику. Смерть Аристотеля датируется 322 г до н.э.

Декарт Рене (1596 -1650) - французский философ, математик. Рекомендовал в логике использовать математические методы.

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

Великий русский и швейцарский ученый Леонард  Эйлер (1707-1783)  с 1727г.  по 1741г.  работал в России. С 1766г. был избран академиком Петербургской АН. Ученый необычайной широты интересов. Автор свыше 800 работ  по  математике, физике, небесной  механике, оптике, баллистике, кораблестроению, теории музыки. Предложил так называемые круги Эйлера, ставшие основой формальной силлогистики.

Основоположником математической  логики  считается  Джордж Буль (1815-1864), английский математик, отец всемирно известной писательницы Этель Лилиан Войнич (роман "Овод").

)Клод Элвуд Шеннон (Shannon) (1916 — 2001) — американский инженер и математик. Человек, которого называют отцом современных теорий информации и связи. В 1938 году защитил докторскую диссертацию, в которой разработал принципы логического устройства компьютера, соединив булеву алгебру с работой электрических схем. Эта работа стала поворотным пунктом в истории развития современной информатики и вычислительной техники.