ЛОГИКА (от logos рассуждение) - наука о законах мышления, которое состоит в образовании понятий, суждений и умозаключений.
Этап 1
Аристотель. Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления.
АРИСТОТЕЛЬ (лат. Aristotle) ( 384-322г. до н. э.), древнегреческий ученый, философ
Этап 2
Появление математической или символической логики. Основы ее заложил немецкий ученый Готфрид Вильгельм Лейбниц. Он сделал попытку заменить простые рассуждения действиями со знаками.
Готфрид Вильгельм Лейбниц (1646-1716) немецкий философ, математик, физик, языковед.
Этап 3
Окончательно развил эту идею англичанин Джордж Буль, он явился основоположником математической логики. В его работах логика приобрела свой алфавит, орфографию и грамматику. Начальный раздел математической логики назвали алгеброй логики или Булевой алгеброй.
Джордж Буль (1815-1864). Английский математик и логик.
Джордж фон Нейман в основу работы компьютера заложил математематический аппарат, использующий законы математической логики.
Джон фон Нейман (von Neumann) (1903 — 1957) — американский математик. Внес большой вклад в создание первых ЭВМ и разработку методов их применения.