Логика: краткий теоретический курс. Веревичев И.И. - 66 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

65
2. Рассуждаем по второй фигуре: “Если идет дождь (р), то на асфальте
должны быть лужи (q). На асфальте луж нет (┐q). Следовательно, сейчас
дождь не идет (┐р)». Вывод правильный, так как рассуждение ведется от
отрицания следствия к отрицанию основания по отрицающему модусу (modus
tollens).
3. Рассуждаем по третьей фигуре: “Если идет дождь (р), то на асфальте
должны быть лужи (q). Сейчас на асфальте лужи (q). Следовательно, идет
дождь (р)». Вывод не всегда правильный, так как рассуждение ведется по
правдоподобному модусу (лужи на асфальте могут появляться и по другим
причинам).
4. Рассуждаем по четвертой фигуре: “Если идет дождь (р), то на асфальте
должны быть лужи (q). Сейчас дождь не идет (┐р). Следовательно, на асфальте
не должно быть луж (┐q)». Вывод неправильный, так как рассуждение ведется
по правдоподобному модусу (лужи могли остаться со вчерашнего дня).
Если же первая посылка представляет собой эквивалентное суждение, то
заключения по всем четырем фигурам условно-категорического умозаключения
оказываются достоверными. Логические схемы эквивалентно-категорических
модусов:1) р ↔ q, р 2) р ↔ q, ┐q 3) р ↔ q, q 4) р↔q, ┐р
q ┐р р ┐q
Приведем пример такого рода рассуждений по отрицающему модусу:
“Треугольник тогда и только тогда является правильным (р), когда все
его стороны равны (q). В данном треугольнике равны не все стороны (┐q).
Значит, этот треугольник неправильный (┐р)”. Вывод правильный.
4. Разделительно-категорическое умозаключение
Разделительно-категорическое умозаключение состоит из двух посылок и
заключения: первая (большая) посылка – разделительное суждение, а меньшая
посылка и заключение являются категорическими суждениями. Различают
только две фигуры разделительно-категорического умозаключения:
утверждающе-отрицающий модус (modus ponendo-tollens) и отрицающе-
утверждающий (modus tollendo-ponens). Оба модуса правильные.
Логическая схема утверждающе-отрицающего модуса:
р Ỷ q, р
┐q
Логическая формула: ((р Ỷ q) ۸ р)→ ┐q.
Вывод по данному модусу признается правильным, если первая посылка
есть суждение строгой дизъюнкции, т.е. содержащиеся в ней суждения должны
исключать друг друга.
Пример:
Приговоры могут быть либо обвинительными либо оправдательными.
По делу М. вынесен обвинительный приговор.
Следовательно, М. не оправдан.
Логическая схема отрицающе-утверждающего модуса:
р V q, ┐ р
q
Его логическая формула: ((р V q) ۸ ┐ р) → q.

Страницы