Структура і види атрибутивних висловлювань - студопедія

Логічна теорія імен знаходить застосування в розділі логіки, якої називається силлогистикой (від грец. Sillogistikos - виводить умовивід). Її основні поняття були розроблені вже Аристотелем, але вона не втратила своєї практичної цінності до наших днів. У силогістиці розглядаються висновки на основі атрибутивних висловлювань. Атрибутивною (від лат. Atributum - долучений) називається висловлювання, в якому виражається належність чи неналежність властивості деяких предметів. «Це число просте», «Земля - ​​планета Сонячної системи», «Деякі іменники не відмінюються», «Всі метали - хороші провідники електрики» - приклади атрибутивних висловлювань.

У силогістиці встановилося членування всякого атрибутивного висловлювання на суб'єкт, предикат і зв'язку. Суб'єкт (позначається буквою S) - це частина висловлювання, якої позначається предмет думки. Предикат (позначається буквою P) фіксує властивість предмета мислі.Связкаустанавлівает, в якому відношенні знаходяться між собою предмет і властивість. Так, в висловлюванні «Хабар - кримінальний злочин» суб'єктом є ім'я «хабар», а предикатом - «кримінальний злочин». Зв'язка, виражена словом «є» (в даному випадку воно опущено), вказує на те, що предмету належить аналізованих властивість.

Суб'єкт і предикат називаютсятермінаміатрібутівного висловлювання. Кожен з них виконує специфічну пізнавальну роль. В процесі пізнання в суб'єкті фіксується вже відоме, раніше відкрите. У предикате же виступає нове знання, виражається деяка раніше невідома сторона досліджуваного предмета. Так, наприклад, вивчаючи Венеру, людина виявив раніше невідомий властивість цієї планети, а саме те, що вона має атмосферу. Це нове знання він зафіксував у предикате висловлювання «Венера має атмосферу». Надалі це властивість саме стає предметом дослідження і, отже, фіксується в суб'єкті якогось нового висловлювання. Наприклад, «Атмосфера Венери має температуру понад 400 ° С». Оскільки на предикат падає основне смислове навантаження висловлювання, остільки він завжди знаходиться під логічним наголосом.

Будь-яке атрибутивное висловлювання має якісно-кількісні характеристики. Розрізнення атрибутивних висказиванійпо качествупроізводітся в залежності від характеру зв'язки, що вказує на наявність або відсутність зв'язку властивості з предметом думки і виражається словами «є», «суть», «є», «не є» і ін. (В письмовій мові ці слова іноді опускаються і замінюються тире). Відповідно до цього атрибутивні висловлювання поділяються на позитивні і негативні. Наприклад, «Логіка - наука» - стверджувальне висловлювання, «марс не є супутником Землі» - негативне.

У атрибутивном висловлюванні щось стверджується або заперечується або про один предмет, або про частину предметів, або про всі предмети певного класу. Залежно від цього атрибутивні висловлювання діляться за кількістю - на одиничні, приватні і загальні.

Висловлювання, в яких йдеться про належність чи неналежність властивості одиничного предмету, називаютсяедінічнимі. Наприклад, «Аристотель був геніальним мислителем старожитності», «Ця аудиторія не пристосована для проведення лабораторних занять».

Висловлювання, в яких йдеться про належність чи неналежність властивості деяких предметів даного класу, називаютсячастнимі. Наприклад, «багато випускників Белоукраінского державного університету стали видатними вченими», «Деякі наукові роботи студентів нашої групи не представлені на республіканський огляд». Приватні висловлювання зазвичай починаються словами «деякі», «багато», «існує» і ін.

Висловлювання, в яких виражається належність (неналежність) властивості усіх предметів розглянутого класу, називаютсяобщімі. Наприклад, «Усі студенти нашого факультету - майбутні юристи», «Жодне комаха не є хребетним». Загальні висловлювання можуть починатися словами «все», «всякий», «кожен» і ін. У деяких випадках ці слова можуть взагалі опускатися, так як їх контексту ясно, що суб'єкт висловлювання позначає весь клас предметів.

Очевидно, що можлива об'єднана класифікація атрибутивних висловлювань за якістю і кількістю. Висловлювання, що є одночасно загальними і ствердними, називаютсяобщеутвердітельнимі ( «Всякий товар має вартість», «Всі вчителі - педагоги»).

Висловлювання, що є одночасно приватними і ствердними, називаютсячастноутвердітельнимі. ( «Деякі вчені - лауреати Нобелівських премій», «Багато африканських країн - члени Організації Об'єднаних Націй»).

Висловлювання, що є одночасно загальними і негативними, називаютсяобщеотріцательнимі ( «Жодне комаха не є хребетним», «Жоден квадрат перестав рівновеликий колі, побудованому за допомогою циркуля і лінійки»).

Висловлювання, що є одночасно приватними і негативними, називаютсячастноотріцательнимі ( «Деякі експерименти не підтвердили висунутої гіпотези», «Деякі змії неотруйні»).

Подібним же чином визначаються едінічноутвердітельние і едінічноотріцательние висловлювання. Оскільки в суб'єкті кожного з таких висловлювань мова йде про всі му класі предметів (цей клас складається з одного предмета), остільки їх правомірно зараховувати відповідно до общеутвердітельним і общеотріцательним висловлювань.

Чотири названі види висловлювань прийнято позначати із застосуванням голосних букв з латинських слів affirmo (стверджую) і nego (заперечую), причому перші голосні літери цих слів використовуються при позначенні загальних висловлювань, а другі - приватних. Таким чином, общеутвердітельние висловлювання
(І пов'язані з ним едінічноутвердітельние) позначаються виразом SaP, яке Новомосковскется: «Все суть P», общеотріцательние і едінічноотріцательние - виразом SеP (читається: «Жодне S не є P»), частноутвердітельние - виразом SiP (читається: «Деякі S суть P »), частноотріцательние - виразом SоP (читається:« Деякі S не має P »).

Запис атрибутивного висловлювання в одній з названих форм називається його стандартної записом. У багатьох слов'янських розмовних мовах, на відміну від німецької або англійської, атрибутивні висловлювання часто виражаються нестандартно. в українською та білоруською мовами зазвичай не прийнято ставлення між суб'єктом і предикатом висловлювати за допомогою зв'язки. Але в німецькому це обов'язково. Російське «Папір все терпить» при перекладі на німецьку обов'язково зажадає зв'язки «є» - «Das Papier ist geduldig».

Слова «все», «деякі» і ін. Виражають кількісні характеристики атрибутивних висловлювань, називаютсякванторнимі словами. Правильне визначення «кількості» висловлювання має важливе значення в процесі міркування. Тому треба навчитися чітко встановлювати, яким є за кількістю те чи інше висловлювання.

Візьмемо висловлювання «Психічний процес - реально існуючий процес» і «Психічні процеси мають місце і у тварин». Перше висловлювання є загальним, так як мається на увазі, що будь-який психічний процес - реально існуючий процес. Друге ж висловлювання - приватна, в ньому фактично стверджується про наявність у тварин деяких психічних процесів.

Слід мати на увазі також таку обставину. У силогістиці при вживанні обертів «Всі S суть P» і «Жодне S не є P» мається на увазі, що предмети, що позначаються ім'ям S, існують, тобто ім'я S не є порожнім. Наприклад, в висловлюванні «Всі українські царі були необмеженими монархами» мається на увазі, що в дійсності існувало, принаймні, одну особу, яка була українським царем.

Оперування з непорожніми класами як предметів думки в силогістиці є неодмінною умовою. Сучасна символічна логіка позбавлена ​​від такого обмеження. В результаті багато приписи силлогистики втрачають свою силу або вимагають значної переформулювання.

Оборот «Все S ...» в загальних висловлюваннях синонімічний висловом «Кожен S ...». Оборот «Деякі S.» в приватних висловленнях розуміється в сенсі «Принаймні, деякі з S.», а не в сенсі «Тільки деякі з S.» Тому істинним є висловлювання «Деякі вовки - хижаки», в той час як вислів «Тільки деякі вовки - хижаки» - помилково. Вислів «Тільки деякі S.» розуміється як складне. Наприклад, висловлювання «Тільки деякі студенти - відмінники» рівнозначно висловом «Деякі студенти - відмінники, а деякі - НЕ відмінники».