Простые суждения и их виды
Суждения делятся на простые и сложные. Рассмотрим простые суждения. Примеры простых суждений: «Трава есть растение», «Народ есть творец истории», «Философия – источник мудрости». Эти суждения имеют структуру: «S есть Р», т.е. один субъект и один предикат. А суждения: «Человек не имеет крыльев», «Луна не светит собственным светом» - имеет структуру: «S не есть Р». В суждениях содержится различная мысль: 1) мысль о принадлежности признака предмету; 2) мысль об отношениях; 3) экзистенциальные (суждения существования). Рассмотрим их. Атрибутивные суждения (от лат. atributio – свойство, признак) – это суждения о принадлежности свойства (признака) предмету. Они могут рассматриваться и как суждения объемов множеств. Связь между предметом и свойством утверждается или отрицается. Их формулы: «S есть Р» и «S не есть Р». Субъект и предикат суждения – это его термины. Необходимым элементом суждения является «связка», благодаря которой термины суждения объединяются в единое целое. Связка – это логическая постоянная. При объемном истолковании атрибутивное суждение рассматривается как включение или исключение единичного понятия в объем видового понятия или видового понятия в объем родового понятия. Например, возьмем суждение «Украина - демократическая республика». Здесь единичное понятие «Украина» (S) включается в объеме видового понятия «демократическая республика» (Р), смотри рис. 1.
Рис.1.
А в отрицательном суждении «Ни один студент ДонНУЭТ не космонавт», субъект «студент ДонНУЭТ» исключается из объема Р – космонавт. Рис. 2.
S Р
Рис. 2.
В символической логике отношения между S и Р рассматриваются как принадлежность элемента к классу: х М (Х принадлежит классу или множеству М), и как включение подкласса в класс - В А. Отрицательная форма: х М; В А. Суждения об отношениях. Эти суждения выражают отношения между предметами. Существует множество видов отношений: отношения равенства и неравенства, отношение родства, пространственные и временные отношения, причинно-следственные и др. Суждение об отношениях выражается формулой «аR b», где а и b – понятия о предметах (члены отношения), а R – вид отношения между ними. Формула «а R b» читается так: «а находится в отношении R к b». Если суждение отрицательное, то формула такова - неверно, что а находится в отношении R к b. Примеры суждений об отношениях: «4+2=6» - отношение равенства; «Эльбрус выше Монблана» - отношение неравенства; «Василий сын Петра Ивановича» - отношения родства; «Донецк южнее Краматорска» - пространственные отношения; «Религия возникла раньше философии» - временные отношения; «Чтение рекомендованной и дополнительной литературы – залог хорошей успеваемости» - причинно-следственные отношения. Высказывания об отношениях играют большую роль в науке. Логические связи суждений об отношениях изучаются логикой отношений – это относительно самостоятельная часть логики предикатов. 3) Суждение существования (экзистенциальные – от лат. existentia – существование) В этих суждениях отражается факт существования или несуществования предмета, о котором мы рассуждаем. Например: «Планета Земля существует»; «Десятая планета не существует». Структура этих суджений: «S есть Р» и «S не есть Р». – Планета Земля (S) есть то, что существует (Р)». В практике рассуждений мы встречаемся с суждениями, которые включают в свой состав субъект, отражающий не только один предмет или класс предметов, но и общность признаков двух или более предметов или классов предметов. В таких суждениях Р относится уже к двум или более субъектам (S). (Вспомните предложения с однородными членами). Например: «Дуб, клен, липа, тополь, береза относятся к широколиственным деревьям» и т.д. S1 есть Р: S2 есть Р… или (S1, S2, S3, S4, S5) есть Р. И напротив, некоторые суждения отражают принадлежность или непринадлежность предмету нескольких признаков. Тогда, S суждения включает два или более предикатов. Например: «Студенты ДонНУЭТ изучают фундаментальные, гуманитарные и профориентированные дисциплины». – S есть (Р1,Р2,Р3). 3. Категорические суждения. Это те же атрибутные суждения. Название «категорические» получено от греч. слова «kategjricos» - ясный, безусловный, не допускающий иных толкований. В этих суждениях подчеркивается, что знание о принадлежности или непринадлежности признака предмету выражено в безусловной (категорической) форме. Например: «Киты не принадлежат к рыбам», «Студент – учащийся вуза», «Пьянство – это добровольное сумасшествие».
|