Modus ponens — «утверждающий способ». Логическая форма: если А → Б, и А истинно, то Б истинно. Один из пяти базовых несовершенных силлогизмов Хрисиппа.
Стоики были первыми систематическими логиками пропозиций. Хрисипп разработал логику высказываний за два тысячелетия до современной формальной логики.
Modus ponens в практике: если принцип верен — и условие выполнено — вывод обязателен. Это и есть recta ratio в действии: правильное рассуждение, ведущее к неизбежному выводу.
Ars dialectica: умение строить modus ponens — основа честного мышления. Ошибки часто скрываются именно здесь: кажущаяся логика без настоящего modus ponens.
Практический пример: ты делаешь вывод. Modus ponens: проверь — верна ли посылка А? Верна ли связь А → Б? Если оба элемента проверены — вывод Б обязателен.