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

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

S - субъект суждения, понятие о предмете суждения. Это логическое подлежащее.

Р - предикат суждения, понятие о признаке предмета, в нем отражается признак предмета. Это логическое сказуемое.

Связка - отношение между S и Р. Выражается словами: «есть», «не является», «представляет собой», «не признается».

Квантор – указатель на объём S. В роли квантора слова: все, некоторые, ни один. При его отсутствии, он подразумевается.

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

«Тигры – хищники», квантор отсутствует, но подразумевается слово «Все».

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

Пример: «Пингвины (S) - птицы (Р)».

В большинстве случаев такого совпадения нет.

Пример: «Столицей Франции (S) является город Париж (Р)». Грамматический анализ предложения показывает, что слово «Париж» - подлежащее, «является столицей» сказуемое.

Классификация атрибутивного суждения

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

1. Утвердительные, выражают принадлежность предмету некоторого признака. Формула: «S есть Р»

Пример: «Звезды есть небесные тела».

2. Отрицательные, выражают отсутствие у предмета некоторого признака. Формула: «S не есть Р»

Пример: «Звезды не являются планетами».

Частица «не» в отрицательном суждении должна обязательно стоять только перед связкой. Если она после связки – и входит в состав предиката, то такое суждение утвердительное.

По количеству - делятся на единичные, частные и общие.

1.Единичные - суждения, в которых что-либо утверждается или отрицается об одном предмете, в объединительной квалификации принято считать общими.

Пример: «Эрмитаж - крупнейший музей России».

2.Частные - суждения, в котором что-либо утверждается или отрицается о части предметов некоторого класса: «Некоторые S есть P»; «Многие S есть P»; «Часть S не есть P».

Пример: «Некоторые птицы есть перелетные».

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

Пример: «Ни один юрист не является врачом».

«Инфузория туфелька – живой организм».

Объединительная классификация

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

Общеутвердительное суждение - общее по объему субъекта и утвердительное по качеству связки. Его структура: «Все S есть Р». Символом служит латинская буква «А», первая гласная слова УТВЕРЖДАЮ – Affirmo.

Объем Р шире объема S и является подчиняющим понятием.

Пример: «Всякое определение является суждением».

Во многих «А» (во всех определениях) Sи Р - равнозначные понятия – и объемы терминов полностью совпадают.

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

Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его структура: «Некоторые S есть Р». Символом служит латинская буква «I» вторая гласная слова УТВЕРЖДАЮ – Affirmo.

В этих суждениях Sи Р- перекрещивающиесяпонятия, их объемы, частично совпадают.

Пример: «Некоторые суждения – истинные».

В некоторых «I» объем S шире объема Р, и Р - является подчиняющим понятием.

Пример: «Среди животных есть хищники».

Характерна полная несовместимость Sи Р, т.е. их объемы полностью исключают друг друга.

Пример: «Киты не дышат жабрами».

Частноотрицательное суждение - частное по объему субъекта и отрицательное по качеству связки. Его структура: «Некоторые S не есть Р». Символом служит латинская буква «О» - вторая гласная слова ОТРИЦАЮ – Nego.

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

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

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

Распределенность терминов в атрибутивном суждении

Получение достоверных выводов и построение убедительных доказательств, зависит от правильности

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

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

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

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

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

Эти суждения не соотносятся не по истинности не по ложности.

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

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

Пример: «Ю. Гагарин – первый в мире космонавт» и «Первый человек, полетевший в космос».

Если истинно одно, то истинно и другое.

2.Частичная совместимость (субконтрарность) характерна для «I» и «О» суждений.

Пример: «Некоторые юристы - адвокаты» (истинное) и «Некоторые адвокаты – не юристы» (ложное).

Могут быть одновременно истинными, но не могут быть одновременно ложными.

3.Отношения подчинения характерны для суждений, которые одинаковы по качеству и различны по количеству.

Пример: «Большинство из нашей группы учатся хорошо» и «Все студенты нашей группы хорошо учатся».

В данном случае подчиняющим являются «А» и «Е», а подчиненным «I» и «О». При истинности подчиняющего - подчиненное всегда будет истинным.

Несовместимые суждения – не могут быть одновременно истинными.

1.Противоположные (контрарность)- общие суждения, выражающие противоположные мысли.

Пример: «Все деревья - хвойные» и «Ни одно дерево – не хвойное».

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

2.Противоречащие (контрадикторность) - суждения, которые взаимно исключают друг друга.

Пример: «Все обитатели моря - рыбы» и

«Некоторые обитатели моря - никакие не рыбы».

Не могут быть одновременно ни истинными, ни ложными. При истинности одного - другое ложно и наоборот.

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