Consequentia mirabilis — удивительное следствие — схоластическое название для особой логической формы: если из «А» следует «не-А», то «не-А» истинно независимо от истинности «А». Иначе: если отрицание утверждения влечёт его самого — утверждение истинно самообосновывающимся образом.
Джероламо Кардано в XVI веке назвал это «mirabilis» — удивительным — потому что кажется парадоксом, но является формально корректным выводом.
Хрисипп был известен как мастер логических парадоксов — sophismata — именно потому, что они обнажали скрытые предположения обыденных рассуждений. Лжец («Я лгу»): если истинно, то ложно; если ложно, то истинно. Consequentia mirabilis в чистом виде.
Стоики использовали парадоксы не для конфуза, а для диагностики. Там, где рассуждение приводит к consequentiae mirabili — нужно проверить исходные предположения.
Практически: если твоё рассуждение приводит к выводу, который разрушает его собственные посылки — это сигнал. Где ошибка? Consequentia mirabilis как будильник для recta ratione.