Разделительно-категорические выводы и их модусы

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

Минский филиал государственного образовательного учреждения высшего профессионального образования «Московский государственный университет экономики, статистики и информатики (МЭСИ)»

Кафедра Гуманитарных наук

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

по дисциплине Логика

Вариант 12. Разделительно-категорические выводы и их модусы

Титовец Д.В гр. 82

Минск 2010 г.

2. Определите фигуру, модус и правильность следующих разделительных силлогизмов:

2.1 Суждения бывают либо истинные, либо ложные. Данное суждение истинно. Значит, оно не является ложным.

2.2 Это или убийство, или несчастный случай. Это не несчастный случай. Следовательно, это убийство.

2.3 Он учится на дневном или заочном. Но я знаю точно, что не на дневном. Значит, на заочном.

Разделительные силлогизмы

Разделительным (альтернативным) называется силлогизм, в составе которого есть разделительное (дизъюнктивное) суждение.

Разделительное суждение имеет структуру: «А либо В» или p v q (разделительные силлогизмы строятся из альтернативных, исключающе-разделительных суждений):

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

А есть В или С

С есть D или Е

А есть В или D или Е

Например:

Металлы есть не драгоценные и драгоценные

Драгоценные металлы есть золото или платина

Металлы есть не драгоценные или золото или платина

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

Модус попендо толленс (лат. Popendo tollens) утверждающе-отрицающий.

В нем меньшая посылка и заключение находятся в отношении альтернативы. При этом меньшая посылка утверждает одну из альтернатив, а заключение отрицает другую альтернативу. Схематически данное умозаключение выглядит следующим образом:

S есть А либо ВS есть А, либо В

S есть АиS есть В

Следовательно, S не-есть ВСледовательно, S не-есть А

На языке исчисления предикатов они записываются так:

p v q p v q

pq

Например:

Деревья бывают хвойные и лиственные

Это дерево хвойное

Значит, оно не является лиственным

Экзамены бывают письменные и устные

Этот экзамен устный

Значит он не является письменным

Модус топлендо поненс (лат. Tollendo ponens) - отрицательно-утверждающий.

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

S есть А, либо ВS есть А, либо В

S не-есть АS не-есть В

Следовательно, S есть ВСледовательно, S есть А

В символической логике:

p v q p v q

qp

Например:

Источники света бывают искусственными и естественными

Данный источник не является искусственным

Следовательно, он естественный

Звуки речи бывают гласные и согласные

Этот звук не согласный

Следовательно, он является гласным

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

Например:

Этот инструмент или духовой, или клавишный, или струнный

Он духовой

Следовательно, он не является ни клавишным ни струнным

В данном примере проведено несоразмерное деление и выявлены не все альтернативы. Поэтому вывод может оказаться ошибочным.

Упражнения:

1. Определите фигуру, модус и правильность следующих разделительных силлогизмов:

1.1 Суждения бывают либо истинные (М), либо ложные (Р).

Данное суждение (S) - истинно (M).

Значит, оно (S) не является ложным (P).

Первая фигура. Модус попендо толленс (утверждающе-отрицающий).

Не является правильным, т.к. имеет вид: А I O

1.2 Это или убийство (P), или несчастный случай (М).

Это (S) не несчастный случай (М).

Следовательно, это (S) - убийство(P).

Вторая фигура. Модус топлендо поненс (отрицательно-утверждающий).

Не является правильным, т.к. имеет вид: А O I

1.3 Он учится на дневном (M) или заочном (P).

Но я знаю точно (S), что не на дневном (M).

Значит (S), на заочном (P).

Первая фигура. Модус топлендо поненс (отрицательно-утверждающий).

Не является правильным, т.к. имеет вид: А O I

1.4 Умозаключение бывает непосредственным (P) или опосредованным (M).

Данное умозаключение (S) - силлогизм (M), значит, оно (S) не является непосредственным (P).

Вторая фигура. Модус попендо толленс (утверждающе-отрицающий).

Не является правильным, т.к. имеет вид: А I O

вывод модус силлогизм умозаключение

Список использованной литературы:

Арно А., Николь П. Логика, или искусство мыслить. М., 1991.

Малыхина Г.И. Логика, Мн.,2002;

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