- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 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. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
Глава 16
Недемонстративные (правдоподобные) умозаключения
16.1. Общая характеристика правдоподобных умозаключений
В логике исследуются различные виды умозаключений, различающиеся особенностями логических форм посылок и заключений.
Так, в дедуктивных умозаключениях связи между посылками и заключением представляют собой формально-логические законы, в силу чего заключение с логической необходимостью следует из принятых посылок. Особенность дедукции заключается
âтом, что от истинных посылок она всегда ведет только к истинному заключению, что и определяет природу правильных (собственно) дедуктивных умозаключений.
Дедуктивные умозаключения часто подменяются неправильными дедуктивными умозаключениями. В традиционной логике было выделено большое число отдельных видов умозаключений, правильность которых определяется не дедуктивным выводом, а непосредственной очевидностью, наводящей на мысль о возможности принятия заключения на основе соответствующих посылок.Такие рассуждения, основанные на отношении подтверждения заключения посылками, являются правдоподобными умозаключениями. Иными словами, рассуждение счита-
ется правдоподобным, если информация, содержащаяся в посылках S1, S2, ..., Sn, достоверна и имеет место отношение подтверждения заключения посылками. Посылки лишь подтверждают заключение, делая истинность более достоверной.
Правдоподобную связь между посылками и заключением можно выразить
âвиде следующей схемы:
À| ≈ Â,
где А — посылки (S1, S2, ..., Sn), а В — заключение, | ≈ — знак правдоподобного следования, который следует отличать от отношения логического следования | =.
Правдоподобное следование можно определить через логическую вероятность. Если взять два высказывания (А и В), то можно определить вероятность
одного из них (В) при условии истинности другого (А), и наоборот.
Для формул логики высказываний существует простая процедура вычисления абсолютной и относительной (условной) вероятности по общей истинностной таблице.
Абсолютная логическая вероятность рассуждения равна дроби, в числителе которой число «И» результирующего столбца таблицы, а в знаменателе — число всех строк таблицы. Обозначение: Р(В), где Р — вероятность, В — рассуждение.
Относительная (условная) вероятность заключения (В) данного рассуждения при истинности посылок (А) определяется посредством истинностной таблицы,
âкоторой выделяются все строки, где А истинно, и это число записывается
âзнаменатель дроби, а в числитель — число строк, в которых А и В вместе истинны. Обозначение: Р (В/А); читается: вероятность В при условии А.
Тогда относительная логическая вероятность заключения (В) данного рассуждения при истинности посылок (А) может быть выражена:
1)Р (В) = Р (В/А), где А и В независимы друг от друга;
2)А | ≈ В Р (В) < Р (В/А), где А и В находятся в отношении подтверждения;
3)А | ≈ В Р (В/А) > 1/2, где правдоподобное следование между А и В определено условием высокой вероятности;
4)Р (В/А) = 1 — связь между А и В является логически необходимой при Р (А) ≠ 0.
202 |
IV. Умозаключение |
|
|
16.2.Отношение подтверждения в правдоподобных умозаключениях
Правдоподобные умозаключения — это умозаключения, в которых заключение не следует с необходимостью из посылок, а посылки дают основание считать заклю- чение вероятным.
Âправдоподобных умозаключениях, где связь посылок и заключения не опирается на логический закон, заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. При этом заключение может содержать информацию, отсутствующую в посылках. Такое отношение между посылками и заключением в правдоподобных умозаключениях называется подтверждением.
Иными словами, посылки подтверждают заключение при достаточной степени его вероятности, т.е. отношение подтверждения определяется через повышение вероятности заключения посредством определения соответствующих посылок, обеспечивающих достаточную степень его вероятности.
Âлогике высказываний существуют способы установления степени подтверждения заключения посылками. Одним из таких способов является определение логической формы рассуждения посредством истинностных таблиц.
Степень достоверности подтверждения заключения рассуждения при условии
истинности его посылок (S1, S2, ..., Sn) определяется посредством истинности таблицы, в которой выделяются все строки, где (S1, S2, ..., Sn) истинны, и это число записывается в знаменатель дроби, а в числитель – число строк, в которых
посылки (S1, S2, ..., Sn) и заключение вместе истинны. Данная операция представляет собой действие по определению относительной логической вероятности рассуждения.
Если посылки обозначить как А, а заключение как В, то первое подтверждает второе тогда и только тогда, когда относительная логическая вероятность В при истинности А больше абсолютной логической вероятности В.
Если и только если относительная логическая вероятность В при истинности А меньше абсолютной логической вероятности В, то высказывание А опровергает В.
Если и только если относительная логическая вероятность В при истинности А равна абсолютной логической вероятности В, то высказывание А несущественно по отношению к В. Иными словами, А и В независимы друг от друга.
Наличие в рассуждении отношения подтверждения и увеличение степени вероятности заключения посредством посылок до достоверности (до 1) характеризует не правдоподобные умозаключения, а дедуктивные. Рассуждение такого вида имеет высшую вероятность. При (Р (А) = 1) А — формула тождественно истинна, где Р — вероятность, А — заключение.
16. Недемонстративные (правдоподобные) умозаключения |
203 |
|
|
16.3.Установление отношения подтверждения
âправдоподобных умозаключениях
В рассуждениях если последнее высказывание (заключение) подтверждается всеми остальными вместе взятыми (посылками), то рассуждение считается правдоподобным умозаключением, а если не подтверждается, то данное рассуждение не является правдоподобным умозаключением.
Определение в рассуждении отношения подтверждения между заключением и посылками осуществляется посредством построения истинностной таблицы данного умозаключения.
П р и м е р. Если бы преподаватель не объяснил задачу ( р), то студент бы не узнал решения задачи ( q). Если бы студент не проконсультировался у преподавателя ( r), то он бы и не объяснил задачу ( р). Студент проконсультировался у преподавателя (r). Следовательно, студент узнал решение задачи (q).
Определим логические формы всех высказываний, входящих в данное рассуждение, и построим общую таблицу.
p |
q |
r |
p q |
r p |
r |
q |
|
|
|
|
|
|
|
|
|
|
Абсолютная |
È |
È |
È |
|
È |
È |
È |
È |
логическая вероятность: |
|
|
|
|
|
|
|
|
|
È |
È |
Ë |
|
È |
Ë |
Ë |
È |
Ð (r) = 1/2. |
È |
Ë |
È |
|
È |
È |
È |
Ë |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
È |
Ë |
Ë |
|
È |
Ë |
Ë |
Ë |
Относительная |
Ë |
È |
È |
|
Ë |
È |
È |
È |
логическая вероятность: |
|
|
|
|
|
|
|
|
|
Ë |
È |
Ë |
|
Ë |
È |
Ë |
È |
P (q / ð q, r ð, r) = 1/3. |
Ë |
Ë |
È |
|
È |
È |
È |
Ë |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
Ë |
Ë |
Ë |
|
È |
È |
Ë |
Ë |
|
|
|
|
|
|
|
|
|
|
Исходя из полученных результатов очевидно, что последнее высказывание (q) не подтверждается условиями истинности первых трех ( р q, r р, r), так как его относительная вероятность (1/3) меньше его же абсолютной вероятности (1/2). Следовательно, данное рассуждение не является правдоподобным умозаключением.
П р и м е р. Если погода будет хорошая (р), то мы поедем на дачу завтра (q). Если погода не будет хорошей ( р), то мы поедем на дачу в следующее воскресенье (r). Погода хорошая (р). Следовательно, мы не поедем на дачу в следующее воскресенье ( r).
p |
q |
r |
p q |
ð r |
ð |
r |
|
|
|
|
|
|
|
|
|
È |
È |
È |
È |
È |
È |
Ë |
Абсолютная |
|
|||||||
È |
È |
Ë |
È |
È |
È |
È |
логическая вероятность: |
È |
Ë |
È |
Ë |
È |
È |
Ë |
Ð ( r) = 1/2. |
È |
Ë |
Ë |
Ë |
È |
È |
È |
|
Ë |
È |
È |
È |
È |
Ë |
Ë |
Относительная |
|
|||||||
Ë |
È |
Ë |
È |
Ë |
Ë |
È |
логическая вероятность: |
Ë |
Ë |
È |
È |
È |
Ë |
Ë |
P ( r / p q, p r, p) = 1/2. |
Ë |
Ë |
Ë |
È |
Ë |
Ë |
È |
|
|
|
|
|
|
|
|
|
Исходя из полученных результатов имеем:
P ( r) = P ( r / p q, p r, p).
Следовательно, последнее высказывание ( r) несущественно (независимо) по отношению к первым трем (p q, p r, p).
204 |
IV. Умозаключение |
|
|
16.4.Правдоподобные (индуктивные) умозаключения
Правдоподобные умозаключения подразделяют на несколько видов — обобщающую индукцию, методы установления причинных связей (исключающую индукцию) и аналогию.
Индуктивные рассуждения относят к правдоподобным умозаключениям по двум причинам: Во-первых, индуктивные выводы обеспечивают лишь некоторую степень правдоподобия заключений; во-вторых, индукция не противопоставляется дедукции, а противопоставляются лишь выводы дедуктивные и правдоподобные, поскольку среди индуктивных выводов могут быть и дедуктивные (полная индукция).
Âшироком смысле слова под индукцией (от лат. inductio – наведение) понимают метод познания, посредством которого устанавливаются общие правила относительно некоторого класса предметов путем изучения отдельных предметов этого класса и определения того общего, что именно их объединяет в данный класс.
Âузком смысле слова под индукцией понимают определенную форму мышления, а именно — индуктивные умозаключения. В такого типа умозаключениях связь посылок и заключения не опирается на логический закон (как в дедукции),
âсилу чего заключение выводится из принятых посылок не с логической необходимостью, а только с некоторой вероятностью.
Âиндукции истинность посылок не гарантирует истинность заключения; ее заключение может содержать информацию, отсутствующую в посылках. Посылками индуктивного умозаключения выступают суждения, в которых выделяется полученная опытным путем информация о повторяемости признака Р
у ряда предметов — а1, à2, ..., àn, принадлежащих одному и тому же классу (множеству) А.
Рассмотрим множество А = (а1, à2, ..., àn).
|
Схема индукции: |
|
В записи на языке логики предикатов: |
|||||
1. |
à1 имеет признак Р |
|
1. Ð(à1) |
|
||||
|
à2 имеет признак Р |
|
Ð(à2) |
|
||||
|
à3 имеет признак Р |
|
Ð(à3) |
|
||||
|
|
|
|
|
|
|
|
|
|
|
àn имеет признак Р |
|
|
|
Ð(àn) |
||
2. |
à1, à2, à3, ..., àn — элементы |
|
|
|
2. n + 1. à1, à2, à3, ..., àn — элементы |
|||
|
(части) класса (множества) А |
|
|
|
множества S |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Àx (S(x) Ð(õ)), |
З а к л ю ч е н и е. Все предметы х, принадлежащие классу А, имеют признак Р.
где областью определения х является множество S.