Логика. Радько О.Ю. - 27 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

3. СУЖДЕНИЕ
Суждение – это мысль, в которой утверждается наличие или отсутствие каких-либо положений дел. В
языке суждение, как правило, выражается повествовательным предложением и может оцениваться в качестве
истинного или ложного. Простым называется суждение, в котором нельзя выделить часть, в свою очередь яв-
ляющуюся суждением. Основными видами простых суждений являются атрибутивные суждения, суждения
об отношениях и суждения существования (экзистенциальные суждения).
Атрибутивные суждения. Атрибутивными называются суждения, в которых выражается принадлеж-
ность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно ис-
толковать как суждения о полном или частичном включении или невключении одного множества предметов в
другое или как суждения о принадлежности или непринадлежности предмета классу предметов. В каждом ат-
рибутивном суждении есть субъект (логическое подлежащее), предикат (логическое сказуемое) и связка (связка
иногда лишь подразумевается), а в некоторых имеются ещё так называемые кванторные (количественные) сло-
ва («некоторые», «все», «ни один» и др.). Субъект и предикат называются терминами суждения. Субъект часто
обозначается латинской буквой S (от слова «subjectum») а предикат – Р (от слова «ргаеdiсаtum»). В суждении
«Некоторые науки не являются гуманитарными» субъект (S) – «науки», предикат (Р) – «гуманитарные», связка
«не являются», а «некоторые» – кванторное слово. Атрибутивные суждения делятся на виды «по качеству» и
«по количеству». По качеству они делятся на утвердительные и отрицательные. По количеству атрибутивные
суждения делятся на единичные, общие и частные.
При решении вопроса о правильности и неправильности рассуждений и в некоторых других случаях ис-
пользуется так называемое объединённое деление атрибутивных суждений по качеству и количеству на обще-
утвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Их структура и обозна-
чения, соответственно: «Все S суть P» (А), «Ни одно S не суть Р» (Е), «Некоторые S суть Р» (I), «Некоторые S
не
суть P» (О).
Субъект и предикат суждения могут быть распределены (взяты в полном объёме) или не распределены
(взяты не в полном объёме). В общих суждениях распределены субъекты, а в отрицательных – предикаты. Тер-
мин распределён, если для решения вопроса об истинности суждения следует исследовать все элементы объёма
термина. Если распределённый термин отметить знаком «+», а не распределённый – знаком «–», то получаем:
все S
+
суть Р
–
; ни один S
+
не суть Р
+
; некоторые S
–
суть Р
–
; некоторые S
–
не суть Р
+
.
Суждения об отношениях. Суждение, в котором говорится о том, что определённое отношение имеет ме-
сто (или не имеет места) между элементами пар, троек и других предметов, называется суждением об отноше-
ниях.
Суждения об отношениях делятся по качеству на утвердительные и отрицательные, так же, как и атрибу-
тивные. Суждения об отношениях делятся на виды и по количеству. Так, суждения об отношениях делятся по
количеству на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-
единичные, частно-единичные, обще-частные и частно-общие. Например: «Иванов выше Петрова» (единично-
единичные), «Каждый студент нашей группы знает каждого преподавателя нашего факультета» (обще-общее),
«Иванов знает каждого студента первого курса экономического факультета» (единично-общее). Аналогично
деление на виды по количеству суждений выполняется для трёхместных, четырёхместных и других отношени-
ях.
Основными видами отношений между суждениями по логическим формам являются отношения: совмес-
тимости по истинности, совместимости по ложности и логического следования. Производными от них – от-
ношения логической эквивалентности, подчинения, контрадикторности, контрарности, субконтрарности и
логической независимости.
Отношение логической совместимости по истинности имеет место между сужениями А и В, если и толь-
ко если логические формы этих суждений таковы, что существуют суждения А' и В' этих логических форм (но,
возможно, других нелогических содержаний), такие, что оба они являются истинными. Если такие суждения А'
и В' не существуют, то между исходными суждениями имеет место отношение логической несовместимости по
истинности.
Очевидно, что в этом отношении могут находится два и более суждений.
Отношение логической совместимости по ложности имеет место между суждениями А и В, если и только
если логические формы этих суждений таковы, что существуют суждения А' и В' этих логических форм (но,
возможно, отличающиеся от исходных суждений своими нелогическими содержаниями), такие, что оба они
являются ложными. Если такие суждения А' и В' не существуют, то между исходными суждениями А и В имеет
место отношение логической несовместимости по ложности.
Отношение логического следования имеет место между сужениями А и В, если и только если не существу-
ют суждения А' и В' этих логических форм (но, возможно, других нелогических содержаний), такие, что А' –
истинно, а В' – ложно (обозначается А ╞ В).
Отношение логического следования имеет место между множеством суждений {А
1
, А
2
, …, А
n
} и суждени-
ем В (обозначается А
1
, А
2
, …, А
n
╞ В), если и только если не существуют суждения А'
1
, А'
2
, …, А'
n
, В' тех же ло-

Страницы