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

UptoLike

ВУЗ: 

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

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

Рубрика: 

64
Студент может сдать все экзамены на “отлично” (q) тогда и только тогда, когда
он очень хорошо подготовился к сессии (r).
Следовательно, студент получает повышенную стипендию (p) тогда и только
тогда, когда он очень хорошо подготовился к сессии (r).
4. Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором первой
(большей) посылкой является чисто условное (импликативное) суждение, а
второй (меньшей) посылкой и заключением – категорические суждения.
Различают четыре фигуры условно-категорического умозаключения:
утверждающий модус (modus ponens), отрицающий модус (modus tollens) и
два вероятностных модуса. Утверждающий и отрицающий модусы являются
правильными фигурами, вероятностные относятся к неправильным.
Логические схемы правильных фигур:
утверждающий модус отрицающий модус
1) р→ q, р 2) р→ q, ┐q
q ┐р
Выводы по утверждающему модусу подчиняются правилу логического
перехода от утверждения истинности основания к утверждению истинности
следствия, а выводы по отрицающему модусу другому правилу: из отрицания
следствия следует отрицание его основания.
Другие две фигуры условно-категорического силлогизма считаются
неправильными, так как заключение из них не следует с необходимостью. К
неправильным модусам относят:
3) р→ q, q 4) р→ q, ┐р
р ┐q
Следует различать также и разновидности (подмодусы), содержащиеся в
каждой из рассмотренных выше четырех фигур. Например, подмодусами
утверждающего модуса являются следующие его разновидности:
а) р → q, р б) ┐р→ q, ┐р в) р→ ┐q, р г) ┐р → ┐q, ┐р
q q ┐q ┐q
Покажем отличие качества выводов из рассуждений по правильным
модусам условно-категорического умозаключения от выводов из неправильных
фигур.
Рассмотрим в качестве первой посылки во всех четырех модусах
следующее суждение «Если идет дождь (р), то на асфальте должны быть лужи
(q)».
1. Рассуждаем по первой фигуре: “Если идет дождь (р), то на асфальте
должны быть лужи (q). Сейчас идет дождь (р). Значит, на асфальте должны
быть лужи (q)». Вывод правильный, так как рассуждение ведется от
истинного основания к утверждению истинности следствия по утверждающему
модусу (modus ponens).

Страницы