The Syllogism
Фундаментальная логическая форма Аристотеля — силлогизм: вывод, полученный из двух предположений. Классический пример: все люди смертны. Сократ — это человек. Следовательно, Сократ смертен. Корректный силлогизм гарантирует, что если предположения истинны, вывод должен быть истинным. Аристотель выделил более 200 валидных силлогистических форм и классифицировал их по фигурам.
The Categories
В своем труде Categories Аристотель утверждал, что всё, что можно сказать о реальности, укладывается в десять фундаментальных категорий: субстанция, количество, качество, отношение, место, время, положение, состояние, действие и страдание. Эта онтологическая система — классификация всего сущего — влияла на средневековую философию, христианскую теологию и исламскую философию на протяжении столетий.
Закон непротиворечия
Аристотель сформулировал закон непротиворечия: ничто не может одновременно быть и не быть в одном и том же отношении. Это фундаментальное начало — «А не может быть одновременно А и не-А» — это фундамент логического рассуждения и классической математики.
Влияние аристотелевой логики
Средневековые европейские университеты преподавали аристотелеву логику как основу всех академических дисциплин. Исламские учёные, включая Avicenna и Averroes, передавали и развивали её. Thomas Aquinas синтезировал её с христианской теологией. Её вытеснили только в XIX веке, когда George Boole свел логику к алгебре, а Gottlob Frege развил предикатную логику, способную работать с математическими доказательствами, которые силлогизмы не могли обработать.
Frequently Asked Questions
Что такое силлогизм?
Силлогизм — это трехчастный логический аргумент: два предположения ведут к выводу. Если предположения верны и аргумент логически корректен, вывод должен быть истинным. Пример: все люди смертны; Сократ — это человек; следовательно, Сократ смертен.
Аристотель изобрел логику?
Аристотель изобрел формальную логику — систематическое изучение правил корректного рассуждения. Хотя досократики и Платон использовали логические аргументы, Аристотель первым кодифицировал и классифицировал формы валидных умозаключений.
Почему аристотелева логика была вытеснена?
В XIX веке George Boole сократил логику до алгебраических операций, а Gottlob Frege развил предикатную логику — более мощную систему, способную работать со сложной квантификацией, необходимой для математических доказательств. Аристотелева силлогистическая логика — частный случай в современной формальной логике.