- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 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. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
Глава 8
Простые суждения
8.1. Структура суждения
Суждение (высказывание) — форма мышления, в которой что-либо утверждается или отрицается о связи между предметом и его признаком или об отношениях между предметами. Суждение может быть либо истинным, либо ложным.
Суждение (высказывание)
Простое
Простым называется суждение, выражающее связь двух терминов (S – P).
Ï ð è ì å ð. Халатность (S) есть преступление (Р)
Сложное
Сложным называется суждение, состоящее из нескольких простых суждений.
Ï ð è ì å ð. Если завтра будет хорошая погода (р), то дети пойдут на прогулку (q)
Структура: S есть Р |
Структура: р q |
Основной логической характеристикой суждения (высказывания) является его истинностное значение – каждое суждение либо истинно, либо ложно.
Суждение истинно тогда и только тогда, когда описываемая в нем ситуация имеет место в действительности, в противном случае оно ложно.
П р и м е р ы. Все ужи — пресмыкающиеся (истинное суждение).
Сера электропроводна (ложное суждение).
В классической двузначной логике суждение имеет одно из двух значений истинности: оно либо истинно, либо ложно. В многозначных логиках рассматриваются и другие значения: неопределенно, возможно, бессмысленно и т.п.
Различают суждения: описательные (дескриптивные), оценочные, описательнооценочные, неопределенные, бессмысленные и др.
П р и м е р ы. Здесь растет дерево (неопределенное суждение). Простые числа голубые (бессмысленное суждение).
8. Простые суждения |
99 |
|
|
8.2. Логическая структура простого суждения
Суждение
Субъект суждения (S) |
|
|
|
Предикат |
|
|
|
суждения (Р) |
|
|
|
Логическая |
|
|
|
|
связка |
|
|
|
|
|
|
|
Понятие |
|
|
|
Понятие |
о предмете суждения |
|
|
|
о признаке суждения |
|
|
|
|
|
S (íå) åñòü Ð
S и P — термины суждения
Субъектом (S) называется то, о чем говорится в суждении, объект, о котором идет речь. Иными словами, субъект — это предмет суждения, зачастую совпадающий по смыслу с подлежащим предложения, так что в известном смысле субъект — подлежащее суждения (логическое подлежащее).
П р и м е р. Кража есть преступление. Здесь субъектом будет понятие «кража».
Предикатом (Р) называется то, что говорится о субъекте, какие признаки ему приписываются или не приписываются. Предикат – логическое сказуемое. Поскольку предикат выражает определенные знания (информацию) о субъекте суждения, постольку он является ведущим элементом суждения.
П р и м е р. Кража есть престуление. Здесь предикатом будет понятие «преступление».
Связка обозначает отношение между субъектом (S) и предикатом (Р), благодаря чему мысль обретает форму суждения. Связка выражает суть суждения, поскольку только с ее помощью можно выразить утверждение или отрицание чеголибо о чем-либо.
П р и м е р. Кража есть преступление. Здесь связкой будет слово «есть».
Субъект и предикат называются терминами суждения. В структуру некоторых суждений входят еще так называемые кванторные (количественные) слова (некоторые, все, ни один и др.).
П р и м е р. Все кражи есть преступления. Здесь кванторное слово — «все».
100 |
III. Суждение |
|
|
8.3.Логический анализ предложений, выражающих простые суждения
Логическая форма суждения (высказывания) не всегда совпадает с грамматической формой предложения. Поэтому основой логического анализа простых предложений является перевод предложения в основную логическую форму высказывания, в которой его составные элементы четко определены и находятся в определенной последовательности. Это позволяет определить точный смысл высказывания.
Логический анализ предложений предполагает их содержательную и объемную характеристику.
Содержательная характеристика предполагает интерпретацию предиката как признака, утверждаемого или отрицаемого относительно субъекта.
Объемная характеристика предполагает интерпретацию предиката и субъекта как имен предметов, а суждение — как отношение между их объемами.
Логический анализ предложения естественного языка позволяет выяснить его точный смысл.
Логический анализ приведения предложения естественного языка к основной логической форме высказывания предполагает определить:
1)субъект и предикат высказывания;
2)связку высказывания;
3)количественную характеристику (квантор) высказывания;
4)количественно-качественную характеристику высказывания (А, Е, I, О);
5)распределенность терминов в высказывании.
(Подробнее по пунктам 4 и 5 см. п. 8.6 и 8.8.) П р и м е р 1. Все дубы — деревья.
Âданном предложении состав суждения логически определен: субъект — дубы (S), предикат — деревья (Р), связка — есть, количественная характеристика суждения (кванторное слово) — все. Суждение имеет логическую форму: Все S есть Р.
Суждение общеутвердительное (А), где субъект распределен (+), а предикат — не распределен (–).
Âестественном языке встречаются предложения, где определение состава суждения требует предварительного уточнения.
П р и м е р 2. Часто встречаются тела, расширяющиеся при нагревании.
Âданном предложении субъект явно не определен (предмет выраженной в нем мысли — тела, которые часто встречаются); предикат — тела, которые расширяются при нагревании. Из смысла предложения ясно, что речь идет о некоторой части тел, которые часто встречаются. Связка утвердительная.
Следовательно, логическая форма данного высказывания: Некоторые S есть Р, или Некоторые (кванторное слово) тела, которые часто встречаются (S), явля-
ются (связка) телами, которые расширяются при нагревании (Р). П р и м е р 3. В библиотеке есть интересные книги.
Âданном предложении, как и в предыдущем примере, субъект явно не определен (предмет выраженной в нем мысли — библиотечные книги); предикат — интересные книги. Из смысла предложения ясно, что речь идет о некоторой части библиотечных книг. Связка утвердительная.
Следовательно, логическая форма данного высказывания: «Некоторые S есть Р, или «Некоторые (кванторное слово) библиотечные книги (S) являются (связка) интересными книгами (Р)».
8. Простые суждения |
101 |
|
|
8.4. Виды простых суждений
Простые суждения
Суждения свойства (атрибутивные)
Суждение о признаке предмета
S – Ð
Ï ð è ì å ð.
Россия (S) — суверенное государство (Р).
Суждения с отношениями
(реляционные)
Суждение, отражающее отношение между предметами
x R y
x, y — члены отношения
R— отношение между ними
Ïð è ì å ð.
Мораль (х) возникла раньше права (y).
Суждения
существования
(экзистенциальные)
Âсуждениях существования выражается сам факт существования
или несуществования предмета суждения
S – P
Ï ð è ì å ð.
Статистические законы (S) есть (связка) то, что существует (Р).
Суждения со сложным субъектом и сложным предикатом
S (S1, S2, S3) åñòü Ð
П р и м е р. Авторские права поэтов (S1), писателей (S2) и композиторов (S3) охраняются законом (Р).
S åñòü Ð (Ð1, Ð2, Ð3)
П р и м е р. Никто (S) не может быть подвергнут произвольному наказанию (Р1), необоснованному задержанию (Р2) или незаконному аресту (Р3).
Оба суждения являются сложными. Так, первое суждение включает в себя три простых суждения: Авторские права поэтов охраняются законом; Авторские права писателей охраняются законом; Авторские права композиторов охраняются зако-
ном. Поскольку все три простых суждения имеют один и тот же предикат, то исходное суждение может рассматриваться как простое суждение со сложным субъектом. Второе исходное суждение также является простым суждением, но со сложным предикатом.
П р и м е ч а н и е. Для некоторых суждений со сложным субъектом и сложным предикатом можно указать эквивалентные им сложные суждения посредством операции разложения простых суждений на сложные. Но не может быть разложено на сложное простое суждение вида «х(А(х)) & В(х)) есть С(х)». Например, Всякое число, делящееся на
2 и на 3 делится на 6.
102 |
III. Суждение |
|
|
8.5. Атрибутивные суждения.
Деление суждений по качеству и количеству
Атрибутивные суждения — это суждения свойства. В суждениях этого вида утверждается или отрицается наличие у предмета определенных свойств.
П р и м е р ы: а) «Акула (S) — хищная рыба (P)».
б) «Акула (S) — не хищная рыба (P)».
Âатрибутивных суждениях (как и в суждениях существования) наличествует всегда один субъект. В суждениях об отношениях — более чем один.
Атрибутивные суждения подразделяются по своим качественным и количе- ственным характеристикам. В зависимости от того, утверждается ли присущность предиката субъекту суждения или отрицается, выделяют утвердительные и отрицательные суждения.
Âсуждении всегда что-либо утверждается или отрицается об одном предмете,
îнекоторой части предметов, о целом классе предметов. В зависимости от этого суждения по количеству подразделяются на единичные, частные и общие.
Деление атрибутивных суждений по качеству и количеству
По качеству различают утвердительные и отрицательные суждения.
1. Утвердительное суждение выражает принадлежность предмету некоторого признака.
Логическая форма: S есть P или S есть не-P
П р и м е р ы: а) Некоторые юристы (S) есть адвокаты (P).
б) Некоторые юристы (S) есть не адвокаты (P).
2. Отрицательное суждение выражает отсутствие у предмета некотрого признака. Логическая форма: S не есть P
П р и м е р: Обвиняемый (S) не есть (связка) лицо, обязанное доказывать свою невиновность (P).
По количеству различают общие, частные и единичные суждения:
1. Общее суждение — это суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса.
Логическая форма: Все S есть P или Ни одно S не есть P
П р и м е р ы: а) Все свидетели (S) дали показания (P).
б) Ни один свидетель (S) не дал показания (P).
2. Частное суждение — это суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса.
Логическая форма: Некоторые S есть P или Некоторые S не есть P
П р и м е р ы: а) Некоторые свидетели (S) дали показания (P).
б) Некоторые свидетели (S) не дали показания (P).
3. Единичное суждение — это суждение, в котором что-либо утверждается или отрицается об одном предмете.
Логическая форма: Это S есть P или Это S не есть P
П р и м е р ы: а) МГУ (S) есть памятник архитектуры (P).
б) Иванов (S) в нотариальной конторе не работает (P).
П р и м е ч а н и е. В определенном смысле единичные суждения можно отождествить с общими. Поскольку в единичных суждениях предикат либо приписывается всему объему субъекта, либо отрицается у всего объема субъекта, единичные суждения приравниваются к общим. Распределенность терминов в единичные суждениях такая же, как и общих.
8. Простые суждения |
103 |
|
|
8.6.Атрибутивные суждения. Объединенная классификация суждений по количеству и качеству
Приведем два примера атрибутивных суждений:
а) Роза (S) — красивый цветок (P);
б) Все розы (S) — красивые цветы (P).
Приведенные примеры иллюстрируют тот факт, что в атрибутивных суждениях субъект (S) может быть единичным или общим понятием. В соответствии с этим среди атрибутивных суждений выделяют: единичные и множественные суждения.
В последнем случае при субъекте имеется показатель его количества — квантор общности или квантор существования. Квантор общности — показатель того,
что предикат относится ко всему объему субъекта; квантор существования —
показатель того, что предикат относится не ко всему объему субъекта.
П р и м е р ы: а) Все (квантор общности) розы — красивые цветы.
б) Некоторые (квантор существования) розы — красивые цветы.
Все множественные атрибутивные суждения (всего их четыре) называются
категорическими суждениями.
Категорические суждения
Категорические суждения можно рассматривать: а) как суждения о полном или частичном включении или невключении одного множества предметов в другое; б) как суждения о принадлежности или непринадлежности предмета классу предметов.
Категорические суждения обозначаются латинскими буквами A, E, I, O (A, I — гласные буквы из латинского слова «affirmo» — утверждаю; E, O из слова «nego» — отрицаю). Иногда категорические суждения записывают так: SaP, SiP, SeP, SoP.
1.Общеутвердительное суждение (A). Это суждение — общее по количеству и утвердительное по качеству. Логическая форма: Все S есть P.
Кванторное слово «все» характеризует количество, утвердительная связка «есть» — качество суждения.
П р и м е р. Все свидетели (S) дали показания (P).
2.Общеотрицательное суждение (E). Это суждение общее по количеству
èотрицательное по качеству. Логическая форма: Ни одно S не есть P. Кванторное слово «ни одно» характеризует количество, отрицательная связка
«не есть» — качество суждения.
П р и м е р. Ни один из свидетелей (S) не дал показания (P).
3.Частноутвердительное суждение (I). Это суждение — частное по количе- ству и утвердительное по качеству. Логическая форма: Некоторые S есть P.
Кванторное слово «некоторые» характеризует количество, утвердительная связка «есть» — качество суждения.
П р и м е р. Некоторые приговоры суда (S) являются обвинительными (P).
4.Частноотрицательное суждение (O). Это суждение — частное по количе- ству и отрицательное по качеству. Логическая форма: Некоторые S не есть P.
Кванторное слово «некоторые» характеризует количество, отрицательная связка «не есть» — качество суждения.
П р и м е р. Некоторые приговоры суда (S) не являются обвинительными (P).