Так средневековые логики называли следующую схему рассуждения:
Если А, то В; неверно В;
Неверно А.
Другая запись:
Если А, то В. Не- В. Следовательно, не-А.
Эта схема часто называется принципом фальсификации: если из какого-то утверждения вытекает следствие, оказывающееся ложным, это означает, что и само утверждение ложно. Посредством схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания данного высказывания. Например:
Если гелий - металл, он электропроводен.
Гелий неэлектропроводен.
Гелий - не металл.
МОДУС ПОНЕНДО ТОЛЛЕНС
Этим именем средневековые логики обозначали следующие схемы рассуждения:
Либо А, либо В; А Либо А, либо В;В
Неверно В Неверно А
Другая запись:
Либо А, либо В. А. Следовательно, не-В.
Либо А, либо В. В. Следовательно, не-А
Посредством этих схем от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы:
|
|
либо первое, либо второе, но не оба вместе; есть первое; значит, нет второго. Например:
Достоевский родился либо в Москве, либо в Петербурге.
Он родился в Москве
Неверно, что Достоевский родился в Петербурге.
Дизъюнкция, входящая в данную схему, является исключающей, она означает: истинно первое или истинно второе, но не оба вместе. Такое же рассуждение, но с неисключающей дизъюнкцией (первое или второе, но возможно, что и первое, и второе), логически неправильно. От истинных посылок оно может вести к ложному заключению:
На Южном полюсе был Амундсен или был Скотт.
На Южном полюсе был Амундсен.
Неверно, что там был Скотт.
Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно, Правильным является умозаключение:
На Южном полюсе первым был Амундсен или Скотт.
На этом полюсе первым был Амундсен.
Неверно, что там первым был Скотт.