
- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 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
Логические операции с понятиями
6.1. Отношения рода и вида
В основе логических операций с понятиями лежат отношения рода и вида. Универсалия вида хР(х), выражающая понятия, читается: «предмет х из универсума U, такой, что х обладает признаком Р(х)». В таком рассмотрении универсум U, по которому пробегает переменная х, представляет род, а признак Р(х) – видовое отличие. Соответственно, универсум U называется родом, а признак Р(х) – видовым отличием.
Если изложенное изобразить графически, то родо-видовые отношения будут представляться следующим образом.
Âданном графическом изображении:
•прямоугольник (помеченный буквой В) — универ-
Uсум (род), в логике обозначается как U. Множе-
|
 |
ство всех предметов универсума (U) составляет объем |
|
|
|
À |
|
понятия х Р(х); |
•точки — предметы (х), входящие в универсум U;
•кружок (помеченный буквой А) — класс предметов, выделенных из объема универсума U посредством видового отличия Р(х).
Ïр и м е р. Понятия «карась» (А) и «рыба» (В) находятся в родо-видовых отношениях. Здесь понятие В имеет больший объем и обозначает род (класс рыб),
àпонятие А имеет меньший объем и обозначает вид этого рода (вид рыб — карасей). Соответственно, первое называют родовым понятием, второе — видовым. «Род» и «вид» — соотносительные термины, имеющие смысл только в рамках данного отношения. Родовое понятие является подчиняющим понятием,
àвидовое понятие находится в отношении подчинения к родовому.
При осуществлении логических операций с понятиями необходимо провести анализ данных понятий естественного языка для определения родо-видовых признаков, т.е. установить родовой признак, задающий ряд (универсум) U и видовое отличие Р(х). Для этого используем выражение:
Всякий элемент объема (А) понятия хР1(х) является элементом объема (В) понятия хР2(х), но не каждый элемент объема (В) понятия хР2(õ)
является элементом объема (А) понятия хР1(õ).
На практике это выражение упрощается и формулируется следующим образом: «Всякое А есть В, но не всякое В есть А».
Ïр и м е р. Используем это выражение для определения родо-видовых отношений между понятиями «береза» — «дерево». «Всякая береза (А) есть дерево
(В), но не всякое дерево (В) есть береза (А)» — отношение рода и вида.
Следует отличать отношение рода и вида от отношения части и целого. Признаки рода являются и признаками всех его видов. Часть же не обладает признаками целого, поэтому свойства целого не могут автоматически переноситься на часть, и наоборот.
Ïр и м е р. Используем выражение: «Всякое А есть В, но не всякое В есть А»
êопределению отношений между понятиями «кислород» (А) — «атмосфера» (В). Получим: «Всякий кислород (А) есть атмосфера (В), но не всякая атмосфера (В)
есть кислород (А)». Данное высказывание является ложным, поэтому его следует сформулировать по-иному: «Всякий кислород (А) есть часть атмосферы (В), но не
наоборот» — отношение части и целого.

76 |
II. Понятие |
|
|
6.2. Обобщение и ограничение понятий
Обобщение и ограничение как логические операции дают возможность получить знание о роде (родовом понятии) и виде (видовом понятии). В основе этих логи- ческих операций лежит закон об обратном отношении между объемом и содержанием понятия, который утверждает, что с увеличением объема понятия уменьшается его содержание, и наоборот, с увеличением содержания понятия уменьшается его объем.
Общая характеристика обобщения и ограничения. Обобщение представляет собой логическую операцию не только над объемом, но и над содержанием понятия посредством перехода от видовых понятий к родовым. Этот переход представляет собой операцию убавления признаков видовых понятий и увеличения объема родовых понятий согласно закону обратного отношения между объемом и содержанием понятия (увеличение содержания понятия ведет к образованию понятия с меньшим объемом, и наоборот).
П р и м е р. «Береза» «лиственное дерево» «дерево» «растение». Напротив, ограничение как логическая операция осуществляется в последо-
вательном процессе нахождения ближайшего видового понятия по отношению к предыдущему, родовому.
Понятие хР1(х) (А) является родовым понятием по отношению к понятию хР2(х) (В), если А может быть получено в результате обобщения В.
Понятие хР2(х) (В) является видовым понятием по отношению к понятию хР1(х) (А), если В может быть получено в результате ограничения А.
Обобщение
Обобщение понятия — это логическая операция, состоящая в переходе от некоторого видового понятия хР1(х) с меньшим объемом (А) к некоторому родовому
понятию хР2(х) с большим объемом (В), при этом объем А оказывается частью |
||
объема В. |
 |
|
П р и м е р. Понятия «взятка» (А) «преступление» (В). |
||
|
||
Пределом обобщения понятия является категория. |
À |
|
Категории не имеют родового понятия, обобщить их нельзя. |
|
|
П р и м е р. Категории «причина», «следствие», «необходимость», |
|
|
«случайность» и т.п. |
|
Ограничение
Ограничение понятия — это логическая операция, состоящая в переходе от некоторого родового понятия хР1(х) с большим объемом (А) к некоторому видо-
вому понятию хР2(х) с меньшим объемом (В), при этом объем В представляет |
||
собой часть объема А. |
À |
|
П р и м е р. Понятия «преступление» (А) «взятка» (В). |
||
|
||
Пределом ограничения понятия является единичное понятие. |
 |
|
|
Ïр и м е р. Факультет высшего учебного заведения
факультет университета гуманитарный факультет университета
гуманитарный факультет МГУ филологический факультет МГУ.

6. Логические операции с понятиями |
77 |
|
|
6.3. Деление понятий
Операция деления непустого понятия хР(х) — это переход от объема или целостности данного понятия к системе S (где S = {хР1(õ), õÐ2(õ), ..., õÐn(х) }) таких понятий, сумма объемов или частей которых будет равна объему или целостности исходного понятия.
Деление понятий
Таксономическое деление
•Таксономическое деление предполагает отношение «род – вид» между делимым понятием и членами деления (их объемами).
•Таксономическое деление — это членение значения понятия по типу «род – вид» в плане какой-либо видовой характеристики.
•Данное деление осуществляется посредством перехода от родового делимого понятия о предмете к системе видовых понятий (членам деления), объемы которых включены в родовое понятие.
•Таксономические деления подразделяются на деления по изменению видообразующего признака и дихотомические.
П р и м е р. Понятие «лес» (родовое понятие) включает в себя видовые понятия – «лиственный», «хвойный», «смешанный».
Мереологическое деление
•Мереологическое деление предполагает отношение «часть — целое» между делимым понятием и членами деления.
•Мереологическое деление — это членение значения понятия о предмете по типу «целое – часть» в плане какой-либо характеристики частей.
•Данное деление осуществляется посредством перехода от понятия о предмете как целого (от делимого понятия) к понятиям о частях этого предмета (членам деления).
•Мереологическое деление может быть как одноступенчатым, так и многоступенчатым.
П р и м е р. «Дерево делится на корни, ствол, крону».
Классификация представляет собой особого вида деление или систему таксономи- ческих или мереологических делений.
Ï ð è ì å ÷ à í è å.
1.Таксономия (греч. taxis (расположение по порядку) + nomos (закон)) – теория классификации и систематизации сложноорганизованных областей, имеющих иерархическое строение. Термин «таксономическое деление» в данном случае обозначает соподчинение и деление объектов по типу «род – вид».
2.Мереология – раздел логики, описывающий мереологическое отношение (отношение «часть – целое»). Термин «мереологическое деление» в данном случае обозначает членение объектов по типу «целое – часть» (Ивлев Ю.В. Логика. М., 1998. С. 169).

78 |
II. Понятие |
|
|
6.4. Таксономическое деление
Таксономическое деление — это логическая операция, посредством которой объем делимого понятия распределяется на подклассы (подмножества), являющиеся объемами видовых понятий по отношению к объему делимого (родового) понятия с точки зрения некоторого признака, называемого основанием деления. Разделить понятие — значит определить, из каких видовых понятий состоит исходное родовое понятие.
Логическая структура деления. Деление как логическая операция, раскрывающая объем исходного понятия, предполагает три структурных элемента.
1.Делимое понятие (totum dividentum), т.е. родовое понятие, объем которого раскрывается посредством деления.
2.Члены деления (membra divisionis), т.е. видовые понятия, которые получа- ются в результате деления.
3.Основание деления (principium divisionis), т.е. признак, который образует виды предметов, обобщенных в делимом понятии.
П р и м е р. «Государство (делимое понятие) с точки зрения государственного устройства (основание деления) подразделяется на унитарное, федерацию, конфедерацию (члены деления)».
Если исходное понятие имеет вид хР(х), где Р(х) — видовое отличие (признак) делимого понятия, то видовыми признаками членов деления будут Р(х) & Р1(õ),
Ð(õ) & Ð2(õ), Ð(õ) & Ð3(õ).
Таксономическое деление
Деление по изменению видообразующего признака
Деление объема понятия на подклассы (виды) по определенному признаку, называемому основанием деления.
П р и м е р. «Карты (делимое понятие) в зависимости от масштаба (основание деления) подразделяется на крупномасштабные, среднемасштабные и мелкомасштабные (члены деления)».
Дихотомическое деление
Деление объема делимого (родового) понятия на два класса, обозначаемые двумя противоречащими друг другу понятиями (от греч. dieha и tome — сечение на две части) .
П р и м е р. «Вещества делятся на органи- ческие и неорганические».
Дихотомическое деление может быть как двухступенчатым, так и многоступенчатым.