- •Логика:
- •Оглавление
- •Глава I предмет и значение логики
- •§1. Роль мышления в познании
- •§ 2. Понятие о форме и законе мышления Форма мышления
- •Законы мышления
- •§ 3. Основные логические законы
- •§ 4. Язык логики
- •§ 5. История логики (краткий очерк)
- •§ 6.Значение логики
- •Глава II понятие
- •§ 1. Понятие как форма мышления Общая характеристика понятия
- •Логические приемы образования понятий
- •Понятие и слово
- •§ 2. Содержание и объем понятия
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •Совместимые понятия
- •Несовместимые понятия
- •Контрольные вопросы
- •Глава III логические операции с понятиями
- •§1. Обобщение и ограничение понятий
- •§ 2. Определение понятий Сущность и значение определения
- •Виды определения
- •Правила определения
- •1. Определение должно быть соразмерным.
- •2. Определение не должно заключать в себе круга.
- •3. Определение должно быть ясным.
- •4. Определение не должно быть отрицательным.
- •Неявные определения. Приемы, заменяющие определение
- •§ 3. Деление понятий Сущность деления
- •Виды деления
- •Правила деления
- •1. Деление должно быть соразмерным.
- •2. Деление должно производиться только по одному основанию.
- •3. Члены деления должны исключать друг друга.
- •4. Деление должно быть непрерывным.
- •Дихотомическое деление
- •Классификация
- •§ 4. Операции с классами
- •Глава IV суждение
- •§ 1. Суждение как форма мышления Суждение и предложение
- •§ 2. Простые суждения Виды и состав простых суждений
- •S (s1, s2, s3) есть р.
- •Классификация категорических суждений
- •А (Все s суть р): х (s(X) р(х))
- •I (Некоторые s суть р): X(s(X) р(х))
- •Выделяющие и исключающие суждения
- •§3. Сложные суждения
- •1. Соединительные (конъюнктивные) суждения.
- •2. Разделительные (дизъюнктивные) суждения.
- •3. Условные (импликативные) суждения.
- •§ 4. Логические отношения между суждениями
- •Простые суждения
- •2. Частичная совместимость характерна для суждений I и о, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •1. Противоположными (контрарными) являются суждения л и е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
- •2. Противоречащими (контрадикторными) являются суждения а и о, е и I, которые одновременно не могут быть ни истинными, ни ложными.
- •Сложные суждения
- •2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
- •§5. Модальность суждений Понятие и виды модальности
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •3. Алетическая модальность
- •Логика вопросов и ответов
- •§1. Виды вопросов
- •1. Семантика вопросов.
- •2. Функции вопросов.
- •3. Структура вопросов.
- •4. Отношение к обсуждаемой теме.
- •§ 2. Виды ответов
- •§1. Умозаключение как форма мышления. Виды умозаключений
- •§ 2. Непосредственные умозаключения
- •1. Превращение.
- •Все s суть р
- •2. Обращение.
- •Все s суть р Некоторые р суть s
- •Все s, и только s, суть р Все р суть s
- •Ни одно s не есть р Ни одно р не есть s
- •Некоторые s, и только s, суть р Все р суть s
- •___Все s суть р___
- •Ни одно s не есть р Некоторые не-р суть s
- •Некоторые s не суть р Некоторые не-р суть s
- •4. Умозаключения по логическому квадрату.
- •§3. Простой категорический силлогизм Состав простого категорического силлогизма
- •1. Вывод из двух частных посылок.
- •2. Вывод по 1-й фигуре, в которой большая посылка — частное суждение.
- •3. Одна из посылок — частное суждение, заключение — общее суждение.
- •§ 4. Умозаключения из суждений с отношениями
- •Глава VII
- •Дедуктивные умозаключения.
- •Выводы из сложных суждений.
- •Сокращенные и сложные силлогизмы
- •§1. Чисто условное и условно-категорическое умозаключения Чисто условное умозаключение
- •§ 2. Разделительно-категорическое умозаключение
- •§ 3. Условно-разделительное умозаключение
- •§ 4. Сокращенный силлогизм (энтимема)[34]
- •§ 5. Сложные и сложносокращенные силлогизмы
- •§ 6. Понятие о логике высказываний
- •Глава VIII индуктивные умозаключения
- •§ 1. Полная индукция
- •§ 2. Неполная индукция. Популярная индукция
- •§ 3. Научная индукция
- •1. Индукция методом отбора
- •2. Индукция методом исключения
- •2. Метод различия
- •3. Соединенный метод сходства и различия
- •4. Метод сопутствующих изменений
- •§ 4. Статистические обобщения
- •Глава IX умозаключения по аналогии
- •§ 1. Понятие аналогии
- •§ 2. Виды аналогии
- •§ 3. Условия состоятельности выводов по аналогии
- •§ 4. Роль аналогии в науке и правовом процессе
- •Глава X логические основы аргументации
- •§ 1. Аргументация и доказательство
- •§ 2. Состав аргументации: субъекты, структура Субъекты аргументации
- •Структура аргументации
- •§ 3. Способы аргументации: обоснование и критика
- •Обоснование тезиса
- •1. Прямым называют обоснование тезиса без обращения к конкурирующим с тезисом допущениям.
- •2. Косвенным называют обоснования тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений.
- •TvBvC,b,c т
- •Критика
- •2. Конструктивная критика
- •3. Смешанная критика
- •§ 4. Правила и ошибки в аргументации
- •1. Правила и ошибки по отношению к тезису
- •2. Правила и ошибки по отношению к аргументам
- •3. Правила и ошибки демонстрации
- •§ 5. Поля аргументации
- •1. Понятие и состав полей аргументации
- •2. Согласование полей аргументации
- •Глава XI гипотеза
- •§ 1. Понятие и виды гипотез. Версия. Понятие гипотезы
- •Виды гипотез
- •§ 2. Построение гипотезы (версии)
- •Анализ фактов
- •Синтез фактов
- •Выдвижение предположения
- •§ 3. Проверка гипотезы
- •§ 4. Способы доказательства гипотез
- •Литература
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
Отношение частичной совместимости для сложных суждений показано на таблице (рис. 39), где А и В — схемы сложных суждений; (v) — знак частичной совместимости. 1-я строка таблицы говорит об одновременной истинности А и В; 2-я и 3-я — несовпадение значений; 4-я строка зачеркнута, поскольку исключается одновременная ложность А и В.
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
На таблице (рис. 40) показано отношение подчинения между сложными суждениями: А и В — схемы суждений; () — знак подчинения. 1-я строка показывает, что в случае истинности А истинным является и В. В 3-й и 4-й строках А является ложным, а В принимает произвольные значения. 2-я строка в таблице зачеркнута, поскольку отношение подчинения исключает ложность подчиненного В при истинности подчиняющего А.
Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчиненного,
составляет основу фундаментального в науке логики понятия логического следования, регулирующего все виды рассуждений.
Отношение несовместимости.
Несовместимыми являются суждения, Которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.
Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
В таблице (рис. 41) показано отношение противоположности
между суждениями: А и В — схемы суждений; ( ) — знак логической противоположности. 1-я строка таблицы зачеркнута. Это означает, что оба суждения одновременно не могут быть истинными; 2-я и 3-я строки показывают, что суждения могут принимать исключающие значения; 4-я строка — оба суждения могут быть ложными. Это значит, что при ложности одного из противоположных суждений нельзя установить значения другого: оно может быть как истинным, так и ложным.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
Противоречащие отношения между сложными суждениями показаны на таблице (рис. 42); А и В — схемы сложных суждений ( )— знак отношения противоречия.
Вычеркнутые 1-я и 4-я строки показывают, что А и В могут принимать лишь альтернативные значения.
Чтобы получить сложное суждение, противоречащее исходному, последнее нужно подвергнуть отрицанию. Так, например, для р противоречащим будет р; для конъюнкции р q противоречием будет ее отрицание — (р q) и т.п.Обобщенная таблица логических отношений между суждениями представлена на рис. 43.
Сопоставление суждений в дискуссиях. Отчетливое представление об отношениях, в которых могут находиться суждения, позволяет логически грамотно анализировать высказывания участников дискуссий. Встречаются ситуации, когда логический анализ показывает совместимость различных по структуре суждений. Нередко это случается с частными суждениями. Пропонент утверждает, что «Некоторые S есть Р»; оппонент настаивает, что «Некоторые S не есть Р». На поверку же выходит, что эти суждения не исключают друг друга, а являются частично совместимыми и оба могут оказаться истинными.
В спорах и дискуссиях могут смешиваться противоречащие и противоположные суждения. Например, обвинитель утверждает, что в рассматриваемом случае имело место убийство (р), которое совершено умышленно (q). Защитник не отрицает факта убийства (р), но считает, что оно было совершено без умысла ( q). Каждый из них
считает, что эти утверждения — (р q) и (р | q) — исключают друг друга как альтернативные. В действительности же оказывается, что эти высказывания находятся в отношении противоположности.
В этом легко убедиться с помощью таблицы (рис. 44). Анализ показывает, что эти высказывания несовместимы, поскольку ни в одной строке не являются одновременно истинными. Вместе с тем оба они могут быть ложными (3-я и 4-я строки), значит, они находятся в отношении противоположности. Отсюда следует, что если будет показана в целом несостоятельность утверждения обвинителя, то это еще не означает правоту защитника. Точно так же опровержение утверждений защитника логически не обязывает принимать точку зрения обвинителя Может оказаться, что оба утверждения ложны и задача сведется к поиску нового объяснения фактам.