<<
>>

5.1. Общая характеристика суждения

Суждение – форма мышления, в которой что#x2011;либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами.

Примеры суждений: «Космонавты существуют», «Париж больше Марселя», «Некоторые числа не являются четными». Если то, о чем говорится в суждении, соответствует действительному положению вещей, то суждение истинно. Указанные выше суждения являются истинными, так как в них адекватно (верно) отражено то, что имеет место в действительности. В противном случае суждение ложно («Все растения являются съедобными»).

Как форма мысли суждение – идеальное отражение чего бы то ни было, и как идеальное – оно нуждается в материальном (языковом, знаковом и прочее) выражении. Грамматической формой выражения суждения выступают повествовательные предложения. Однако, признаки суждения и признаки предложения (знакового комплекса) не совпадают и не тождественны друг другу. Если предложение имеет такие составляющие его элементы как подлежащее, сказуемое, дополнение, обстоятельства места, времени, причины и пр., то в суждении выделяются несколько иные составляющие: предмет мысли (логическое подлежащее), признак предмета мысли (логическое сказуемое), связка между ними (логическая связь) и количественный показатель предмета мысли (квантор). Важно, учитывая различные элементы суждения и повествовательного предложения, выработать определенный навык перевода грамматических форм (предложений) в адекватные им логические, что не всегда просто. Грамматически повествовательные предложения значительно сложнее адекватных им логических структур. Например: «В белом плаще с кровавым подбоем, шаркающей кавалерийской походкой, ранним утром 14 числа весеннего месяца нисана в крытую колоннаду между двумя крыльями дворца Ирода Великого вышел пятый прокуратор Иудеи Понтий Пилат». Довольно сложное по словесной формулировке предложение.

Логической же формой этого пространного предложения будет главное – Понтий Пилат вышел в крытую колоннаду.

Логическое подлежащее – это понятие, отражающее предмет (явление, процесс), на который направлено внимание мыслящего, поэтому оно и называется предметом мысли. В терминологии логики, на ее языке этот элемент называется субъектом суждения и символически обозначается символом – заглавной латинской буквой «S» (от латинского слова subjectum). Логическое сказуемое – это понятие, которое отражает присущий или не присущий предмету мысли признак. Логическое сказуемое терминологически называется предикатом суждения и символически обозначается заглавной латинской буквой «Р» (от лат. praedicatum). Последний элемент суждения – связка – выражает отношение между субъектом и предикатом, между «S» и «Р». Связка выразима в русском языке словами «есть» – «не есть», «суть» – «не суть», «является» – «не является», «имеется» – «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается. Так, вместо «Он есть добр» мы говорим «Он добр», вместо «Дуб есть дерево» – «Дуб – дерево» и т.п. Желательно выработать навык перевода таких грамматических выражений в адекватные им логические формы. Когда же мы имеем дело с простыми суждениями отношения или модальности, то роль связки могут выполнять другие слова: «большее», «меньше», «равно», «справа», «слева», «лучше», «хуже», «было», «будет» и прочее. Используя символику, любое простое категорическое суждение можно записать в виде формулы «S – Р», где тире между субъектом суждения «S» и предикатом «Р» будет обозначать связку, логическую связь, отношение между ними.

Кроме названных элементов в суждениях имеется еще и не всегда явно выразимый, как бы непостоянный, плавающий элемент, отражающий количественную характеристику субъекта суждения. Этот логический оператор называется «квантор» суждения. В языке он выражался словами «все», «без исключения», «каждый» и т.п.– квантор общности (всеобщности), или словами «некоторые», «многие», «часть», «большинство» и др.– квантор существования.

Например: «Все S суть Р», «Некоторые S не есть Р», «Часть S есть Р», «Большинство S не есть Р» и т.п. В некоторых случаях квантор лишь подразумевается, как в суждении «Студенты нашей группы любят спорт»: тут не ясно, все или некоторые студенты группы любят спорт, а данное обстоятельство может иметь существенное значение при дальнейшем использовании и анализе суждения. Поэтому, весьма важно уметь уточнять этот логический показатель. Символическое обозначение квантора общности (всеобщности) – V, квантора существования – I.

В соответствии с количественным и качественным показателями составляющих суждение элементов, суждения подразделяются на несколько видов. По числу субъектов и предикатов суждения делятся на простые  и сложные . Простые – те, в которых связь устанавливается между одним субъектом и одним предикатом. Например, «S – Р». Сложные – это такие суждения, в которых могут быть как несколько субъектов, так и несколько предикатов: несколько субъектов при одном предикате, несколько предикатов при одном субъекте, несколько и субъектов и предикатов. Правда, логически более приемлемо следующее определение сложного суждения – это такое суждение, в котором логическая связь устанавливается между несколькими простыми суждениями. Достоинство последнего определения состоит в том. что оно сразу же высвечивает главный и отличительный признак сложных суждений – новую логическую связь, называемую логическим союзом.

Среди простых суждений по качественной характеристике связки#x2011;отношения можно выделить суждения действительности (ассерторические), необходимости (аподиктические) и возможности (проблематические). В целом всю эту группу суждений называют суждениями модальности. Модальность – это, можно сказать, степень достоверности содержания того или иного простого суждения, что в логической форме выражается связкой и другими логическими операторами.

Суждения действительности – те, которые адекватно или неадекватно, но все равно категорично (что и выражается связками «есть», «не есть», «суть», «не суть» и др.) отражают настоящее.

Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются оператором «необходимо», включенным в структуру суждения: «Необходимо, что S есть Р», «Необходимо, что кислород способствует горению», или «Кислород необходимо способствует горению», «Необходимо, что сумма внутренних углов треугольника на плоскости равна двум прямым» и т.п.

Суждения возможности тоже отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью оператора «возможно», «вероятно» и пр.: «Возможно, что S есть Р», «Вероятно, что завтра будет дождь», «Возможно, что он был обманут». Истинностные зависимости между модальными суждениями будут рассмотрены позже.

Особую группу составляют суждения существования (экзистенциальные суждения), утверждающие существование того или иного предмета (явления, процесса): «Жизнь существует», «Солнце есть» и т.п. Связка и предикат этих суждениях как бы сливаются (отождествляются или подразумеваются). Чисто внешне кажется, что они представляют собой неполное простое категорическое суждение, только его часть: «S есть», «S–». Наличие суждений существования позволяет выдвинуть положение о сокращенной записи простых суждений, например, «Солнце существует», восстановление которых дает полное суждение «Солнце есть существующее».

Поскольку в любом суждении логические связи устанавливают отношения между крайними, составляющими эту структуру, элементами, постольку всякое суждение может считаться суждением отношения. В более строгом, узком значении слова в логике суждениями отношения называют те, в которых устанавливаются отношения причины и следствия, части и целого, пространственные, временные и другие, выразимые в языке словами (операторами): больше, меньше, старше, правее, выше, южнее и т.п., например, «5 больше 3», «Нева полноводнее Дона», «Отец старше сына». Символически суждения отношения выражаются формулой «в R с», где символы в (предшествующий член отношения) и с (последующий) соответствуют отдельным понятиям, а символ R – отношению между ними. Читается формула: «в и с находятся в отношении R», или «в находится в отношении R к с».

В традиционной формальной логике основное внимание уделяется, как правило, рассмотрению простых категорических суждений, и лишь некоторых сложных, в большей степени, условных и разделительных, в меньшей – соединительных и эквивалентности.

<< | >>
Источник: Станислав Юрьевич Махов. Аналитика безопасности. Учебное пособие. 2013

Еще по теме 5.1. Общая характеристика суждения:

  1. ОБЩАЯ ХАРАКТЕРИСТИКА ЭПИСТЕМОЛОГИЧЕСКИХ ПРОБЛЕМ
  2. 5.1. Общая характеристика
  3. 5.3.1 Общая характеристика
  4. 15.1.2.1 Общая характеристика
  5. Общая характеристика
  6. Общая характеристика
  7. Глава I ОБЩАЯ ХАРАКТЕРИСТИКА ПСИХОЛОГО-ПЕДАГОГИЧЕСКОГО ИССЛЕДОВАНИЯ
  8. Глава I. ОБЩАЯ ХАРАКТЕРИСТИКА
  9. Общая характеристика принципа
  10. 1. ГЕГЕЛЬЯНСТВО: ОБЩАЯ ХАРАКТЕРИСТИКА
  11. Общая характеристика лютеранства
  12. 9.1. Общая характеристика движения
  13. 10.1. Общая характеристика противоречия