- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 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. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения
6. Логические операции с понятиями |
79 |
|
|
6.5. Правила деления и возможные ошибки
П р а в и л о 1. Деление должно быть соразмерным.
При таксономическом делении объединение членов деления должно совпадать с объемом делимого понятия:
WõÐ1(õ) WõÐ2(õ) ... WõÐn(õ) = WõÐ(õ).
При мереологическом делении сумма значений членов деления (частей предмета) должна равняться целостности делимого предмета.
При нарушении этого правила возникают ошибки.
• Неполное деление. При этой ошибке пропущен какой-либо член деления. П р и м е р ы.
а) «Лес делится на лиственный и хвойный» (таксономическое деление). Деление является неправильным. Здесь пропущен член деления (смешанный).
б) «Школа делится на администрацию школы и учащихся» (мереологическое деление). Деление является неправильным. Здесь пропущен член деления (педагогический коллектив школы).
• Деление с лишними членами. При этой ошибке среди членов деления встречаются понятия, не относящиеся к делимому понятию.
Ï ð è ì å ð û.
а) «Химические элементы делятся на металлы, неметаллы и сплавы» (таксономическое деление). Деление является неправильным. Здесь лишний член деления (сплавы), а объединение объемов понятий «металл» и «неметалл» исчерпывает объем делимого (родового) понятия «химический элемент»;
б) «Система ружья делится на ствол, затвор, ударно-спусковой механизм, ложу, прицельные приспособления и ремень для ношения» (мереологическое деление).
Деление является неправильным, так как ремень для ношения ружья не является частью системы ружья.
П р а в и л о 2. Деление должно производиться только по одному основанию.
В качестве основания деления каждый раз может быть использован только один признак, который не должен подменяться другим признаком. Это правило относится к таксономическому делению. Однако его можно распространить и на мереологическое деление. При нарушении этого правила возникают ошибки.
• Деление не по одному основанию. При этой ошибке в основание деления положен более, чем один признак.
Ï ð è ì å ð û.
а) «Учащиеся по признаку успехов в учебе делятся на отлично успевающих, хорошо успевающих, удовлетворительно успевающих, неуспевающих, любящих учебу и не любящих учебу» (таксономическое деление).
Деление является неправильным, так как члены деления любящие учебу и не любящие учебу выделены по другому основанию (по отношению к учебе);
б) «По устройству часы делятся на механизм, циферблат, корпус, стекло, заднюю крышку, браслет, замок на браслете» (мереологическое деление).
Деление является неправильным. Здесь часть членов деления (механизм, циферблат, корпус, стекло, задняя крышка) выделены по одному основанию (устройство часов), а часть (браслет, замок на браслете) – по другому основанию (аксессуары часов).
80 |
II. Понятие |
|
|
П р а в и л о 3. Члены деления должны исключать друг друга.
При таксономическом делении объемы членов деления не должны иметь общих элементов, быть соподчиненными понятиями, объемы которых не пересекаются.
При мереологическом делении значения членов деления не должны иметь общих частей. Это правило тесно связано с предыдущим, так как если деление проводится не по одному основанию, то члены деления не будут исключать друг друга.
При нарушении этого правила возникают ошибки. П р и м е р ы.
а) «Преступления делятся на умышленные, неосторожные и убийства» (таксономическое деление).
Деление является неправильным, так как нарушено правило исключения. Убийства могут быть как неосторожными, так и умышленными.
б) «Письма делятся на отправленные, неотправленные и утерянные «(таксономическое деление).
Деление является неправильным, так как нарушено правило исключения. Письма, утерянные по дороге, составляют подмножество отправленных писем, а письма, утерянные корреспондентом до их отправления, составляют подмножество неотправленных писем;
в) «Дерево делится на корни, ствол, крону, ветви и листья» (мереологическое деление).
Деление является неправильным, так как нарушено правило исключения. Здесь члены деления не исключают друг друга, поскольку ветви и листья являются составляющими частями кроны.
П р а в и л о 4. Деление должно быть последовательным.
Âпроцессе таксономического деления родового понятия следует переходить
êближайшим видовым понятиям, не пропуская их, а в процессе мереологического деления — от целого к его частям, от частей — к частям частей и т.д.
При нарушении этого правила возникают ошибки. П р и м е р ы.
а) «Книги делятся на прозаические, поэтические, естественно-научные, гуманитарные, учебники для вузов, учебники для школ» (таксономическое деление). Деление является неправильным, так как между понятием «книга» и перечисленными видами книг существуют еще виды понятия «книга», которые являются родами для этих прозаических, поэтических и т.д. книг. Это понятия «художественная книга», «учебная книга».
б) «Дерево делится на корни, ствол, ветви, листья, крону» (мереологическое деление). Деление является неправильным, так как нарушено правило последовательности. Правильное деление: Дерево делится на корни, ствол, крону. Корни делятся на горизонтальные и вертикальные. Ствол делится на штамб, центральный проводник и ветвь центрального проводника. Крона делится на разветвления (ветви) и листья.
Ï ð è ì å ÷ à í è å. Ошибок, случающихся при подмене таксономического деления мереологи- ческим делением (и наоборот) можно избежать, если использовать довольно простой прием: не употреблять при осуществлении таксономического деления выражений «делятся на», «состоит из». При таксономическом деление следует использовать выражение «бывают».
П р и м е р: а) «Деревья бывают лиственные и хвойные» (таксономическое деление).
б) «Дом состоит из фундамента, стен и крыши» (мереологическое деление).
6. Логические операции с понятиями |
81 |
|
|
6.6. Классификация
В основе построения различного рода классификаций лежит операция деления. Классификация представляет собой систему таксономических или мереологи- ческих делений. Однако классификация, в отличие от деления, имеет ряд характерных свойств. Это:
1)система последовательных делений;
2)характеристика свойств классифицируемых предметов;
3)структурализация, представленная в виде схем или таблиц.
Классификация — это последовательное деление некоторого понятия на его виды, видов на подвиды и т.д.
Графически это можно изобразить в виде следующей схемы:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ê0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0-é ÿðóñ |
|||||
|
|
|
|
|
Ê1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ên |
|
|
|
|
|
|
1-é ÿðóñ |
||||||||||||||||||||||||
Ê11 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ê1n |
|
|
|
|
|
|
|
|
|
Ên1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ên |
|
|
|
|
|
|
2-é ÿðóñ |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3-é ÿðóñ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k-é ÿðóñ |
Данная схема представляет собой множество точек (вершин), соединенных линиями (ребрами).
Каждая вершина представляет некоторое понятие (таксон, или таксономи- ческую единицу). Таксоны распределяются по ярусам. Ребра показывают, на какие подвиды классифицируются данные таксоны. Классификация является завершенной, когда конечные таксоны представляют единичные понятия.
Различают два вида классификаций — искусственные, т.е. распределение предметов на классы по несущественным признакам, и естественные (научные) — по существенным признакам.
П р и м е р. «Все организмы делятся первоначально на два множества (1-й ярус), так называемые царства (царство растений и царство животных). В свою очередь царства делятся на типы, типы на классы, классы на отряды, отряды на семейства, семейства на роды, роды на виды, виды на разновидности и т.д».
82 |
II. Понятие |
|
|
6.7. Операции с множествами (классами) |
|
В математике исследуются различные операции, выполняемые над числами: сложение, вычитание, умножение и т.д. Аналогично этому в логике исследуются различные операции над понятиями, высказываниями и теориями.
Операции над понятиями бывают двух видов: операции с объемами понятий и операции с их содержанием. На круговых схемах определяют отношения в основном по их фактическим объемам. Однако оперирование с понятиями предполагает также, во-первых, определенные навыки образования сложных понятий из простых, во-вторых, умение представлять объемы понятий со сложно заданным содержанием и, в-третьих, умение правильно определять отношения, существующие между такими понятиями по их логическим объемам. Выполнение этих условий предполагает умение находить и представлять объемы таких понятий. Для осуществления последнего необходимы знания основных операций с классами (объемами понятий).
Объем понятия представляет множество. Множество А есть совокупность объектов, мыслимая как единое целое по тем или иным основаниям. Если Р(х) — сокращенное обозначение предложения «элемент х обладает свойством Р», то
множество всех элементов, имеющих свойство Р, обозначается так: {х |
Ð(õ)}. |
||
Объект х является элементом множества А, если он входит в множество А. |
|||
Это записывается так: х А, в противном случае — х А или х |
|
|
À. |
|
Объект В является подмножеством множества А, если каждый элемент В принадлежит множеству А.
Это записывается так: В А или А В, где отношение — отношение включения множеств.
Множество, не содержащее ни одного элемента, является пустым и обознача- ется символом 0, а конечное множество (содержащее подмножества некоторого фиксированного множества) — универсальным множеством и обозначается символом U.
Из данных множеств А и В можно построить новые множества, применяя операции пересечения, объединения и вычитания1. Пусть даны два понятия хР1(õ) è õÐ2(х), имеющие один и тот же род. Тогда с объемами этих понятий (WхР1(õ) è WõÐ2(х)) можно осуществить следующие операции:
•пересечения ( );
•объединения ( );
•вычитания (– или \);
•дополнения к множеству ( ).
1 С помощью свойств операций над множествами можно преобразовывать выражения, содержащие множества, подобно тому, как с помощью свойств операций над числами преобразовывают выражения в обычной алгебре. Возникающая таким путем алгебра называется булевой алгеброй, по имени английского математика и логика Дж. Буля (1815—1864), который занимался ею в связи с проблемами математической логики.