На основе проведенного анализа суждений по объединенной классификации сформулированны правила распределенности терминов:
В общеутвердительных суждениях субъект распределен, а предикат не распределен. Распределенными оба термина будут в случае их равнозначности.
В общеотрицательных суждениях оба термина всегда распределены, они полностью исключают друг друга, являются несовместимыми понятиями. Например: "Ни один овощ не является фруктом".
В частноутвердительных суждениях оба термина не распределены, если они выражаются перекрещивающимися понятиями: например, "Некоторые студенты - изобретатели". Если же в частноутвердительном суждении предикат подчинен субъекту, тогда предикат будет распределен: например, "Некоторые летательные аппараты - космические ракеты".
В частноотрицательных суждениях субъект не распределен, а предикат всегда распределен. Таким образом, субъект распределен в общих суждениях и не распределен в частных суждениях; предикат распределен в отрицательных суждениях и нераспределен в утвердительных суждениях. Исключение составляют общеутвердительные и частноутвердительные суждения, у которых предикат распределен.
В соответствии с функциями логических связок сложные суждения делятся на следующие виды.
Соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например: "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Москве и учится в МГУ".
Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или".
Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.
Условные суждения (импликативные) - это такие суждения, которые образованы из двух посредством логических союзов: "если... то", "там... где", "постольку... поскольку". В качестве примера можно использовать мысль, высказанную таджикским поэтом XI в. Кабусом: "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.
Таковы основные виды суждений. Овладение навыками их логического анализа является эффективным средством точного использования своих мыслей, а также предложений.
Классификации суждений
Наиболее подробно в логике рассматривается простые категорические суждения. Это такие суждения, в которых между субъектом и предикатом устанавливается категорическая утвердительная или отрицательная связь, а именно отношения тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения.
Простое категорическое суждение может быть истинным или ложным. По количественному и качественному признакам простые категорические суждения подразделяются на виды.
По количественному показателю они делятся на единичные, частные и общие.
Единичное суждение отражает единственный предмет мысли, а значит субъект этого суждения – единичное понятие. Например, «Новосибирск – крупнейший город Сибири».
Частное суждение отражает некую совокупность предметов, процессов, явлений, но не всю. Это подчеркивается квантором: «Некоторые крупные города России являются областными центрами».
Общие суждения – суждения обо всех предметах определенного вида с квантором «все» (ни один, каждый, всякий) перед субъектом: «Все S есть Р». Например, «Каждый студент имеет зачетную книжку».
По качественному признаку, а именно по характеру связки, простые категорические суждения делятся на отрицательные и утвердительные. В русском языке утвердительная связка может опускаться.
Если объединить качественный и количественный показатель, то все простые категорические суждения можно разделить на шесть видов: общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные, единичноутвердительные, единичноорицательные.
Между видами простых категорических суждений устанавливаются следующие отношения.
Отношения противоречия складываются между суждениями разными по качеству и по количеству, т.е. между общеутвердительными и частноотрицательными, общеотрицательными и частноутвердительными.
Отношения противоположности устанавливаются между общими суждениями разными по качеству, а именно между общеутвердительными и общеотрицательными. Отношения подпротивоположности (частного совпадения) – разными по качеству частными суждениями (частноутвердительными и частноотрицательными).
В отношении подчинения находятся суждения одинакового качества, но разного количества, т.е. общеутвердительные и частноутвердительные, общеотрицательные и частноотрицательными.
Среди простых суждений по качественным характеристикам связки выделяются суждения действительности, необходимости и возможности. В целом эту группу суждений считают суждениями модальности, которая представляет собой степень достоверности того или иного простого суждения.
К суждениям действительности относятся те, что адекватно или не адекватно, но категорично отражают действительность с помощью связок «есть» («не есть»), «суть» («не суть»). Примеры суждений действительности: «Иванов – студент юридического факультета», «Иванов не является студентом юридического факультета».
Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются с помощью слова «необходимо», включенным в структуру суждения. Например, «Необходимо, что наличие кислорода есть условие реакции горения» или «Наличие кислорода – необходимое условие реакции горения».
Суждения возможности так же отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью слова «возможно»: «Возможно, данное предложение не согласовано» («Возможно S есть Р»).
Особенную группу составляют суждения существования, которые утверждают существование того или иного предмета, процесса, явления. Например, суждение «Жизнь существует», в нем предикат и связка как бы сливаются. Конечно же, это суждение можно представить как «S-«, но все встанет на свои места в следующей его формулировке «Жизнь есть существующее». Не следует забывать, что язык накладывает свой отпечаток на формулировку суждений, но путем его несложного преобразования можно все расставить на свои места.
Утверждая или отрицая принадлежность признака предмету, мы вместе с тем отображаем в суждении существование или не существование предмета суждения в действительности. Так, например, в таких простых суждениях, как: “существуют космические луга”, “Русалки не существуют в действительности” и т.п., мы непосредственно утверждаем (или отрицаем) существование предмета суждения в действительности. В прочих простых суждениях существование предмета суждения в действительности нам уже заведомо известно. Не только в суждениях существования, а и во всяком простом суждении содержится знание о существовании или не существовании этого суждения в действительности.
Помимо суждений модальности выделяются суждения отношений, в которых устанавливается отношения причины и следствия, части и целого и т.п., выраженные в русском языке словами «больше», «меньше», «старше», «взрослее» и т.п. Например, «Новосибирск восточнее Москвы», «Москва больше Новосибирска». Символически эти суждения выражаются формулой «в R с», что читается как «в и с находятся в отношении R”
Деление суждений на модальности
В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из простых сложные суждения. В них утверждается или отрицается наличие определенных связей между предметом и его свойствами или констатируется отношение между двумя или большим числом предметов. Например: “Школьники - учащиеся”;
“В прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы, т. е. а2 + b2 = с2; “Объем конуса равен 1/3 площади основания, умноженной на высоту”; “Яблоко сладкое и красное”; “Я эту работу не выполню в срок”; “Если будет плохая погода, то мы не поедем на теплоходе” и др. Общая форма таких простых высказываний (суждений): “S есть (не есть) Р”. Из простых суждений образуются сложные, например: “Если S есть (не есть) Р, то S1 ,есть (не есть) Р1”.
В этих ассерторических суждениях не установлен характер связи между субъектом и предикатом. Помимо ассерторических существуют модальные суждения, в которых уточняется или квалифицируется характер связи между S и Р или характер связи между отдельными простыми суждениями в сложном суждении. Из вышеприведенных суждений можно образовать такие, например, модальные суждения: “Обязательно, что все школьники - учащиеся”; “Доказано, что в прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы”;