логика 1. 3. Логические отношения между суждениями Отношения между простыми суждениями
 Скачать 29.41 Kb.
|
3. Логические отношения между суждениями Отношения между простыми суждениями.Два любых суждения по их логической форме могут быть сравнимыми или несравнимыми. Несравнимыми называют суждения, в которых различны субъекты или предикаты. Сравнимыми называют суждения, имеющие одинаковые термины – субъект и предикат – и различающиеся по качеству или количеству. Среди сравнимых различают совместимые и несовместимые суждения. Совместимость бывает 3х видов: полная совместимость (эквивалентность), частичная совместимость (субконтрарность), логическое подчинение. Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность). Отношения между простыми суждениями обычно иллюстрируют с помощью схемы, получившее название логического квадрата. Вершины его символизируют простые категорические суждения А, Е, I, О; стороны и диагонали – логические отношения между суждениями.  Отношения совместимости Полная совместимость наблюдается между суждениями, которые имеют одинаковые субъекты и предикаты, однотипную - утвердительную или отрицательную - связку, одну и ту же количественную характеристику, но отличается словесной формой. Пример: «Юрий Гагарин – первый космонавт» – «Юрий Гагарин – первый полетел в космос». Для эквивалентных суждений характерна следующая зависимость: если одно из них истинно, то другое также будет истинным, а в случае ложности одного из суждений другое тоже будет ложным. Отношение подчинения(А – I; Е – 0) характеризуется двумя зависимостями:
Для отношений подчинения остаются неопределенным следующие зависимости: при ложности подчиняющего общего суждения подчиненное частное может быть как истинное, так и ложным; при истинности подчиненного частного подчиняющее общее может быть как истинным так и ложным. . Частичная совместимость(I-O). Эти суждения могут быть истинными одновременно, но не могут быть одновременно ложными. Это значит, что ложность одного из них обусловливает истинность другого. Так, например, ложность суждения “Некоторые студенты сдали экзамены” обусловливает истинность суждения “Некоторые студенты не сдали экзамены”. В то же время для отношений частичной совместимости остаются неопределенными следующие зависимости: при истинности частноутвердительного суждения совместимое с ним частноотрицательное может быть как истинным, так и ложным. И, наоборот, при истинности частноотрицательного суждения, частноутвердительное может быть как истинным, так и ложным. Отношения несовместимости Отношение противоположности (А - Е). Эти суждения одновременно не могут быть истинными, но одновременно могут быть ложными. Это значит, что истинность одного из них определяет ложность другого. Например, истинность суждения «Все студенты сдали экзамены», определяет ложность суждения «Ни один студент не сдал экзамены». Если же известна ложность одного из противоположных суждений, то другое при этом остаётся неопределённым. Оно может быть как истинным, так и ложным. Отношение противоречивости (А – О; Е - І).Здесь при истинности одного из суждений другое всегда будет ложным; при ложности первого другое будет истинным. 4. 18.Сложное суждение и его виды. Сложные суждения образуются из простых путем разного рода их соединения. Обычно характеристики простых и сложных суждений не вызывают затруднений. Однако возможны ситуации, когда граница между простым и сложным суждениями должна быть признана до определенной степени условной. Это относится к таким конструкциям, в которых не без оснований можно выявить как одно утверждение (или отрицание), так и два, три. Оценка подробного суждения как простого или сложного в известной степени зависит от позиции исследователя. Возьмем суждение: «Этот человек сотрудник ОВД и спортсмен». Его можно рассматривать и как простое, если исходить из того, что словосочетание «сотрудник ОВД и спортсмен» выражает одно понятие. С другой стороны мы можем предположить, что человек, о котором идет речь является сотрудником, но спортом никогда не занимался. Выходит, что рассматриваемая нами конструкция наряду с истинной информацией содержит и ложную. Эта ложная информация не может заключаться в понятии «спортсмен», ибо понятие не обладает значением истинности. Носители истинностного значения выступает суждение. Но может ли одно суждение быть носителем двух значений истинности? Это возможно лишь в том случае, когда суждение состоит из двух суждений, т.е. является сложным. Таким образом, есть основание трактовать данное суждение как сложное, состоящее из двух утверждений: «Этот человек сотрудник ОВД» и «Этот человек спортсмен». Помощь в написании магистерской!Любая сложность. Помощь в написании магистерской диссертации. Гарантии!Узнать большеdissertatus.comЯндекс.Директ Виды сложных суждений по характеру логического союза. 1. Конъюнктивные (или соединительные) суждения. Они образуются из исходных простых суждений посредством логического союза конъюнкции «и» (символически «») А В, т.е. А и В. В русском языке логический союз конъюнкции выражается многими грамматическими союзами: и, а, но, да, хотя, а также, не смотря на то, что. «Я буду поступать в институт, несмотря на то, что придется сильно потрудиться». Иногда не требуется никаких союзов. Вот высказывание одного из Американских президентов начала 20 века: «Перед нами новая эра, в которой мы, очевидно, будем управлять миром». Возможно 4 способа сочетания двух исходных суждений «А» и «В» в зависимости от их истинности и ложности. Конъюнкция истинна в одном случае, если истинно каждое из суждений.Вот таблица конъюнкции.
2. Дизъюнктивные (разделительные) суждения. а) слабая (нестрогая) дизъюнкция образована логическим союзом «или». Она характеризуется тем, что объединяемые суждения не исключают друг друга. Формула: А V В (А или В). Союзы «или», «либо» используются здесь в разделительно-соединительном значении. Пример: «Понцов является юристом или спортсменом». (Он может оказаться и юристом и спортсменом одновременно).Слабая дизъюнкция истинна когда хотя бы одно из суждений истинно.
Смысловая граница между конъюнкцией и слабой дизъюнкцией в известном отношении условна.  б) сильная (строгая) – логический союз «либо … либо», . Ее составляющие (альтернативы) исключают друг друга: А В. (либо А либо В). Она выражается по существу теми же грамматическими средствами, что и слабая: «или», «либо», но уже в ином разделительно - исключающем значении. «Мы выживем или погибнем». «Амнистия бывает общей или частичной». Строгая дизъюнкция истинна, когда одно из суждений истинно, а другое ложно.
3. Импликативные (условные суждения). В них объединяют суждения на основе логического союза «если …, то», и «тогда…, когда» (символ «→»), (А → В; если А, то В). «Если погода наладится, то мы найдём следы преступника». Суждение, стоящее после слов «если», «тогда» называют антецедентом (предшествующее) или основанием, а стоящее после «то», «когда» - консеквентом (последующее) или следствием. Импликация истинна всегда, кроме случая, когда основание истинно, а следствие ложно.Необходимо помнить, что союз «если…, то» может употребляться и в сопоставительном смысле («Если сам порох изобрели в Китае в древности, то оружие на основе использования свойств пороха появилось в Европе только в средневековье») и, как легко убедиться, может выражать вовсе не импликацию, а конъюнкцию.
4. Эквивалентные (равнозначные) суждения. В них объединяются суждения с взаимной (прямой и обратной) зависимостью. Ее образует логический союз «если и только если …, то», «тогда и только тогда…, когда», «только при условии», «лишь в случае» символ «↔» (А ↔ В), если и только если А, то В). «Если и только если у гражданина большие заслуги перед РФ, он имеет право на получение высокой награды ордена «Герой России». Используется также знаки « = », « ≡ ». Эквиваленция истинна, когда оба суждения истинны, или оба ложны.
Эквиваленция может быть истолкована и как конъюнкция двух импликаций, прямой и обратной: (р→q) (q → р). Эквиваленцию иногда и называют двойной импликацией. Подытоживая сказанное о сложных суждениях, надо отметить, что некоторые выделяют и, так называемое контрфактическое суждение (союз «если…, то», символ « ● →». Это знак контрфактической импликации. Смысл такой: ситуация, описываемая антицидентом, не имеет места, но если бы она существовала, то существовало бы положение вещей, описываемое консеквентом. Например: «Если бы Понцов был мэром Красноярска, то не жил бы в гостинке». 5. Модальность суждений Модальное суждение — это отдельный вид суждений, имеющий свои особенности и характеризующийся как наличием общих с ассерторическими суждениями признаков, так и отличием от последних. Изучаются модальные суждения в рамках модальной логики, которая неоднородна по своему содержанию и разделена на несколько ветвей. Среди них: логика времени, логика действия, логика норм, деонтическая логика, логика принятия решений и др. С точки зрения классической логики, то или иное суждение можно назвать ассерторическим или модальным. Очевидно, что два этих вида разнятся между собой. Модальные суждения можно назвать уточняющими. Суждения такого вида не просто дают характеристику того или иного предмета, описывают, определяют его и присущие ему свойства, но и уточняют, дополняют такую характеристику. В упрощенном виде можно говорить о том, что модальные суждения выражают наше отношение к рассматриваемому объекту. Разумеется, эта особенность модальных суждений отражается в естественном языке. Так, в отличие от ассерторических суждений (читай — простых) модальные содержат ряд специальных слов. Например, «доказано», «обязательно», «возможно», «хорошо», «плохо» и др. Эти слова называют модальными операторами. Можно показать различие между ассерторическими и модальными суждениями, приведя следующие предложения: «Завтра будет холодно» — это суждение является ассерторическим; «Возможно, завтра будет холодно» — как уже понятно, это суждение модальное. С этих позиций можно утверждать, что модальные суждения — это дополненные специфическим отношением ассерторические суждения. Однако роль модальных высказываний не сводится к простой передаче отношения говорящего к предмету. Налицо более сложная и заметная не с первого взгляда закономерность: модальные суждения отражают характер связи между субъектом и предикатом. В каком-то смысле сами ее и создают. Модальные суждения — это суждения, в которых отражаются отношения и связь между субъектом и предикатом и показывается отношение к предмету с помощью модальных операторов. Для того чтобы лучше уяснить природу данного вида суждений, рассмотрим ряд примеров. Будем вначале давать пример ассерторического суждения, а следом за ним образованного из него модального. «На небе ни облачка, и ярко светит солнце», «Хорошо, что на небе ни облачка и ярко светит солнце»; «Правильная осанка повышает работоспособность», «Доказано, что правильная осанка повышает работоспособность» и «Обливание холодной водой способствует укреплению здоровья», «Доказано, что обливание холодной водой способствует укреплению здоровья». А также: «Бегун на второй дорожке придет первым», «Возможно, что бегун на второй дорожке придет первым»; «Два, умноженное на два, дает четыре», «Очевидно, что два, умноженное на два, дает четыре»; «Электрический ток при прохождении нагревает проводник» и «Обязательно, что ток при прохождении нагревает проводник». Разница между ассерторическими и модальными суждениями в приведенных примерах очевидна. Скажем, первая пара суждений. «На небе ни облачка…» — это только констатация факта, описание двух составляющих ясной погоды, лишенное оценки, а вместе с ней каких-либо чувств и эмоций. С добавлением слова «хорошо» в суждение приходит оценка этой погоды говорящим. Из этого суждения можно с очевидностью сделать вывод, что такая погода ему по душе. Первый вид суждений, как и второй (т. е. как ассерторические, так и модальные суждения) может быть либо истинным, либо ложным. Третьего при этом не дано. Однако нельзя не согласиться с тем, что модальные суждения имеют больше вариаций и оттенков. Они зачастую могут трактоваться по-разному, из-за чего появляется вероятность возникновения ошибок при определении их истинности или ложности. Здесь необходимо упомянуть о том, что логика в целом и модальная логика в частности подходят к рассмотрению значения слов «возможно», «необходимо», «доказано», «обязательно», а также образованных от них «необходимость», «обязательность», «случайность», «невозможность» с особенной стороны. Если с точки зрения естественного языка указанные выше слова являются только словами и имеют различные оттенки и значения, то логика возводит их в ранг категорий. С этой точки зрения происходит рассмотрение их взаимосвязей и зависимостей. Данные категории рассматриваются и в рамках философии, которую интересует более всего их содержательная сторона.
|
