- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
226 |
V. Аргументация |
|
|
19.6.Условия доказательности и недоказательности аргументации
Аргументация
Степень обоснованности истинности или ложности тезиса зависит от типа демонстрации и истинности аргументов. В соответствии с этим различают доказательную и недоказательную аргументацию.
Доказательная |
|
|
Недоказательная |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Аргументация, в которой аргументы — истинные (достоверные) утверждения, а форма — демонстративное рассуждение, т.е. демонстрация включает в себя только демонстративные типы рассуждений, обеспечивающих получение истинного заключения при истинных посылках (дедуктивные умозаключения, некоторые виды индукции и аналогии). В такого типа аргументациях тезис истинен или ложен. Это находит свое выражение в доказательстве или опровержении.
Доказательное рассуждение — характерная особенность на- учного стиля мышления.
П р и м е ч а н и е. Образцом доказательства, которому в той или иной мере стремятся следовать во всех науках, является математическое доказательство. Однако несмотря на то, что математическое доказательство является образцом доказательства вообще, но даже в математике доказательство не является абсолютным и окон- чательным.
I т и п. Аргументация, в которой аргументы достаточно вероятны, но не вполне достоверны, т.е. являются правдоподобными утверждениями, а форма – демонстративное рассуждение, т.е. демонстрация включает демонстративные типы умозаключений. В такого типа аргументациях степень вероятности истинности или ложности тезиса соотносится со степенью вероятности аргументов. Это находит свое выражение в подтверждении или критике.
II т и п. Аргументация, в которой аргументы — истинные (достоверные) утверждения, а форма — недемонстративное рассуждение, т.е. в демонстрации встречаются недемонстративные типы умозаключений. В такого типа аргументациях тезис является только правдоподобным, т.е. получается лишь вероятно истинным или вероятно ложным утверждением из-за недемонстративности формы.
III т и п. Аргументация, в которой аргументы — вероятные утверждения, а форма — недемонстративное рассуждение, т.е. демонстрация включает недемонстративные способы рассуждения. В такого типа аргументациях тезис обоснован меньше чем аргументы, поэтому его истинность или ложность проблематична.
19. Общая характеристика аргументации |
227 |
|
|
19.7. Структура доказательства
Любое доказательство включает в себя три элемента: тезис, аргумент и демонст-
рацию. Доказательство — триединая сущность, ни один из элементов которой не
может быть изъят; все они являются условиями, необходимыми для того, чтобы
доказательство было осуществлено. Стало быть, каждый из них является необхо-
димым, и только вместе они являются достаточными для доказательства.
Универсального для всех случаев способа доказательства не существует. Каж-
дое доказательство имеет свою специфику, которая определяется характером доказываемого тезиса и имеющихся аргументов.
Всякое доказательство есть вывод истинности доказываемой мысли из других суждений, признанных за истинные. В связи с этим возникает вопрос: Какой должна быть по содержанию истинная мысль, которую следует взять в качестве посылки доказательства истинности тезиса? Содержательный компонент каждой мысли определяется конкретным знанием, адекватным реальной действительности. Такое конкретное знание логика, конечно, определить не может. Но вот какую взять мысль по форме (общие, частные или единичные суждения), какие исполь-
зовать формы связи и отношения между истинными мыслями, взятыми в каче-
стве посылок доказательства, и доказываемым тезисом, — это дело логики. По-
этому одна из основных задач логики — точно определить и правильно класси-
фицировать формы отношений между мыслью доказываемой и мыслями, с помо-
щью которых обосновывается истинность доказываемой мысли. Это первая задача.
Кроме этого необходимо чтобы мысли доказывающие (аргументы) сами должны
выводиться из других истинных доказанных мыслей. Из этого вытекает и вторая
задача: установить, какого рода мысли являются уже не нуждающимися в доказательстве. Структуру доказательства можно представить в виде следующей схемы.
Доказательство
Логическая процедура установления истинности какого-либо утверждения при помощи других утверждений, истинность которых уже установлена.
|
|
|
|
|
|
|
|
Тезис |
|
Аргументы |
|
Промежуточные |
|||
|
|
|
|
||||
доказательства |
|
|
|
|
допущения |
||
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
Высказывание, |
|
Высказывания, |
|
Вспомогательные |
|||
истинность или |
|
посредством ко- |
|
допущения, кото- |
|||
ложность кото- |
|
торых осуще- |
|
рые вводятся в про- |
|||
рого доказыва- |
|
ствляется дока- |
|
цессе рассуждения |
|||
åòñÿ. |
|
зательство те- |
|
(дедукции) и устра- |
|||
|
|
|
çèñà. |
|
|
няются затем при |
|
|
|
|
|
|
|
переходе к оконча- |
|
|
|
|
|
|
|
тельному результату |
|
|
|
|
|
|
|
рассуждения. |
|
|
|
|
|
|
|
|
|
Форма
доказательства
(демонстрация)
Логический способ обоснования тезиса при помощи аргументов (возможно, с использованием промежуточных допущений).
228 |
V. Аргументация |
|
|
19.8. Способы доказательств
Доказательства
Прямые
Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргументами.
Косвенные
Истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса.
Апагогические1
Апагогическое доказательство (или доказательство «от противного») осуществляется путем установления ложности противоречащего тезису суждения (антитезиса).
П р и м е р. Необходимо доказать теорему: «Если две прямые перпендикулярны к одной и той же плоскости, то они параллельны».
Предполагаем от противного, что прямые АВ и СD не параллельны. Тогда они пересекутся и образуют треугольник с двумя внутренними прямыми углами, поэтому сумма всех внутренних углов треугольника больше 180°.
Однако сумма внутренних углов любого треугольника равна 180°.
Значит, предположение, что АВ и СD не параллельны, ложно, из чего вытекает доказанность теоремы о параллельности прямых АВ и СD.
Разделительные
Разделительное доказательство (методом исключения) осуществляется путем установления ложности всех несовместимых с тезисом положений (альтернатив).
П р и м е р. В ходе расследования преступления установлено, что его мог совершить один из трех подозреваемых — А, В или С. Строим предварительную версию в форме разделительного предположения — «Это преступление совершено либо А, либо В, либо С».
Допустим, что в ходе следствия А и В доказали свое алиби. Следовательно, преступление совершил С.
Здесь применена структура отрицающеутверждающего модуса разделительнокатегорического умозаключения.
1 Апагогический (от греч. apagoge) — отводящий, уводящий.
19. Общая характеристика аргументации |
229 |
|
|
19.9. Виды доказательств
Доказательства
Полные
Предполагают полный объем информации, содержащейся в аргументах.
Строгие
Предполагают дедуктивную связь тезиса и аргументов.
Неполные
Предполагают достаточный объем информации, содержащейся в аргументах.
Нестрогие
Предполагают индуктивную или аналогическую связь тезиса и аргументов.
Исчерпывающие
Предполагают все возможные варианты доказываемого тезиса.
Обусловливающие
Предполагают установление всех условий истинности тезиса.
Разделительные
Предполагают установление истинности тезиса путем последовательного доказательства логичности всех членов разделительного суждения, кроме одного.
Математические
Предполагают использование формализованного аппарата.
Эмпирические
Предполагают использование эмпирического познания.
По существу
Предполагают исследование логической связи тезиса и аргументов, а также содержания последних.
Общим для всех видов доказательств являются: а) структура и способы доказательства, б) общие тербования к доказываемой мысли, а также к мыслям, с помощью которых обосновывает доказываемое положение.
230 |
V. Аргументация |
|
|
19.10.Прямое обоснование тезиса
âаргументативных процессах
Прямое обоснование тезиса
Обоснование тезиса без обращения к конкурирующим с тезисом допущениям
Прямое обоснование принимает форму:
1) дедуктивных умозаключений
Дедуктивное обоснование чаще всего выражается в подведении частного под общее правило.
С х е м а доказательства на дедуктивной основе:
Ò
à1 |
à2 |
à3 |
Т — тезис а1, à2, à3, ... — аргументы
2) индукции
Индуктивное обоснование — логический переход от аргументов, в которых представлена информация об отдельных случаях определенного рода,
к тезису, обобщающему эти случаи.
С х е м а доказательства на индуктивной основе:
Ò
à1 |
à2 |
à3 |
Т — тезис а1, à2, à3, ... — аргументы
3) аналогии
Демонстрация в форме аналогии — это прямое обоснование тезиса, в котором формулируется утверждение о свойствах единичного явления.
Ñ õ å ì à |
|
|
|
доказательства на основе аналогии: |
|
à1 |
|
Т — тезис |
Ò |
à2 |
ÎÀ |
à1, à2, à3 ... — аргументы |
|
|
|
ОА — объект аналогии |
|
à3 |
|
|
|
|
19. Общая характеристика аргументации |
|
231 |
|
19.11. Косвенное обоснование тезиса |
|
||
в аргументативных процессах |
|
||
Косвенное обоснование тезиса |
|
||
Обоснование тезиса путем установления ложности |
|||
антитезиса или других конкурирующих с тезисом допущений. |
|||
Два вида косвенного обоснования: |
|
||
Апагогическое обоснование |
|
||
Обоснование тезиса путем установления ложности противоречащего ему допущения. |
|||
Ï ð è ì å ð |
|
|
Ñ õ å ì à |
Пусть а — тезис, который надо доказать. |
апагогического доказательства |
||
Предполагаем от противного, что а ложно, |
|
|
|
т.е. истинно не-а (или а). Из допущения |
|
|
|
а выводим следствия, которые противоре- |
|
Ò |
|
чат действительности. Имеем а а, при |
|
Ò |
|
этом а ложно, значит, истинно его отри- |
|
|
|
цание, т.е. а, которое по закону двузнач- |
|
|
|
ной классической логики ( а |
à) äàåò à. |
|
|
Значит, истинно а, что и требовалось до- |
à1 |
à2 |
|
казать. |
|
||
Логическая форма: (а & а) (закон ло- |
|
à3 |
|
ãèêè). |
|
|
|
Разделительное обоснование |
|
Косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления ложности и исключения всех других конкурирующих членов дизъюнкции.
С х е м а разделительного доказательства
|
À |
|
|
 |
|
|
|
Ñ |
|
|
Ò |
|
|
|
|
|
|
à1 |
à2 |
à3 |
b1 |
b2 |
b3 |
c1 |
c2 |
c3 |
Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения, кроме одного.
Здесь применяется структура отрицающе-утверждающего модуса разделительно-ка- тегорического силлогизма. Заключение будет истинным, если в разделительном суждении предусмотрены все возможные альтернативы, т.е. оно является закрытым (полным):
|
|
à b c d; a & b & c |
. |
|
|
|
|
|
|
|
|
d |
|
|
Логическая форма: |
à b c d t; a & b & c & d |
. |
||
|
|
|
|
t
(отрицающе-утверждающий модус разделительно-категорического силлогизма).