Логика. Учебное пособие. Тимофеев А.И. - 53 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

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

Рубрика: 

53
Условнокатегорическое – это такое умозаключение, в котором
одна посылка – условное суждение, вторая – категорическое. Оно
имеет следующую форму: Если А есть Б, то С есть Д. А есть Б. Значит,
С есть Д. Пример: “Если N хороший адвокат, то он выиграет это дело,
он выиграл дело. Значит, N является хорошим адвокатом”.
В структуре условной посылки как условном суждении выделяют
основание и следствие. Следствие – это та часть условной посылки,
которая устанавливает известное положение как необходимый ре
зультат известного условия. Основание – это та часть условной по
сылки, которая выражает условие, от которого зависит истинность
следствия. Категорическое суждение удостоверяет истинность или
ложность основания. Значит, можно говорить с категоричностью,
что следствие истинно или неистинно. Ход умозаключения состоит в
том, что: 1) признав с помощью категорического суждения истин
ность или ложность основания, необходимо признать истинность или
ложность следствия, 2) признав с помощью категорического сужде
ния истинность или ложность следствия, необходимо признать ис
тинность или ложность основания.
В условнокатегорическом умозаключении ложность основания
сама по себе еще не дает права утверждать о ложности следствия.
Кроме того, неверно, когда пытаются от истинности следствия де
лать вывод об истинности основания.
Например, суждение: “Если пройдет дождь, то трава будет мок
рая” является достоверно истинным при истинности основания, тог
да как суждение: “Трава мокрая, потому что прошел дождь” будет
лишь вероятностноистинным, поскольку кроме дождя может быть
и другая причина того, что трава мокрая.
Таким образом, условнокатегорическое умозаключение имеет два
правильных модуса: modus ponens (утверждающий) и modus tollens
(отрицающий).
Modus ponens имеет следующую форму: Если А есть Б, то C есть Д.
A есть Б. Значит, C есть Д. Пример: “Если через проволоку проходит
электрический ток, то она нагреется. Через данную проволоку про
ходит электрический ток. Значит, данная проволока нагреется”.
В modus ponens категорическое суждение всегда подтверждает ос
нование, при этом не важно, имеет ли данное основание утверждаю
щий или отрицающий характер.
Modus tollens имеет следующую форму: Если A есть Б, то C есть Д. Но
A не есть Б. Значит, С не есть Д. Пример: “Если орудие выстрелит, то
раздастся звук. Звука не раздалось. Значит, орудие не выстрелило”.
Смысл данного модуса умозаключения состоит в том, что, отри
цая следствие, отрицается и основание. Качество заключения в modus

Страницы