Тема 9: мышления и её основные формы

Простые — те, в которых связь устанавливается между одним субъектом и одним предикатом. Например, «S—Р». Сложные — это такие суждения, в которых могут быть как несколько субъектов, так и несколько предикатов: несколько субъектов при одном предикате, несколько предикатов при одном субъекте, несколько и субъектов и предикатов. Правда, логически более приемлемо следующее определение сложного суждения — это такое суждение, в котором логическая связь устанавливается между несколькими простыми суждениями.
Среди простых суждений по качественной характеристике связки-отношения можно выделить суждения действительности (ассерторические), необходимости (аподиктические) и возможности (проблематические). В целом всю эту группу суждений называют суждениями модальности. Модальность — это, можно сказать, степень достоверности содержания того или иного простого суждения, что в логической форме выражается связкой и другими логическими операторами.
Суждения действительности — те, которые адекватно или неадекватно, но все равно категорично (что и выражается связками «есть», «не есть», «суть», «не суть» и др.) отражают настоящее.
Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются оператором «необходимо», включенным в структуру суждения: «Необходимо, что S есть Р», «Необходимо, что кислород способствует горению», или «Кислород необходимо способствует горению», «Необходимо, что сумма внутренних углов треугольника на плоскости равна двум прямым» и т.п.
Особую группу составляют суждения существования (экзистенциальные суждения), утверждающие существование того или иного предмета (явления, процесса): "Жизнь существует", "Солнце есть" и т.п. Наличие суждений существования позволяет выдвинуть положение о сокращенной записи простых суждений, например, «Солнце существует», восстановление которых дает полное суждение «Солнце есть существующее».
Есть еще так называемые выделяющие простые категорические суждения, отражающие принадлежность (или нет) чего-то только данному предмету (группе их): "Только равноугольные треугольники равносторонни", "Только человек мыслит", "Дорогу осилит только идущий" и т.п.
Сложное суждение и его виды. Суждение, состоящее из нескольких простых суждений, называется сложным: например, "Прозрачный лес один чернеет, и ель сквозь иней зеленеет, и речка подо льдом блестит".
Сложные суждения состоят из нескольких простых суждении, связанных между собой логическими союзами. Логический союз, таким образом, есть новая логическая связь, определяющая собой структуру новой мыслительной конструкции, логические ее характеристики и выступая ее главной структурной закономерностью.
Логика выделяет четыре логических союза: соединительный союз (конъюнкция), в языке выразимый грамматическими союзами и частицами "и", "а", "но", "да" и т.п.; разделительный союз (дизъюнкция) - "или", "либо" и т.п.; условный союз (импликация) - "если.., то" и союз эквивалентности, тождественности (эквиваленция) - "если и только если.., то", "тогда и только тогда, когда".
Два или более простых суждения могут образовывать сложное с помощью соединительного союза, который символически изображается знаком "/\". Например: "Сегодня воскресенье, и мы едем за город". Это конъюнктивное суждение можно записать в виде формулы: (S есть Р) и (S₁ есть р₁). Если же простые суждения, которые нам хорошо уже известны, обозначать для простоты выражения отдельными символами, то эта формула примет сокращенный вид (В и С), где символ "В" соответствует простому суждению "S есть Р", а символ "С" - другому простому суждению "S₁ есть Р₁". А если мы и логический союз заменим на символическое его изображение, то получим совсем короткую и удобную для использования формулу: "В/\С", которая выражает лишь структурные особенности построения данной формы мысли (что логику-то и интересует) и не отвлекает нас своим содержанием. По формуле легко установить количество составных элементов сложного суждения - левый и правый член конъюнкции, и сам логический союз. Остается выявить лишь закономерности, определяемые главным элементом данной конструкции - логическим союзом.
Опираясь на уже известное определение простого суждения, категорическое суждение (суждение действительности) можно определить как такое, в котором что-то утверждается или отрицается относительно предмета мысли. Другими словами — это такое простое суждение, в котором между субъектом и предикатом устанавливается категорическая (утвердительная или отрицательная) связь, т.е. отношение тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения: "Жучка есть со­бака», «Студент не есть профессор» и т.п.
Как и любое суждение, простое категорическое суждение может быть истинным («и») или ложным («л»). В языке это суждение выражается повествовательным предложением, при этом тесная связь и взаимозависимость суждения и предложения не является основанием для их отождествления.