История математической логики

История математической логики

ЭТАПЫ РАЗВИТИЯ ЛОГИКИ Аристотель Рене Декарт Лейбниц Джордж Буль Последующее развитие логики

АРИСТОТЕЛЬ (384-322 ГГ. ДО Н.Э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ КНИГИ: «КАТЕГОРИИ» «ПЕРВАЯ АНАЛИТИКА» «ВТОРАЯ АНАЛИТИКА» ИССЛЕДОВАЛ РАЗЛИЧНЫЕ ФОРМЫ РАССУЖДЕНИЙ , ВВЕЛ ПОНЯТИЕ СИЛЛОГИЗМА

Декарт Рене (1596-1650, фр. Философ, математик) РЕКОМЕНДОВАЛ В ЛОГИКЕ ИСПОЛЬЗОВАТЬ МАТЕМАТИЧЕСКИЕ МЕТОДЫ

Лейбниц Готфрид Вильгельм (1646-1716, нем. ученый и математик) ПРЕДЛОЖИЛ ИСПОЛЬЗОВАТЬ В ЛОГИКЕ МАТЕМАТИЧЕСКУЮ СИМВОЛИКУ И ВПЕРВЫЕ ВЫСКАЗАЛ МЫСЛЬ О ВОЗМОЖНОСТИ ПРИМЕНЕНИЯ В НЕЙ ДВОИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ.

Джордж Буль (1815-1864) - основоположник математической логики СОЗДАЛ БУЛЕВУ АЛГЕБРУ - ОДИН ИЗ РАЗДЕЛОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. РАЗРАБОТАЛ СВОЙ АЛФАВИТ, ОРФОГРАИЮ И ГРАММАТИКУ

ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТЕМАТИЧЕСКОЙ ЛОГИКИ АВГУСТ ДЕ МОРГАН (1806 - 1871) – ВЫВЕЛ ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ УИЛЬЯМ СТЕНЛИ ДЖЕВОНС (1835 - 1882) - ПОСТРОИЛ «ЛОГИЧЕСКИЕ СЧЕТЫ» И ЛОГИЧЕСКУЮ МАШИНУ ПЛАТОН СЕРГЕЕВИЧ ПОРЕЦКИЙ (1846-1907) – РУССКИЙ ЛОГИК, ОДИН ИЗ СОЗДАТЕЛЕЙ МЕТОДОВ МАТЕМАТИЧЕСКОЙ ЛОГИКИ ЧАРЛЗ САНДЕРС ПИРС (1839-1914) – АМЕРИКАНСКИЙ ЛОГИК, РОДОНАЧАЛЬНИК ПРАГМАТИЗМА КЛОД ШЕННОН (1938-2001) – ОПИСАНИЕ РЕЛЕЙНО-КОНТАКТНЫХ И ЭЛЕКТРОННО-ЛАМПОВЫХ СХЕМ.