Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






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






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

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

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

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

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

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

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

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

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

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

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

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

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

Рассматривая условно-разделительные, или лемматические, силлогизмы, следует отметить, что ими называется такая связь условно-категорических силлогизмов, которая образует конструкцию из нескольких условных посылок и разделительной посылки с числом дизъюнктов, равным количеству условных посылок. Число последних определяет разновидность лемматического силлогизма. Леммы с двумя условными посылками называются дилеммами (от греч. di – два и lemma – допущение), с тремя – трилеммами, с большим числом посылок – полилеммами.

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

Силлогизмы, одна из составных частей которых считается очевидной и поэтому в языке не выражается, а только подразумевается, называются сокращенными, или энтимемами (от греч. en tyme – в уме).

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

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

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

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

Следует отметить, что форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.

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

 

 

Контрольные вопросы

1. Какие умозаключения относятся к сложным?

2. Какие умозаключения относят к чисто условным, каковы их разновидности и правила?

3. Какие умозаключения называют условно-категорическими и каковы их модусы и правила?

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

5. Какие умозаключения называют разделительно-категорическими?

6. Какие модусы существуют в разделительно-категорическом умозаключении и как их достоверность зависит от видов дизъюнкций, используемых в них?

7. Какие умозаключения относят к условно-разделительным (лемматическим) и как они называются в зависимости от количества в них условных посылок?

8. Чем отличается простая дилемма от сложной?

9. Чем отличается конструктивная дилемма от деструктивной?

10. Какие виды дилемм существуют в зависимости от сочетания параметров, приведенных в двух предыдущих вопросах?

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

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

13. Что такое энтимема и какие виды ее существуют?

14. Что означает «презумпция логической грамотности» применительно к энтимеме?

15. Какие умозаключения называются сложными силлогизмами и какие их виды существуют?

16. Какое умозаключение называется эпихейремой?

17. Какое умозаключение называется соритом и каковы его виды?






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.