Судження як форма думки
1. Загальна характеристика судження. види суджень
Судження - це думка, в якій стверджується або заперечується властивість у предмета, дія предмета, наявність або відсутність певної ситуації або відношення між предметами. Судження виражається, зазвичай, в розповідному реченні (рідше - в запитальному, так званих риторичних питаннях, або в оклику). Судження, що розглядається разом з виражає його пропозицією, називається висловленням. Якщо пропозиція - це мовне вираження, група слів, що виражає думку, а судження - це думка, в якій щось стверджується або заперечується, то висловлювання - це судження, виражене в мові.
Оскільки в судженні щось стверджується або заперечується про щось, в ньому виділяють дві частини: те, про що йдеться, і те, що говориться. Те, про що йдеться, передбачається вже відомим до моменту висловлювання, а то, що йдеться - нова інформація, яку містить дане судження. Те, про що йдеться, називається суб'єктом судження, а то, що затверджується або заперечується в судженні - предикатом судження.
Хоча судження не може існувати поза реченням, зв'язок судження з пропозицією не однозначна, інакше кажучи, одне і те ж думка може бути виражено різними пропозиціями, і одне речення може виражати різні судження. Одну і ту ж думку можна висловити, наприклад, в різних мовах. В цьому випадку пропозиції, очевидно, різні. Але також її по-різному можна висловити і в одній мові. Наприклад, в пропозиціях "Деякі іменники української мови не схиляються" і "в українській мові зустрічаються невідмінювані іменники" виражено одне й те саме судження.
З іншого боку, майже будь-оповідної пропозицію може виражати різні судження. Важко однозначно сказати, яка саме думка висловлена в реченні: "Завтра я сюди не прийду". Його можна тлумачити як дає відповідь на будь-який з наступних чотирьох питань:
1. Коли я сюди не прийду?
2. Хто завтра сюди не прийде?
3. Куди я завтра прийду?
4. Прийду я сюди завтра?
Очевидно, ці питання запитують різну інформацію, і кожен раз необхідну інформацію можна висловити наведеним пропозицією.
2. Атрибутивні судження, їх види
Общеутвердітельное судження (А) має вигляд: Всі S суть Р. Наприклад, "Усі кити живуть у воді" або "Все люди - розумні істоти". Логічна форма общеутвердітельного судження, записана на мові логіки предикатів. Ставлення суб'єкта і предиката (які називаються в атрибутивних судженнях термінами судження) в общеутвердітельних судженнях може відображатися схемами (рис. 1):
які показують, що суб'єкт в будь-якому випадку в повному обсязі включається в предикат, не співпадає або збігаючись з ним.
Повне включення одного терміна атрибутивного судження в інший, а також повне виключення одного терміна з іншого називається распределенностью терміна. Можна також сказати, що распределенность терміна - це повнота інформації, що міститься в судженні щодо обсягу цього терміна. Так, общеутвердительное судження містить інформацію про весь обсяг його суб'єкта, і він є розподіленим, предикат ж общеутвердітельного судження не розподілений, оскільки його обсяг може бути не включений повністю в обсяг суб'єкта (ліва схема).
Общеотріцательное судження (Е) має вигляд: Жодне S не є Р. Наприклад, "Жоден кит не живе на суші", "Жодне непарне число не ділиться на 2". Логічна форма общеотріцательного судження, записана на мові логіки предикатів:
Ставлення суб'єкта і предиката в общеотріцательних судженнях може відображатися схемами (рис. 2):
з яких видно, що кожен з термінів повністю виключений з іншого або, кажучи інакше, судження містить інформацію про весь обсяг суб'єкта і про весь обсяг предиката, і тому обидва терміни є розподіленими.
Частноутвердітельное судження (I) має вигляд: Деякі S суть Р. ( "Деякі ссавці живуть у воді", "Деякі метали електропровідні", "Деякі лікарі - хірурги".) Логічна форма частноутвердітедьного судження, записана на мові логіки предикатів:
Відносинам суб'єкта і предиката в частноутвердітельних судженнях відповідають схеми (рис. 3):
Якщо розглянути всі схеми, видно, що суб'єкт і предикат в Частноутвердітельное судження з необхідністю тільки частково включаються один в інший, судження дає інформацію лише про частину обсягів своїх суб'єкта і предиката, тобто вони обидва не розподілені.
Частноотріцательное судження (О) має вигляд: Деякі S не має Р. Наприклад, "Більшість ссавців не є морськими жваво