Понимание рассуждений Fortiori: руководство по логическим выводам

Fortiori (лат. «более сильный») — логический термин, используемый для описания типа аргумента, который предполагает получение заключения на основе сравнения двух посылок. Вывод делается на основе более сильной из двух посылок.

Другими словами, рассуждение fortiori основано на идее, что если одна посылка истинна, то и другая посылка также должна быть истинной, поскольку она более сильная или с большей вероятностью будет истинной. . Этот тип рассуждений часто используется при логических умозаключениях и выводах.

Например, рассмотрим следующий аргумент:

Посылка 1: Если на улице солнечно, то трава будет сухой.
Посылка 2: Трава мокрая.
Вывод: Следовательно, , должно быть, шёл дождь.

В этом случае вывод логически следует из посылок, поскольку первая посылка сильнее второй. Если трава мокрая, то, должно быть, шел дождь, поскольку первая посылка гласит, что если на улице солнечно, трава будет сухой. Этот тип рассуждения является примером рассуждения тем более.