Введение
Формальная ошибка, возникающая, когда в силлогизме содержится четыре (или более) термина. Ошибка четырех терминов (quaternio terminorum) — это формальная ошибка, возникающая, когда силлогизм имеет четыре (или более) термина вместо необходимых трех, что делает его недействительным.
The fallacy of four terms (quaternio terminorum) is the formal fallacy that occurs when a syllogism has four (or more) terms rather than the requisite three, rendering it invalid.
Уменьшающие условия
Иногда силогизм, который кажется ложным из-за использования более чем трех терминов, можно преобразовать в эквивалентный, истинный силогизм из трех терминов. Например:
Большая посылка: Никто из людей не бессмертен. Малая посылка: Все греки – люди. Заключение: Все греки смертны. Этот силогизм типа EAE 1, по-видимому, содержит пять терминов: "люди", "бессмертные", "греки", "люди" и "смертные". Однако его можно переписать в стандартной форме AAA 1, сначала заменив синонимичный термин "люди" на "люди", а затем сократив дополнительный термин "бессмертные" в первой посылке с помощью непосредственного умозаключения, известного как обверсия (то есть, утверждение "Никто из людей не бессмертен" эквивалентно утверждению "Все люди смертны").
Классификация
Ошибка четырех терминов – это логическая ошибка, относящаяся к силогизмам. К типам силогизмов, к которым она применима, относятся статистический силогизм, гипотетический силогизм и категорический силогизм, все из которых должны содержать ровно три термина. Поскольку она относится к форме аргумента, а не к его содержанию, она классифицируется как формальная ошибка. Двусмысленность среднего термина часто является причиной появления четвертого термина в силогизме; оба вышеупомянутых примера двусмысленности затрагивают средний термин силогизма. Следовательно, эта распространенная ошибка получила собственное название: ошибка неоднозначного среднего термина. Аргумент, допускающий ошибку неоднозначного среднего термина, стирает грань между формальными и неформальными (материальными) ошибками, однако обычно рассматривается как неформальная ошибка, поскольку форма аргумента выглядит валидной.