Силлогизм
Фундаментальная логическая форма Аристотеля — это силлогизм: вывод, полученный из двух посылок. Классический пример: Все люди смертны. Сократ — человек. Следовательно, Сократ смертен. Правильный силлогизм гарантирует, что если посылки истинны, то и вывод должен быть истинным. Аристотель определил более 200 правильных форм силлогизма и классифицировал их по фигурам.
Категории
В своей работе «Категории» Аристотель утверждал, что все, что можно сказать о реальности, подпадает под десять фундаментальных категорий: сущность, количество, качество, отношение, место, время, положение, состояние, действие и страдание. Эта онтологическая система классификации бытия веками влияла на средневековую философию, христианское богословие и исламскую философию.
Закон непротиворечия
Аристотель сформулировал закон непротиворечия: ничто не может одновременно быть и не быть в одном и том же отношении. Этот основополагающий принцип — «А не может быть одновременно А и не-А» — является фундаментом логического рассуждения и классической математики.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Влияние логики Аристотеля
Средневековые европейские университеты преподавали логику Аристотеля как основу всех академических исследований. Исламские ученые, включая Авиценну и Аверроэса, передали и расширили ее. Фома Аквинский синтезировал ее с христианским богословием. Она была вытеснена лишь в XIX веке, когда Джордж Буль свел логику к алгебре, а Готлоб Фреге разработал предикатную логику, способную справляться с математическими доказательствами, с которыми не справлялись силлогизмы.
Часто задаваемые вопросы
Что такое силлогизм?
Силлогизм — это логический аргумент, состоящий из трех частей: две посылки ведут к выводу. Если посылки истинны, а аргумент верен, вывод должен быть истинным. Пример: Все люди смертны; Сократ — человек; следовательно, Сократ смертен.
Изобрел ли Аристотель логику?
Аристотель изобрел формальную логику — систематическое изучение правил правильного рассуждения. Хотя досократические философы и Платон использовали логические аргументы, Аристотель был первым, кто кодифицировал и классифицировал формы правильного вывода.
Почему логика Аристотеля была заменена?
В XIX веке Джордж Буль свел логику к алгебраическим операциям, а Готлоб Фреге разработал предикатную логику — более мощную систему, способную обрабатывать сложную квантификацию, необходимую для математических доказательств. Силлогистическая логика Аристотеля является частным случаем современной формальной логики.