- •Глава I предмет и значение логики
- •§1. Роль мышления в познании
- •§ 2. Понятие о форме и законе мышления Форма мышления
- •§ 3. Основные логические законы
- •§ 4. Язык логики
- •§ 5. История логики (краткий очерк)
- •§ 6. Значение логики
- •§ 1. Понятие как форма мышления Общая характеристика понятия
- •§ 2. Содержание и объем понятия
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •Глава III логические операции с понятиями
- •§1. Обобщение и ограничение понятий
- •§ 2. Определение понятий
- •§ 3. Деление понятий
- •1. Деление должно быть соразмерным.
- •2.Деление должно производиться только по одному основанию.
- •3.Члены деления должны исключать друг друга.
- •4.Деление должно быть непрерывным.
- •§ 4. Операции с классами
- •Глава IV суждение
- •§ 1. Суждение как форма мышления
- •§ 2. Простые суждения
- •I (Некоторые s суть р): X(s(X) р(х))
- •§3. Сложные суждения
- •2. Разделительные (дизъюнктивные) суждения.
- •3. Условные (импликативные) суждения.
- •4. Эквивалентные суждения (двойная импликация).
- •§ 4. Логические отношения между суждениями
- •1. Противоположными (контрарными) являются суждения а и е, которые одновременно не могут быть истинными, но могут I. Быть одновременно ложными.
- •1. Эквивалентные — это суждения, которые принимают одни и те значения, т.Е. Одновременно являются либо истинными, либо ложными.
- •2.Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •§5. Модальность суждений
- •1. Эпистемическая модальность
- •2. Деонтическая модальность суждений
- •3. Алетическая модальность
- •1)Логическая модальность
- •Глава V. Логика вопросов и ответов
- •§1. Виды вопросов
- •1. Семантика вопросов.
- •2. Функции вопросов.
- •3. Структура вопросов.
- •4. Отношение к обсуждаемой теме.
- •§ 2. Виды ответов
- •Глава VI
- •§ 2. Непосредственные умозаключения
- •1. Превращение.
- •2. Обращение.
- •3. Противопоставление предикату.
- •4. Умозаключения по логическому квадрату.
- •§3. Простой категорический силлогизм Состав простого категорического силлогизма
- •2.Вывод по 1-й фигуре, в которой большая посылка — частное суждение.
- •3.Одна из посылок — частное суждение, заключение — общее суждение.
- •4.Вывод по 2-й фигуре из двух утвердительных посылок.
- •5.Вывод по 1-й фигуре, в которой меньшая посылка — отрицательное суждение.
- •§ 4. Умозаключения из суждений с отношениями
- •Глава VII
- •§1. Чисто условное и условно-категорическое умозаключения
- •§ 2. Разделительно-категорическое умозаключение
- •§ 3. Условно-разделительное умозаключение
- •§ 4. Сокращенный силлогизм (энтимема)
- •§ 5. Сложные и сложносокращенные силлогизмы
- •§ 6. Понятие о логике высказываний
- •Глава VIII индуктивные умозаключения
- •§ 1. Полная индукция
- •§ 2. Неполная индукция. Популярная индукция
- •§ 3. Научная индукция
- •1. Индукция методом отбора
- •2. Индукция методом исключения
- •1. Метод сходства
- •2. Метод различия
- •3. Соединенный метод сходства и различия
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •§ 4. Статистические обобщения
- •Глава IX умозаключения по аналогии
- •§ 1. Понятие аналогии
- •§ 2. Виды аналогии
- •§ 3. Условия состоятельности выводов по аналогии
- •§ 4. Роль аналогии в науке и правовом процессе
- •Глава X. Логические основы аргументации
- •§ 1. Аргументация и доказательство
- •§ 2. Состав аргументации: субъекты, структура
- •§ 3. Способы аргументации: обоснование и критика
- •1. Деструктивная критика
- •2.Конструктивная критика
- •3.Смешанная критика
- •§ 4. Правила и ошибки в аргументации
- •1. Правила и ошибки по отношению к тезису
- •2. Правила и ошибки по отношению к аргументам
- •3. Правила и ошибки демонстрации
- •§ 5. Поля аргументации
- •1. Понятие и состав полей аргументации
- •2. Согласование полей аргументации
- •Глава XI гипотеза
- •§ 1. Понятие и виды гипотез. Версия Понятие гипотезы
- •§ 2. Построение гипотезы (версии)
- •§ 3. Проверка гипотезы
- •§ 4. Способы доказательства гипотез
3. Условные (импликативные) суждения.
Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом (предшествующим), второе — «Электролампа гаснет» — консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «→», то импликативное суждение символически можно выразить как p→q.
р |
q |
p->q |
и |
И |
И |
и |
л |
Л |
л |
и |
И |
л |
л |
И |
Условия истинности импликативного суждения показаны в таблице (рис. 34). Импликация истинна во всех случаях, кроме одного: при истинности антецедента и ложности консеквента (2-я строка)
импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавится», и ложного консеквента — «Электролампа не гаснет» — является показателем ложности импликации.
Истинность импликации объясняется следующим образом. В 1-й строке истинность р имплицирует истинность q, или другими словами: истинность антецедента достаточна для признания истинности консеквента. И действительно, если предохранитель плавится, то электролампа обязательно гаснет в силу их последовательного включения в электрическую цепь.
В 3-й строке приложном антецеденте — «Предохранитель не плавится» консеквент является истинным — «Электролампа гаснет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин — отсутствия тока в цепи, перегорания нити в лампе, замыкания
электропроводки и т.д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.
В 4-й строке при ложном антецеденте — «Предохранитель не плавится» ложным является и консеквент — «Электролампа не гаснет». Такая ситуация возможна, но она не ставит под сомнение факт условной зависимости р и q, ибо при истинности р всегда будет истинным q.
В естественном языке для выражения условных суждений используется не только союз «если..., то...», но и другие союзы: «там..., где», «тогда..., когда...», «постольку..., поскольку...» и т.п. В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, пространственные, временные, правовые, а также семантические, логические и другие зависимости. Примером причинного суждения может служить следующее высказывание: «Если воду нагреть при нормальном атмосферном давлений до 100°С, то она закипит». Пример семантической зависимости: «Если число делится на 2 без остатка, то оно четное».
В юридических текстах в форме условиях суждений нередко фиксируют правовые предписания: разрешения, запреты, обязывания. Грамматическими показателями импликации могут служить, помимо союза «если..., то...», такие словосочетания, как: «при наличии..., следует», «в случае..., следует...», «при условии..., наступает...» и другие. Вместе с тем юридические импликации могут конструироваться в законе и других текстах без особых грамматических показателей. Например: «Тайное похищение чужого имущества (кража) наказывается...» или «Заведомо ложный донос о совершении преступления наказывается...» и т.п. Каждое из таких предписаний имеет импликативную формулу: «Если совершено определенное противоправное деяние, то за ним следует правовая санкция».
В форме условных суждений нередко выражают логические зависимости между высказываниями. Например: «Если все преступное наказуемо, то не все наказуемое преступно». Или другой пример рассуждения: «Если верно, что некоторые птицы улетают зимой в теплые края, то неверно, что ни одна птица не улетает в теплые края».
В условном суждении антецедент выполняет функцию фактического или логического основания, обусловливающего принятие в консеквенте соответствующего следствия. Зависимость между антецедентом-основанием и консеквентом-следствием характеризуется свойством достаточности. Это означает, что истинность основа-
ния обусловливает истинность следствия, т.е. при истинности основания следствие всегда будет истинным (см. 1-я строка в таблице на рис. 34). При этом основание не характеризует/1 свойством необходимости для следствия, ибо при его ложности следствие может быть как истинным, так и ложным (см. 3-я и 4-я строки в таблице на рис. 34).