Баралиптон

В аристотелевской логике, Баралиптон - это мнемоническое слово для обозначения формы силлогизма. В частности, первые два суждения являются универсальными утвердительными (A ), а третье (заключение) - частными утвердительными (I ) - следовательно, B ARALIPTON. Аргумент также находится в Первом Рисунке (средний термин является субъектом первой посылки и сказуемым второй посылкой), и поэтому его можно найти в первой части полной мнемонической поэмы.

В общем случае:

Все M равно P

Все S равно M

Следовательно, некоторые P равны S.

Для Например,

следует бояться всякого зла.

Всякая жестокая страсть - это зло.

Следовательно, следует бояться любой неистовой страсти.

В традиционном аристотелевском языке логика, Баралиптон - это просто ослабленная форма Барбара (где вывод также универсально утвердительный: все S суть P ).

Согласно современной логике, Баралиптон допускает экзистенциальную ошибку.

.