Судження (висловлювання) як форма мислення
Судження. види суджень
Поряд з поняттям до числа основних форм мислення відноситься судження - обов'язковий і дуже важливий елемент процесу пізнання. У формі суджень фіксуються результати пізнання, з їх допомогою будуються міркування, здійснюються висновки і докази. У них, з одного боку, міститься опис або хоча б позначення тих чи інших об'єктів, а з іншого - ствердження чи заперечення наявності у цих об'єктів будь-яких характеристик. Так, у постановах своїх «Кожна планета Сонячної системи обертається навколо своєї осі» стверджується наявність в дійсності ситуації: обертання навколо своєї осі кожної планети Сонячної системи. А в судженні «Жодна планета Сонячної системи не є нерухомою» заперечується наявність у дійсності ситуації спокою кожної планети Сонячної системи.
Судження - це форма думки, яка містить опис деякої ситуації і ствердження чи заперечення наявності цієї ситуації в дійсності.
Найважливіша відмітна ознака судження - твердження або заперечення чого-небудь про що-небудь. У понятті нічого не затверджується і не заперечується. У ньому лише виділяється сам предмет думки (наприклад, «день», «ніч», «сонячний день», «несонячних день»). У судженні ж акцентується увага на самому співвідношенні між будь-якими предметами думки: «День сонячний» або «День несонячних»; "День пройшов"; «Ніч настала».
І в найпростіших, і в досить складних судженнях завжди затверджується або заперечується наявність тих чи інших ознак у деяких об'єктів. Тому в загальному вигляді визначення судження можна сформулювати і в такий спосіб:
Судження - це думка, в якій стверджується або заперечується наявність зв'язку між об'єктами і ознаками.
Знаком. у вигляді якого виражається судження, є оповідної пропозицію. Сенсом цього знака повинна бути пов'язана з ним ідея. Це і є саме судження. Що стосується значення пропозиції, то іноді в якості нього розглядають ситуацію, яка має чи не має місця в дійсності і яка описується судженням. Однак найчастіше значенням пропозиції прийнято вважати істину або брехня.
У сучасній логіці замість терміна «судження» вважають за краще вживати термін «висловлювання». У традиційній логіці терміном «судження» позначали саме певний сенс розповідного речення з урахуванням того, що він може бути загальним для різних знакових форм. Іншими словами, одне і те ж думка може бути виражено в різних формах оповідних пропозицій.
Наприклад, можна стверджувати, що «Кожна людина здатна мислити» і що «Всі люди мають здатність мислення», але в обох випадках виражається одна й та сама думка (одне і те ж думка).
З терміном «висловлювання», як правило, пов'язують певний сенс (судження) разом з його знаковою формою. Говорячи про судженні, не обов'язково мати на увазі якусь певну знакову форму. Говорячи ж про висловлювання, мають на увазі певну знакову форму разом з її змістом. Коли ж мають на увазі лише саму знакову форму висловлювання, - відволікаючись від її змісту, тобто від того що виражається в ній судження, - то вживають термін «оповідної пропозицію».
Види суджень. При виділенні видів суджень, перш за все, розрізняють прості і складні. Простим називається таке судження, жодна логічна частина якого не є судженням. Наприклад: «Математика - абстрактна наука».
Складним є таке судження, яке містить в якості своєї правильної частини, тобто частини, яка не співпадає з цілим, деяке інше судження. Наприклад: «Якщо ви будете добре вчитися, то обов'язково отримаєте диплом».
Види простих суджень. Основними частинами простих суджень є один або кілька суб'єктів судження (логічних підлягають) і предикат судження (логічний присудок). Суб'єкт і предикат судження називаються термінами цього судження.
Суб'єкт судження - це термін, можливо, що виражає поняття і представляє предмет, про який щось стверджується або заперечується. Суб'єкт судження прийнято позначати буквою S.
Предикат судження - частина судження, що виражає те, що стверджується або заперечується про предмети, які представляють суб'єкти. Предикат позначається літерою Р.
У судженні «Сонце є розпечене небесне тіло» суб'єкт - «Сонце», предикат - «розпечене небесне тіло». У судженні «Земля обертається навколо Сонця» два суб'єкта - «Земля» і «Сонце», предикат - відношення «обертається».
Залежно від змісту предиката судження, тобто від того, що саме стверджується або заперечується про ті чи інші предмети, розрізняють атрибутивні, екзистенціальні і реляційні судження.
Атрибутивними називаються судження, в яких стверджується або заперечується наявність деякого властивості у предмета. Логічна форма атрибутивного судження має вигляд: S (не) є Р. Наприклад: «Сонце (S) є розпечене небесне тіло (Р)»; «Великобританія (S) є конституційною монархією (Р)»; «Деякі лебеді (S) білі (Р)»; «Великий комбінатор (Р) цей Остап Бендер (S)»; «Нужда (S) змусить Богу молитися (Р)».
Екзистенційними називаються судження, в яких стверджується або заперечується існування предмета. Наприклад: «Змія-Горинича (S) не існує в дійсності (Р)»; «Природні аномалії (S) існують (Р)»; «Немає безвихідних ситуацій» ( «безвихідь ситуації (S) не існує (Р)»).
Реляційні - це судження, в яких стверджується або заперечується відношення між деякими предметами. Наприклад: «Земля обертається навколо Сонця»; «Петро - брат Івана»; «Москва розташована між Харковом і Запорожьеом».
В атрибутивних судженнях, як і в судженнях існування, є завжди лише один суб'єкт, в судженнях про ставлення - більш ніж один.
Види атрибутивних суджень. За якістю атрибутивні судження поділяються на позитивні і негативні.
Ствердними є судження, що говорять про приналежність предиката суб'єкту судження. Негативні - це судження, що говорять про відсутність даного предиката у суб'єкта.
При визначенні виду судження за якістю треба звертати увагу на якість зв'язки «є» ( «не їсти»). Судження «Це нехороша людина» - стверджувальне, так як в ньому говориться про приналежність суб'єкту ( «людина») предиката «нехороший». Судження «Він ніколи не був хорошим другом» - негативне, так як в ньому говориться про відсутність у суб'єкта ( «він») предиката «хороший друг». У цьому судженні логічна зв'язка «є» ( «був») стоїть з запереченням «не».
За кількістю атрибутивні судження поділяються на одиничні, приватні і загальні. Кількість судження - це його характеристика, яка визначає, в якому обсязі розглядається суб'єкт судження.
В одиничних судженнях предикат висловлюється про одиничному предметі, тобто всі терміни, які відіграють роль суб'єктів, - одиничні імена. Наприклад: «Ця людина має злочинні нахили».
У приватних судженнях предикат висловлюється про деяких елементах обсягу суб'єкта. Наприклад: «Деякі люди мають злочинні схильності».
У загальних судженнях предикат висловлюється про весь обсяг суб'єкта. Наприклад: «Всі люди мають злочинні схильності».
Значення слова «деякі» в природній мові і в логіці кілька різна. У природній мові воно використовується в значеннях «тільки деякі, але не всі» і «деякі, а може бути, і все». У логіці - тільки в значенні «деякі, а може бути, і все».
Общеутвердітельние судження позначаються літерою А.
Їх канонічна форма: Всі S є Р.
Мовою логіки предикатів общеутвердительное судження запишеться наступним чином: "x (S (x)ÉP (x)).
Наприклад: «Всі люди є істоти, які мають злочинні схильності». Це судження істинно при певних відносинах між поняттями S і Р (рис. 6).
Мал. 7. Можливі відносини між суб'єктом і предикатом
істинного общеотріцательного судження
Частноутвердітельние судження позначаються літерою I.
Канонічна форма: Деякі S є Р.
Запис на мові логіки предикатів: $ x (S (x) Ù P (x)).
Наприклад: «Деякі люди є істоти, які мають злочинні схильності». Частноутвердітельное судження істинно при відносинах між поняттями S і Р. показаних на рис. 8.
Частноотріцательние судження позначаються літерою О.
Канонічна форма: Деякі S не є Р.
Запис на мові логіки предикатів: $ x (S (x) Ù ùP (x)).
Наприклад: «Деякі люди не є істоти, які мають злочинні схильності». Частноотріцательное судження також істинно тільки при певних відносинах між поняттями S і Р (рис. 9).