Сложные суждения: их структура и символическая запись. Сложные суждения. Образование сложных суждений.

§ 12. Суждения об отношениях. Суждения существования Суждения, высказывающие об определенной единичной вещи какое-либо отношение, содержат в себе многократный синтез. Вместо единства вещи и свойства или деятельности, которое лежит в основе рассмотренных в § 10 суждений,

Сложные суждения образуются из простых путем разного рода их соединения. Обычно характеристики простых и сложных суждений не вызывают затруднений. Однако возможны ситуации, когда граница между простым и сложным суждениями должна быть признана до определенной степени условной. Это относится к таким конструкциям, в которых не без оснований можно выявить как одно утверждение (или отрицание), так и два, три. Оценка подробного суждения как простого или сложного в известной степени зависит от позиции исследователя. Возьмем суждение: «Этот человек сотрудник ОВД и спортсмен». Его можно рассматривать и как простое, если исходить из того, что словосочетание «сотрудник ОВД и спортсмен» выражает одно понятие. С другой стороны мы можем предположить, что человек, о котором идет речь является сотрудником, но спортом никогда не занимался. Выходит, что рассматриваемая нами конструкция наряду с истинной информацией содержит и ложную. Эта ложная информация не может заключаться в понятии «спортсмен», ибо понятие не обладает значением истинности. Носители истинностного значения выступает суждение. Но может ли одно суждение быть носителем двух значений истинности? Это возможно лишь в том случае, когда суждение состоит из двух суждений, т.е. является сложным. Таким образом, есть основание трактовать данное суждение как сложное, состоящее из двух утверждений: «Этот человек сотрудник ОВД» и «Этот человек спортсмен».

Виды сложных суждений по характеру логического союза.

1. Конъюнктивные (или соединительные) суждения. Они образуются из исходных простых суждений посредством логического союза конъюнкции «и» (символически «») А  В, т.е. А и В. В русском языке логический союз конъюнкции выражается многими грамматическими союзами: и, а, но, да, хотя, а также, не смотря на то, что. «Я буду поступать в институт, несмотря на то, что придется сильно потрудиться». Иногда не требуется никаких союзов. Вот высказывание одного из Американских президентов начала 20 века: «Перед нами новая эра, в которой мы, очевидно, будем управлять миром».

Возможно 4 способа сочетания двух исходных суждений «А» и «В» в зависимости от их истинности и ложности. Конъюнкция истинна в одном случае, если истинно каждое из суждений.Вот таблица конъюнкции.

2. Дизъюнктивные (разделительные) суждения.

а) слабая (нестрогая) дизъюнкция образована логическим союзом «или». Она характеризуется тем, что объединяемые суждения не исключают друг друга. Формула: А V В (А или В). Союзы «или», «либо» используются здесь в разделительно-соединительном значении. Пример: «Понцов является юристом или спортсменом». (Он может оказаться и юристом и спортсменом одновременно).Слабая дизъюнкция истинна когда хотя бы одно из суждений истинно.

Смысловая граница между конъюнкцией и слабой дизъюнкцией в известном отношении условна.

б) сильная (строгая) – логический союз «либо … либо», . Ее составляющие (альтернативы) исключают друг друга: А В. (либо А либо В). Она выражается по существу теми же грамматическими средствами, что и слабая: «или», «либо», но уже в ином разделительно - исключающем значении. «Мы выживем или погибнем». «Амнистия бывает общей или частичной». Строгая дизъюнкция истинна, когда одно из суждений истинно, а другое ложно.

3. Импликативные (условные суждения). В них объединяют суждения на основе логического союза «если …, то», и «тогда…, когда» (символ «→»), (А → В; если А, то В). «Если погода наладится, то мы найдём следы преступника». Суждение, стоящее после слов «если», «тогда» называют антецедентом (предшествующее) или основанием, а стоящее после «то», «когда» - консеквентом (последующее) или следствием. Импликация истинна всегда, кроме случая, когда основание истинно, а следствие ложно.Необходимо помнить, что союз «если…, то» может употребляться и в сопоставительном смысле («Если сам порох изобрели в Китае в древности, то оружие на основе использования свойств пороха появилось в Европе только в средневековье») и, как легко убедиться, может выражать вовсе не импликацию, а конъюнкцию.

4. Эквивалентные (равнозначные) суждения. В них объединяются суждения с взаимной (прямой и обратной) зависимостью. Ее образует логический союз «если и только если …, то», «тогда и только тогда…, когда», «только при условии», «лишь в случае» символ «↔» (А ↔ В), если и только если А, то В). «Если и только если у гражданина большие заслуги перед РФ, он имеет право на получение высокой награды ордена «Герой России». Используется также знаки « = », « ≡ ». Эквиваленция истинна, когда оба суждения истинны, или оба ложны.

Эквиваленция может быть истолкована и как конъюнкция двух импликаций, прямой и обратной: (р→q)  (q → р). Эквиваленцию иногда и называют двойной импликацией.

Подытоживая сказанное о сложных суждениях, надо отметить, что некоторые выделяют и, так называемое контрфактическое суждение (союз «если…, то», символ « ● →». Это знак контрфактической импликации. Смысл такой: ситуация, описываемая антицидентом, не имеет места, но если бы она существовала, то существовало бы положение вещей, описываемое консеквентом. Например: «Если бы Понцов был мэром Красноярска, то не жил бы в гостинке».

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

Сложные суждения разделяются на виды в зависимости от использованного между ними логического союза.

Виды сложных суждений:

1. 1. (конъюнкция).
   2. (дизъюнкция).
   3. (импликация).

Соединительное суждение или конъюнкция (от лат. conjunction - союз, связь)

Используется союз и , а также остальные союзы в смысле и (а, но, да и т. п.).

Например: «Иванов и Петров - студенты юридического факультета». и: «Иванов - студент юридического факультета», «Петров - студент юридического факультета».

Союз и в логике обозначают знаком «Λ» или «&», а простые суждения в его структуре любыми переменными, например, а и в, где а - первое простое суждение, в - второе простое суждение.

Его схема: «а Λ в». Читается «А и В», где «а» и «в» - члены конъюнкции.

Разделительное суждение или дизъюнкция (от лат. disjunction - разобщение)

Используется союз или (либо) .

Поскольку союз или (либо) употребляется в естественном языке в двух значениях - соединительно-разъединительном и исключающе-разделительном, то следует различать и два типа дизъюнкции:

1. 1. слабую (нестрогую) и
   2. сильную (строгую).

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

Например: «Ученик может допустить в диктанте орфографическую или пунктуационную ошибку».

В данном примере два простых суждения, соединенных между собой союзом или :

1. «Ученик может допустить в диктанте орфографическую ошибку»,
2. «Ученик может допустить в диктанте пунктуационную ошибку».

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

Слабая дизъюнкция обозначается знаком «v».

Схема суждения «а v в» читается «А или В».

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

Например: « либо жив, либо мертв».

В данном примере два простых суждения, соединенных между собой союзом либо :

1. «Человек жив»,
2. «Человек мертв».

Строгая дизъюнкция обозначается галочкой с точкой наверху. Суждение читается: «либо А, либо Б». Члены строгой дизъюнкции исключают друг друга, поэтому называются альтернативами .

Условное суждение или импликация (от лат. implico - тесно связываю).

Передавая условие в естественном языке, мы начинаем со слова «если», поэтому в импликации используется союз если…, то… .

Обозначается знаком «→».

Схема суждения: «а → в». Читается: «если А, то В».

Например: «Если перерезать провод, то лампа погаснет».

Первое суждение (основание) «Провод перерезали», второе(следствие) - «Лампа погасла».

Суждение «а» называется основание или антецендент (от лат. antecedens - предшествующий, предыдущий), суждение «в» - следствие или консеквент (от лат. concequens - следствие).

Двойная импликация или эквиваленция

Используется союз если и только если…, то … (тогда и только тогда, когда …).

Например: «Если студент сдал все зачеты и экзамены, то может быть переведен на следующий курс».

Обозначается знаком «↔».

Схема: «а ↔ в». Читается: «если, и только если А, то В».

Разница между импликацией и эквиваленцией:

• Если в импликации поменять местами основание и следствие, суждение перестанет быть истинным, станет только вероятным. Например: «Если мотор заглох, то машина не поедет» - истинное суждение. Напротив, суждение «Если машина не едет, значит, мотор заглох» является только вероятным.
• В эквиваленции перестановка основания и следствия не ведет к изменению значения суждения. Например: «Если субъект и предикат суждения совпадают по объему, то оба термина распределены» так же верно, как и суждение «Если субъект и предикат общеутвердительного суждения распределены, то их объемы совпадают». Эквивалентные суждения являются равнозначными. Rating 0.00 (0 Votes)

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Федеральное агентство по образованию

Санкт-Петербургский государственный университет сервиса и экономики

Юридический институт

По дисциплине: Логика

на тему: Сложные суждения

Санкт-Петербург

Понятие простого суждения

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

Наличие утверждения или отрицания описываемой ситуации отличает суждение от понятия .

Характерной особенностью суждения с логической точки зрения является то, что оно – при логически правильном его построении – всегда истинно или ложно. И связано это как раз с наличием в суждении утверждения или отрицания чего-либо. Понятие, которое в отличие от суждения содержит только описание предметов и ситуаций с целью их мысленного выделения, не имеет истинностных характеристик.

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

Следует отметить также отношения между суждением и высказыванием. Высказывание – это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Иными словами, утверждение о ложности или истинности высказывания должно иметь смысл. Суждение является содержанием любого высказывания. Такие предложения, как «число n является простым» , невозможно считать высказыванием, так как о нем нельзя сказать, является ли оно истинным или ложным. В зависимости от того, какое содержание будет иметь переменная «n», можно установить его логическое значение. Подобные выражения называются пропозициональными переменными. Высказывание обозначается одной какой-либо буквой латинского алфавита. Оно рассматривается как неразложимая единица. Это значит, что в нем не разглядывается никакая структурная единица в качестве его части. Такое высказывание называется атомарным (элементарным) и соответствует простому суждению. Из двух и более атомарных высказываний посредством логических операторов (связок) образуется сложное или молекулярное высказывание. В отличие от высказывания суждение представляет собой конкретное единство субъекта и объекта, связанных по смыслу.

Примеры суждений и высказываний:

Простое высказывание – А; простое суждение – «S есть (не есть) P».

Сложное высказывание – A→B; сложное суждение – «если S1 есть P1, то S2 есть P2».

Состав простого суждения

В традиционной логике установилось членение суждения на субъект, предикат и связку.

Субъект – часть суждения, в которой выражается предмет мысли.

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

Вместе субъект и предикат называются терминами суждения и обозначаются соответственно латинскими символами S и P.

Кроме терминов, суждение содержит связку. Как правило, связка выражается словами «есть», «суть», «является», «быть». В приведенном примере она опущена.

Понятие сложного суждения

Сложное суждение – суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.

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

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

1) логическим значением простых суждений, входящих в сложное;

2) характером логической связки, соединяющей простые суждения;

Современная формальная логика отвлекается от содержательной связи между простыми суждениями и анализирует такие высказывания, в которых эта связь может отсутствовать. Например, «Если квадрат гипотенузы равен сумме квадратов катетов, то на Солнце существуют высшие растения».

Логическое значение сложного суждения устанавливается при помощи таблиц истинности. Таблицы истинности строятся следующим образом: на входе выписываются все возможные комбинации логических значений простых суждений, из которых состоит сложное суждение. Число этих комбинаций можно высчитать по формуле: 2n, где n – число простых суждений, составляющих сложное. На выходе выписывается значение сложного суждения.

Сравнимость суждений

Помимо всего прочего, суждения делятся на сравнимые , имеющие общий субъект или предикат и несравнимые , не имеющие между собой ничего общего. В свою очередь, сравнимые делятся на совместимые , полностью или частично выражающие одну и ту же мысль и, несовместимые , если из истинности одного из них необходимо следует ложность другого (при сопоставлении таких суждений нарушается закон непротиворечия). Отношение по истинности между суждениями, сравнимыми через субъекты отображается логическим квадратом.

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

A – Общеутвердительные: Все S являются P .

I – Частноутвердительные: По крайней мере, некоторые S являются P .

E – Общеотрицательные: Все (ни одни) S не являются P.

O – Частноотрицательные: По крайней мере, некоторые S не являются P.

Из них общеутвердительные и общеотрицательные являются подчиняющими, а частноутвердительные и частноотрицательные – подчиненными.

Суждения A и E противопоставлены друг другу;

Суждения I и O противоположны;

Суждения, расположенные по диагонали – противоречивы.

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

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

Логические связки. Конъюнктивное суждение

Конъюнктивное суждение – суждение, которое является истинным тогда и только тогда, когда истинны все входящие в него суждения.

Образуется посредством логического союза конъюнкции, выражающегося грамматическими союзами «и», «да», «но», «однако». Например, «Светит, да не греет».

Символически обозначается следующим образом: А˄В, где А, В – переменные, обозначающие простые суждения, ˄– символическое выражение логического союза конъюнкции.

Определению конъюнкции соответствует таблица истинности:

Дизъюнктивные суждения

Имеется два вида дизъюнктивных суждений: строгая (исключающая) дизъюнкция и нестрогая (неисключающая) дизъюнкция.

Строгая (исключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинно только одно из входящих в него суждений или «которое ложно тогда, когда оба высказывания ложны». Например, «Данное число либо кратно, либо не кратно пяти».

Логический союз дизъюнкция выражается посредством грамматического союза «либо…либо».

Символически записывается А˅В.

Логическое значение строгой дизъюнкции соответствует таблице истинности:

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

Нестрогая дизъюнкция выражается посредством грамматического союза «или…или» в разделительно-соединительном значении.

Символически записываетсяА˅ В. Нестрогой дизъюнкции соответствует таблица истинности:

Импликативные (условные) суждения

Импликация – сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение (антецедент ) истинно, а последующее (консеквент ) ложно.

В естественном языке импликация выражается союзом «если..., то» в смысле«наверно, что А и не В». Например, «Если число делится на 9, то оноделится и на 3».

Символически импликация записывается А→ В (если А, то В).

Логическое значение представлено в таблице истинности:

Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консеквентна, но ненаоборот. Достаточным для некоторого явления считается такое условие, наличие которого непременно вызывает это явление. Например, «быть березой» достаточное условие, чтобы включить ее в класс деревьев, так как все березы – деревья и ни одна не береза не является деревом.

В то же время истинность консеквентна является необходимым условием истинности антецедента, но недостаточным. Необходимым для явления считается такое условие, без которого оно (явление) не имеет место. Например, класс берез включен в класс деревьев, но не равен ему. Есть деревья, которые не являются березами. Однако условие «быть деревом» для березы является обязательным, так как все березы – деревья.

Парадоксы материальной импликации

Так обозначается смысловое расхождение операции материальной импликации с ее символической формулой: А→В. Согласно материальной импликации истинность А, для истинности формулы А→В, необходимо, чтобы и В было истинно. В этом случае речь идет о содержательном понимании ложности и истинности высказывания. Однако формула А→В истинна не только в указанном случае, но и тогда, когда А – ложно, а В – истинно и тогда, когда они оба ложны. Из данного факта вытекает парадокс материальной импликации: из ложного высказывания следует любое высказывание, все что угодно и истинное высказывание следует из любого высказывания.

Суждения эквивалентности

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

Логический союз эквивалентности выражается грамматическими союзами «тогда и только тогда, когда», «если и только если». Например, «Если и только если треугольник равносторонний, то он и равноугольный».

Символически эквивалентность записывается А «В или А ºВ («если и только если А , то В»).

Логическое значение эквивалентности соответствует таблице истинности:

Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое: (А→ В)˄(В→ А).

Равносильность выражений (А«В) и (А→ В)˄(В→А) может быть доказана с помощью таблицы истинности.

Отрицание

Отрицание – это логическая операция, с помощью которой из одного высказывания получают новое, при этом простое суждение Pпревращается в сложное, и если исходное простое суждение истинно, то новое сложное суждение ложно – «неверно, что P» или «высказывание А ложно тогда, когда высказывание А¯ истинно»

Двойное отрицание – это операция по отрицанию отрицательного суждения. Повторное отрицание ведет к утверждению или, иначе, отрицание отрицания равносильно утверждению: А→ А˭– «если А, то неверно, что не-А», или А˭ºА – «неверно, что не-А, если и только если верно, что А».

Выражение одних логических связок посредством других

Рассмотренные выше логические союзы взаимозаменяемы и выразимы через другие. Например:

А→ В= А˅В – импликация через дизъюнкцию

А→ В = В→ А – импликация через импликацию

А→ q= А˄ В – импликация через конъюнкцию

А˅В= А˄ В – дизъюнкция через конъюнкцию

А˄В= А˅ В – конъюнкция через дизъюнкцию

Таблицы истинности

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

Таблицы истинности находят широкое применение для

· Вычисления истинности сложных высказываний;

· Установления эквивалентности высказываний;

· Определения тавтологий.

Равносильные формулы логики высказывания – это выказывания, которые принимают одинаковое значение истинности при одних и тех же значениях элементарных высказываний, входящих в эти формы. Например, А→В, В¯→А¯

Тождественно-истинная формула (тавтология) – это формула, которая принимает значения истины при всех значениях, входящих в нее элементарных высказываний

Тождественно-ложная формула (противоречие) – формула, которая при всех значениях, входящих в нее элементарных высказываний, принимает значение лжи.

(А¯˅ В)→(А˄В)

Список использованной литературы

1. М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк «Логика. Учебное пособие», Омск, 2005.

2. Гладкий А.В. «Введение в современную логику», МЦМНО, 2001.

3. Челпанов Г.И. «Учебник логики», Москва, 1897.