- •Содержание
- •Тема 7. Правдоподобные умозаключения 155
- •Тема 1. Предмет и значение логики
- •1.1 Основные характеристики процесса познания
- •1.2 Предмет логики. Логическая форма и логическое содержание мысли
- •1.3 Формальное поведение и формальное мышление
- •1.4 Основные принципы формальной логики
- •1.5 История развития науки логики
- •1.6 Логическая культура. Значение логики
- •Вопросы для повторения
- •Тема 2. Логический анализ языка
- •2.1 Понятие знака. Смысл и значение знака
- •2.2 Типы знаков
- •2.3 Семантические категории языка
- •2.4 Виды имен
- •2.5 Основные принципы употребления имен (знаков)
- •Вопросы и упражнения для повторения
- •Тема 3. Формализованные логические языки
- •3.1 Язык логики предикатов
- •Исходные символы
- •3.2 Язык логики суждений
- •Вопросы и упражнения для повторения
- •Тема 4. Понятие как форма мышления
- •4.1 Общая характеристика понятий
- •4.2 Объем и содержание понятий
- •X(p(X)q(X)s(X)r(X)).
- •4.3 Обобщение и ограничение понятий
- •4.4 Виды понятий
- •Виды понятий по характеру признаков содержания
- •Виды понятий по числу элементов объема
- •Виды понятий по характеру элементов объема
- •4.5 Отношение между понятиями. Совместимые и несовместимые понятия
- •Виды совместимых понятий
- •Виды несовместимых понятий
- •4.6 Основные операции с объемами понятий
- •4.7 Основные операции с содержанием понятий
- •4.8 Диаграммы Венна
- •4.9 Определение понятий
- •Виды определений
- •Виды явных определений
- •Виды неявных определений
- •Правила определения
- •4.10 Деление понятий. Классификация. Типология
- •Виды деления
- •Правила деления
- •Классификация и типология
- •Вопросы и упражнения для повторения
- •Тема 5. Суждение (высказывание) как форма мышления
- •5.1 Суждение. Виды суждений
- •Виды суждений
- •Виды простых суждений
- •Виды атрибутивных суждений
- •5.2 Категорические суждения
- •5.3 Распределенность терминов в категорических суждениях
- •5.4 Сложные суждения и их истинность
- •5.5 Типы и виды модальных суждений
- •Основные типы и виды модальных суждений
- •5.6 Отношения между категорическими суждениями
- •5.7 Отношение между сложными суждениями
- •5.8 Отрицание суждений
- •Вопросы и упражнения для повторения
- •Тема 6. Дедуктивные умозаключения
- •6.1 Общая характеристика умозаключений
- •6.2 Общая характеристика дедуктивных умозаключений
- •6.3 Прямые Умозаключения логики высказываний
- •Виды простых1 форм прямых умозаключений логики суждений.
- •6.4 Непрямые умозаключения логики высказываний
- •6.5 Непосредственные умозаключения
- •6.5.1 Общая характеристика непосредственных умозаключений
- •6.5.2 Превращение
- •6.5.3 Обращение
- •6.5.4 Противопоставление предикату
- •6.5.5 Противопоставление субъекту
- •6.5.6 Умозаключения по «логическому квадрату»
- •6.6 Простой категорический силлогизм
- •6.7 Энтимема
- •Вопросы и упражнения для повторения
- •Тема 7. Правдоподобные умозаключения
- •7.1 Умозаключения по аналогии
- •7.2 Индуктивные умозаключения: общая характеристика и основные виды
- •Полная и неполная индукция
- •7.3 Понятия причины и необходимых условий действия некоторой причины. Основные свойства причинных связей
- •7.4 Эмпирические методы установления причинной зависимости явлений
- •Вопросы и упражнения для повторения
- •Тема 8. Логико-эпистемические аспекты аргументации
- •8.1 Аргументация как прием познавательной деятельности. Виды аргументации
- •8.2 Структура доказательства
- •8.3 Виды доказательств
- •8.4 Правила и ошибки по отношению к тезису
- •8.5 Виды аргументов
- •Виды аргументов
- •8.6 Правила и ошибки по отношению к аргументам Правила по отношению к аргументам
- •Ошибки по отношению к аргументам
- •8.7 Форма доказательства и ее виды
- •8.8 Правила и ошибки по отношению к форме доказательства
- •8.9 Опровержение
- •8.10 Критика и подтверждение
- •Вопросы и упражнения для повторения
- •Тема 9. Социально-психологические аспекты аргументации
- •9.1 Спор и дискуссия как разновидности аргументации. Виды споров
- •9.2 Научный спор как форма познавательной деятельности. Значение научных споров
- •9.3 Уловки логического характера
- •9.4 Уловки социально-психологического характера
- •9.5 Уловки организационно-процедурного характера
- •9.6 Способы нейтрализации уловок в спорах
- •9.7 Рационализация споров
- •Вопросы для повторения
- •Тема 10. Формы развития знания
- •10.1 Вопрос как форма познания. Виды вопросов и виды ответов
- •Виды вопросов
- •Виды ответов
- •10.2 Проблема
- •10.3 Гипотеза
- •10.4 Теория
- •Состав теорий
- •Истинность теорий
- •Вопросы и упражнения для повторения
- •Рекомендуемая литература
- •302030, Г. Орел, ул. Московская, 65.
6.4 Непрямые умозаключения логики высказываний
Непрямые умозаключения представляют собой косвенные рассуждения. Они имеют довольно сложную структуру, благодаря тому, что состоят не из суждений, а из умозаключений. В них одно умозаключение получается из другого.
Этими формами выводов нередко пользуются в процессе аргументации, в частности, как средствами доказательств и опровержений. К непрямым умозаключениям относятся опровержение «путем сведения к абсурду», доказательство «от противного» и рассуждение по случаям.
Опровержение «путем сведения к абсурду» представляет собой непрямое умозаключение, в котором ложность некоторого суждения доказывается на основании того, что из данного суждения можно при помощи правильных умозаключений вывести противоречие.
Структура этого рассуждения такова. Сначала выдвигается некоторое предположение. Затем, используя правильные умозаключения, из него получается противоречие. На основании этого признают выдвинутое положение ложным. Упрощенно, форму этого вывода можно представить в следующем виде:
А ├ В Ù ùВ
ùА
Основанием такого рассуждения является непротиворечивость как свойство нашего мышления. Противоречие используется как признак неправильности какого-либо умозаключения в нашем рассуждении или ложности какого-либо суждения.
Пример. Представим себе, что на некотором острове живут только рыцари и лжецы. Причем лжецы всегда только лгут, а рыцари всегда говорят только правду. Приехавший на остров человек встречает двух местных жителей и спрашивает, кто они такие. На что один из них отвечает: «По крайней мере, один из нас лжец». Необходимо узнать, кем является отвечавший?
Предположим, что он является лжецом. Обозначим суждение «Ответивший – лжец» - А. Но тогда он сказал неправду, а, следовательно, ни один из них не является лжецом и оба они – рыцари. Мы получили противоречие: отвечавший в одно и тоже время рыцарь (В) и не рыцарь (В). Значит, наше предположение не верно, и тот, кто отвечал, на самом деле является не лжецом, а рыцарем.
Доказательство «от противного» близко к опровержению «путем сведения к абсурду», однако, в отличие от «сведения к абсурду», которое направлено на опровержение некоторого суждения, доказательство «от противного» направлено на доказательство какого-либо суждения, однако при этом оно также использует противоречие.
Структура этого умозаключения следующая. Допустим, нам нужно доказать истинность некоторого суждения. Временно предполагаем истинным суждение, противоречащее доказываемому, то есть отрицание доказываемого суждения. Затем включается тот же механизм вывода, что и в «сведении к абсурду»: при помощи правильных умозаключений выводим из противоречащего доказываемому суждения, которое мы временно предположили истинным, противоречие. И, если удается сделать это, можно считать доказанным то, что мы неверно предположили истинным суждение, противоречащее доказываемому, и оно ложно, а следовательно истинно само доказываемое исходное суждение. Как говорится, что и требовалось доказать.
В виде схемы доказательство «от противного» можно представить так:
ùА ├ В Ù ùВ
А
Это умозаключение использует закон двойного отрицания: отрицание отрицания некоторого суждения равносильно его утверждению (ùùАА или ùùА®А).
Пример. В качестве примера можно использовать ту же самую ситуацию с рыцарями и лжецами. Допустим, мы предположили, что отвечавший – рыцарь и хотим доказать это. Тогда временно допускаем, что он лжец, и выводим из этого противоречие. Тем самым мы доказываем истинность первоначального утверждения.
Рассуждение по случаям применяется тогда, когда необходимо сделать вывод из разделительного суждения (дизъюнкции). Поскольку на практике впрямую из дизъюнкции достаточно трудно делать выводы, то рассуждение по случаям как бы предлагает нам обходной маневр.
Принцип его заключается в следующем. Сначала смотрим, не следует ли интересующее нас суждение из всех альтернатив (случаев) дизъюнкции, и если следует, то его можно утверждать как следствие из всей дизъюнкции. Форма этого умозаключения:
А ├ С, В ├ С
А Ú В ├С
От условно-разделительных умозаключений (дилемм) это непрямое умозаключение отличается тем, что в его посылках фигурируют не суждения, а умозаключения (выводы).
Пример. «Кондотьеры2 по-разному владеют своим ремеслом: одни - превосходно, другие – посредственно. Первым нельзя довериться, потому что они сами будут домогаться власти… Вторым нельзя довериться, потому что они проиграют сражение» (Макиавелли).
В основе этого рассуждения лежит дизъюнктивная посылка «Кондотьеры по-разному владеют своим ремеслом: одни – превосходно, другие – посредственно». В логической форме это сложное суждение формулируется следующим образом: «Кондотьеры владеют своим ремеслом превосходно или кондотьеры владеют своим ремеслом посредственно». Из этого суждения Макиавелли делает выводы, применяя непрямое умозаключение, а именно, рассуждение по случаям. Он перебирает альтернативы (случаи) и показывает, что и в том, и в другом случае кондотьерам нельзя довериться. Рассмотрим схему этого рассуждения подробнее.
В нем можно выделить следующие простые суждения: s1 – «Кондотьеры владеют своим ремеслом превосходно»; s2 – «Кондотьеры владеют своим ремеслом посредственно»; r – «Кондотьерам нельзя довериться»; р – «Кондотьеры сами будут домогаться власти»; q – «Кондотьеры проиграют сражение».
s1 и s2 – это и есть альтернативы (случаи) дизъюнктивной посылки, лежащей в основе вывода. Посмотрим, каким образом делаются выводы из одного и другого случая.
Первый случай: «Кондотьеры владеют своим ремеслом превосходно». Макиавелли говорит, что «Если кондотьеры владеют своим ремеслом превосходно, то они сами будут домогаться власти: s1®р.
Далее, «Если они сами будут домогаться власти, то им нельзя довериться»: р®r.
Отсюда вытекает, что им нельзя довериться. Схема вывода будет следующей:
s1®р, s1
р
Следующий шаг:
р®r, р
r
Второй случай: «Кондотьеры владеют своим ремеслом посредственно». Макиавелли утверждает, что если кондотьеры владеют своим ремеслом посредственно, то они проиграют сражение. Если же они проиграют сражение, то им нельзя довериться. Из этих посылок вытекает, что им нельзя довериться. Получается следующая схема вывода:
s2®q, s2
q
Следующий шаг:
q®r, q
r
Таким образом, мы вывели r из s1 и из s2. Это означает, что можно утверждать вывод r из s1 Ú s2, т. е.
s1 Ú s2 ├ r.
В результате получилась схема рассуждения по случаям:
s1 ├ r, s2 ├ r
s1 Ú s2 ├ r