Логіка - Конверський А. Є. - 3. Види суджень. Атрибутивні судження
Розглянемо види суджень. Усю множину суджень можна поділити на дві підмножини: прості і складні судження.
П р о с т и м називають таке судження у якому жодна логічна частина не є окремим судженням. Або простим називається судження, яке не має самостійних частин.
Наприклад, "Книга є джерелом інформації", якщо відняти будь-яку частину цього судження ("книга", або "джерело інформації"), то окрема взята вона не буде судженням, а вихідне судження, як цілісний об'єкт зруйнується.
С к л а д н и м називається таке судження, яке складається із двох або більше простих суджень, що пов'язані логічними сполучниками, а кожна із його правильних частин буде окремим судженням.
Наприклад, 1. "Розбій і грабіж - це злочини проти власності",
2. "Якщо в діях підозрюваного є склад злочину, то проти нього може бути порушена кримінальна справа" тощо.
Ці два судження є складними, тому що кожне з них можна розкласти на два простих судження. У 1 судженні: прості судження "Розбій - це злочин проти власності", "Грабіж - це злочин проти власності" поєднуються логічним сполучником "і". У 2 - "В діях підозрюваного є склад злочину", "Проти підозрюваного порушена кримінальна справа" поєднуються логічним сполучником "якщо, то".
Зупинимося на аналізі простих суджень.
За характером ознаки, яка представлена предикатом судження, розрізняють такі види суджень:
А) атрибутивні,
Б) судження з відношеннями, або судження про відношення,
В) судження існування.
А т р и б у т и в н и м називається таке просте судження предикат якого представляє таку ознаку як властивість. Можна ще й так визначити атрибутивне судження: "Атрибутивним судженням називається такий вид простих суджень, в яких йдеться про притаманність предметам якихось властивостей, або про їх відсутність у предмета". Наприклад, "Франція є республікою", "Жоден мій знайомий не має вищої освіти" тощо.
Су д ж е н н я м з в і д н о ш е н н я м и називається такий вид простих суджень у яких предикат представляє таку ознаку як відношення між предметами. Наприклад, "Київ розташований вище по Дніпру ніж Канів", "Мій приятель не знає мого брата" тощо. У першому судженні стверджується, що відношення "розташований вище по Дніпру" має місце між двома предметами "Києвом" і "Каневом". У другому судженні заперечується, що відношення "знає" має місце між "моїм приятелем" і "моїм братом".
С у д ж е н н я м і с н у в а н н я називається вид простих суджень в яких предикат виражає наявність (буття) предмета. Наприклад, "Є люди, які можуть прогнозувати майбутнє", "Не існує життя на Місяці" тощо. У першому судженні стверджується існування людей, здатних до прогнозування. У другому судженні заперечується наявність живого на такому космічному об'єкті як Місяць.
Зупинимося на аналізі атрибутивних суджень. Інтерес до атрибутивних суджень у традиційній логіці був викликаний тим, що вони виступили вихідним матеріалом у побудові Арістотелем першої теорії логічного висновку - силогістики. Значною мірою це зумовлювало й те, що решта простих суджень (судження з відношеннями і судження існування) після відповідних синтаксичних реконструкцій тлумачилися як атрибутивні.
Атрибутивні судження поділяються на види на кількістю і якістю.
За якістю виділяють:
- стверджувальні і
- заперечувальні атрибутивні судження.
Наприклад, "Злочин є суспільно небезпечним вчинком" - стверджувальне судження; "Жоден мій приятель не має посвідчення водія" - заперечувальне судження..
За кількістю розрізняють:
- одиничні,
- загальні,
- часткові атрибутивні судження.
О д и н и ч н и м називається таке атрибутивне судження, у якому суб'єктом виступає одиничне поняття.
Наприклад, "Автор "Кобзаря" є відомим художником".
3 а г а л ь н и м називається таке атрибутивне судження, у якому суб'єктом є загальне поняття.
Наприклад, "Трапеція є геометричною фігурою".
Ч а с т к о в и м називається атрибутивне судження, у якому суб'єкт представляє частину класу досліджуваних предметів.
Наприклад, "Деякі книжки мають довідковий характер".
Ці дві типології атрибутивних суджень виділяються у методичних цілях. У практиці міркування вони існують у взаємодії, тому спеціально виділяють типологію атрибутивних суджень за "об'єднаним поділом за кількістю і якістю":
- загально стверджувальні,
- частково стверджу вальні,
- загальнозаперечувальні,
- частковозаперечувальні атрибутивні судження.
З а г а л ь н о с т в е р д ж у в а л ь н и м називається судження, яке за кількістю є загальним, а за якістю стверджувальним.
Наприклад, "Будь-яка планета має природний супутник".
Схема загальностверджувального судження така: "Будь-який S є Р".
Позначається цей вид суджень буквою "А".
Це позначення береться від першої букви латинського слова "affirmo" (стверджую). "А" фіксує логічний термін у структурі загальностверджувального судження "Будь-який... є...". "S" і "Р" - це дескриптивні терміни. Отже, структуру загальностверджувального судження можна записати так: Asp.
Ч а с т к о в о с т в е р д ж у в а л ь н и м судженням називається таке атрибутивне судження, яке за кількістю є частковим, а за якістю стверджувальни.
Наприклад, "Деякі злочини є посадовими".
Схема частковостверджувального судження має такий вигляд: "Деякі S є Р".
Позначається це судження буквою "і".
Це друга голосна буква у слові "Affrmo". "І" виражає логічний термін у структурі частковостверджувального судження: "Деякі... є...". Отже, частковостверджувальне судження позначається символом: Isp.
3 а г а л ь н о з а п е р е ч у в а л ь н и м називається атрибутивне судження, яке за кількістю є загальним, а за якістю - заперечу-вальним. Наприклад, "Жоден мій знайомий не був серед учасників семінару".
Загальнозаперечувальне судження має таку схему: "Жоден S не є Р".
Це судження позначається першою голосною буквою у латинському слові "Nego" (заперечую) - "Е". Символ "Е" представляє логічний термін у загальнозаперечувальному судженні: "Жоден... не є...".
Записується структура загальнозаперечувального судження так: Esp.
Ч а с т к о в о з а п е р е ч у в а л ь н и м називається атрибутивне судження, яке за кількістю є частковим, а за якістю заперечу-вальним. Наприклад, "Деякі мої друзі не були запрошені на свято".
Схема частковозаперечувального судження така: " Деякі S не є Р".
Позначається це судження другою голосною буквою у слові "Nego" - "О". Символ "О" фіксує логічний термін у частковозапере-чувальному судженні: "Деякі... не є...".
Структура цього судження записується так: Osp.
Атрибутивні судження можна розглядати як з точки зору інтенсіоналу, так і з точки зору екстенсіоналу. Попередній розгляд атрибутивних суджень базувався на їх інтенсіональній характеристиці. Тобто, до уваги брався факт притаманності або не притаманності предметам якоїсь властивості.
З точки зору екстенсіоналу атрибутивне судження можна тлумачити як судження про повне або часткове включення чи невключення обсягу одного терміна Б до обсягу іншого терміна Р.
Наприклад,
1. "Будь-яке дерево - є рослина";
2. "Будь-який квадрат єрівностороннім прямокутником";
3. "Деякі поети - лауреати";
4. Деякі книжки є підручниками";
5. "Жодний природний супутник не є планетою";
6. "Деякі злочини не є посадовими";
7. "Юпітер є планета";
8. "Місяць не є планетою".
Із позицій екстенсіональної характеристики наведені вище судження можна відповідним способом і у кожному конкретному випадку навести доречну схему:
Включення або невключения обсягу одного терміну до обсягу другого терміну визначає таке важливе для характеристики атрибутивних суджень відношення як "розподіленість термінів".
Термін S або Р називається Р о з п о д і л е н и м у даному судженні, якщо він взятий у повному обсязі.
Н е р о з п о д і л е н и м називається термін, якщо він взятий у неповному обсязі.
Це відношення можна визначити ще й так: "Термін атрибутивного судження називається розподіленим, якщо його обсяг повністю включається або повністю виключається із обсягу другого терміну. Термін нерозподілений, якщо його обсяг частково включається або виключається із обсягу другого терміну".
Розподілений термін позначається знаком (+), а нерозподілений - знаком ( - ).
Схеми І, П, Ш, IV, V, VI наочно ілюструють відношення розподіленості термінів. Необхідно пам'ятати, що відношення розподіленості термінів є одним із важливих правил при побудові безпосередніх умовиводів1 і особливо такого опосердкованого умовиводу як "простий категоричний силогізм".
Схеми розподіленості термінів I - VI можна розглядати як умови істинності чи хибності для атрибутивних суджень. Тобто, схеми / - УІ це своєрідне поле інтерпретації для : Asp, Isp, Esp i Osp.
Все це можна записати у вигляді наступних рівностей:
Схожі статті
-
Логіка - Конверський А. Є. - Види дефініцій
У формулюванні визначення як логічної операції (яке наводилось вище) можна виділити два основних завдання, які вирішує ця операція: По-перше, відшукує,...
-
Логіка - Конверський А. Є. - 2. Судження і речення
1. Загальна характеристика судження Судження - це одна із форм мислення. Існує декілька її визначень. Наведемо найвживаніші з них: "Судження - це думка,...
-
Логіка - Конверський А. Є. - 1. Загальна характеристика судження
1. Загальна характеристика судження Судження - це одна із форм мислення. Існує декілька її визначень. Наведемо найвживаніші з них: "Судження - це думка,...
-
Логіка - Конверський А. Є. - Розділ IX. Судження
1. Загальна характеристика судження Судження - це одна із форм мислення. Існує декілька її визначень. Наведемо найвживаніші з них: "Судження - це думка,...
-
Логіка - Конверський А. Є. - 7. Види понять
Оскільки, обсяги понять - це множини, то усі відношення між множинами і операції над ними можна застосувати до обсягів понять. Наприклад, візьмемо...
-
Логіка - Конверський А. Є. - 2. Види імен
1. Ім'я, смисл, значення Семантичний аналіз природної мови дав змогу здійснити типологію мовних виразів відповідно до того, носіями яких видів...
-
Логіка - Конверський А. Є. - 2. Поняття знака. Види знаків
Отже, з наведеного визначення мови випливає, що головним її елементом є знак. Природно виникає запитання: що таке знак? Під з н а к о м розуміють...
-
Логіка - Конверський А. Є. - 2. Види функцій
Оскільки значеннями пропозиційних функцій є висловлювання, що виражають судження, їх називають функціями висловлювання. Є три види пропозиційних функцій:...
-
Логіка - Конверський А. Є. - 2. Характеристика дескриптивних термінів
Розглянемо види дескриптивних і логічних термінів. Дескриптивні терміни поділяються на: - терми, - предикатори, - функціональні знаки. До логічних...
-
Логіка - Конверський А. Є. - 6. Закон оберненого відношення між змістом та обсягом поняття
Оскільки, обсяги понять - це множини, то усі відношення між множинами і операції над ними можна застосувати до обсягів понять. Наприклад, візьмемо...
-
Логіка - Конверський А. Є. - 5. Обсяг поняття. Елементи теорії множин
Зупинимося на другому елементові логічної структури поняття, на обсязі поняття. Об с я г о м поняття називається множина предметів, кожен з яких є носієм...
-
Логіка - Конверський А. Є. - Закон протиріччя
Коли глибше осягнути зміст закону тотожності, то стає очевидним, що із його змісту випливає така вимога до процесу міркування: Не можуть бути одночасно...
-
Логіка - Конверський А. Є. - Закон виключеного третього
У тій же "Метафізиці" Арістотель формулює ще один закон логіки - закон виключеного третього: "однаковим чином нічого не може бути по середині між двома...
-
Логіка - Конверський А. Є. - 10. Логічні операції над поняттями
Л о г і ч н о ю о п ер а ц і є ю над поняттями називається така дія, за допомогою якої з одних понять отримують нові поняття. До логічних операцій над...
-
Логіка - Конверський А. Є. - 3. Визначення логічних термінів
Таким чином, розгляд групи семантичних категорій, яку називають дескриптивними термінами, показує, що вони фіксують головні типи мислиннєвих структур, із...
-
Логіка - Конверський А. Є. - 2. Формальні та змістовні правила міркування
Наведені приклади яскраво свідчать про те, наскільки важливо знати правила та закони мислення і вміти їх застосовувати у практиці міркувань. Отже,...
-
Логіка - Конверський А. Є. - 1. Поняття формалізації
1. Поняття формалізації Оскільки лінгвістична структура природної мови не збігається з логічною структурою форм і законів мислення, які втілюються в цій...
-
Логіка - Конверський А. Є. - 5. Особливості схоластичної логіки
Суттєвий внесок у розвиток логіки зробили представники мегаростоїчної школи, логічне вчення яких відоме під назвою "логіка стоїків". Представниками цієї...
-
Логіка - Конверський А. Є. - 4. Особливості логіки стоїків
Суттєвий внесок у розвиток логіки зробили представники мегаростоїчної школи, логічне вчення яких відоме під назвою "логіка стоїків". Представниками цієї...
-
Логіка - Конверський А. Є. - Розділ ІІІ. Формалізація як метод логіки
1. Поняття формалізації Оскільки лінгвістична структура природної мови не збігається з логічною структурою форм і законів мислення, які втілюються в цій...
-
Логіка - Конверський А. Є. - Передмова до другого видання
Пропонований підручник розрахований на студентів нефілософських факультетів. Це визначає основну мету підручника - формування культури мислення, а також...
-
Логіка - Конверський А. Є. - Передмова до третього видання
Пропонований підручник розрахований на студентів нефілософських факультетів. Це визначає основну мету підручника - формування культури мислення, а також...
-
Логіка - Конверський А. Є. - 1. Визначення логіки як науки
Логіка - одна з найдавніших галузей наукового знання, є суттєвим загальнокультурним феноменом від початку її виникнення як науки. Роль логіки у сучасному...
-
Логіка - Конверський А. Є. - 1. Поняття семантичної категорії
1. Поняття семантичної категорії Визначаючи предмет і метод логіки, ми підкреслювали, що логіка вивчає форми і закони мислення не безпосередньо, а...
-
Логіка - Конверський А. Є. - Розділ IV. Семантичний аналіз виразів природної мови
1. Поняття семантичної категорії Визначаючи предмет і метод логіки, ми підкреслювали, що логіка вивчає форми і закони мислення не безпосередньо, а...
-
Логіка - Конверський А. Є. - 9. Логічні відношення між поняттями
З'ясувавши види понять перейдемо до характеристики логічних відношень між поняттями. Л о г і ч н и м в і д н о ш е н н я м між поняттями називають...
-
Логіка - Конверський А. Є. - 2. Порівняльна характеристика природної і формалізованої мов
Як уже зазначалося, прогрес у сучасній науці, особливо в логіці, значною мірою пов'язаний із застосуванням формалізованої мови. Але надаючи переваги...
-
Логіка - Конверський А. Є. - Закон тотожності
Варто зауважити, що логіку цікавлять не тільки форми мислення, а й ті суттєві відношення, які виникають між ними у процесі міркування. Іншими словами, не...
-
Логіка - Конверський А. Є. - 5. Основні формально-логічні закони
Варто зауважити, що логіку цікавлять не тільки форми мислення, а й ті суттєві відношення, які виникають між ними у процесі міркування. Іншими словами, не...
-
Логіка - Конверський А. Є. - 4. Зміст поняття
Оскільки поняття є форма абстрактного мислення, то для нього, як для абстрактного мислення в цілому, характерна така ознака як зв'язок з мовою. Тобто,...
Логіка - Конверський А. Є. - 3. Види суджень. Атрибутивні судження