Последовательный ряд определений суждений. Суждение

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

Виды простых ассерторических суждений

Это суждения, в которых один субъект и один предикат. Простые суждения бывают трех видов:

1 . Суждения свойства (атрибутивные).

В них утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «Мед сладкий», «Шопен не является драматургом». Схемы этого вида суждения: « S есть Р » или «S не есть Р».

2. Суждения с отношениями.

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

Формула, выражающая суждение с двуместным отношением, записывается как аRb или R(а, b), где а и b - имена предметов, а К - имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не только о двух, но и о трех, четырех или большем числе предметов, например: «Москва находится между Санкт-Петербургом и Киевом». Такие суждения выражаются формулой R(а„ а 2 , а 3 , ..., а„).

3. Суждения существования (экзистенциальные).

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

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

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

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

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

Структура общего суждения: «Все S суть (не суть) Р». Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.

Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только». Примеры выделяющих суждений: «Брэгг пил только дистиллированную воду»; «Смелый человек не боится правды. Ее боится только трус» (А. К. Доил).

Среди общих суждений имеются исключающие суждения, например: «Все металлы при температуре 20°С, за исключением ртути, твердые». К числу исключающих суждений относятся и те, в которых выражены исключения из тех или иных правил русского или иных языков, правил логики, математики, других наук.

Частные суждения имеют структуру: «Некоторые S суть (не суть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые ягоды ядовиты» ‑ неопределенное частное суждение. Мы не установили, обладают ли признаком ядовитости все ягоды, но не установили и то, что признаком ядовитости не обладают некоторые ягоды. Если мы установили, что «только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S суть (не суть) Р». Примеры: «Только некоторые ягоды ядовиты»; «Только некоторые фигуры являются сферическими»; «Только некоторые тела легче воды».

В определенных частных суждениях часто применяются кванторные слова : большинство, меньшинство, немало, не все, многие, почти все, несколько и др.

В единичном суждении субъектом является единичное понятие. Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений: «Озеро Виктория не находится в США»; «Аристотель - воспитатель Александра Македонского»; «Эрмитаж - один из крупнейших в мире художественных и культурно-исторических музеев».

Объединенная классификация простых категорических суждений по количеству и качеству

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

1. А - общеутвердительное суждение. Структура его: «Все «S суть Р». Например: «Все люди хотят счастья».

2. I - частноутвердительное суждение. Структура его: «Некоторые S есть Р». Например, «Некоторые уроки стимулируют творческую активность учащихся». Условные обозначения для утвердительных суждений взяты от слова AFFIRMO, или утверждаю; при этом берутся две первые гласные буквы: А - для обозначения общеутвердительного и I - для обозначения частноутвердительного суждения.

    Е - общеотрицательное суждение. Его структура: «Ни одно S не есть Р». Пример: «Ни один океан не является пресноводным».

    О - частноотрицательное суждение. Структура его: «Некоторые S не есть Р». Например, «Некоторые спортсмены не являются чемпионами Олимпийских игр». Условное обозначение для отрицательных суждений взяты от слова NEGO, или отрицаю .

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

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

Суждение А - общеутвердительное. Его структура: «Все S суть Р». Рассмотрим два случая.

1. В суждении «Все караси - рыбы» субъектом является понятие «карась», а предикатом - понятие «рыба». Квантор общности - «все». Субъект распределен, так как речь идет о всех карасях, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.

2. В суждении «Все квадраты - равносторонние прямоугольники» термины такие: S - «квадрат», Р - «равносторонний прямоугольник» и квантор общности - «все». В этом суждении S распределен и Р распределен, ибо их объемы полностью совпадают.

Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.

Суждение I - частноутвердительное. Его структура: «Некоторые S суть Р». Рассмотрим два случая.

1. В суждении «Некоторые подростки - филателисты» термины такие:

S - «подросток», Р - «филателист», квантор существования - «некоторые». Субъект не распределен, так как в нем мыслится только часть подростков, т.е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками).

2. В суждении «Некоторые писатели - драматурги» термины такие: S - «писатель», Р - «драматург» и квантор существования - «некоторые». Субъект не распределен, так как в нем мыслится только часть писателей, т. е. объем субъекта лишь частично включается в объем предиката. Предикат распределен, ибо объем предиката полностью входит в объем субъекта. Таким образом, Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях.

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

Суждение О - частноотрицательное. Его структура: «Некоторые S не суть Р». Например: «Некоторые учащиеся не являются спортсменами». В нем такие термины: S - «учащийся», Р - «спортсмен» и квантор существования - «некоторые». Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте.

Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р ≤ S .

Отношения между простыми суждениями

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

Отношения между атрибутивными суждениями. По своему содержанию атрибутивные суждения могут находиться в двух важнейших отношениях сравнимости и несравнимости.

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

Так в предложении может быть одинаковым субъект или предикат. Например: "Закон суров" и "Закон вступил в силу" или "Закон вступил в силу" и "Указ вступил в силу". И хотя смысловое различие здесь меньше, чем в предыдущем случае, они тоже не могут соотноситься между собой по истинности или ложности. Поэтому в дальнейшем их анализ не производится.

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

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

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

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

Последующие отношения между простыми атрибутивными суждениями - А, Е, I, О - для наглядности изображают графически в виде логического квадрата.

Его вершины символизируют простые категорические суждения - А, Е, I, О; стороны и диагонали отношения между суждениями. Противоположность (контрарность) (рис. 3.2.1).

Рис. 3.2.1. Логический квадрат

Подчинение - это отношение между такими суждениями, у которых количество различно, а качество одно и то же. В таком отношении находятся общеутвердительное (А) и частноутвердительное (I), общеотрицательное (Е) и частноотрицательное (О) суждения. При подчинении действуют следующие закономерности:

а) из истинности подчиняющего (А или Е) следует истинность подчиненного (соответственно I или О), но не наоборот;

б) из ложности подчиненного (I или О) следует ложность подчиняющего (соответственно А или Е), но не наоборот.

Примеры. Если истинно А, что "Все адвокаты - юристы", то тем более истинно, что "По крайней мере, некоторые адвокаты - юристы". Но если истинно, что "Некоторые свидетели правдивы", то отсюда еще не следует, что истинно А: "Все свидетели правдивы". В данном случае это ложное суждение. В других случаях А может быть истинным. Например: если истинно, что "Некоторые адвокаты - юристы", то истинно А, что "Все адвокаты - юристы". В свою очередь, если ложно I, что "Некоторые граждане вправе нарушать законы", то тем более ложно А, что "Все граждане вправе нарушать законы". Но если ложно А, что "Все свидетели правдивы", то отсюда еще не следует, что ложно I: "Некоторые свидетели правдивы". В данном случае это истинное суждение. В других случаях I может быть ложным. Например: если ложно А, что "Все граждане вправе нарушать законы", то ложно и I, что "Некоторые граждане вправе нарушать законы". Истинным будет Е, что "Ни один гражданин не вправе нарушать законы".

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

Несовместимые суждения. Они имеют следующие логические отношения: противоположности и противоречия.

Противоположность - это отношение между общеутвердительными (А) и общеотрицательными (Е) суждениями. Оба таких суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из истинности одного непременно следует ложность другого, но не наоборот. Тут, следовательно, закономерность, обратная той, что характеризовала отношения частичной совместимости. Так, если истинно А, что "Все адвокаты - юристы", то ложно Е, что "Ни один адвокат - не юрист". И если истинно Е, что "Ни один гражданин не вправе нарушать законы", то ложно А, что "Все граждане вправе нарушать законы". Но если ложно А, что "Все свидетели правдивы", то отсюда еще не следует истинность Е, что "Ни один свидетель не правдив". В данном случае оно тоже ложное. Истинно здесь I, что "Некоторые свидетели правдивы". Ложно, что "Некоторые свидетели не правдивы". В других случаях Е может быть истинным. Так, если ложно А, что "Все граждане вправе нарушать законы", то истинно Е, что "Ни один гражданин не вправе нарушать законы".

Противоречие (контрадикторность) - отношение между такими суждениями, как общеутвердительное (А) и частноотрицательное (О), общеотрицательное (Е) и частноутвердительное (I). Им присущи следующие закономерности: они не могут быть одновременно истинными и не могут быть одновременно ложными. Из истинности одного непременно следует ложность другого и наоборот. Это "самые несовместимые" из всех суждений, межу ними, образно говоря, отношения "кошки и собаки", поскольку те не могут ужиться друг с другом.

Примеры. Если истинно А, что "Все адвокаты - юристы", то ложно О, что "Некоторые адвокаты - не юристы". Если ложно А, что "Все свидетели правдивы", то истинно О, что "Некоторые свидетели не правдивы".

Знание отношений между простыми атрибутивными суждениями по их истинности и ложности важно в познавательном и практическом отношении. Оно помогает, прежде всего, избегать возможных логических ошибок в собственных рассуждениях. Так, из истинности частного суждения (I или О) нельзя выводить истинность общего (А или Е). Например, из того, что "Некоторые судьи неподкупны", еще не следует, что "Все судьи неподкупны". Подобная ошибка называется в логике поспешным обобщением и допускается часто .

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

Отношения между суждениями с отношениями. Реляционные суждения (или суждения об отношениях между предметами мысли), как уже отмечалось, имеют нечто общее с атрибутивными суждениями: трехчленность строения (xRy), наличие количества и качества. Поэтому они могут находиться тоже в отношениях подчинения, частичной совместимости, противоположности, противоречия или же логической независимости. Так, если истинно I, что "Некоторые металлы легче воды", то это еще не значит, что истинно А: "Все металлы легче воды", но означает, что ложно Е - "Ни один металл не легче воды" и что неопределенно О, "Некоторые металлы не легче воды" (в данном случае оно истинно).

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

Отношения между х и у могут быть, прежде всего, симметричными и несимметричными.

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

Несимметричными являются такие отношения между х и у, при которых важен порядок их расположения. Поэтому менять их местами нельзя без изменения смысла суждения, следовательно, его истинности или ложности. Например: "Иван - отец Степана". Но это не значит, что "Степан - отец Ивана". Если истинно одно из этих суждений, то ложно другое. Истинным здесь будет "Степан сын Ивана". Несимметричными оказываются и такие отношения: "Иван любит Марью". Отсюда вовсе не следует, что "Марья любит Ивана", но может любить его, а может и не любить. Если истинно одно из таких суждений, то другое - неопределенно.

Важно также учитывать относительный характер различий между симметричностью и несимметричностью. Симметричное в одном отношении может быть несимметричным и в другом и наоборот. Например: если "Иван -брат Петра", то "Петр - брат Ивана". Но если "Иван - брат Елены", то это значит, что "Елена - естра Ивана".

Отношения между х и у могут быть транзитивными и нетранзитивными.

Транзитивные, или переходные отношения (от лат. transitive - переход). Если, например, х эквивалентно у, а у эквивалентно z, то и х эквивалентно z. Это могут быть также отношения величины (больше - меньше), пространственные (дальше - ближе), временные (раньше - позже) и др. Например: "Иван - брат Петра", "Петр - брат Елены", значит, "Иван - брат Елены". Такие суждения могут быть либо одновременно истинными, либо одновременно ложными.

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

Есть еще отношения рефлексивности и нерефлексивности.

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

Нерефлексивные отношения таковы, что если 2 меньше 3, то это не значит, что 2 меньше 2 и 3 меньше 3. Из истинности одного следует ложность другого.

Знание особенностей подобных отношений между реляционными суждениями по их истинности или ложности важны всюду, где есть такого рода отношения. Особое значение это имеет в сфере правовых отношений. Так, в судебной практике учитываются одновременность или разновременность событий, отношения родства, знакомства между людьми и т.д. Например, если Иванов знает Петрова, а Петров - Сидорова, то это еще не значит, что Иванов знает Сидорова. Тут отношения нетранзитивные со всеми вытекающими отсюда последствиями по истинности и ложности между раскрывающими их реляционными суждениями .

Сложные суждения

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

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

Если в простых суждениях переменными были субъект и предикат (S и Р), а постоянными - логические связки "есть" и "не есть", то в сложных суждениях переменными выступают уже отдельные, далее нерасчленяемые суждения (назовем их "А" и "В"), а постоянными - логические союзы: "и", "или" и др.

В русском языке сложные суждения имеют весьма многообразные формы выражения. Они могут выражаться, прежде всего, сложносочиненными предложениями. Например: "Ни один виновный не должен уйти от ответственности, и ни один невиновный не должен пострадать". Они могут быть выражены также сложноподчиненными предложениями. Таково, например, высказывание Цицерона: "Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности".

Наконец, они могут облекаться и в особую форму простых распространенных предложений. Этого нетрудно добиться, например, в результате своеобразного "свертывания" сложных предложений. Так, сложносочиненное предложение "Аристотель был великим логиком, и Гегель тоже был великим логиком" можно превратить в простое распространенное: "Аристотель и Гегель были великими логиками". Благодаря такому "свертыванию" достигается большая лаконичность речи, следовательно, ее экономность и динамичность.

Таким образом, не всякое сложное суждение выражается непременно сложным предложением, но всякое сложное предложение выражает сложное суждение.

Сложным называют суждение, включающее в качестве составных частей другие суждения, связанные логическими связками - конъюнкцией, дизъюнкцией или импликацией. В соответствии с функциями логических связок основными видами сложных суждений являются: 1) соединительные, 2) разделительные, 3) условные и 4) эквивалентные суждения.

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

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

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

    Соединительная связка выражена в сложном предикате, состоящем из конъюнктивно связанных признаков, по схеме: S есть Р 1 и Р 2 . Например, "Преступление - это общественноопасное и противоправное деяние".

    Соединительная связка представлена сочетанием первых двух способов по схеме: S 1 и S 2 есть P 1 и Р 2 . Например, "С полицеймейстером и прокурором Ноздрев тоже был на "ты" и обращался по-дружески" (Н. В. Гоголь, "Мертвые души").

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

Логика: Учебник для студентов юридических вузов и факультетов Иванов Евгений Акимович

1. Простые суждения

1. Простые суждения

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

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

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

В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом и предикатом. Выражается это посредством утвердительной связки «есть» или соответствующими ей словами, тире, согласованием слов. Общая формула утвердительного суждения - «S есть Р». Например: «Киты - млекопитающие».

В отрицательных суждениях, наоборот, раскрывается отсутствие той или иной связи между субъектом и предикатом. И достигается это с помощью отрицательной связки «не есть» или соответствующими ей словами, а также просто частицей «не». Общая формула - «S не есть Р». Например: «Киты не рыбы». Важно при этом подчеркнуть, что частица «не» в отрицательных суждениях стоит непременно перед связкой или подразумевается. Если же она находится после связки и входит в состав самого предиката (или субъекта), то такое суждение все равно будет утвердительным. Например: «Мои стихи живит не ложная свобода», «Не всякий плод сладок».

В связи с этим выделяются две основные разновидности утвердительных суждений: а) суждения с предикатом, который выражен положительным понятием. Формула «S есть Р». Пример: «Судьи самостоятельны»; б) суждения с предикатом, представляющим собой отрицательное понятие. Формула «S есть не-Р». Пример: «Судьи независимы». Другие примеры: «Многие законы действуют», «Некоторые законы бездействуют».

Отрицательные суждения тоже имеют две разновидности: а) суждения с положительным предикатом. Формула: «S не есть Р». Пример: «Петров не есть патриот»; б) суждения с отрицательным предикатом: «Петров не есть непатриот». Еще примеры: «Органы местного самоуправления не входят в систему органов государственной власти» и «Федеральное Собрание не является негосударственным органом».

Деление суждений на утвердительные и отрицательные в известной степени относительно. Любое утверждение содержит в себе в скрытом виде отрицание. Вспомним афоризм: «Determinatio est negatio». И наоборот. Так, если «Это слон», то, значит, «это» не какое-то другое животное - лев, жираф и т. д. А если «Это не слон», то, значит, «это» другое животное - лев, жираф и т. п. Вот почему утвердительное суждение можно выразить в форме отрицательного и наоборот. Например: «Петров - патриот» - «Петров не есть непатриот». Здесь как в математике: двойное отрицание равно утверждению.

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

Отрицательные (истинные) суждения, вопреки мнению некоторых логиков, тоже имеют рациональный смысл, если не иметь в виду суждений типа «Роза не верблюд». Они важны прежде всего сами по себе, так как отражают объективное отсутствие чего-либо у чего-то. Недаром говорят: «Отрицательный результат тоже результат». Но они не менее важны в их отношении к утвердительным суждениям. Установление того, чем не является предмет мысли, - ступень к раскрытию его действительной сущности. Так, суждение: «Киты - не рыбы» диалектически связано с суждением: «Киты - млекопитающие», служит его предпосылкой.

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

Знание особенностей утвердительных и отрицательных суждений имеет не только теоретическую, но и практическую значимость. Взять для примера известный юридический принцип презумпции невиновности . Как правильнее, сильнее, категоричнее, а следовательно, гуманнее и демократичнее его сформулировать: «Обвиняемый считается невиновным» или «Обвиняемый не считается виновным»? В законодательстве нашей страны была принята первая его формулировка - утвердительная. В процессе обсуждения проекта новой Конституции Российской Федерации некоторые авторы предлагали дать ему иную, отрицательную. При этом делалась ссылка на конституции некоторых государств, в частности Италии, Польши, Югославии. И все же в принятом ныне тексте Конституции России принцип презумпции невиновности дан в утвердительной форме: «Каждый обвиняемый в совершении преступления считается невиновным, пока его виновность не будет доказана в предусмотренном федеральным законом порядке и установлена вступившим в законную силу приговором суда» (ст. 49). Сделано это, разумеется, правильно, так как утвердительная форма суждения так или иначе «сильнее» отрицательной.

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

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

Общими называются суждения, в которых что-либо утверждается обо всей группе предметов, и притом в разделительном смысле. В русском языке такие суждения выражаются словами «все», «всякий», «каждый», «любой» (если суждения утвердительные) или «ни один», «никто», «никакой» и др. (в отрицательных суждениях). В символической логике такие слова называются кванторами (от лат. quantum - сколько). В данном случае это квантор общности . Для его обозначения используется символ? (от англ, all - все). Формула «? хР(х) интерпретируется так: «для всех х имеет место Р(х)». В традиционной логике общие суждения выражаются формулой «Все S есть Р» («Ни одно S не есть Р»).

Примеры : «Все люди смертны», «Ни один человек не бессмертен».

Юридические примеры : «Все адвокаты - юристы»; «Никто не может нести ответственность за деяние, которое в момент его совершения не признавалось правонарушением». Кванторное слово нередко опускается, его можно подставить лишь мысленно. Так, в суждении: «Кто ясно мыслит, тот ясно излагает» имеется в виду «всякий», «любой». У Пушкина в суждении «Острая шутка не есть окончательный приговор» подразумевается «никакая». Общими суждениями этого же типа являются афоризмы: «Сравнение - не доказательство», «Невежество - не аргумент» и др.

Юридические документы часто содержат подобные суждения: «Граждане Российской Федерации...» (имеются в виду «все») или «Судьи неприкосновенны» (тоже относится к «каждому»).

Общие суждения имеют свои разновидности. Прежде всего они могут быть выделяющими и невыделяющими.

В выделяющих нечто говорится лишь о данной группе. В русском языке они выражаются словами «только», «лишь», «лишь только» и т. д. Примеры: «Только люди - разумные существа на Земле» (это означает, что других разумных существ на Земле нет); «Только суд осуществляет в Российской Федерации правосудие»; «Лишь лицо, совершившее общественно опасное деяние, может быть признано виновным в преступлении».

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

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

Примеры : «Некоторые войны справедливы», «Некоторые войны несправедливы» или «Некоторые свидетели правдивы», «Некоторые свидетели не правдивы», «Некоторые таможенники - юристы», «Некоторые таможенники - не юристы». Кванторное слово здесь тоже может опускаться. Поэтому, чтобы определить, имеется ли налицо частное или общее суждение, надо мысленно подставить соответствующее слово. Например, латинская пословица: «Errare humanum est» («Людям свойственно ошибаться») не означает, что это относится к каждому человеку. Здесь понятие «люди» взято в собирательном смысле. В другой латинской пословице: «Quod licet Jovi, non licet bovi» («Что дозволено Юпитеру, то не дозволено быку») предполагается не «всё», лишь «кое-что».

Нетрудно понять, что кванторные слова частных суждений, логически тождественные, фактически по-разному характеризуют объем субъекта. Поэтому на практике они далеко не взаимозаменяемы. Так, суждения: «Большинство населения проголосовало за Конституцию» и «Меньшинство населения проголосовало за Конституцию» в логическом отношении оба - частные, но их конкретный смысл принципиально различен. Поэтому их политические и юридические последствия прямо противоположны: «Конституция принята» или «Конституция не принята».

Подобную разницу тонко уловила одна из моих слушательниц Вера Аксенова. Она рассказала, как однажды проводилась проверка работы отдела предпринимательской деятельности Комитета по управлению госимуществом г. Истра. В результате выявилось, что «Некоторые предприятия зарегистрированы без представления необходимых документов» (из 30 предприятий таких оказалось 5). Однако в акте проверки записано, что «Большинство предприятий было зарегистрировано без представления необходимых документов». Разумеется, и то и другое суждение - частные. Но если первое суждение, основанное на фактах, истинно, то второе - ложно.

Частные суждения тоже имеют свои разновидности. Они делятся на определенные и неопределенные.

В определенных частных суждениях что-либо говорится лишь о части какой-то группы предметов и не может быть распространено на всю группу предметов в целом. Слово «некоторые» здесь понимается в смысле «только некоторые». Примеры: «Некоторые люди красивы»; «Некоторые книги не интересны»; «Некоторые юристы - депутаты Государственной Думы».

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

Разумеется, в живой практике мышления не всегда так просто можно решить, в каком смысле высказывается частное суждение. Возьмем для примера пословицу: «Не все то золото, что блестит». Ясно, что это частное суждение. Но какое? Найдем вначале субъект и предикат суждения, а для этого выразим его в соответствующей грамматической форме: «Не все то, что блестит, есть золото», т. е. «Лишь некоторые блестящие вещи есть золото». Теперь ясно, что это определенное частное суждение.

Единичные суждения - такие, в которых нечто высказывается об отдельном предмете мысли. В русском языке они выражаются словами «это», именами собственными и т.д. Формула «Это S есть (не есть) Р». Примеры: «Это кремль»; «Московский Кремль - самый красивый в мире»; «Санкт-Петербург не является столицей России». Юридические примеры: «Уголовный кодекс Российской Федерации пересмотрен», «Пенсионный фонд России работает успешно».

Единичные суждения, так же как общие и частные, имеют свои разновидности. Одна из них - суждения об индивидуальном предмете: «Это Солнце», «Солнце - источник жизни на Земле», «Луна - не планета». Другую составляют суждения о совокупности предметов, рассматриваемых как единое целое и выражаемых собирательными понятиями. Например: «Солнечная система - не единственная планетная система в нашей Галактике»; «Большая Медведица - созвездие». Поскольку в том и другом случае нечто говорится о предмете мысли в целом, единичные суждения в логике приравниваются к общим и отдельному логическому анализу не подлежат.

Между частными и общими суждениями тоже нет абсолютной грани. Например: «Все студенты, не считая двоих, пришли на семинар по логике». Какое это суждение? С одной стороны, здесь кванторное слово «все». Значит, это по форме общее суждение. А с другой - слова «не считая двоих». Значит, не «все», а «некоторые». Следовательно, по существу это частное суждение. Подобные суждения, носящие промежуточный характер, называются в логике исключающими . Они выражаются в русском языке словами: «исключая», «кроме», «помимо» и т.п. В юридической практике такие суждения нередки. Например: «Как правило, закон обратной силы не имеет» (т.е. бывают исключения); «Разбирательство дел во всех судах открытое, за исключением случаев, когда это противоречит интересам охраны государственной тайны»; «Потерпевший, как правило, допрашивается ранее свидетелей».

Наконец, относительна грань между частными и единичными суждениями. Так, словесное выражение частного суждения «по крайней мере некоторые» означает «хотя бы один». Например, достаточно кому-либо в научной или философской литературе, средствах массовой информации и т.д. высказать какое-либо мнение, чтобы можно было сказать: «Некоторые авторы выдвигают такое мнение...» Или если хотя бы в одной из конституций стран мира записана какая-либо статья, то можно сказать: «В некоторых конституциях...»

Познавательная ценность общих, частных и единичных суждений различна, но по-своему велика. Так, в единичных суждениях содержатся знания об отдельных предметах и явлениях: исторических событиях, великих личностях, фактах современной общественной жизни. Юридическая практика, по существу, вся основывается на единичных суждениях: например, гражданские и уголовные дела - на отдельных фактах, лицах, вещах. Единичные суждения дают также знания и о целых Совокупностях, «ансамблях» предметов, а следовательно, могут выражать определенные общие закономерности, приобретать огромное мировоззренческое значение. Например: «Земля - рядовое небесное тело» (а не центр мироздания, как полагали до Коперника); «Солнечная система не вечна» (а возникла из первоначальной гигантской туманности, как предполагал И. Кант); «Вселенная нестационарна» (как доказывал на основе теории относительности А. Эйнштейна А. Фридман).

Частные суждения содержат знания о типах, формах, видах, разновидностях и т.д. той или иной группы предметов. Например: «Некоторые металлы легче воды», «Некоторые млекопитающие живут в воде», «Некоторые люди гениальны». При определенных условиях частные суждения могут превращаться в общие. Например: «Некоторые металлы электропроводны» - «Все металлы электропроводны».

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

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

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

Общеутвердительными называются суждения, по количеству, т. е. по характеру субъекта, общие, а по качеству, т. е. характеру связки, утвердительные. Например: «Все адвокаты - юристы».

Частноутвердительные суждения - частные по количеству, утвердительные по качеству. Например: «Некоторые свидетели дают достоверные показания».

Общеотрицательные суждения - общие по количеству, отрицательные по качеству. Пример: «Ни один обвиняемый не оправдан».

Наконец, частноотрицательные суждения - частные по количеству, отрицательные по качеству. Пример: «Некоторые свидетели не дают верных показаний».

Для формульной записи этих видов суждений в логике используются гласные буквы двух латинских слов «affirmo» («утверждаю») и «nego» («отрицаю»). Конкретно они означают суждения:

А - общеутвердительные,

I - частноутвердительные,

Е - общеотрицательные,

О - частноотрицательные.

Чтобы правильно понимать смысл суждений и правильно оперировать ими, необходимо знать распределенность терминов в них - субъекта и предиката.

Распределенным считается термин, мыслимый во всем объеме; нераспределенным - если он мыслится не во всем объеме, а частично.

В общеутвердительных суждениях (А): «Все S есть Р» - субъект распределен, а предикат не распределен. Это видно на графической схеме (штриховкой отмечена степень их распределенности).

Исключение составляют лишь случаи, когда суждение - общевыделяющее. Например: «Только люди - разумные существа на Земле». Здесь распределены и субъект, и предикат.

В частноутвердительных суждениях (I): «Некоторые S есть Р» - субъект и предикат не распределены.

Исключение составляют лишь случаи, когда субъект по объему шире предиката. Например: «Некоторые смертные существа - люди», «Некоторые юристы - адвокаты». В них субъект не распределен, а предикат распределен.

В общеотрицательных суждениях (Е): «Ни одно S не есть Р» - субъект и предикат распределены.

Наконец, в частноотрицательных суждениях (О): «Некоторые S не есть Р» - субъект не распределен, предикат распределен.

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

а) субъект распределен в общих и не распределен в частных суждениях)

б) предикат распределен в отрицательных и не распределен в утвердительных суждениях.

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

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

Атрибутивные суждения (от лат. attributum - свойство, признак), или суждения о свойствах чего-либо, раскрывают наличие или отсутствие у предмета мысли тех или иных свойств (или признаков). Например: «Все республики бывшего СССР объявили о своей независимости»; «Содружество Независимых Государств (СНГ) непрочно». Поскольку понятие, выражающее предикат, имеет содержание и объем, атрибутивное суждение может рассматриваться в двух планах: содержательном и объемном.

В содержательном плане это суждение о том, обладает или не обладает предмет мысли совокупностью свойств или отдельным свойством. В зависимости от этого различаются две разновидности атрибутивных суждений. В одной из них предикат выражен конкретным понятием, т. е. понятием о самих предметах и явлениях в строгом смысле этого слова. Например: «Ртуть - металл» (т. е. она обладает всеми свойствами металлов).

В другой разновидности предикат - абстрактное понятие. Например: «Ртуть электропроводна» (т.е. она обладает отдельным свойством - электропроводности). Нетрудно, однако, заметить относительность различий между этими разновидностями. Достаточно сравнить следующие пары суждений: «Человек - мыслящее существо» и «Человеку свойственно мыслить»; «Всякое преступление - общественно опасное деяние» и «Всякое преступление обладает общественной опасностью».

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

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

Реляционные суждения (от лат. relatio - отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой: х R у , где х и у - предметы мысли, a R (от relatio) - отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга», «Дураку закон не писан».

У реляционных суждений тоже есть свои разновидности. Одну из них составляют суждения об отношениях между двумя предметами . Например: «Рязань меньше Москвы», «Знания подобны деньгам» (чем больше их имеешь, тем больше хочется иметь); «Даже самые незначительные проступки порождают великие преступления». Или, как подметил Козьма Прутков, «легче держать вожжи, чем бразды правления». В отличие от «одноместного» предиката атрибутивных суждений предикат в них называется «двухместным». Другая разновидность реляционных суждений - суждения об отношениях между тремя и более предметами . Например: «Рязань находится между Москвой и Тамбовом». Предикат здесь - «многоместный».

Относительность различий между атрибутивными и реляционными суждениями проявляется в их способности превращаться друг в друга. Так, атрибутивные суждения можно представить как частный случай реляционных, поскольку в них связка «есть» («не есть») раскрывает отношение тождества (принадлежности, включения и т.д.) между мыслимыми в S и Р предметами. А реляционное суждение, в свою очередь, можно представить как частный случай атрибутивного.

Примеры . Суждение «Все металлы электропроводны» можно превратить в суждение «Все металлы подобны электропроводным телам». В свою очередь, суждение «Рязань меньше Москвы» можно превратить в суждение «Рязань принадлежит к городам, которые меньше Москвы». Или: «Знания есть то, что подобно деньгам». В современной логике имеется тенденция свести реляционные суждения к атрибутивным.

Экзистенциальные суждения (от лат. existentia - существование), или суждения о существовании чего-либо, - это такие, в которых раскрывается наличие или отсутствие самого предмета мысли. Предикат здесь выражается словами «существует» («не существует»), «есть» («нет»), «был» («не был»), «будет» («не будет») и др. Например: «Дыма без огня не бывает», «СНГ существует», «Советского Союза нет». В процессе судопроизводства решается прежде всего вопрос: имело ли место событие: «Преступление есть» («Доказательств нет»).

Несомненно, экзистенциальные суждения обладают определенной спецификой. Однако их целесообразнее рассматривать как частный случай атрибутивных суждений. Так, суждение «СНГ существует» означает, что «СНГ обладает свойством существовать», или в объемной трактовке: «СНГ принадлежит к классу существующих межгосударственных объединений». Вот почему в последующем логическом анализе экзистенциальные суждения самостоятельно не рассматриваются.

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

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

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

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

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

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

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

Алетическая , или истинная, модальность (от греч. aleteja - истина) выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке служат «возможно», «необходимо», «случайно» и их синонимы.

С точки зрения алетической модальности различают следующие разновидности суждений:

а) ассерторические суждения, или суждения о факте, действительности чего-либо. Например: «Россия переходит к рыночной экономике». В таких суждениях модальность не выражена, а констатируется лишь самый факт чего-либо;

б) проблематические суждения, или суждения о возможности чего-либо. Например: «Россия может перейти к рыночной экономике»;

в) аподиктические суждения, или суждения о необходимости чего-либо. Например: «Россия по необходимости перейдет к рыночной экономике».

Разумеется, различия между этими разновидностями относительны. Возможное способно стать необходимым, необходимое -случайным и т. д.

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

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

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

а) суждения о наличии (или отсутствии) какого-либо права . Они формулируются с помощью слов «разрешено», «запрещено», «вправе» и др. Например: «Каждый имеет право на жизнь»; «В Российской Федерации признается идеологическое многообразие» (правопредоставляющие нормы). Или: «Принудительный труд запрещен»; «Никто не может быть повторно осужден за одно и то же преступление»; «Никакая идеология не может устанавливаться в качестве государственной...» (правозапрещающие нормы). Модальное слово может и отсутствовать: «Труд свободен». Диалектика наличия-отсутствия прав отражена в известной формуле: «Разрешено все, что не запрещено законом». Правда, она предполагает наличие правового государства, обладающего развитой системой законодательства, которое охватывало бы все сферы общественной жизни и, следовательно, четко очерчивало бы «запретную зону». Распространяясь лишь на отдельных граждан и их объединения, она дополняется формулой: «Запрещено все, что не разрешено законом» для должностных лиц и государственных органов;

б) суждения о наличии (или отсутствии) какой-либо обязанности . Они формулируются посредством слов «обязан», «должен», «необходимо» и др. Например: «Государственные органы... обязаны всемерно содействовать профессиональным союзам в их деятельности»; «Основное общее образование обязательно» (правообязывающие нормы). Без модального слова: «Право частной собственности охраняется законом».

Между правами и обязанностями должна быть так называемая «деонтическая сбалансированность». Под ней разумеется соответствие каждому праву какой-либо обязанности, а каждой обязанности - какого-либо права. В противном случае правовая система может быть неэффективной.

Эпистемическая , или познавательная, модальность (от греч. episteme - знание) означает характер и степень вероятности знания. Она выражается при помощи слов: «знаю», «верю» («считаю», «полагаю») и им подобных. В связи с этим можно выделить, по крайней мере, тоже две основные разновидности суждений эпистемической модальности в соответствии с двумя видами знаний - объективными (научными) и субъективными (мнениями):

а) суждения, основанные на вере . При этом не имеет значения, религиозная она или нерелигиозная. Например: «Верю, что Бог существует», «Считаю, что есть загробная жизнь», «Христос воскрес» или «Верю в наступление лучшей жизни», «Полагаю, что я счастливый человек»;

б) суждения, основанные на знании , независимо от того, проблематичные они или достоверные. Например: «Знаю, что существует закон всемирного тяготения»; «Во Вселенной, по-видимому, есть другие разумные существа», «Телепатия, вероятно, существует»; «На Марсе достоверно отсутствие жизни».

Аксиологическая , или ценностная, модальность (от греч. axios - ценный) выражает отношение человека к ценностям - материальным и духовным. Она фиксируется такими словами, как «хорошо», «плохо», «безразлично» (в ценностном отношении), «лучше», «хуже» и др. Например: «Хорошо смеется тот, кто смеется последним»; «Хорошо учиться осторожности на ошибках других»; «Плохо жить без друзей», «К сожалению, демократия - несовершенная форма правления, но она лучше других».

Разумеется, сказанным не исчерпаны все формы проявления модальности суждений. Они подробно исследуются так называемой «модальной логикой»: это обширная, относительно самостоятельная и быстро развивающаяся отрасль современной логики, имеющая большое теоретическое и практическое значение, в том числе, как отмечено выше, и для юристов.

Из книги НИЧЕГО ОБЫЧНОГО автора Миллмэн Дэн

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

Из книги Логика: конспект лекций автора Шадрин Д А

ЛЕКЦИЯ № 11 Простые суждения. Понятие и виды 1. Понятие и виды простых суждений Как известно, все суждения можно разделить на простые и сложные. Практически все суждения, приведенные выше, являются простыми. Простые суждения можно определить по контрасту со сложными.

Из книги Простая правильная жизнь автора Козлов Николай Иванович

«Как съесть слона»: разбейте сложную задачу на простые этапы Иногда вы можете столкнуться с большой, неподъемной для себя задачей, перед которой опускаются руки. Но делать ее все равно – надо. Как? Если задача огромная, как слон, разбейте ее на маленькие простые этапы, с

Из книги Введение в логику и научный метод автора Коэн Моррис

§ 3. Сложные, простые и родовые общие суждения До настоящего момента нами анализировались только категорические суждения. Однако логические связи присутствуют и между более сложными формами суждений. Рассмотрим следующие суждения:1. Вес В равен весу G . 2. Прямые АВ и CD

Из книги Открой самого себя [Сборник статей] автора Коллектив авторов

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

Из книги Логика. Том 1. Учение о суждении, понятии и выводе автора Зигварт Христоф

Отдел второй ПРОСТЫЕ СУЖДЕНИЯ Под «простым суждением» мы понимаем такое суждение, в котором субъект может рассматриваться как единое, не заключающее в себе никакого множества самостоятельных объектов представление (следовательно, он есть единственное число), и

Из книги Логика для юристов: Учебник. автора Ивлев Юрий Васильевич

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

Из книги Логика в вопросах и ответах автора Лучков Николай Андреевич

§ 41. Анализ понятия на простые элементы Так как большая часть наших представлений оказывается сложной, т. е. она возникла благодаря различимым актам, то фиксирование их содержания может производиться только посредством сознательного фиксирования их элементов

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

Из книги Логика для юристов: учебник автора Ивлев Ю. В.

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

Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав Иванович

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

Из книги Логика. Учебное пособие автора Гусев Дмитрий Алексеевич

§ 1. ПРОСТЫЕ СУЖДЕНИЯ Простым называется суждение, в котором нельзя выделить правильную часть, т.е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Среди простых суждений выделяют атрибутивные суждения и суждения об отношениях.Атрибутивные суждения.

Из книги Антология реалистической феноменологии автора Коллектив авторов

Глава IV ПРОСТЫЕ СУЖДЕНИЯ § 1. СУЖДЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ Суждение как форма мышленияПознавая окружающий мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт

Из книги Архитектура и иконография. «Тело символа» в зеркале классической методологии автора Ванеян Степан С.

2.4. Простые суждения Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть

Из книги автора

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

Из книги автора

Ранние знакообразы как простые десигнаты Разговор о «первых шагах» христианской изобразительной традиции Грабар начинает с первичной характеристики самых ранних образов, сразу определяя их как чистые десигнаты, всего лишь отсылающие к специфическим персонажам,

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

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

Традиционная логика является двузначной, потому что в ней суждение имеет одно из двух значений истинности: оно либо истинно, либо ложно. В трехзначных логиках разновидности многозначных логик суждение может быть либо истинным, либо ложным, либо неопределенным. Например, суждение «На Марсе есть жизнь» в настоящее время не является ни истинным, ни ложным, а неопределенным. Многие суждения о будущих единичных событиях являются неопределенными. Об этом писал еще Аристотель, приводя пример такого неопределенного суждения: «Завтра необходимо будет морское сражение».

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

1)субъекта суждения – это понятие о предмете суждения. Субъект суждения обозначается буквой S (от латинского слова subjectum );

2)предиката суждения понятия о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum ) ;

3)связки , выражаемой в русском языке словами «есть», «является», «суть».

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

ВИДЫ ПРОСТЫХ СУЖДЕНИЙ

1. Суждения свойства (атрибутивные):

в них утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности.

Схемы этого вида суждения: « S есть Р » или « S не есть Р».

Примеры : «Мед сладкий», «Шопен не является драматургом».

2. Суждения с отношениями:

суждения, отражающие отношения между предметами.

Формула , выражающая суждение с двуместным отношением, записывается как а Rb или R (а, b ), где а и b – имена предметов (члены отношения), а R имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не только о двух, но и о трех, четырех или большем числе предметов, например: «Москва находится между Санкт-Петербургом и Киевом». Такие суждения выражаются формулой R (a , a , a ,…, a ).

Примеры: «Всякий протон тяжелее электрона», «Французский писатель Виктор Гюго родился позднее французского писателя Стендаля», «Отцы старше своих детей».

3. Суждения существования (экзистенциальные):

в них выражается сам факт существования или несуществования предмета суждении.

Схемы этого вида суждения: « S есть Р » или « S не есть Р».

Примеры этих суждений: «Существуют атомные электростанции», «Не существует беспричинных явлений».

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

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

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

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

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

Структура общего суждения : «Все S суть (не суть) Р». Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.

Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только». Примеры выделяющих суждений: «Брэгг пил только дистиллированную воду»; «Смелый человек не боится правды. Ее боится только трус» (А. К. Дойл).

Среди общих суждений имеются исключающие суждения, например: «Все металлы при температуре 20°С, за исключением ртути, твердые». К числу исключающих суждений относятся и те, в которых выражены исключения из тех или иных правил русского или иных языков, правил логики, математики, других наук.

Частные суждения имеют структуру : «Некоторые S суть (не суть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые ягоды ядовиты» неопределенное частное суждение. Мы не установили, обладают ли признаком ядовитости все ягоды, но не установили и то, что признаком ядовитости не обладают некоторые ягоды. Если мы установили, что «только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S суть (не суть) Р». Примеры: «Только некоторые ягоды ядовиты»; «Только некоторые фигуры являются сферическими»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.

В единичном суждении субъектом является единичное понятие. Единичные суждения имеют структуру : «Это S есть (не есть) Р». Примеры единичных суждений: «Озеро Виктория не находится в США»; «Аристотель воспитатель Александра Македонского»; «Эрмитаж один из крупнейших в мире художественных и культурно-исторических музеев».

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

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

1.Определить квантор, субъект и предикат высказывания.

2.Поставить кванторные слова «все» («ни один») или «некоторые» в начале высказывания.

3.Поставить субъект высказывания после кванторного слова.

4.Поставить логическую связку «есть» («суть») или «не есть» («не суть») после субъекта высказывания.

5.Поставить предикат высказывания после логической связки.

При выполнении последней операции следует иметь в виду следующее:

· во-первых, если предикат выражен существительным, которое может быть представлено одним словом или словосочетанием, то в данном случае предикат остается без изменения;

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

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

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

1. А общеутвердительное суждение.

Структура: «Все S суть Р».

Пример: «Все люди хотят счастья».

2. I частноутвердительное суждение.

Структура: «Некоторые S есть Р».

Пример: «Некоторые уроки стимулируют творческую активность учащихся».

ü Условные обозначения для утвердительных суждений взяты от слова affirmo , или утверждаю; при этом берутся две первые гласные буквы: А для обозначения общеутвердительного и I для обозначения частноутвердительного суждения.

3. Е общеотрицательное суждение.

Структура: «Ни одно S не есть Р».

Пример: «Ни один океан не является пресноводным».

4. O частноотрицательное суждение.

Структура: «Некоторые S не есть Р».

Пример: «Некоторые спортсмены не являются чемпионами Олимпийских игр».

ü Условное обозначение для отрицательных суждений взяты от слова nego , или отрицаю.

В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным , если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным , если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).

1. Суждение А общеутвердительное . Его структура: «Все S суть Р ».

Рассмотрим два случая:

Пример 1 . В суждении «Все караси рыбы» субъектом является понятие «карась», а предикатом понятие «рыба». Квантор общности «все». Субъект распределен, так как речь идет обо всех карасях, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.

Пример 2 . В суждении «Все квадраты – равносторонние прямоугольники» термины такие: S – «квадрат», Р – «равносторонний прямоугольник» и квантор общности – «все». В этом суждении S распределен и P распределен, ибо их объемы полностью совпадают. Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.

2. Суждение I частноутвердительное . Его структура: «Некоторые S суть Р ». Рассмотрим два случая.

Пример 1 . В суждении «Некоторые подростки – филателисты» термины такие: S – «подросток», Р – «филателист», квантор существования – «некоторые». Субъект не распределен, так как в нем мыслится только часть подростков, т.е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками). Если понятия S и Р перекрещиваются, то Р не распределен.

Пример 2 . В суждении «Некоторые писатели – драматурги» термины такие: S – «писатель», Р – «драматург» и квантор существования – «некоторые». Субъект не распределен, так как в нем мыслится только часть писателей, т.е. объем субъекта лишь частично включается в объем предиката. Предикат распределен, ибо объем предиката полностью входит в объем субъекта. Таким образом, Р распределен, если объем Р меньше объема S , что бывает в частных выделяющих суждениях.

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

4. Суждение О частноотрицательное . Его структура: «Некоторые S не суть Р ». Например : «Некоторые учащиеся не являются спортсменами». В нем такие термины: S – «учащийся», Р «спортсмен» и квантор существования – «некоторые». Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте

Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р ≤ S .

Представим это в таблице распределенности терминов :

Термины/ Вид суждения

A

E

I

O

S

P

P

выделяющих суждений

Субъект распределен в общих и не распределен в частных суждениях. Предикат распределен в отрицательных и не распределен в утвердительных суждениях. В выделяющих суждениях предикат распределен.

Обозначения: + – распределенность термина;

– – нераспределенность термина

· СУЖДЕНИЯ С ОТНОШЕНИЯМИ суть такие суждения, в которых взаимосвязь между двумя терминами – субъектом и предикатом выражается не с помощью связки («есть», «является» и т.п.), а с помощью отношения, в котором что-либо утверждается или отрицается в отношении двух (нескольких) терминов. В такого типа суждениях предикат – отношение, а субъект – два (или несколько) понятий. По количеству понятий, входящих в субъект, определяется местность отношения.

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

  • Отношение называется симметричным (от лат. «соразмерность»), если оно имеет место как между предметами x и y , так и между предметами y и x (если х равно (сходно с, одновременно) y , то и y равно (сходно с, одновременно) х .
  • Отношение называется рефлексивным (от лат. «отражение»), если каждый член отношения находится в таком же отношении к самому себе (если х =у , то х =х и у =у ).
  • Отношение называется транзитивным (от лат. «переход»), если оно имеет место между х и z , тогда, когда оно имеет место между х и у и между у и z (если х равно у и у равно z , то х равно z ).

Всякое суждение выражается в предложении, но не всякое предложение выражает суждение.

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

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

Ø Вопросительно-риторические предложения в своем составе содержат суждения, так как в них что-либо утверждается или отрицается. Они могут быть как истинными, так и ложными.

Побудительные предложения не содержат в своем составе суждений: («Следите за здоровьем»; «Не разводите костры в лесу», «Иди не на каток, а в школу!»). Но предложения, в которых сформулированы воинские команды и приказы, призывы или лозунги, выражают суждения, однако не ассерторические, а модальные (модальные суждения включают в свой состав модальные операторы, выраженные словами: возможно, необходимо, запрещается, доказано и пр.). Например: «Берегите мир!», «Приготовьтесь к старту!», «Мой друг! Отчизне посвятим души прекрасные порывы» (А.С. Пушкин). Эти предложения выражают суждения, но суждения модальные, включающие в себя модальные слова. Как отмечает А.И. Уемов, выражают суждения и такие побудительные предложения: «Берегите мир!», «Не кури!», «Выполняй взятые на себя обязательства!». «Перед любым приемом пищи ешьте салат из сырых овощей или сырые фрукты» и «Не вредите себе перееданием» эти советы (призывы) знаменитого американского ученого Поля Брэгга, взятые из его книги «Чудо голодания», являются суждениями. Является суждением и призыв: «Люди мира! Соединим усилия в решении общечеловеческих, глобальных проблем!».

Ø Односоставные безличные предложения и назывные являются суждениями лишь при рассмотрении их в контексте и при соответствующем уточнении.

Критерием присутствия в составе предложения суждения является наличие момента утверждения или отрицания, приводящего к оценке суждения на предмет истинности или ложности.

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

II . Виды и логическая вероятность сложных суждений

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

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

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

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

  1. (Неопределенно) конъюнктивные суждения образуются из двух суждений посредством союза, обозначаемого символом & (читается "и") и называемого знаком (неопределенной) конъюнкции. Определением знака конъюнкции является таблица, показывающая зависимость истинности конъюнктивного суждения от истинности составляющих его суждений.
  2. Последовательно конъюнктивные суждения. В этих суждениях утверждается последовательное возникновение или существование двух или более ситуаций. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами & ® 2 , & ® 3 и т. д. в зависимости от числа суждений, из которых они образованы. Эти символы называются знаками последовательной конъюнкции и соответственно читаются «…, а затем..», "..., затем..., а затем..." и т.д. Индексы 2,3 и т.д. указывают на местность союза. Форма суждения со знаком двухместной последовательной конъюнкции: & ® 2 (А,В) или (А& ® 2 В). Пример суждения этой формы: "Покупатель оплатил стоимость товара, а затем продавец выдал товар". Вместо выражения "а затем" чаще всего употребляется союз "и": "Покупатель оплатил стоимость товара, и продавец выдал товар". Форма суждения с трехместным союзом. Пример : "Петров заложил квартиру, затем внес деньги в пирамиду, а затем стал человеком без определенного места жительства".
  3. Одновременно конъюнктивные суждения. Эти суждения образуются из двух суждений посредством союза "и", называемого знаком одновременной конъюнкции. Обозначение - & = . В этих суждениях утверждается одновременное существование двух ситуаций. Пример: "Идет дождь, и светит солнце".
  1. Дизъюнктивные, или нестрого-разделительные, или соединительно-разделительные, суждения. В этих суждениях утверждается наличие по крайней мере одной из двух ситуаций. Они образуются из двух суждений посредством союза "или", обозначаемого знаком v (читается "или"), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции).
  2. Строго-дизъюнктивные, или строго-разделительные, суждения. В этих суждениях утверждается наличие ровно одной из двух, трех или более ситуаций. Они образуются из двух, трех и т.д. суждений посредством союзов "или..., или..." ("либо..., либо..."), "или..., или..., или..." и т.д. Иногда союз "или..., или..." заменяется союзом "или", а его разделительный смысл определяется контекстом. Союзы, посредством которых образуются строго-дизъюнктивные суждения, обозначаются знаком v .

III . Условные суждения выражаются как правило, предложениями с союзом "если …, то …". В них утверждается, что наличие одной ситуации обусловливает наличие другой. Пример: "Если солнце находится в зените, то тени от него являются самыми короткими". В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится между словом "если" и словом "то". Часть условного суждения, которая находится после слова "то", называется следствием . В суждении "Если идет дождь, то крыши домов мокрые" основанием является простое суждение "идет дождь", а следствием - "крыши домов мокрые".

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

IV . Контрфактические суждения. Пример: "Если бы Петров был президентом, то не ездил бы по городу на автобусе". Как и в условных суждениях, в этих суждениях выделяют основание и следствие. Союз "если бы…, то…" обозначается знаком É , который называется знаком контрфактической импликации. Суждение имеет такой смысл ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие

V . Эквивалентные суждения. В суждениях эквивалентности утверждается взаимная обусловленность двух ситуаций. Эти суждения выражаются, как правило, посредством предложений с союзом "если, и только если, ..., то..." ("тогда, и только тогда, …, когда..."). В них тоже можно выделить основания и следствия. Основание в них выражает достаточное и необходимое условие для ситуации, описываемой следствием (Условие называется необходимым для данного события (ситуации, действия и т.д.), если, и только если, при его отсутствии это событие не происходит.) Союз "если, и только если, …, то ", употребляемый в описанном смысле, обозначается символом º

В суждении эквивалентности событие, описываемое следствием, также является достаточным и необходимым условием для события, описываемого основанием.

VI . Суждение с внешним отрицанием. Это такое высказывание, в котором утверждается отсутствие некоторой ситуации.

Внешнее отрицание обозначается символом «l» (знаком отрицания). Данному знаку в естественном языке соответствует отрицание «не» или выражение «неверно, что», которые обычно стоят в начале предложения. Располагая выражение «неверно, что» перед произвольным ложным высказыванием, получаем истинное высказывание, а из истинного высказывания посредством подстановки к нему выражения «неверно, что», образуем ложное высказывание. Суждение с внешним отрицанием относится к сложным суждениям и образуется из простого посредством отрицания.

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

Итак, конъюнкция (а b ) истинна тогда, когда оба простых суждения истинны. Строгая дизъюнкция (a b ) истинна тогда, когда только одно простое суждение истинно. Нестрогая дизъюнкция (a b ) истинна тогда, когда хотя бы одно простое суждение истинно. Импликация (a É b ) истинна во всех случаях, кроме одного - когда а - истинно, b - ложно. Эквиваленция (a º b ) истинна тогда, когда оба суждения истинны или оба ложны. Отрицание a ) истины дает ложь, и наоборот.

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

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

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

Ø Сложное суждение, логическая форма которого в результирующем столбце таблицы истинности принимает значения как «истина», так и «ложь», называется логически случайным . Логическая форма логически случайного суждения выражается нейтральной (собственно выполнимой) формулой, результирующий столбец которой состоит как из «И», так и из «Л».

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

III . Отрицание суждений

ОТРИЦАНИЕ СУЖДЕНИЯ – это операция, состоящая в преобразовании логического содержания отрицаемого суждения, конечным результатом которой является формулирование нового суждения, находящегося в отношении противоречия к исходному суждению.

При отрицании простых атрибутивных суждений :

1)общее суждение меняется на частное, и наоборот;

2)утвердительное суждение меняется на отрицательное, и наоборот.

Отрицание атрибутивных суждений производится согласно следующим эквивалентностям:

ù А равнозначно О ù О равнозначно А

ù Е равнозначно I ù I равнозначно Е

Отрицание сложных суждений производится согласно следующим эквивалентностям:

ù (А & В) равнозначно ù А v ù В; по закону де Моргана

ù (А vВ) равнозначно ù А & ù В;

ù (А É В) равнозначно А & ù В;

ù (А º В) равнозначно (ù А & В) v (А & ù В);

ù (А v В) равнозначно А º В

IV . Отношение между суждениями

Отношения между суждениями по истинности принято схематически изображать в виде «логического квадрата»:

ЛОГИЧЕСКИЙ КВАДРАТ

ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ

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

Отношения

V . Модальность суждений

МОДАЛЬНОСТЬ – это выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.

Ассерторические суждения, то есть атрибутивные и реляционные суждения, а также образованные из них сложные высказывания можно рассматривать как суждения с неполной информацией. Основной функцией атрибутивного суждения является отражение связей между предметом и его признаками. О предмете S можно просто сказать, что он имеет свойство P . Такое атрибутивное суждение является просто утверждением. Наряду с просто утверждением (отрицанием) выделяют так называемые сильные и слабые утверждения и отрицания, которые являются модальными суждениями.

ОСНОВНЫЕ ВИДЫ МОДАЛЬНОСТЕЙ:

Ø АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженная в суждении посредством модальных понятий «необходимо», «обязательно», «непременно», «случайно», «возможно», «может быть», «не исключается», «допускается» и др. информация о логической или фактической детерминированности суждения. В алетической группе выделяют онтологическую (фактическую ) модальность, которая связана с объективной детерминированностью суждений, когда их истинность или ложность определяется ситуацией, имеющей место в реальной действительности , и логическую модальность , которая связана с логической детерминированностью суждения, когда истинность или ложность определяется формой или структурой суждения .

Ø ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ – это выраженная в суждении посредством модальных операторов «известно», «неизвестно», «доказуемо», «опровержимо», «предполагается» и т.д. информация об основаниях принятия и степени его обоснованности.

Ø ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям. К деонтическим относят и нормы права (здесь можно выделить следующие операторы: «обязан», «должен», «надлежит», «признается», «запрещается», «не может», «не допускается», «имеет право», «может иметь», «может принять» и др.).

Модальность суждения (р ) представляется с помощью оператора М , по схеме Мр (например, «возможно Р»). Истинность модального суждения зависит от истинности суждения, стоящего под модальным оператором, и от типа модального оператора.

Модальные простые суждения

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

p É q ); M (p º q ).

Пример: Из сложного высказывания «Если температура выше 100 градусов, то вода превращается в пар» можно получить модальное высказывание «Физически необходимо, что если температура выше 100 градусов, то вода превращается в пар».

VI . Понятие логического закона

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

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

Как уже отмечалось, логической формой мысли является строение мысли, то есть способ связи ее составных частей. Так, между мыслями, логические формы которых представлены выражениями «Все S есть Р» и «все Р есть S » имеется связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от конкретного содержания этих мыслей. Связи между мыслями, при которых истинность одних с необходимостью обусловливают истинность других, определяют формально-логические законы, или законы логики.

§ ЗАКОНЫ ЛОГИКИ – это такие выражения, которые являются истинными только в силу своей логической формы, то есть только на основании связи их составляющих. Другими словами, логическим законом является сама логическая форма, гарантирующая истинность выражения при любом содержании.

§ ЗАКОН ЛОГИКИ – это выражение, содержащее только константы и переменные и являющееся истинным в любой (непустой) предметной области (так, любой закон логики высказываний или логики предикатов является примером логического закона). Это так называемые законы связи между мыслями . Логические законы принято называть также тавтологиями .

§ ЛОГИЧЕСКАЯ ТАВТОЛОГИЯ – это «всегда истинное выражение», то есть остающееся истинным независимо от того, о какой области объектов идет речь. Любой закон логики является логической тавтологией.

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

В математической логике закон тождества выражается следующими формулами:

аº а (в логике высказываний) и Аº А (в логике классов, в которой классы отождествляются с объемами понятий).

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

В мышлении закон тождества выступает в качестве нормативного правила (принципа). Он означает, что нельзя в процессе рассуждения подменять одну мысль другой, одно понятие – другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные.

Например, тождественными по объему будут три такие понятия: «ученый, по инициативе которого был основан Московский университет»; «ученый, сформулировавший принцип сохранения материи и движения»; «ученый, ставший с 1745 г. первым русским академиком Петербургской академии» – все они обозначают одного и того же человека (М.В. Ломоносова), но дают различную информацию о нем.

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

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

Отождествление (или идентификация) широко используется в следственной практике, например, при опознании предметов, людей, отождествлении почерков, документов, подписей на документе, отождествлении отпечатков пальцев.

2. Закон непротиворечия: Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его . Если же человек, утверждая что-либо, отрицает то же самое или утверждает нечто несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия – это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира.

Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама – приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой – автор романа «Воскресение» и «Лев Толстой не является автором романа «Воскресение».

Противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении. Противоречия не будет, если мы скажем: «Осенью дождь полезен для грибов» и «Осенью дождь не полезен для уборки урожая». Суждения «Этот букет роз свежий» и «Этот букет роз не является свежим» также не противоречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время.

Не могут быть одновременно истинными следующие четыре типа простых суждений:

∧ ā. Закон непротиворечия читается так: «Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том отношении». К противоположным суждениям относятся: 1) противные (контрарные) суждения А и Е , которые оба могут быть ложными, поэтому не являются отрицающими друг друга, и их нельзя обозначить как а и ā; 2) противоречащие (контрадикторные) суждения А и О , Е и I , а также единичные суждения «Это S есть P » и «Это S не есть Р», которые являются отрицающими, так как если одно из них истинно, то другое обязательно ложно, поэтому их обозначают а и ā.

Формула закона непротиворечия в двузначной классической логике а ∧ ā отражает лишь часть содержательного аристотелевского закона непротиворечия, так как она относится только к противоречащим суждениям (а и не-а) и не распространяется на противные (контрарные суждения). Поэтому формула а∧ ā неадекватно, не полностью представляет содержательный закон непротиворечия. Следуя традиции, мы за формулой а∧ ā сохраняем название «закон непротиворечия», хотя оно значительно шире, чем данная формула.

Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, отрицается и считается ложным. Поэтому в полемике при опровержении мнения оппонента широко используется метод «приведения к абсурду».

3. Закон исключенного третьего: Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано . Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Если одно из противоречащих суждений обозначить переменной а , то другое следует обозначить ā . Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного – суждения не может быть.

Отрицающими являются следующие пары суждений:

1) «Это S есть Р» и «Это S не есть Р» (единичные суждения).

2) «Все S есть Р» и «Некоторые S не есть Р» (суждения А и О ).

3) «Ни одно S не есть Р» и «Некоторые S есть Р» (суждения Е и I ).

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

Различие в областях определения (т.е. применения) этих законов в том, что по отношению противных (контрарных) суждений А и Е (например: «Все грибы – съедобны» и «Ни один гриб не является съедобным»), которые оба не могут быть истинными, но оба могут быть ложными, распространяется действие лишь закона непротиворечия и не распространяется действие закона исключенного третьего. Итак, сфера действия содержательного закона непротиворечия шире (это контрарные и контрадикторные суждения), чем сфера действия содержательного закона исключенного третьего (лишь контрадикторные, т.е. суждения типа а и не-а ). Действительно, истинно одно из двух суждений: «Все дома в данной деревне электрифицированы» или «Некоторые дома в данной деревне не являются электрифицированными» и третьего не дано.

Закон исключенного третьего и в содержательном, и в формализованном виде охватывает один и тот же круг суждений – противоречащие, т.е. отрицающие друг друга. Формула закона исключенного третьего: А v ù А

В мышлении закон исключенного третьего предполагает четкий выбор одной из двух взаимоисключающих альтернатив. Для корректного ведения дискуссии выполнение этого требования обязательно.

4. Закон достаточного основания: Всякая истинная мысль должна быть достаточно обоснованной . Речь идет об обосновании только истинных мыслей: ложные мысли обосновать нельзя, и нечего пытаться «обосновать» ложь, хотя нередко отдельные люди пытаются это сделать. Есть хорошая латинская пословица: «Ошибаться свойственно всем людям, но настаивать на своих ошибках свойственно лишь глупцам».

Логика. Учебное пособие Гусев Дмитрий Алексеевич

2.3. Виды суждений

2.3. Виды суждений

Обычно суждения подразделяют на три вида.

1. Атрибутивные суждения – это суждения, в которых предикат представляет собой какой-либо существенный, неотъемлемый признак или атрибут (лат. аttributum) субъекта. Например, суждение: Все воробьи – это птицы – атрибутивное, потому что его предикат является неотъемлемым признаком субъекта: быть птицей – это главный, неотъемлемый признак воробья, его атрибут, без которого он не будет самим собой, т. е. воробьем (если некий объект не птица, то он обязательно и не воробей). Надо отметить, что в атрибутивном суждении не обязательно предикат является атрибутом субъекта, может быть и наоборот – субъект представляет собой атрибут предиката. Например, в суждении: Некоторые птицы – это воробьи (как видим, по сравнению с вышеприведенным примером, субъект и предикат поменялись местами) субъект является неотъемлемым признаком или атрибутом предиката. Однако эти суждения всегда можно формально изменить таким образом (как мы только что увидели), что предикат станет атрибутом субъекта. Поэтому обычно атрибутивными называются те суждения, в которых предикат является атрибутом субъекта.

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

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

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

а) Все люди – это разумные живые существа (атрибутивное суждение).

б) Некоторые школьники являются двоечниками (атрибутивное суждение).

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

г) Галактики представляют собой гигантские скопления звезд (атрибутивное суждение).

д) Человек появился намного позже животных и растений (релятивное суждение).

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

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

Из книги Логика: конспект лекций автора Шадрин Д А

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

Из книги Логика автора Шадрин Д А

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

Из книги Учебник логики автора Челпанов Георгий Иванович

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

Из книги Логика. Том 1. Учение о суждении, понятии и выводе автора Зигварт Христоф

32. Истинность суждений Определение истинности суждений непосредственно связано со сравнимостью и несравнимостью. Сравнимые суждения делятся на совместимые и несовместимые.Несовместимые суждения могут находиться в отношениях противоречия и противоположности.

Из книги Логика: Учебное пособие для юридических вузов автора Демидов И. В.

Форма суждений В прошлой главе мы учились правильно делить. Сейчас мы будем делить по всем правилам. Сначала по субъектам, потом по предикатам и потом по связкам.Деление по субъектамСубъект может быть определённым и неопределённым. Определённый субъект: «Петя разбил

Из книги Логика в вопросах и ответах автора Лучков Николай Андреевич

Модальность суждений Модальность - это, грубо говоря, отношение суждения к действительности. По модальности суждения делятся на проблематические, ассерторические и аподиктические.Проблематические: «Артём, вероятно, хитёр». (S, вероятно, есть P).Ассерторические: «Артём

Отдел третий ПРОИСХОЖДЕНИЕ СУЖДЕНИЙ. РАЗЛИЧИЕ АНАЛИТИЧЕСКИХ И СИНТЕТИЧЕСКИХ

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

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

Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав Иванович

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

Из книги автора

§ 4. Модальность суждений: сущность и виды Модальность - это явно или неявновыраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.Наиболее важными и

Из книги автора

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

Из книги автора

Как проводили биологическую эволюцию: виды-инкубаторы и виды-выводки Материалистическая наука полагает, что всё на свете происходит без сверхъестественных вмешательств. В частности, совершенно естественно происходит и биологическая эволюция, причём новые

Из книги автора

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

Из книги автора

1. Виды простых суждений Виды суждений по характеру связки (по качеству)1. Определите качество следующих суждений: «Кит - млекопитающее». «Кит не есть рыба». «Кит есть не рыба, а млекопитающее». «Язык - орудие общения между людьми». «Невежество - не аргумент»

Из книги автора

1. Преобразование суждений Преобразование простых атрибутивных суждений1. Определите, какие виды преобразования суждений использованы в следующих примерах: «Все учебники - книги» - «Некоторые книги - учебники». «Все учебники - книги» - «Ни один учебник не может быть

Из книги автора

§ 2. ВИДЫ И СОСТАВ ПРОСТЫХ СУЖДЕНИЙ Различают следующие виды простых суждений: 1) атрибутивные суждения, 2) суждения с отношениями и 3) суждения существования (экзистенциональные).1. Атрибутивным (от латинского attributio - «свойство», «признак») называется суждение о признаке

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

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

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

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

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

  • Субъект суждения - это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
  • Предикат суждения - мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
  • Логическая связка - мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
  • Квантор - указывает, относится ли суждение ко всему объёму понятия , выражающего субъект, или только к его части: «некоторые», «все» и т. п.

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

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

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

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

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Классификация простых суждений

По качеству

  • Утвердительные - S есть P. Пример: «Люди пристрастны к самим себе».
  • Отрицательные - S не есть P. Пример: «Люди не поддаются лести».

По объёму

  • Общие - суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
  • Частные - суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

  • Категорические - суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
  • Условные - суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
    • Основание - это (предыдущее) суждение, которое содержит условие.
    • Следствие - это (последующее) суждение, которое содержит следствие.

По отношению между подлежащим и сказуемым

Логический квадрат, описывающий отношения между категорическими суждениями

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

  • Распределено - когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
  • Не распределено - когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

  • Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

  • Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

  • Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

  • Прим.: «Некоторые книги полезны»
  • Прим.: «Некоторые животные суть Позвоночные»

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

  • Прим.: «Некоторые животные не суть позвоночные (S)»
  • Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

таблица распределения подлежащего и сказуемого

Общая классификация:

  • общеутвердительные (A ) - одновременно общие и утвердительные («Все S + суть P - »)
  • частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - ») Прим: «Некоторые люди имеют черный цвет кожи»
  • общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + ») Прим: «Ни один человек не всеведущ»
  • частноотрицательное (O ) - частное и отрицательное («Некоторые S - не суть P + ») Прим: «Некоторые люди не имеют черного цвета кожи»

Другие

  • Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

  • Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

  • Суждения тождества - понятия субъекта и предиката имеют один и тот же объём. Пример: «Всякий равносторонний треугольник есть равноугольный треугольник».
  • Суждения подчинения - понятие с менее широким объёмом подчиняется понятию с более широким объёмом. Пример: «Собака есть домашнее животное».
  • Суждения отношения - именно пространства, времени, отношения. Пример: «Дом находится на улице».
  • Экзистенциальные суждения или суждения существования - это такие суждения, которые приписывают только лишь существование.
  • Аналитические суждения - суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.
  • Синтетические суждения - суждения, расширяющие познание. В них не раскрывается содержание подлежащего, а присоединяется нечто новое.

Модальность суждений

Модальные понятия , или модальности - понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.

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

  • Суждения возможности - «S, вероятно, есть Р» (возможность ). Пример: «Возможно падение метеорита на Землю».
  • Ассерторические - «S есть P» (действительность ). Пример: «Киев стоит на Днепре».
  • Аподиктические - «S необходимо должно быть P» (необходимость ). Пример: «Две прямые линии не могут замыкать пространства».

Примечания

См. также

Литература

  • Г. Челпанов. «Учебник логики». 9-е издание. Москва 1998 г.
  • А. Д. Гетманова Логика // Изд. Книжный дом «Университет». 1998. - 480с.

Wikimedia Foundation . 2010 .

Синонимы :

Смотреть что такое "Суждение" в других словарях:

    Мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия

    Суждение - Суждение ♦ Jugement Мысль, имеющая ценность или притязающая на обладание ценностью. Вот почему всякое суждение оценочно, даже если предметом оценки служит истина (притом, что истина сама по себе не является ценностью). Суждение… … Философский словарь Спонвиля

    Суд, отзыв, отчет, мнение, рассуждение, соображение, понимание, взгляд; усмотрение, благоусмотрение, уразумение, глазомер, прозорливость, проницательность. Представить на чье усмотрение (благоусмотрение). В мои года не должно сметь свое суждение… … Словарь синонимов

    СУЖДЕНИЕ, суждения, ср. 1. только ед. Действие по гл. судить в 1 знач., обсуждение (книжн. устар.). «С общего сужденья приговорили.» Крылов. Длительное суждение о деле. 2. Мнение, заключение. «Не смею моего сужденья произнесть.» Грибоедов. «В мои … Толковый словарь Ушакова

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

    СУЖДЕНИЕ, суженый, см. судить Толковый словарь Даля. В.И. Даль. 1863 1866 … Толковый словарь Даля

    суждение - СУЖДЕНИЕ (нем. Urteil; англ., франц. Judgement) мыслительный акт, выражающий отношение лица к содержанию высказываемой им мысли. В форме утверждения или отрицания С. необходимо сопровождается той или иной модальностью, сопряженной, как… … Энциклопедия эпистемологии и философии науки

    суждение - СУЖДЕНИЕ, предположение СУДИТЬ, предполагать … Словарь-тезаурус синонимов русской речи

    1) то же, что высказывание.2) Умственный акт, реализующий отношение говорящего к содержанию высказываемой мысли и связанный с убеждением или сомнением в ее истинности или ложности … Большой Энциклопедический словарь

    Выражение элементов чувственного опыта в общезначимой словесной форме … Психологический словарь

Книги

  • Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени , Добрянский-Сачуров. Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени / Соч. ... Галицко-рус. деятеля и патриота Адольфа Ивановича…
2024 psy-logo.ru. Образование это просто.