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и Р - равнозначные понятия – и объемы терминов полностью совпадают.
Пример: «Все равносторонние прямоугольники – квадраты».
Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его структура: «Некоторые S есть Р». Символом служит латинская буква «I» вторая гласная слова УТВЕРЖДАЮ – Affirmo.
В этих суждениях Sи Р- перекрещивающиеся понятия, их объемы, частично совпадают.
Пример: «Некоторые суждения – истинные».
В некоторых «I» объем S шире объема Р, и Р - является подчиняющим понятием.
Пример: Среди преступников есть особо опасные рецидивисты.
Общеотрицательное суждение- общее по объему субъекта и отрицательное по качеству связки. Его структура: «Ни одно S не есть Р». Символом служит латинская буква «Е» - первая гласная слова ОТРИЦАЮ – Nego.
| S |
| Р |
Характерна полная несовместимость Sи Р, т.е. их объемы полностью исключают друг друга.
Пример: «Киты не дышат жабрами».
Частноотрицательное суждение - частное по объему субъекта и отрицательное по качеству связки. Его структура: «Некоторые S не есть Р». Символом служит латинская буква «О» - вторая гласная слова ОТРИЦАЮ – Nego.
Пример: «Некоторые грибы не являются ядовитыми».
Объемные отношения Sи Р напоминают аналогичные схемы в частноутвердительных суждениях с той лишь разницей, что в утвердительных - речь идет о совпадающей части объемов терминов, а в отрицательных - о несовпадающей части.
| S |
| Р |
Распределенность терминов в атрибутивном суждении
Получение достоверных выводов и построение убедительных доказательств, зависит от правильности
оперирования в рассуждениях различными видами суждений, что предполагает знание распределенности терминов - соотношения их объемов. Термин считается распределенным, (развернутым, взятым в полном объеме)если он полностью входит в объем другого термина или же полностью из него исключается. Распределённый термин обозначается знаком «+». В случае частичного совпадения объемов терминов они считаются нераспределенными (неразвернутыми, неисчерпанными). Нераспределённый термин обозначается знаком «-».
Субъекты распределены в общих суждениях и не распределены в частных. Предикаты распределены в отрицательных суждениях и не распределены в утвердительных.
Отношения между простыми суждениями
Человек сталкивается с различными мнениями, суждениями, для верного анализа - необходимо иметь четкое представление о тех отношениях, в которых они могут находиться между собой. Выделяют отношения: сравнимые, имеющие одинаковые термины и различающиеся по качеству или количеству (делятся на совместимые и несовместимые), и несравнимые, имеющие различные субъекты или предикаты.
Пример: «Земля - планета» и «Адвокаты - юристы».
Эти суждения не соотносятся не по истинности не по ложности.
Совместимые суждения - различают три вида.
1.Равнозначащие (эквивалентность) суждения, выражающие одну и ту же мысль, но их логическое построение различно.
Пример: «Ю. Гагарин – первый в мире космонавт» и «Первый человек, полетевший в космос».
Если истинно одно, то истинно и другое.
2.Частичная совместимость (субконтрарность) характерна для «I» и «О» суждений.
Пример: «Некоторые юристы - адвокаты» (истинное) и «Некоторые адвокаты – не юристы» (ложное).
Могут быть одновременно истинными, но не могут быть одновременно ложными.
3.Отношения подчинения характерны для суждений, которые одинаковы по качеству и различны по количеству.
Пример: «Большинство из нашей группы учатся хорошо» и «Все студенты нашей группы хорошо учатся».
В данном случае подчиняющим являются «А» и «Е», а подчиненным «I» и «О». При истинности подчиняющего - подчиненное всегда будет истинным.
Несовместимые суждения – не могут быть одновременно истинными.
1.Противоположные (контрарность) - общие суждения, выражающие противоположные мысли.
Пример: «Все деревья - хвойные» и «Ни одно дерево – не хвойное».
Не могут быть одновременно истинными, но могут быть одновременно ложными. Истинность одного из противоположных суждений определяет ложность другого.
2.Противоречащие (контрадикторность) - суждения, которые взаимно исключают друг друга.
Пример: «Все обитатели моря - рыбы» и
«Некоторые обитатели моря - никакие не рыбы».
Не могут быть одновременно ни истинными, ни ложными. При истинности одного - другое ложно и наоборот.
Отношения между простыми суждениями рассматриваются с помощью схемы, называемой логическим квадратом.
Его вершины - простые категорические суждения - А, Е, I, О;а стороны и диагонали - отношения между суждениями.
СЛОЖНЫЕ СУЖДЕНИЯ
Сложные суждения образуются из простых путем их соединения. Структурообразующими элементами выступают не понятия-термины, а самостоятельные суждения. Связь между ними осуществляется не с помощью связки «есть» («не есть»), а посредством логических союзов (логических связок).
Они могут бытьистинными или ложными, что зависит, от истинности или ложности составляющих их простых и иных суждений.
