- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 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. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
15. Демонстративные (необходимые) умозаключения |
171 |
|
|
15.15.Построение непосредственных умозаключений по логическому квадрату
Способ логического квадрата. При этом способе субъект и предикат посылки остаются субъектом и предикатом заключения. В умозаключениях по логическому квадрату заключение может отличаться от посылки количественной или каче- ственной характеристикой. При этом следует иметь в виду, что посылка (как и заключение) могут быть суждениями, предваренными отрицанием.
Умозаключение будет правильным, если существующее отношение между посылкой и заключением однозначно приписывает истинностное значение заклю- чению при истинности посылки. И, напротив, умозаключение будет неправильным, если истинностное значение заключения не предопределено его отношением с посылкой.
Умозаключения по логическому квадрату
1. Контрарные (противоположные) суждения типа А и Е (верхняя горизонталь логического квадрата) характеризуются тем, что эти суждения не могут быть одновременно истинными, хотя и могут быть одновременно ложными.
Следовательно, если истинно одно суждение, то другое ложно, а это, в свою очередь, означает, что истинно его отрицание. Здесь возможны выводы только одного типа — от истинности к ложности.
Правила вывода: А → Е ; Е → А .
П р и м е р. Из истинности суждения Все ели — деревья следует ложность суждения Недостоверно, что ни одна ель не является деревом (А → Е ).
П р и м е р. Из истинности суждения Ни один истинно благочестивый человек не ест мясную пищу следует ложность суждения Все истинно благочестивые люди едят мясную пищу (Е → А ).
Отношния между противоположными суждениями подчиняются закону непротиворечия. Выводы строятся по схемам:
À → Å ; Å → À ; À → (Å Å) ; Å → (À À).
2. Субконтрарные (или отношения противности, подпротивоположности, частичной совместимости) суждения типа I и О (нижняя горизонталь логического квадрата) характеризуются тем, что эти суждения не могут быть одновременно ложными, хотя и могут быть одновременно истинными. Здесь возможны только выводы от ложности к истинности.
Правила вывода: I → О ; О → I .
Ïр и м е р. Из ложности суждения Некоторые свидетели дают истинные показания следует истинное суждение Некоторые свидели не дают истинных показаний ( I → О ).
Ïр и м е р. Из ложности суждения Некоторые свидетели не допрошены следует истинность суждения Некоторые свидетели допрошены.
( О → I ). Выводы из отношения субконтрарности строятся по схемам:
I → Î ; Î → I ; I → (Î Î) ; Î → (I I ).
172 IV. Умозаключение
3. В отношении подчинения находятся суждения типа А и I, Е и О (вертикали логического квадрата). Истинность подчиняющего суждения А обусловливает истинность подчиненного суждения I. Ложность подчиненного суждения I влечет ложность подчиняющего суждения А. Аналогично и для суждений типа Е (подчи- няющее суждение) и О (подчиненное суждение).
Здесь возможны два вида выводов: а) от истинности одного суждения к истинности другого (А → I ),(Е → О); б) от ложности одного суждения к ложности другого I → A, O → E.
Ï ð è ì å ð û.
Из суждения Все люди подвержены болезням следует суждение Некоторые люди подвержены болезням (А → I ).
Из суждения Ни одна трапеция не является сферическим телом следует суждение Некоторые трапеции не являются сферическими телами (Е → О).
Умозаключение от общего суждения к логически подчиненному ему частному суждению всегда будет давать истинное заключение.
Ï ð è ì å ð û.
Из ложности суждения Некоторые люди способны изменять ход истории следует ложность суждения Все люди способны изменять ход истории ( I → A).
Из ложности суждения Некоторые народы не имеют права на самоопределение следует ложность суждения Ни один народ не имеет права на самоопределение ( O → E).
Выводы строятся по схемам: А → I ; Е → О ; I → (А А);
Î→ (Å Å); I → A ; O → E ; À → (I I ); Å → (Î Î).
4.В отношении контрадикторности (противоречия) находятся суждения типа
Àи О, Е и I (диагонали логического квадрата). Отношения этого вида подчиняются закону исключенного третьего: из истинности одного суждения следует ложность другого суждения, из ложности одного — истинность другого. Контрадикторные суждения А и О (соответственно, E и I) не могут быть одновременно истинными или одновременно ложными.
Выводы строятся по схемам: А → О ; А → О ; Е → I ; Е → I.
Эти выводы также делятся на два вида:
• от истинности некоторого суждения к ложности другого суждения
(À → Î ; O → À; Å → I; I → Å).
• от ложности некоторого суждения к истинности другого суждения
( À → Î ; O → À ; Å → I; I → Å).
П р и м е р ы Из истинности суждения Все люди имеют право на труд следует ложность
суждения Некоторые люди не имеют право на труд (А → О ).
Из истинности суждения Некоторые приговоры суда являются оправдательными следует ложность суждения Ни один приговор суда не является оправдательным (I → Е).
П р и м е р Из ложности суждения Все люди имеют преступные наклонности следует
истинность суждения Некоторые люди не имеют преступных наклонностей
( À → Î ).
15. Демонстративные (необходимые) умозаключения |
173 |
|
|
15.16.Построение непосредственных умозаключений посредством преобразования
структуры посылки
Специальные логические операции над суждениями: превращение; обращение; противопоставление предикату. В этом типе непосредственных умозаключений, называемых умозаключениями путем преобразования структуры посылки, заключение может отличаться от посылки не только качественной и количественной характеристикой, но и перестановкой субъекта и предиката, а также появлением в заклю- чении отрицательного термина, противоречащего субъекту или предикату посылки.
Проверка правильности умозаключений, полученных путем преобразования структуры посылки, осуществляется посредством воспроизведения соответствующих логических операций (превращения, обращения, противопоставления предикату) и сравнения их результата с определенным (конкретным) заключением.
Проверка предполагает прежде всего выяснение того, какая операция осуществлялась. Определить превращение или обращение несложно.
1.Превращение — это преобразование суждения, в результате которого меняется качество исходного суждения с одновременной заменой его предиката на противоречащее понятие.
2.Обращение — это преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат – субъектом заключения.
3.Противопоставление предикату — это преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения; связка меняется на противоположную.
Рассмотрим категорическое суждение:
1.Все преступники являются безнравственными людьми.
Произведем преобразование:
2.Ни один преступник не является нравственным человеком.
Произведем преобразование:
3.Ни один нравственный человек не является преступником.
В результате получим три непосредственных умозаключения. Переход от (1)
ê(2) — превращение, переход от (2) к (3) — обращение, переход от (1) к (3) — противопоставление предикату.
Далее произведем проверку умозаключения: «Ни один преступник не является нравственным человеком, следовательно, ни один нравственный человек не является преступником». Посылка — общеотрицательное суждение (Е) с субъектом «преступник» (S), связкой «не является» и предикатом «нравственным человеком» (Р) — типа SеР. Заключение – общеотрицательное суждение, где субъект и предикат поменялись местами, т.е. РеS. Таким образом, преобразование состоит в обращении. Данное умозаключение является правильным, так как и в посылке, и в заключе- нии оба термина распределены и обращение производится без изменения количе- ственной характеристики суждений по схеме:
Íè îäíî S íå åñòü Ð . Íè îäíî Ð íå åñòü S
174 |
IV. Умозаключение |
|
|
15.17. Превращение
Превращение — преобразование суждения, в результате которого меняется каче- ство исходного суждения с одновременной заменой его предиката на противореча- щее понятие.
Общая схема превращения:
|
|
|
|
|
S --- P |
|
èëè |
|
S åñòü (íå åñòü) P |
. |
|
|
|
|||||||
|
|
|
|
|
S ---íå-P |
|
|
|
|
S íå åñòü (åñòü) íå-P |
||||||||||
Превращению подлежат суждения А, Е, I, О. |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
À → Å |
|
|
|
|
|
|
|
Å → À |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Âñå S åñòü Ð |
|
|
|
|
|
|
Íè îäíî S íå åñòü Ð |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
Íè îäíî S íå åñòü íå-Ð |
|
|
|
|
|
|
Âñå S åñòü íå-Ð |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
П р и м е р. Все тигры – хищные животные. |
|
Ï ð è ì å ð. Íè îäèí êèò íå åñòü ðûáà. |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Âñå êèòû åñòü íå-ðûáû. |
||||
|
|
|
Ни один тигр не является не |
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
хищным животным. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I → Î |
|
|
|
|
|
|
|
Î → I |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
Некоторые S есть Р |
|
|
|
|
|
Некоторые S не есть Р |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Некоторые S не есть не-Р |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
Некоторые S есть не-Р |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
П р и м е р. Некоторые металлы явля- |
|
|
|
|
|
|
|
|
|
|||||||||||
|
П р и м е р. Некоторые студенты не |
|
||||||||||||||||||
|
|
|
|
ются жидкими. |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
являются отличниками. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Некоторые металлы не |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
Некоторые студенты |
|
|||||||||||||||
|
|
|
|
являются не-жидкими. |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
являются не-отличниками. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Процесс превращения происходит следующим образом:
1.Заменяется связка исходного суждения на противоположную по качеству, т.е. «есть» на «не есть», и наоборот.
2.Заменяется предикат исходного суждения на понятие, противоречащее ему, т.е. P на íå-P èëè íå-P íà P.
В превращении можно выделить два частных способа.
Первый способ осуществляется посредством двойного отрицания, которое ставится перед связкой и перед предикатом: «S есть P — S не есть не-P» (например: Мужчина является главным членом семьи — Мужчина не является не главным членом семьи).
Второй способ осуществляется посредством отрицания, которое можно переносить из предиката в связку: «S есть не-P — S не есть P» (например: Травоядные животные являются нехищниками — Ни одно травоядное животное не является хищником).