Силлогизм
Силлогизм - это дедукция. Это вид логического аргумента, в котором одно предложение (заключение) выводится из двух или более других (посылок). Эта идея является изобретением Аристотеля.
В "Предварительной аналитике" Аристотель определяет силлогизм как "рассуждение, в котором, когда предполагаются определенные вещи, с необходимостью вытекает нечто отличное от предполагаемых вещей, потому что эти вещи таковы". (24b18-20)
В каждом предложении должна присутствовать какая-либо форма глагола "быть". Категорический силлогизм похож на маленькую машину, состоящую из трех частей: главной посылки, второстепенной посылки и заключения. Каждая из этих частей является предложением, и на основе первых двух определяется "истинностное значение" третьей части.
Примеры
Основная предпосылка: все люди смертны.
Основная предпосылка: все греки - мужчины.
Заключение: Все греки смертны.
Каждый из трех отдельных терминов представляет собой категорию. В приведенном выше примере: "люди", "смертные" и "греки". "Смертные" - главный термин; "греки" - второстепенный термин. Предпосылки также имеют один общий термин, который известен как средний термин; в данном примере - "человек". Обе предпосылки универсальны, как и заключение.
Основная предпосылка: все смертные умирают.
Основная предпосылка: некоторые мужчины - смертные.
Заключение: Некоторые мужчины умирают.
Здесь главный термин - "умереть", второстепенный - "люди", а средний - "смертные". Главная посылка универсальна, а второстепенная посылка и заключение конкретны. Аристотель изучал различные силлогизмы и определил достоверные силлогизмы как силлогизмы, в которых заключение истинно, если обе посылки истинны. Приведенные выше примеры являются действительными силлогизмами.
Соритс - это форма аргументации, в которой серия неполных силлогизмов построена таким образом, что предикат каждой посылки образует субъект следующей, пока субъект первой не соединится с предикатом последней в заключении. Например, если утверждать, что данное количество песчинок не образует кучу и что дополнительная песчинка тоже не образует кучу, то вывод о том, что никакое дополнительное количество песка не образует кучу, является построением аргумента sorites.
Логика сегодня
Силлогизм был заменен логикой первого порядка после работы Готтлоба Фреге, опубликованной в 1879 году. Эта логика подходит для математики, компьютеров, лингвистики и других предметов, поскольку в ней вместо предложений используются числа (квантифицированные переменные).
Вопросы и ответы
В: Что такое силлогизм?
О: Силлогизм - это вид логического аргумента, в котором заключение выводится из двух или более посылок.
В: Кто придумал идею силлогизма?
О: Идею силлогизма придумал Аристотель.
В: Как Аристотель определяет силлогизм?
О: В "Предварительной аналитике" Аристотель определяет силлогизм как "рассуждение, в котором, если предполагаются определенные вещи, то с необходимостью вытекает нечто отличное от предполагаемых вещей, поскольку эти вещи таковы".
В: Сколько посылок требуется в силлогизме?
О: В силлогизме требуется две или более посылок.
В: Что должно входить в каждую пропозицию силлогизма?
О: В каждой пропозиции должна присутствовать какая-либо форма глагола 'to be'.
В: Что такое категорический силлогизм?
О: Категорический силлогизм похож на маленькую машину, состоящую из трех частей: главной посылки, второстепенной посылки и заключения.
В: Как определяется "истинностное значение" третьей части категорического силлогизма?
О: "Истинностное значение" третьей части категорического силлогизма определяется на основании первых двух посылок.
