- •Содержание
- •Тема 7. Правдоподобные умозаключения 150
- •Тема 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 Прямые умозаключения логики высказываний
- •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.
8.2 Структура доказательства
В составе доказательства (и опровержения) выделяются: тезис доказательства, аргументы, промежуточные допущения и форма доказательства.
Тезис доказательства - высказывание, истинность или ложность которого доказывается.
Аргументы - высказывания, посредством которых осуществляется доказательство тезиса. В доказательстве аргументы обязательно должны быть истинными.
Промежуточные допущения - вспомогательные допущения, которые вводятся в процессе рассуждения (дедукции) и устраняются затем при переходе к окончательному результату рассуждения. Эти высказывания могут быть как истинными, так и ложными. Например, в так называемых доказательствах «от противного» в качестве промежуточных допущений вводятся заведомо ложные высказывания.
Форма доказательства - логический способ обоснования тезиса при помощи аргументов (возможно, с использованием промежуточных допущений).
8.3 Виды доказательств
Несколько тривиальным и притом нелогическим, но играющим большую роль в познании видом доказательства является обоснование высказывания путем непосредственного обращения к фактам. В этом случае достаточным основанием для признания истинности некоторого суждения служат соответствующим образом проверенные показания органов чувств.
Пример. Так, путем непосредственного обращения к фактам доказано, что существует смена времен года, дня и ночи, что существуют жидкие и твердые тела и т.д.
Также тривиальным, но уже имеющим логический характер, является доказательство аналитически истинных высказываний. В данном случае доказательство состоит просто в извлечении необходимой информации из соответствующего определения.
Пример. Истинность утверждения, что у всякого параллелограмма противоположные стороны параллельны, следует прямо из определения параллелограмма как четырехугольника, у которого противоположные стороны попарно параллельны.
Основными видами доказательств, различающихся по форме, являются доказательства прямые и непрямые (косвенные).
Прямое доказательство - это дедуктивный вывод, в котором тезис (Т) непосредственно выводится из аргументов (А) в качестве заключения вывода. Другими словами, истинность тезиса выводится из истинности аргументов без введения дополнительных предположений.
Пример. Все млекопитающие дышат легкими. Кит – млекопитающее. Из этого следует, что и кит дышит легкими.
Непрямое (косвенное) доказательство истинности или ложности некоторого тезиса (Т) состоит в том, что оно достигается посредством опровержения некоторых других высказываний, несовместимых с тезисом.
Косвенное доказательство, в свою очередь, подразделяется на два вида: доказательство «от противного» и разделительное.
Доказательство «от противного» по своей формальной структуре совпадает с непрямым умозаключением «рассуждение от противного». Форма доказательства «от противного» может быть представлена следующим образом:
А
,
А├ Т
где А - аргументы; Т - тезис; ùТ - антитезис (высказывание, противоречащее тезису); В Ù ùВ - выводимое из антитезиса противоречие.
Пример. Если бы Теплов совершил убийство, то он был бы на месте преступления в ту ночь, когда оно было совершено. Но в ту ночь Теплов не был на месте преступления, что подтверждено свидетельскими показаниями. Следовательно, он не совершал данного убийства.
Доказательство посредством исключения альтернатив (разделительное) по формальной структуре совпадает с разделительно-категорическим умозаключением, имеющим отрицающе-утверждающий модус, и является обобщением формы этого умозаключения:
А
,
Аn
где Аn - тезис доказательства.
Пример. Мы предполагаем, что какой-то поступок был совершен либо Майоровым, либо Корнеевым, либо Гладких. Но на основании имеющихся аргументов вынуждены признать, что ни Майоров, ни Корнеев не совершали этого поступка. Исключая соответствующие альтернативы дизъюнкции, получаем заключение: «Поступок совершил Гладких».