Логика

Частноотрицательные суждения имеют структуру «Некоторые S не являются P». В суждении «Некоторые военнослужащие не являются инженерами» субъектом является понятие «военнослужащие», предикатом — «инженеры», кванторное слово — «некоторые».

Общеотрицательные суждения имеют структуру «Ни один S не является P». Суждение «Ни один человек не является птицей» является общеотрицательным. Здесь как субъект, так и предикат распределены полностью. Это связано с тем, что объемы понятий «человек» и «птица» не пересекаются, они полностью исключены один из другого.

26. Общие, частные, единичные суждения

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

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

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

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

Единичные категорические суждения имеют структуру «Это S суть (не суть) P». Соответственно, их субъектом является единичное понятие, т. е. понятие, объем которого исчерпывается лишь одним элементом. Единичными суждениями, таким образом, являются: «Москва — столица России»; «Дж. Лондон не является русским писателем»; «Солнце не является планетой».

27. Сложные суждения. Образование сложных суждений

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

Конъюнкция(a^b) — это способ связи простых суждений в сложные, при котором истинность полученного суждения напрямую зависит от истинности составных. Истинность таких суждений достигается только тогда, когда оба простых суждения (и a, и b) так же истинны. Если хотя бы одно из данных суждений ложно, то ложным следует признать и образованное из них новое, сложное суждение. Например, в суждении «Этот автомобиль очень качественный (a) и пробежал всего десять тысяч метров (b)» истинность зависит как от его правой стороны, так и от левой. Если оба простых суждения истинны, то истинно и сложное, образованное из них. В противном случае (если хотя бы одно из простых суждений ложно) оно является ложным.