Формальная логика - одна из фундаментальных дисциплин, лежащих в основе науки, права, философии и даже современных информационных технологий. Однако её появление не было мгновенным озарением. До того как логика обрела строгую форму, рассуждения в Древней Греции носили преимущественно риторический или диалектический характер. Прорыв произошёл в IV веке до н.э., когда Аристотель впервые систематизировал правила мышления.
Формальная логика до Аристотеля: Платон и Сократ.
В V–IV веках до н.э. в Древней Греции активно развивалась философская мысль. Софисты, странствующие учителя красноречия, обучали искусству убеждения, часто игнорируя истинность утверждений. Их подход вызывал критику: например, Платон в своих диалогах неоднократно высмеивал софистов за подмену истины внешним блеском речи.
Сократ, учитель Платона, предложил метод эленхоса. Эленхос - способ поставить собеседника в ситуацию, когда он вынужден отказаться от утверждения, высказанного в начале. Этот метод способствовал прояснению понятий, но не давал универсальных правил построения умозаключений.
Аристотель: зарождение формальной логики в привычном понимании
Аристотель (384–322 гг. до н.э.), ученик Платона и основатель Ликея, стал первым философом, который выделил логику как отдельную область знания. В своих трактатах он заложил основы того, что сегодня называется традиционной или аристотелевой логикой.
Центральным элементом его системы стал силлогизм - термин, который в традиционной формальной логике означает дедуктивное умозаключение, в котором из двух ранее установленных суждений (посылок) получается третье суждение (вывод). Например:
- Дикие животные опасны. (первая посылка)
- Белый медведь - дикое животное. (вторая посылка)
- Белый медведь опасен. (вывод)
Аристотель классифицировал силлогизмы по фигурам и модусам, выделив 19 конкретных форм из возможных комбинаций. Он также ввёл ключевые понятия: "понятие", "умозаключение" и "суждение".
На протяжении почти двух тысячелетий аристотелева логика оставалась доминирующей в философии. Её изучали в средневековых университетах, комментировали и использовали как основу богословских доказательств.
Для чего логика нужна сегодня?
Понимание основ формальной логики помогает распознавать ошибки в спорах и развивает критическое мышление. Человек, постигший основы, сможет отличать ложь от правды и избегать логических ошибках, а так же находить их у других. Например, распространённая логическая ошибка - подмаена понятия была описана ещё Аристотелем в трактате «О софистических опровержениях».
Кроме этого, многие принципы программирования, базы данных и алгоритмы строятся на логических операциях, открытых еще древнегреческими философами.