Логика и теория аргументации. Скачков А.С. - 86 стр.

UptoLike

ВУЗ: 

ОмГТУ | Омск

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

Рубрика: 

86
Условно-категорическое умозаключение — это такое дедуктивное умозак-
лючение, в котором одна из посылок — условное суждение, а другая — простое
категорическое суждение.
Поскольку в логической структуре такого умозаключения простое категори-
ческое суждение выступает не только в роли отдельной посылки, но и элемента
логической структуры импликативного суждения-посылки, то оно может быть
либо
антецедентом, либо консеквентом, либо отрицанием того или другого.
В силу различий качества и местоположения простого категорического суж-
дения в логической структуре импликативной посылки существуют четыре моду-
са условно-категорического умозаключения, подразделяющиеся по основанию
наличия или отсутствия логического следования на модусы правильные и непра-
вильные.
Правильными являются утверждающий и исключающий модусы
условно-
категорического умозаключения.
Первый из них принято называть modus ponens, что означает «утверждаю-
щий способ рассуждения». В таком случае умозаключение строится от утвержде-
ния основания к утверждению следствия.
Пример
Если по металлу пропускают электрический ток, то он нагревается; по метал-
лу пропускают электрический ток, значит, металл нагревается. Формула рассмат-
риваемого
в качестве примера сложного высказывания
((a⊃b)∧a)⊃b.
Это одна из формулировок закона исключения импликации в классической ло-
гике высказываний выражается схемой:
((А⊃В)∧А)⊃В.
Второй правильный модус условно-категорического умозаключения принято
называть modus tollens, что означает «отрицающий способ рассуждения». В та-
ком случае умозаключение строится
от отрицания следствия к отрицанию осно-
вания.
Пример
Если химическое вещество является металлом, то оно электропроводно, но
данное химическое вещество не проводит электрического тока, значит, оно не яв-
ляется металлом. Или – Поскольку когда кто-либо является адвокатом, то он яв-
ляется юристом, а Иванов юристом не является, значит,
у него нет статуса адво-
ката. Формула данных высказываний:
((a⊃b)∧¬b)⊃¬a.
Это формулировка закона исключения импликации также выражаемая схемой: 
   Условно-категорическое умозаключение — это такое дедуктивное умозак-
лючение, в котором одна из посылок — условное суждение, а другая — простое
категорическое суждение.
   Поскольку в логической структуре такого умозаключения простое категори-
ческое суждение выступает не только в роли отдельной посылки, но и элемента
логической структуры импликативного суждения-посылки, то оно может быть
либо антецедентом, либо консеквентом, либо отрицанием того или другого.
   В силу различий качества и местоположения простого категорического суж-
дения в логической структуре импликативной посылки существуют четыре моду-
са условно-категорического умозаключения, подразделяющиеся по основанию
наличия или отсутствия логического следования на модусы правильные и непра-
вильные.
   Правильными являются утверждающий и исключающий модусы условно-
категорического умозаключения.
   Первый из них принято называть modus ponens, что означает «утверждаю-
щий способ рассуждения». В таком случае умозаключение строится от утвержде-
ния основания к утверждению следствия.

      ™ Пример
    Если по металлу пропускают электрический ток, то он нагревается; по метал-
лу пропускают электрический ток, значит, металл нагревается. Формула рассмат-
риваемого в качестве примера сложного высказывания

                                ((a⊃b)∧a)⊃b.

   Это одна из формулировок закона исключения импликации в классической ло-
гике высказываний выражается схемой:

                               ((А⊃В)∧А)⊃В.

   Второй правильный модус условно-категорического умозаключения принято
называть modus tollens, что означает «отрицающий способ рассуждения». В та-
ком случае умозаключение строится от отрицания следствия к отрицанию осно-
вания.

       ™ Пример
    Если химическое вещество является металлом, то оно электропроводно, но
данное химическое вещество не проводит электрического тока, значит, оно не яв-
ляется металлом. Или – Поскольку когда кто-либо является адвокатом, то он яв-
ляется юристом, а Иванов юристом не является, значит, у него нет статуса адво-
ката. Формула данных высказываний:

                               ((a⊃b)∧¬b)⊃¬a.

   Это формулировка закона исключения импликации также выражаемая схемой:
                                     86

Страницы