13. Отношение между понятиями по содержанию и объёму

Рассмотрим вопрос о соотношении между понятиями по их объему и содержанию на примере общих понятий. Индивидуальные и абстрактные понятия рассматривать не будем.

Так, поскольку объем понятия представляет собой некоторое множество предметов, то соотношение понятий по объему представляется как отношение между множествами. Рассмотрим тот случай, когда объем одного понятия является частью объема другого понятия. В таком случае первое из этих понятий, меньшее по объему, является видом, а второе, большее по объему, понятие является родом. В качестве примера можно взять отношение по объему между понятиями “человек” и “животное”. “Человек” — видовое понятие по отношению к родовому понятию “животное”. Кроме человека в объем понятия “животное” входят собаки, кошки, тигры, змеи, караси и т. д.

Отношение по объему между понятиями выражаются с помощью кругов Эйлера, названных так в честь знаменитого математика Л. Эйлера (1707 — 1783), использовавшего этот способ наглядного изображения отношений между объемами понятий. Однако, этот способ обозначения отношений по объему между понятиями был известен и ранее — еще в VI веке. Круг наглядно изображает объем понятия, больший круг изображает большее по объему понятие, меньший — меньшее. Группа предметов, являющаяся видом данного класса предметов, изображается в виде меньшего круга, помещенного внутри большего круга.

Вернемся к нашему примеру. Понятие “человек” — видовое. “Животное” — родовое понятие. Вид изображается меньшим кругом, находящимся внутри большего, соответствующего роду.

Родо-видовые отношения между понятиями по объему называются отношениями подчинения.

14. Суждение как форма мышления

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

В математической логике суждениям соответствуют высказывания.

15. Классификация суждений

По качеству

Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

По объёму

Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».

Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».

Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений

Основание — это (предыдущее) суждение, которое содержит условие.

Следствие — это (последующее) суждение, которое содержит следствие.

По отношению между подлежащим и сказуемым

16. Простые категорические суждения и их классификация

Опираясь на уже известное определение простого суждения, категорическое суждение (суждение действительности) можно определить как такое, в котором что-то утверждается или отрицается относительно предмета мысли. Другими словами — это такое простое суждение, в котором между субъектом и предикатом устанавливается категорическая (утвердительная или отрицательная) связь, т.е. отношение тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения: "Жучка есть собака», «Студент не есть профессор» и т.п.

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

Структура простого категорического суждения обычно представляется трехэлементной, т.е. такое суждение состоит из субъекта, предиката и связки, что удобно представить в виде формулы: S--P. Но здесь непроизвольно опускается тот элемент, который связан с количественной характеристикой субъекта суждения, т.е. квантор. C учетом его приходится говорить о четырех элементах простого категорического суждения. Символическое изображение такого суждения уже приводилось. Логическая связь (утверждение или отрицание), т.е. связка между субъектом и предикатом простого категорического суждения выступает основным структурным законом, необходимой связью элементов, формирующих целостность данной форму мысли.

Простые категорические суждения по количественному и качественному признакам подразделяются на виды. По количественному (объемному) показателю, выражаемому квантором, простые категорические суждения делятся на единичные, частные и общие.

Единичное суждение отражает единственный предмет мысли, т.е. субъект этого суждения — единичное понятие: «Крупнейший город Северо-Запада нашей страны расположен в устье Невы».

Частное суждение отражает некоторую совокупность предметов, но не всю, что и подчеркивается квантором: «Некоторые S есть Р», «Многие студенты — отличники», «Встречаются такие S, которые есть Р». При более обстоятельном рассмотрении квантора существования выявляется, что в количественном отношении частные суждения все-таки весьма неопределенны. Так, выражение «Некоторые S...» допускает несколько значений: «Некоторые, а может быть, большинство, а может быть все...», «Некоторые, а может быть, один...», «Некоторые и только некоторые...». Преодоление количественной неопределенности частных суждений требует хорошего знания той предметной области, которую они отражают. Одного логического знания в таких случаях недостаточно, особенно когда решается вопрос об истинности суждений, об отношениях между суждениями, где точность количественной характеристики частного суждения весьма существенна. В курсе традиционной логики анализ структуры частных суждений дан обобщенно. Детально особенности частных суждений рассмотрены шотландским логиком У. Гамильтоном (1788—1856) в первой половине XIX века в его «Лекциях по метафизике и логике», им же предложены уточняющие формулировки кванторов как для субъекта суждения, так и для предиката (квантификация предиката).

Общее суждение — суждение о всей без исключения предметной области, на которую направлено внимание, которая является предметом мысли. Это суждение с квантором "все" (ни один, каждый, всякий, без исключения и пр.) перед субъектом: «Все S есть Р», «Ни одно насекомое не есть млекопитающее», «Каждый школьник имеет дневник».

Интерпретация языковых выражений, уточнение объема суждений зачастую представляют собой известную трудность. Так, для человека не знакомого с предметной областью, даже такое простое суждение как "Студенты нашей группы хорошие спортсмены" будет неопределенным в количественном отношении: все или только некоторые студенты группы являются спортсменами. Логика не может сама разрешать такие проблемные ситуации, поэтому столь важно знания специалистов в конкретных предметных областях, потому что только они могут адекватно действительности уточнить некоторые объемные и, тем более, содержательные характеристики суждений.

По качественному признаку, т.е. по характеру связки, простые категорические суждения делятся на утвердительные и отрицательные. Утвердительная связка в русском языке нередко пропускается.

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

Оставшиеся четыре вида простых категорических суждений имеют в логике специальные, удобные для формульной записи, буквенные обозначения: А — общеутвердительное, Е — общеотрицательное, I — частноутвердительное, О — частноотрнцательное.