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