Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Слово «модус» в логике означает разновидность некоторой общей формы рассуждения. «Модус поненс» — термин средневековой логики, обозначающий определённое правило вывода и соответствующий ему логический закон.
Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента) этого
Здесь «если А, то B» и «А» — посылки, «B» — заключение; горизонтальная черта стоит вместо слова «следовательно». Другая запись:
Если А, то B. А. Следовательно, В.
Благодаря этому правилу от посылки «если А, то В», используя посылку «А», мы как бы отделяем заключение «B». Например:
Если у человека грипп, он болен.
У человека грипп.
Человек болен.
Это правило постоянно используется в наших рассуждениях. Впервые оно было сформулировано, насколько можно судить, учеником Аристотеля Теофрастом ещё в III в. до н.э.
Соответствующий правилу отделения логический закон формулируется так:
(А → В) & А → В,
если верно, что если А, то В, и А, то верно В. Например: «Если при дожде трава растёт быстрее и идёт дождь, то трава растёт быстрее».
Рассуждение по правилу модус понёс идёт от утверждения основания истинного условного высказывания к утверждению его следствия. Это логически корректное движение мысли иногда путается со сходным, но логически неправильным её движением от утверждения следствия истинного условного высказывания к утверждению его основания.
Например, правильным является умозаключение:
Если висмут — металл, он проводит электрический ток.
Висмут — металл.
Висмут проводит электрический ток.
Но внешне сходное с ним умозаключение:
Если висмут — металл, он проводит электрический ток.
Висмут проводит электрический ток.
Висмут металл.
логически некорректно. Рассуждая по последней схеме, можно от истинных посылок прийти к ложному заключению. Например:
Если человек собирает марки, он коллекционер.
Человек — коллекционер.
Человек собирает марки.
Далеко не все коллекционеры собирают именно марки; из того, что человек коллекционер, нельзя заключать, что он собирает как раз марки. Истинность посылок не гарантирует истинности заключения.
Против смешения правила модус поненс с указанной неправильной схемой предостерегает совет: от подтверждения основания к подтверждению следствия заключать можно, от подтверждения следствия к подтверждению основания — нет.
Дата публикования: 2014-11-29; Прочитано: 353 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!