- •§ 1. Понятие как форма мышления Общая характеристика понятия
- •§ 3. Виды понятий
- •§ 4. Отношения между понятиями
- •Глава III логические операции с понятиями
- •§1. Обобщение и ограничение понятий
- •§ 2. Определение понятий Сущность и значение определения
- •Правила определения
- •§ 3. Деление понятий Сущность деления
- •Правила деления
- •1. Деление должно быть соразмерным.
- •2. Деление должно производиться только по одному основанию.
- •4. Деление должно быть непрерывным.
- •§ 1. Суждение как форма мышления
- •§ 2. Простые суждения
- •3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.
- •Классификация категорических суждений
- •§ 4. Логические отношения между суждениями Простые суждения
- •2. Частичная совместимость характерна для суждений I u о, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •1. Противоположными (контрарными) являются суждения а и е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
- •2. Противоречащими (контрадикторными) являются суждения а и о, е и I, которые одновременно не могут быть ни истинными, ни ложными.
- •§3. Сложные суждения
- •1. Соединительные (конъюнктивные) суждения.
- •§ 2. Непосредственные умозаключения
- •1. Превращение.
- •2. Обращение.
- •3. Противопоставление предикату.
- •§ 4. Умозаключения из суждений с отношениями
- •§3. Простой категорический силлогизм Состав простого категорического силлогизма
- •§ 5. Сложные и сложносокращенные силлогизмы
- •§ 2. Разделительно-категорическое умозаключение
- •1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член.
- •§ 3. Условно-разделительное умозаключение
- •1. Метод сходства
- •2. Метод различия
- •5. Метод остатков
- •§ 2. Виды аналогии
- •§ 3. Условия состоятельности выводов по аналогии
- •§ 1. Понятие и виды гипотез. Версия Понятие гипотезы
- •§ 4. Способы доказательства гипотез
- •1. Вывод из двух частных посылок.
- •2. Вывод по 1-й фигуре, в которой большая посылка — частное суждение.
§ 4. Логические отношения между суждениями Простые суждения
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть
женщины».
Сравнимьши являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».
Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями.
Противоположность (контрарность) Частичная совместимость (субконтрарность)
|
Противоречие (контрадикторность) |
Среди сравнимых различают совместимые и несовместимые суждения.
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.
1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
2. Частичная совместимость характерна для суждений I u о, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным
При ложности частного суждения общее суждение также будет ложным
Отношение несовместимости.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
1. Противоположными (контрарными) являются суждения а и е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречащими (контрадикторными) являются суждения а и о, е и I, которые одновременно не могут быть ни истинными, ни ложными.
Hесовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
В – 18
§3. Сложные суждения
1. Соединительные (конъюнктивные) суждения.
Соединительным, или конъюнктивным называю суждение, состоящее из нескольких простых, связанных логической связкой «и».
Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р ^ q ^ г ^... ^ n.
В языке соединительное суждение может быть выражено одной из трех логико-грамматических структур.
1. Соединительная связка представлена в сложном субъекте по схеме: S1 и S2 есть Р. Например: «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».
2) Связка представлена в сложном предикате по схеме: S есть P1 и P2. Например: «Преступление — это общественно опасное и противоправное деяние».
3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Гоголь).
р |
q |
р^ q |
и |
И |
И |
и |
Л |
л |
л |
И |
л |
л |
Л |
л |
Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначена И, а ложность — Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэтому все возможные сочетания значений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построчных вариантов истинным оно является лишь в 1-й строке, когда истинны оба конъюнкта: и р, и q. Во всех остальных случаях оно ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов.
В – 19
Условные (импликативные) суждения.
Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом, второе — «Электролампа гаснет» — консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «—>», то имплика-тивное суждение символически можно выразить как p—>q.
Условия истинности импликативного суждения показаны в таблице. Импликация истинна во всех случаях, кроме одного:
Р |
q |
p-»q |
и |
И |
И |
и |
Л |
Л |
л |
И |
И |
л |
Л |
И |
при истинности антецедента и ложности консеквента (2-я строка) импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавится», и ложного консеквента — «Электролампа не гаснет» — является показателем ложности импликации.
Истинность импликации объясняется следующим образом. В 1-й строке истинность р имплицирует
истинность q, или другими словами. если предохранитель плавится, то электролампа обязательно гаснет в силу их последовательного включения в электрическую цепь.
В 3-й строке при ложном антецеденте — «Предохранитель не плавится» консеквент является истинным — «Электролампа гаснет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин — отсутствия тока в цепи, перегорания нити в лампе и т.д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.
В 4-й строке при ложном антецеденте — «Предохранитель не плавится» ложным является и консеквент — «Электролампа не гаснет». Такая ситуация возможна, но она не ставит под сомнение факт условной зависимости р и q, ибо при истинности р всегда будет истинным q.
4. Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если..., то...».
В-20
Сложные суждения
Сложные суждения также могут быть сравнимыми и несравнимыми.
Несравнимые — это суждения, которые не имеют общих пропозициональных переменных. Например, р ^ q и m ^ n.
Сравнимые — это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логическими связками, включая отрицание.
Сложные сравнимые суждения могут быть совместимыми и несовместимыми.
Отношение совместимости.
К совместимым относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений:
эквивалентность, частичная совместимость и подчинение.
1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.
Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
В – 21
большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными.
Логической формой получения выводных знаний является умозаключение.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование.
Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. Важное значение имеет классификация умозаключений по направленности логического следования. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Дедуктивными называется умозаключение, в котором переход от общего знания к частному является логически необходимым.
В – 22