Хронология логики

  • Period: 600 BCE to 1500

    Логика Древней Индии и Китая

    Формальная логика возникла независимо и продолжала развиваться до Нового времени без влияния древнегреческой логики. Медхатитхи Гаутама основал школу логики анвикшики Махабхарата около V в до н э ссылается на школы логики анвикшики
    В Китае Мо-цзы, современник Конфуция, основал философскую школу моизма, предписания которой освещали правила вывода и условия правильных умозаключений. В частности, одна из школ на базе моизма — рассматривается некоторыми учёными как раннее исследование форм. логики
  • 380 BCE

    Ещё не логика Платона

    Ещё не логика Платона
    Из дошедших до нас сочинений знаменитого философа Платона (428—347) ни одно не относится к формальной логике, но они содержат важный вклад в развитие философской логики. Платон ставит три вопроса:
    Что собственно можно считать истиной и ложью?
    Какова природа связи между посылками в рассуждениях и заключениями?
    Какова сущность понятий?
  • 350 BCE

    Логика Аристотеля

    Логика Аристотеля
    Логика Аристотеля, в частности его теория силлогизма, имела огромное влияние на западную мысль. Его указывают родоначальником логики как дисциплины. Его труды по логике, называемые Органон, представляют самое раннее исследование формальной логики и началом традиции, преемственность которой прослеживается до современности. Эти труды имеют выдающееся значение для истории логики. Аристотель был первым логиком, который попытался провести системный анализ логического синтаксиса.
  • 900

    Исламская логика

    Исламская логика
    По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.).
  • 1350

    Расцвет логики в Европе

    Расцвет логики в Европе
    Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
  • Period: to

    Логика Эпохи Возрождения и Нового времени

    Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, Суть Индукции (Обобщения) в том, что знания нужно возводить в принципы. Также необходимо искать причину своих ошибок.
    В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
    Разработанная концепция диалектической логики была развита классиками марксистско-ленинской философии.
  • Логика начала 20 века

    Логика начала 20 века
    В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Именно использование символической логики отличает современную логическую науку от традиционной.
    Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс .. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
  • Логика в школе

    В 80-е годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения и разработка учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.