Логические отношения между атрибутивными с.

Суждение

 

Структура

Виды

Атрибутивные суждения

Логические отношения между атрибутивными с.

 

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

Суждение - это такая форма мышления, которая раскрывает связь между предметом мысли и его признаком.

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

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

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

3) Логическая связка «есть» или «не есть» фиксирует тип связи между субъектом и предикатом суждения. Логическая связка может быть указана, а может подразумеваться в суждении.

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

ПРИМЕР: «Не все студенты являются отличниками». В данном суждения «студенты» - это субъект, «отличники» - предикат, «есть» - связка, «не все» - квантор.

 

 

Виды

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

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

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

 

Конъюнктивные (соединительные) суждения

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

Условные (импликативные;implicatio — связь) суждения

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

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

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

Что мы имеем в виду, когда утверждаем, что импликативное суждения истинное? Мы стараемся утверждать, что если антецедент является истинным, то консеквент тоже является истинным. Иначе говоря, антецедент и консеквент связаны таким образом, что первый не может быть истинным без того, чтобы последний тоже был истинным. Если мы утверждаем истинность условного суждения, а также истинность его основания, то мы с необходимостью должны утверждать и истинность следствия.

 

Атрибутивные суждения

 

Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или не включении объема одного термина S к объему иного термина Р. Рассмотрим это с помощью кругов Эйлера в следующих суждениях:

1. «Любое дерево есть растение»;

2. «Любой квадрат является равносторонним прямоугольником»;

3. «Некоторые поэты - лауреаты»;

4. «Некоторые книги являются учебниками»;

5. «Никакой естественный спутник не является планетой».

 

 

Логические отношения

 

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

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

Например, мы не можем сравнивать такие суждения:

1. «Любая планета имеет естественный спутник».

2. «Любая книга является источником информации».

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

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

Например мы можем сравнивать такие суждения:

ASP «Любой студент является отличником».

ESP «Ни один студент не является отличником».

ISP «Некоторые студенты являются отличниками».

OSP «Некоторые студенты не являются отличниками».

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

 

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

 

Эта схема показывает, что на верхней горизонтали квадрата размещены общие суждения АSР, ЕSР, а на нижней - частно Оsр, Isр. Частные расположены так, чтобы в обще утвердительным АSР было частично утвердительное Isр, а под обще отрицательным ЕSР было частично отрицательное Оsр.

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

Суждения могут быть: 1) эквивалентными, 2) находиться в отношении подчиняя к подчиненному, 3) находиться в отношении подчиненного к покоряющей, 4) быть независимыми, 5) субконтрарнимы, 6) противоположными, 7) противоречивыми.

Суждение

 

Структура

Виды

Атрибутивные суждения

Логические отношения между атрибутивными с.

 

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