Противопоставленное исходному суждение мы можем получить двумя способами. Первый способ: вначале исходное суждение (Все S есть Р) превращается (Все S не есть не-Р), а потом превращенное обращается (Все не-Р не есть S). В данном случае, конечное суждение будет противопоставленным предикату исходного суждения. Второй способ: вначале исходное суждение (Все S есть Р) обращается (Некоторые P есть S), а потом обращенное превращается (Некоторые Р не есть не-S). Здесь конечное суждение будет противопоставленным субъекту исходного суждения. Такой результат получить применяя операцию противопоставления сразу, руководствуясь ее определением, значительно сложнее, особенно в связи с получением из общего суждения частного. Например:

Все S есть Р

Некоторые Р не есть не-S.

Поэтому, более простой и надежный вариант - поэтапное противопоставление, последовательное выполнение превращения и обращения в одном случае, и наоборот - в другом.

Общеутвердительное суждение противопоставляется в общеотрицательное (противопоставление предикату), и в частноотрицательное (противопоставление субъекту). Например:

Все студенты — учащиеся Все студенты — учащиеся

Все не-учащиеся не есть студенты. Некоторые учащиеся не есть не-студенты.

Общеотрицательное суждение противопоставляется в частноутвердительное (противопоставление предикату), и в общеутвердительное (противопоставление субъекту). Например:

Все студенты не есть птицы Все студенты не есть птицы

Некоторые не-птицы есть студенты. Все птицы есть не-студенты

Частноутвердительное суждение не противопоставляется предикату, потому что уже первая процедура - превращение частноутвердительного исходного суждения - даст нам частноотрицательное, а оно, как известно, не обращается; противопоставление, тем самым, не за­вершается. Субъекту же частноутвердительное суждение противопоставляется. Выполним эту операцию поэтапно:

Некоторые студенты - спортсмены

Некоторые спортсмены - студенты

Некоторые спортсмены не есть не-студенты

Частноотрицательное суждение, наоборот, противопоставляется предикату частноутвердительным суждением, и не противопоставляется субъекту, поскольку чрстноотрицательное суждение не обращается. Например:

Некоторые студенты не есть спортсмены

Некоторые студенты есть не-спортсмены

Некоторые не-спортсмены есть студенты

Продолжая же реализовывать нашу особую точку зрения на обращение частноотрицательного суждения, следует отметить, что с этой точки зрения возможны как противопоставление частноутвердительного суждения предикату, так и противопоставление частноотрицательного суждения субъекту. При противопоставлении частноутвердительного суждения предикату получаем общеотрицательное суждение, а при противопоставлении частноотрицательного субъекту - общеутвердительное суждение. Например:

---

Некоторые студенты - спортсмены

Некоторые студенты не есть не-спортсмены

Все не-спортсмены не есть эти "некоторые студенты"

Некоторые студенты не есть спортсмены

Все спортсмены не есть эти "некоторые студенты"

Все спортсмены есть не эти "некоторые студенты"

Сводная таблица операций

с простыми категорическими суждениями

§ 5. МОДАЛЬНЫЕ СУЖДЕНИЯ

Мы не будем говорить о выделяемой логиками модальности в широком смысле (об этом можно прочесть в специальной литературе). Будем рассматривать лишь модальность в узком, более строгом смысле, т.е. необходимость, возможность и действительность.

Необходимость безотносительна ко времени (прошлому, настоящему и будущему) и выразима в языке операторами "обязательно", "необходимо" и др. Так, необходимость того, что сумма углов треугольника на плоскости равна двум прямым, имела, имеет и будет иметь место. Оператор необходимости может стоять перед суждением, может опускаться, а может как бы включаться в связку: "Сумма углов треугольника на плоскости необходимо равна двум прямым".

Действительность соответствует настоящему времени и подчеркивается связками "есть", "не есть", "суть", "не суть" и др. Языковые выражения этой модальности довольно разнообразны; особенности и свойства суждений действительности нами уже рассмотрены.

Возможность (проблематичность) допустима в любом времени и выразима операторами "возможно, было", "возможно, есть", "возможно, будет".

Для интерпретации модальностей часто используют систему "возможных миров", один из которых соответствует действительности. Но то, что истинно в одном мире, может быть ложным в других "мирах", и наоборот. И лишь необходимость (аподиктические суждения) будет истинной во всех этих "мирах". Возможность — хотя бы в одном из них. Действительность — только в "этом" мире.

Вот перечень зависимостей между модальными суждениями:

— истинность суждения необходимости гарантирует истинность суждений действительности и возможности;

— ложность суждения необходимости влечет неопределенность суждений действительности и возможности;

— истинность суждения действительности гарантирует истинность суждения воз­можности, но влечет неопределенность суждения необходимости;

— ложность суждения действительности гарантирует ложность суждения необходимости и неопределенность суждения возможности:

— истинность суждения возможности влечет неопределенность суждений действительности и необходимости;

— ложность суждения возможности гарантирует ложность суждений действительности и необходимости.

Облегчить ориентацию в этих сравнительно многочисленных зависимостях может следующая таблица, где символом "В" обозначено любое простое суж­дение, а стрелкой — направленность нашего рассуждения от истинности или ложности того или иного суждения:

---

Необходимо В	Действительно В	Возможно В
и ------------>	----------> и ----------->	---------> и
л ------------>	----------> ? ----------->	---------> ?
? <------------	<---------- и ----------->	---------> и
л <------------	<---------- л ----------->	---------> ?
? <------------	<----------- ? < ----------	<--------- и
л <------------	<----------- л <-----------	<--------- л

Как легко заметить, рассматривая модальности, мы не учитывали ни качества тех суждений, которые выражают модальности, ни тем более количества, т.е. не учитывали ни характера связки (утвердительной или отрицательной), ни квантора этих суждений. С учетом их, естественно, вся система отношений значительно бы усложнилась. Рассматривая отношения между модальными суждениями, в логике для наглядности строят "модальный шестиугольник". Как и в "логическом квадрате", в нем верхнюю часть шестиугольника занимают суждения, подчиняющие себе те, которые занимают нижнюю его часть. На этой фигуре легко просматриваются те истинностные зависимости между суждениями, которые учитывают модальные качества необходимости, действи­тельности и возможности:

(Действительно В) б д (Действительна не-В)

(Возможно В) в е (Возмомно не-В)

Здесь символами а, б, в, г, д, е обозначены соответственно суждения "Необходимо В", "Действительно В", "Возможно В", "Необходимо не-В", "Действительно не-В", "Возможно не-В".

Истинность суждения а (Необходимо В) обусловливает истинность подчиняющихся ему суждений б (Действительно В) и в (Возможно В). Та же зависимость и между отрицательными суждениями, т.е. истинность г (Необходимо не-В) обусловливает истинность д (Действительно не-В) и истин­ность е (Возможно не-В) как подчиненных.

Истинность б и истинность д обусловливают соответственно истинность в и истинность е, т.е. если а подчиняет как б, так и в, то при этом б, в свою очередь, подчиняет в. Аналогично и г подчиняет как д, так и е, а д, в свою очередь, подчиняет е.

Между а и г, а и д, как и между г и а, г и б устанавливаются отношения противоположности (контрарности), характерные тем, что истинность одного из них обуславливает ложность ему противоположного, в то время как ложность одного из них — неопределенность ему противного, т.е. эти суждения, как и в "логическом квадрате" не могут быть одновременно истинными, по крайней мере одно из них ложно, а по большей мере оба могут быть ложными.

Между а и е, г и в, б и д устанавливается отношение противоречия (контрадикторности), которое характерно невозможностью их одновременной как истинности, так и ложности. И это отношение аналогично по истинности отношениям между противоречащими суждениями "логического квадрата".

---

Между в и е, в и д, е и в, е и б устанавливается отношение подпротивоположности (субконтрарности), характерное тем, что эти суждения не могут быть одновременно ложными, по крайней мере одно из них истинно, по большей же мере оба могут быть истинными.

Что касается итерированных (повторенных) модальностей (Возможно, что возможно В, Возможно, что необходимо В и т.п.), то исследование их требует довольно сложного научного аппарата современной формальной логики, которым традиционная логика просто не располагает.

§ 6. СЛОЖНЫЕ СУЖДЕНИЯ

Сложные суждения состоят из нескольких простых суждении, связанных между собой логическими союзами. Логический союз, таким образом, есть новая логическая связь, определяющая собой структуру новой мыслительной конструкции, логические ее характеристики и выступая ее главной структурной закономерностью.

Логика выделяет четыре логических союза: соединительный союз (конъюнкция), в языке выразимый грамматическими союзами и частицами "и", "а", "но", "да" и т.п.; разделительный союз (дизъюнкция) - "или", "либо" и т.п.; условный союз (импликация) - "если.., то" и союз эквивалентности, тождественности (эквиваленция) - "если и только если.., то", "тогда и только тогда, когда".

Два или более простых суждения могут образовывать сложное с помощью соединительного союза, который символически изображается знаком "/\". Например: "Сегодня воскресенье, и мы едем за город". Это конъюнктивное суждение можно записать в виде формулы: (S есть Р) и (S₁ есть р₁). Если же простые суждения, которые нам хорошо уже известны, обозначать для простоты выражения отдельными символами, то эта формула примет сокращенный вид (В и С), где символ "В" соответствует простому суждению "S есть Р", а символ "С" - другому простому суждению "S₁ есть Р₁". А если мы и логический союз заменим на символическое его изображение, то получим совсем короткую и удобную для использования формулу: "В/\С", которая выражает лишь структурные особенности построения данной формы мысли (что логику-то и интересует) и не отвлекает нас своим содержанием. По формуле легко установить количество составных элементов сложного суждения - левый и правый член конъюнкции, и сам логический союз. Остается выявить лишь закономерности, определяемые главным элементом данной конструкции - логическим союзом.

Поскольку простое суждение в такой виде имеет для нас значение лишь своей главной особенностью - простое суждение по природе своей может быть либо истинным, либо ложным, то основные зависимости сложного конъюнктивного суждения будут определяться его логическим союзом. Эти зависимости легко обнаруживаются в разработанных логикой так называемых "таблицах истинности" для логических союзов. Для конъюнкции таблица истинности такова:

В С В /\ С

и и и

л и л

и л л

---

л л л

Таким образом, соединительный логический союз (конъюнкция) формирует сложное суждение, истинное только в одном случае - когда все входящие в него простые суждения являются истинными. И это является законом для данного логического союза, т.е. сколько бы ни входило в это сложное суждение простых суждений, достаточно будет одного ложного из них, чтобы вся конъюнкция в целом оказалась ложной.

Два или более простых суждения могут образовывать слож­ное и с помощью разделительного логического союза "\/" (дизъюнкция). С его помощью можно образовать, на­пример, такое сложное разделительное суждение: "Леса на территории нашей страны являются лиственными или хвойными или смешанными". Это суждение записывается в виде формулы В \/ С \/ Д, в которой каждый символ соответствует простому суждению и логическому союзу.

В логике различают два значения разделительного (дизъюнктивного) союза: разделительно-соединительный (слабая дизъюнкция) и строго разделительный союз (строгая, или сильная дизъюнкция). Слабая дизъюнкция не запрещает, не исключает одновременную истинность простых суждений, входящих в это сложное. Так, приведенное выше суждение "Леса бывают лиственными или хвойными или смешанными" являет собой образец слабой дизъюнкции: в данном случае союз "или" не только разъединяет, но и соединяет, допуская наличие перечисленных трех признаков у одного и того же леса. Зато строгая (сильная) дизъюнкция исключает одновременную истинность простых входящих в сложное суждений. Так, в суждении "Данное животное есть волк или медведь" союз "или" выполняет строго разделительную роль; одновременно данное животное тем и другим быть не может. Обычно слабую дизъюнкцию обозначают символом "v", а строгую — "v".

Для разделительно-соединительного союза, для слабой дизъюнкции, таблица истинности такова:

В С ВvС

и и и

л и и

и л и

л л л

Для слабой дизъюнкции характерно то, что сложное суждение, формируемое этим логическим союзом, бывает ложным только в одном случае, когда все составляющие его простые суждения являются ложными; во всех остальных случаях, сколь бы ни было велико число членов дизъюнкции, сложное суждение будет истинным.

Строго разделительный союз (v), соответственно своей сущности, формирует истинное сложное суждение лишь в том случае, когда только одно из всего количества простых суждений, входящих в сложное, является истинным. Другие случаи сочетания истинности и ложности простых суждений не дают истинного сложного суждения и целом.

Таблица истинности для строгой дизъюнкции такова:

В С В v С

и и л

л и и

и л и

л л л

Символическое обозначение логического союза тождественности (эквиваленция) - <-->. Этот союз формирует сложное суждение, по истинностной своей характеристике противоположное суждению строгой дизъюнкции. Дело в том, что и этот союз дает сложное суждение, истинное только в двух случаях, когда либо все входящие в сложное простые суждения являются истинными, либо все являются ложными. Например, "Треугольники имеют равные углы тогда и только тогда, когда и стороны их равны", или "Если и только если углы треугольника равны, то и стороны его тоже равны".

---

Смотрите также файлы

• ЛОГИКА (Кириллов и Старченко).docx

• Лабораторная работа №7. Политика безопасности.pdf

• Лабораторная работа №6. Укрепление безопасности с помощью шифрования.pdf

• Лабораторная работа №5. Укрепление защиты сети.pdf

• Лабораторная работа №4. Тестирование веб-сайтов.pdf