Непосредственные умозаключения
Виды непосредственных умозаключений: превращения, обращения, противопоставления предикату. Умозаключение по логическому квадрату. Логические правила установления вида доказательства. Установление корректности разделительно-категорических умозаключений.
Рубрика | Философия |
Вид | контрольная работа |
Язык | русский |
Дата добавления | 07.05.2015 |
Размер файла | 18,3 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
НОУ ВПО «Международный институт рынка»
Контрольная работа
по дисциплине «Логика»
Непосредственные умозаключения
1. Виды непосредственных умозаключений (превращение, обращение, противопоставление предикату)
Дедуктивным (от латинского слова deductio- выведение) называется умозаключение, в котором переход от общего знания к частному является логически необходимым. В зависимости от числа посылок, из которых можно сделать тот или иной вывод, дедуктивные умозаключения подразделяются, прежде всего, на непосредственные и опосредованные.
Непосредственные умозаключения - это такие, которые делаются из одной посылки. Опосредованные - те, которые делаются из нескольких (двух и более) посылок.
Непосредственные умозаключения можно получать, прежде всего, из простых суждений - атрибутивных и реляционных (суждений с отношением). Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями.
Суждение, содержащее новое знание, может быть получено посредством преобразования некоторого суждения. Поскольку исходное (преобразуемое) суждение рассматривается как посылка, а новое, полученное в результате преобразования суждение - как заключение, высказывания, построенные посредством преобразования суждений, называются непосредственными умозаключениями. К ним относятся: 1) превращение, 2) обращение, 3) противопоставление предикату, 4) умозаключения по логическому квадрату.
Выводы в каждом из этих умозаключений получаются в соответствии с определенными логическими правилами, которые обусловлены видом суждения - его количественной и качественной характеристиками.
логический умозаключение непосредственный
1.1 Превращение
Превращение суждения состоит в установлении отношения субъекта к понятию, противоречащему предикату исходного суждения. Например, в исходном суждении “Н. (S) совершеннолетний (Р)” предикатом является понятие о лицах, достигших совершеннолетия. В понятии, противоречащем предикату, мыслятся лица, не достигшие совершеннолетия. Отношение Н. к несовершеннолетним следует, очевидно, выразить в форме отрицательного суждения “Н. (S) не является несовершеннолетним (не-Р)”.
Таким образом, из утвердительного суждения “S есть Р” мы получили отрицательное суждение “S не есть не-Р”. Заключение опирается на правило вывода: двойное отрицание равносильно утверждению.
Преобразование одного суждения в другое, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением.
Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.
Общеутвердительное суждение превращается в общеотрицательное. Например: “Всякий автомобиль - колесная машина. Следовательно, ни один автомобиль не является бесколесной машиной”.
Схема превращения суждения А: Все S есть Р. Ни одно S не есть не-Р
Общеотрицательное суждение превращается в общеутвердительное. Например: “Ни одно магическое учение не является научным. Следовательно, всякое магическое учение является ненаучным”.
Схема превращения суждения Е: Ни одно S не есть Р. Все S есть не-Р.
Частноутвердительное суждение превращается в частноотрицательное. Например: “Некоторые государства являются федеративными. Следовательно, некоторые государства не являются нефедеративными”. Схема превращения суждения I: Некоторые S есть P. Некоторые S не есть не-Р.
Частноотрицательное суждение превращается в частноутвердительное. Например: “Некоторые преступления не являются умышленными. Следовательно, некоторые преступления являются неумышленными”.
Схема превращения суждения O: Некоторые S не есть P. Некоторые S есть не-Р.
1.2 Обращение
Для уточнения объема предиката суждения и его отношения к субъекту используют обращение, в результате которого субъектом становится предикат, а предикатом - субъект исходного суждения. Предметом нового суждения (заключения) становится, таким образом, предмет, выраженный не субъектом, а предикатом посылки.
Преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат - субъектом заключения, называется обращением.
Обращение подчиняется правилу распределенности терминов, согласно которому субъект распределен в общих и не распределен в частных суждениях, предикат распределен в отрицательных и не распределен в утвердительных суждениях. В соответствии с этим правилом различают простое (чистое) обращение и обращение с ограничением.
Простым (или чистым) называется обращение без изменения количества суждения. Так обращаются суждения, оба термина которых распределены или оба не распределены. Если же предикат исходного суждения не распределен, то он не может быть распределен и в заключении, где он является субъектом. Поэтому его объем ограничивается. Такое обращение называется обращением с ограничением.
Общеутвердительное суждение обращается в частноутвердительное. Например: “Все студенты нашей группы сдали экзамены. Следовательно, некоторые сдавшие экзамены - студенты нашей группы”. В исходном суждении “Все студенты нашей группы (S) сдали экзамены (Р)” предикат не распределен. Обращая суждение, необходимо опираться на правило вывода: термин, не распределенный в посылке, не может быть распределен и в заключении. Поэтому, становясь субъектом выводного суждения, предикат также не может быть распределен. Его объем ограничивается (“некоторые сдавшие экзамены”).
Схема обращения суждения A: Все S есть Р. Некоторые Р есть S.
Общеутвердительные выделяющие суждения (в которых предикат распределен) обращаются без ограничения по схеме: Все S, и только S, есть Р. Все Р есть S.
Общеотрицательное суждение обращается в общеотрицательное. Например: “Ни один студент нашей группы не является неуспевающим. Следовательно, ни один неуспевающий не является студентом нашей группы”.
Схема обращения суждения E: Ни одно S не есть Р. Ни одно Р не есть S.
Частноутвердительное суждение обращается в частноутвердительное. Например: “Некоторые студенты нашей группы - отличники. Следовательно, некоторые отличники - студенты нашей группы”.
Схема обращения суждения I: Некоторые S есть Р. Некоторые Р есть S.
Частноутвердительные выделяющие суждения (предикат распределен) обращается в общеутвердительное. Эти суждения обращаются по схеме:
Некоторые S, и только S, есть Р. Некоторые Р есть S. Частноотрицательные суждения не обращаются.
1.3 Противопоставление предикату
Как было показано, в выводе, полученном посредством превращения, устанавливается отношение субъекта к понятию, противоречащему предикату исходного суждения (S к не-Р). С помощью обращения устанавливается отношение предиката к субъекту (Р к S). Для выяснения отношения понятия, противоречащего предикату, к субъекту исходного суждения (не-Р к S) используются умозаключения, полученные посредством противопоставления предикату. Субъектом суждения в этих умозаключениях является не предикат исходного суждения, как в обращении, а понятие, противоречащее предикату.
Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения, называется противопоставлением предикату.
Нетрудно установить, что противопоставление предикату может рассматриваться как результат превращения и обращения: превращая исходное суждение S - Р, устанавливаем отношение S к не-Р; суждение, полученное путем превращения, обращается, в результате устанавливается отношение не-Р к S.
Заключение, полученное посредством противопоставления предикату, зависит от количества и качества исходного суждения.
Общеутвердительное суждение преобразуется в общеотрицательное. Например: “Все врачи имеют медицинское образование. Следовательно, ни один не имеющий медицинского образования не является врачом”.
Схема противопоставления предикату суждения A:
Все S есть Р.
Ни одно не-Р не есть S.
Общеотрицательное суждение преобразуется в частноутвердительное. Например: “Ни одно промышленное предприятие нашего города не является убыточным. Следовательно, некоторые неубыточные предприятия являются промышленными предприятиями нашего города”.
Схема противопоставления предикату суждения E:
Ни одно S не есть Р.
Некоторые не-Р есть S.
Частноутвердительные суждения посредством противопоставления предикату не преобразуются.
Частноотрицательные суждения посредством противопоставления предикату преобразуются в частноутвердительные. Например: “Некоторые свидетели не являются совершеннолетними. Следовательно, некоторые несовершеннолетние являются свидетелями”.
Схема противопоставления предикату суждения O:
Некоторые S не есть Р.
Некоторые не-Р есть S.
1.4 Умозаключение по логическому квадрату
Учитывая свойства отношений между категорическими суждениями A, E, I, O, которые иллюстрированы схемой логического квадрата, можно строить выводы, устанавливая следование истинности или ложности одного суждения из истинности или ложности другого суждения.
Вспомним, что в “логическом квадрате” зафиксированы такие важнейшие отношения между суждениями, как логическое подчинение, противоположность (контрарность), субконтрарность, противоречие. Непосредственные умозаключения возможны здесь потому, что между суждениями, находящимися в этих отношениях, существуют определенные зависимости по истинности и ложности. Учитывая, что каждое суждение - А, Е, I, О - может находиться в трех отношениях с другими, из него можно сделать три вывода.
Например, если истинно общеутвердительное суждение (А) “Все благородные мысли находят себе сочувствие”, то отсюда следует: 1) что тем более истинно частноутвердительное суждение (I): “Некоторые благородные мысли находят себе сочувствие” (отношение подчинения); 2) что ложно общеотрицательное суждение (Е): “Ни одна благородная мысль не находит себе сочувствия” (отношение противоположности) и 3) что ложно частноотрицательное суждение (О): “Некоторые благородные мысли не находят себе сочувствия” (отношение противоречия).
Другой пример. Если ложно общеутвердительное суждение (A), что “Все юристы имеют специальное высшее образование” (так как есть еще среднее юридическое), то отсюда можно сделать выводы, что истинно частноотрицательное суждение (О): “Некоторые юристы не имеют высшего образования” неопределеннообщеотрицательное (Е): “Ни один юрист не имеет высшего образования” (в данном случае это тоже ложно) и частноутвердительное (I): “Некоторые юристы имеют высшее образование” (в данном случае оно истинно).
Непосредственные умозаключения могут быть получены также из простых реляционных суждений. Логическим основанием здесь служит характер отношения R между предметами х и у. Так, если установлено, что “Женщины равны в правах с мужчинами”, то отсюда можно заключить, что “Мужчины равны в правах с женщинами”. Если известно, что “Конституционные законы выше остальных законов страны”, то отсюда следует, что “Остальные законы страны не выше (ниже) конституционных”.
Посылкой непосредственного умозаключения может быть не только простое атрибутивное или реляционное, но и сложное суждение.
Возьмем в качестве примера условное суждение (импликацию): “Если завтра будет солнечная погода, то мы пойдем в лес”. Из него можно сделать заключение: “Если мы не пошли в лес, то погода не была солнечной”.
Подобное умозаключение основано на законе контрапозиции. Он означает, что любое истинное условное суждение, если в нем поменять местами основание и следствие и подвергнуть их одновременно отрицанию, может дать в качестве заключения тоже истинное условное суждение.
Непосредственное умозаключение можно сделать и из конъюнкции. Если истинно, что “Казань находится на Волге, и Саратов находится на Волге”, то истинным будет и вывод “Саратов находится на Волге, и Казань находится на Волге”.
Заключение из нестрогой дизъюнкции: если истинно, что производительность труда зависит от технического прогресса или от квалификации работника”, то отсюда следует, что истинно и такое суждение: “Производительность труда зависит от квалификации работника или от технического прогресса”. В основе этих непосредственных умозаключений из конъюнкции и дизъюнкции лежит их свойство коммутативности (перестановочности).
Наконец, можно делать умозаключения из строгой дизъюнкции, и эквиваленции.
Подводя теперь общий итог, можно подчеркнуть, что непосредственные умозаключения из простых и сложных суждений - не только лишь “гимнастика для ума”. Благодаря им из уже известного знания извлекается дополнительная, и притом самая разнообразная и богатая, информация: о взаимоотношениях структурных элементов мысли - S и Р или х и у - в простых суждениях, а также исходных суждений в сложных. Важно лишь, чтобы в каждом отдельном случае соблюдались те или иные специфические правила таких умозаключений, дабы избегать ошибок в рассуждениях.
2. Установите вид доказательства
Если треугольник АВС - равнобедренный, то он имеет при основании равные углы. Действительно, пусть треугольник АВС - равнобедренный, а АВ - его основание. Тогда треугольник САВ равен треугольнику СВА, так как сторона СА равна стороне СВ, а сторона СВ равна стороне СА и угол С- общий. Значит, угол А равен углу В. Что и требовалось доказать.
Здесь идёт рассмотрение аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргументами. В данном случае аргументами являются углы и стороны треугольников, а доказываемый тезис - то что треугольник имеет равные углы при своём основании.
Следовательно - это прямое доказательство.
3. Установите корректность следующих разделительно-категорических умозаключений
Это действие или похвально, или постыдно, или нравственно, или безразлично. Оно не похвально и не постыдно.
Если оно не похвально и не постыдно, следовательно, это действие или нравственно, или безразлично.
Е или А или В или С или D
Е не А, Е не В=> Е или С или D
Путь кометы есть эллипс, или парабола, или гипербола. Путь кометы не может быть ни параболой, ни гиперболой.
Если путь кометы не может быть ни параболой, ни гиперболой, значит, путь кометы есть эллипс.
А есть С, или А есть Е, или А есть D
A не Е, А не D => A есть С
Это действие или дозволено, или запрещено. Оно не дозволено.
Если это действие не дозволено, значит оно запрещено.
S есть F, или S есть L
S не есть F => S есть L
Всякая политическая реформа или разумна, или бесполезна. Реформы нашего кабинета были бесполезны. Следовательно…
Реформа нашего кабинета не обязательно может быть политической поэтому суждение не корректно и не имеет логического итога
А есть С, или А есть В
F не есть B
Линии бывают или прямые, или кривые, или ломанные. Данная линия не кривая и не ломанная.
Если данная линия не кривая и не ломанная, следовательно линия прямая.
S есть F, или S есть C, или S есть Р
S не есть С и S не есть Р => S есть F
Позвоночные животные есть или млекопитающие, или птицы, или пресмыкающиеся, или рыбы. Данное животное не есть ни млекопитающее, ни птица, ни пресмыкающееся.
Тут не указанно, что данное животное позвоночное, ведь оно может быть и беспозвоночным, следовательно, суждение не корректно, из-за отсутствия предиката ко второму объекту. Поэтому оно не может иметь вывода.
R есть С, или R есть М, или R есть Р, или R есть V
R не есть С, R не есть M, R не есть Р
Список используемых источников
1. http://ef.donnu.edu.ua
2. http://do.gendocs.ru
3. udocs.exdat.com
4. А. И. Тимофеев «Логика и основы аргументации» учебное пособие
5. А. Д. Гетманова «Логика»
Размещено на Allbest.ru
Подобные документы
Сущность дедуктивных умозаключений. Виды непосредственных их разновидностей. Основные условия понимания их. Особенности преобразования одного суждения в другое. Характеристика логических форм умозаключений. Правила обращения, противопоставление предикату.
презентация [45,8 K], добавлен 14.10.2013Типы опосредствованых умозаключений из сложных суждений: условные, разделительные и условно-разделительные. Утверждающе-отрицающий и отрицающе-утверждающий модусы разделительно-категорических умозаключений. Виды диллем по качеству мыслительного акта.
презентация [38,7 K], добавлен 14.10.2013Умозаключение как сложная форма мышления. Сущность теории умозаключений. Значение изучения индукции. Классификация умозаключений по направленности логического следования. Вывод нового суждения. Непосредственные умозаключения через отношение суждений.
реферат [22,2 K], добавлен 10.02.2009Выводы из сложных суждений. Виды дедуктивных умозаключений: условный, разделительный и условно-разделительный силлогизм. Методы установления причинных связей. Содержание важнейших формально-логических законов, суть доказательства и опровержения.
контрольная работа [28,9 K], добавлен 21.10.2011Особенности логики как науки о мышлении. Общая характеристика основных форм мышления. Понятие и виды умозаключения. Основные черты дедуктивных умозаключений. Разновидности умозаключений по аналогии. Примеры простого силлогизма, фигура силлогизма.
реферат [360,1 K], добавлен 24.07.2011Понятие и общая характеристика умозаключения. Описание простого категорического силлогизма, особенности его использования, структура и порядок формирования, фигуры и модусы. Сущность индуктивных умозаключений, их отличительные признаки и специфика.
контрольная работа [44,3 K], добавлен 19.09.2010Виды вероятностных умозаключений. Индуктивное умозаключение. Виды индукции. Индуктивные методы установления причинно-следственных связей. Умозаключение по аналогии. Условия состоятельности выводов по аналогии. Аналогия свойств и аналогия отношений.
реферат [215,3 K], добавлен 22.02.2009Характеристика внутренней структуры элементарных суждений, сущность логического квадрата. Правила для истинных модусов непосредственных умозаключений. Схема категорического силлогизма, понятие энтимем и эпихейрем. Особенности логики общения и спора.
реферат [746,8 K], добавлен 16.07.2012Логическая характеристика понятий. Отношения между понятиями. Состав и виды простых суждений. Определение истинности по логическому квадрату. Умозаключения из суждений с отношениями. Методы установления причинных связей; доказательство и опровержение.
контрольная работа [134,8 K], добавлен 30.10.2015Операции логического обобщения. Примеры атрибутивных суждений, их логическая структура и изображение отношений между ними в виде кругов Эйлера. Неправильные категорические силлогизмы. Условно-категорические, разделительно-категорические умозаключения.
контрольная работа [32,8 K], добавлен 05.12.2011