Условно-категорические умозаключения

Размещено на http://www.allbest.ru/

БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ

Кафедра философии

Факультет компьютерного проектирования

Контрольная работа

по «Логике»

Тема № 20

«Условно-категорические умозаключения»

Выполнил студент гр. 793341

Тиханович Е. О.

Проверил: Бархатков А.

умозаключение условный отрицание

Минск, 2020г

СОДЕРЖАНИЕ

1.Чисто условный силлогизм

2.Достоверные и правдоподобные модусы условно-категорического силлогизма

3. Практические задания

Список использованных источников

1. ЧИСТО УСЛОВНЫЙ СИЛЛОГИЗМ

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

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

Чисто условный силлогизм - это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может делаться из любого количества посылок, поскольку выводы чисто условного силлогизма можно охарактеризовать как выводы на основании свойства транзитивности импликации. Иначе говоря, вывод в чисто условном силлогизме основывается на правиле: следствие следствия есть следствие основания.

Схема этого силлогизма показана на рисунке 1.1.

Рисунок 1.1 - Схема силлогизма

Например:

Если будет солнечный день, то вода в реке будет теплой

Если вода в реке будет теплой, можно пойти купаться

Если будет солнечный день, можно пойти купаться

Условно-категорический силлогизм- это умозаключение, в котором одна из посылок - условное суждение, а другая посылка и заключение - категорические суждения. Условно-категорический силлогизмимеет два правильных модуса: утверждающий (modus ponens) и отрицающий (modus tollens).

В утверждающем модусе (modus ponens) в категорической посылке утверждается истинность антецедента условной посылки, а в заключении - истинность консеквента. В данном случае рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Схема утверждающего модуса (modus ponens) показана на рисунке 1.2.

Рисунок 1.2 - Схема утверждающего модуса (modus ponens)

Например:

Для всякого проводника верно, что если по нему проходит ток, то он нагревается

По проводнику проходит ток

Следовательно, проводник нагревается

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

Схема отрицающего модуса (modus tollens) показана на рисунке 1.3.

Рисунок 1.3 - Схема отрицающего модуса (modus tollens)

Например:

Для всякого проводника верно, что если по нему проходит ток, то он нагревается

Проводник не нагревается

Следовательно, по проводнику не проходит ток

Необходимо также указать еще на два модуса условно-категорического силлогизма.

Во-первых, от отрицания истинности основания к отрицанию истинности следствия (рисунок 1.4).

Рисунок 1.4 - Схема модуса от отрицания истинности основания к отрицанию истинности следствия

Во-вторых, от утверждения истинности следствия к утверждению истинности основания (рисунок 1.5).

Рисунок 1.5 - Схема модуса от утверждения истинности следствия к утверждению истинности основания

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

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

Важно понимать, что умозаключать можно только от утверждения основания к утверждению следствия (modus ponens) или от отрицания следствия (modus tollens) к отрицанию основания.

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

Например:

1. Если данное деяние - кража (B), то оно - преступление (C)

2. Если данное деяние - преступление (C), то оно карается по закону (Д)

3. Если данное деяние - кража (В), то оно карается по закону (Д)

Легко заметить, что роль среднего термина в чисто условном силлогизме выполняет простое суждение, являющееся в первой посылке следствием, а во второй посылке основанием этого условного суждения.

2. ДОСТОВЕРНЫЕ И ПРАВДОПОДОБНЫЕ МОДУСЫ УСЛОВНО-КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА

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

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

1) от утверждения основания к утверждению следствия;

2) от отрицания основания к отрицанию следствия;

3) от утверждения следствия к утверждению основания;

4) от отрицания следствия к отрицанию основания.

Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens)и отрицающий (modus tollens).

В утверждающем модусе мысль движется от утверждения основания к утверждению следствия. В отрицающем модусе мысль протекает от отрицания следствия к отрицанию основания.

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

- утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания.

Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу:

- отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Если в условно-категорическом силлогизме мысль переходит от отрицания следствия (признания, констатации его несоответствия действительности, т.е. ложности) условного суждения в меньшей посылке, то необходимо в заключении силлогизма отрицать само основание условного суждения:

Оба модуса (утверждающий и отрицающий) гарантируют необходимость и истинность вывода при истинности посылок. Два остальных модуса этого вида силлогизма не дают необходимо истинного вывода, т.к. их структурные особенности не соответствуют правилам, законам логики. Модусы эти называются неправильными, неправомочными, проблематичными, правдоподобными. Они дают знание, которое в одном случае (что определяется содержанием посылок) может быть ложным, в другом истинным.

Схема состава достоверного условно-категорического силлогизма представлена на рисунке 2.1.

Рисунок 2.1 - Схема состава категорического силлогизма

3. ПРАКТИЧЕСКИЕ ЗАДАНИЯ

1. Определите посылки и заключение в следующих условных и условно- категорических умозаключениях; определите модус и его правильность:

1.1. Если Аристотель был учеником Платона, то он учился в его Академии, а если он учился в его Академии, то он получил греческое образование. Значит, если Аристотель был учеником Платона, то он получил греческое образование.

Посылки:

- если Аристотель был учеником Платона, то он учился в его академии,

- если он учился в его академии, то он получил греческое образование,

Заключение:

- если Аристотель был учеником Платона, то он получил греческое образование.

Модус конструктивный.

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

1.2. Если клаустрофобия - это болезнь, то ее нужно лечить. Клаустрофобия - болезнь, значит, ее нужно лечить.

Посылки:

- Клаустрофобия - это болезнь, то ее нужно лечить,

- Клаустрофобия болезнь

Заключение:

- Значит, ее надо лечить.

Модус конструктивный.

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

1.3. Если данное суждение - общеутвердительное, то его субъект распределен. Данное суждение не является общеутвердительным. Значит, его субъект не распределен.

Посылки:

- Если данное суждение - общеутвердительное, то субъект распределен.

- Данное суждение не является общеутвердительным

Заключение:

- Значит, его субъект не распределен

Модус деструктивный

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

1.4. Если данное суждение - общеутвердительное, то его субъект распределен. Субъект не распределен. Значит, данное суждение не является общеутвердительным.

Посылки:

- Если данное суждение - общеутвердительное, то субъект распределен.

- Субъект не распределен.

Заключение:

- Значит, данное суждение не является общеутвердительным

Умозаключение построено по принципу "от отрицания следствия к отрицанию заключения".

Данный (четвертый) модус не дает достоверное заключение.

1.5. Если бьют в набат, значит, где-то пожар. В набат не бьют. Значит, пожара нет.

Посылки:

- Если бьют в набат, значит где-то пожар.

- В набат не бьют.

Заключение:

- Значит, пожара нет.

Модус деструктивный.

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

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

[1] Малыхина, Г. И. Логика / Г. И. Малыхина. - Минск, 2002, 2003, 2005.

[2] Берков, В. Ф. Логика / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич. - Минск, 1998.

[3] Гетманова, А. Д. Логика / А. Д. Гетманова. - М., 1994.

[4] Горский, Д. П. Краткий словарь по логике / Д. П. Горский. - М., 1991.

[5]Берков, В. Ф. Логика: задачи и упражнения. Практикум / В. Ф. Берков. - Минск, 2000.

[6] Сборник упражнений по логике / под ред. А. С. Клевчени и В. И. Бартона. - Минск, 1990. - Гл. II. § 8-12.

[7] Петров, Ю. А. Азбука логичного мышления / Ю. А. Петров. - М., 1991. - Гл. I. §1-10.

[8] Формальная логика / отв. ред. И. А. Чупахин, И. Н. Бродский. - Л., 1987. - Гл. I. § 5.

Размещено на Allbest.ru