Логика высказываний ,условно категорические умозаключения

Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные (импликативные) и разделительные (дизъюнктивные) суждения (высказывания), выступающие в разных сочетаниях друг с другом или с простыми категорическими суждениями. К ним относятся чисто-условные, условно-категорические, разделительно-категорические, условно-разделительные умозаключения.

Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждениями. Поэтому при анализе посылок их субъектно-предикатная структура не учитывается.

Условно-категорическим называется умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категорические суждения.

Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.

1. В утверждающем модусе (modus ponens) рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

2. В отрицающем модусе (modus tollens) рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

Схема отрицающего модуса a ® b

Ø b.

Ø a

Возможны еще две разновидности (вероятные) условно-категорического силлогизма:

a ® b a ® b

b. Ø a.

a Ø b

Однако, заключение по этим модусам не будет достоверным, т.е. правильным.

Очевидно, что рассуждение по таким схемам может привести от истинных посылок к ложному заключению.

Кроме того, если первая (большая) посылка является эквивалентным суждением (a «b), то достоверное заключение получается по все четырем модусам.

Не нашли, что искали? Воспользуйтесь поиском: