- •Завражин а.В. Логика Учебное пособие
- •СОдержание
- •§2. Предмет логики
- •§3. Понятие логической формы
- •§4. Логическое следование и логическая истинность
- •Тест для проверки знаний по теме « Предмет логики»
- •Глава II. Логика и язык
- •§1. Язык как знаковая система
- •§2. Смысл и значение знака. Виды знаков
- •§3. Естественные и искусственные языки
- •§4. Семантические принципы
- •§5. Язык логики высказываний
- •§6. Основные законы логики
- •§7. Логико-семантические парадоксы
- •Тесты для проверки знаний по теме « Логика и язык»
- •Глава III . Понятие
- •§1. Общая характеристика понятий. Виды понятий
- •1) Виды понятий по объему
- •2) Виды понятий по типу элементов объема
- •3) Виды понятий по содержанию
- •§2. Булевы операции над понятиями
- •§3. Отношения между понятиями по объему
- •§4. Обобщение и ограничение понятий
- •§5. Деление и классификация
- •Тесты для проверки знаний по теме «Понятие»
- •Глава IV. Определение
- •§1. Определение и приемы, сходные с ним
- •§2. Явные и неявные определения
- •§3. Реальные и номинальные определения
- •§4. Правила определения
- •Тест для проверки знаний по теме «Определение»
- •Глава V. Суждение
- •§1. Простые суждения и их виды
- •§2. Сложные суждения и их виды
- •§3. Отрицание суждения
- •§4. Отношения между суждениями
- •I субконтрарностьО
- •Тесты для проверки знаний по теме «Суждение»
- •Глава VI. Дедуктивные умозаключения
- •§1 Умозаключение. Основные способы умозаключений
- •В (отрицающе-утверждающий способ)
- •§2. Классическое исчисление высказываний
- •§3. Непосредственные умозаключения
- •§4. Простой категорический силлогизм
- •§5. Энтимемы и полисиллогизмы
- •Тесты для проверки знаний по теме «Дедуктивные умозаключения»
- •Глава VII. Индуктивные умозаключения
- •§1. Обобщающая индукция и ее виды
- •§2. Статистическая индукция
- •§3. Методы установления причинных зависимостей
- •§4. Умозаключение по аналогии
- •Тест для проверки знаний по теме «Индуктивные умозаключения»
- •Глава VIII. Логические основы аргументации
- •§1. Аргументация и доказательство
- •§2. Опровержение и критика
- •§ 3. Основные правила аргументации
- •Тест для проверки знаний по теме «Логические основы аргументации»
- •Словарь логических терминов
- •Литература
§2. Булевы операции над понятиями
Операции над понятиями, точнее – над объемами понятий, то есть классами называются булевыми, по имени английского логика Дж. Буля, построившего особую алгебру логики, получившую в его честь название булевой алгебры.
Предположим, что даны два понятия А() и В(). Условимся, что род у этих понятий один и тот же. Объемы этих понятий будем сокращенно обозначать просто буквами А и В (читается: «класс А» и «класс В»). Тогда с этими объемами можно осуществить следующие операции:
а) пересечение (АВ) б) объединение (АВ)
А В А В
в) вычитание (А\В) г) взятие дополнения (А)
А В А A
Штриховкой на схемах обозначен результат применения соответствующих операций к классам А и В.
Пересечение объемов двух понятий равняется классу предметов, которые входят одновременно в объем каждого из них. Объединение двух понятий равняется классу предметов, которые входят в объем по крайней мере одного из них. Вычитание объема одного понятия из объема другого равняется классу предметов, которые входят в объем первого понятия, но не входят в объем второго. Дополнение к объему понятия представляет собой класс предметов, которые не входят в объем этого понятия.
§3. Отношения между понятиями по объему
Между понятиями существуют объективные, независящие от человека отношения. Прежде всего, это отношения сравнимости и несравнимости.
Два понятия А() и В() являются сравнимыми, если и только если их универсумы совпадают. Например, понятия о преступнике и о жертве преступления являются сравнимыми. Оба они относятся к одной и той же предметной области – универсуму людей.
Два понятия А() и В() являются несравнимыми, если они относятся к различным универсумам. Например, понятие о четном числе и понятие о европейской столице являются несравнимыми, поскольку первое из них имеет своим родом универсум чисел, а второе – универсум городов.
Среди всевозможных пар сравнимых понятий можно выделить три фундаментальных отношения в том смысле, что с их помощью возможно задать все остальные отношения. К числу фундаментальных принадлежат отношения совместимости, включения и исчерпывания.
Фундаментальные отношения:
1) Понятия А() и В() находятся в отношении совместимости, если и только если пересечение их объемов А и В не пусто, то есть АВ . Это означает, что в универсуме имеется по крайней мере один элемент, обладающий как признаком А(), так и признаком В() (например, А – студент, В – спортсмен).
2) Понятие В() находится к понятию А() в отношении включения если и только если при вычитании объема А() из объема В() получается пустое множество, то есть В\A = . Это означает, что всякий элемент универсума, обладающий признаком В(), обладает также признаком А() (например, А – учащийся, В – студент).
3) Понятия А() и В() находятся в отношении исчерпывания, если и только если объединение их объемов А и В равно универсуму, то есть АВ = U. Это означает, что каждый элемент универсума обладает признаком А() или признаком В() (например, А – сын, В – дочь; каждый человек является чьим-то сыном или дочерью).
Вспомогательные отношения выводятся из фундаментальных. Наиболее важными из них являются: равнообъемность, подчинение, соподчинение, противоречие, дополнение, перекрещивание.
(1) А и В равнообъемны (2) А подчиняется В (3) А и В соподчиняются
А, В А В А В
(4) А противоречит В (5) А дополняет В (6) А и В перекрещиваются
А В А В А В