- •1. Визначення логіки як науки
- •2. Формальні та змістовні правила міркування
- •3. Абстрактне мислення і його характерні особливості
- •4. Поняття про форму мислення
- •5. Основні формально-логічні закони
- •6. Істинність і формальна правильність міркування
- •1. Визначення мови
- •2. Поняття знака. Види знаків
- •3. Рівні семіотичного аналізу мови
- •1. Поняття формалізації
- •2. Порівняльна характеристика природної і формалізованої мов
- •3. Структура формалізованої мови
- •1. Поняття семантичної категорії
- •2. Характеристика дескриптивних термінів
- •3. Визначення логічних термінів
- •1. Ім’я, смисл, значення
- •2. Види імен
- •3. Принципи відношення іменування
- •1. Поняття функції
- •2. Види функцій
- •1. Логіка стародавньої Індії
- •2. Попередники логіки Арістотеля у Стародавній Греції
- •3. Логічне вчення Арістотеля
- •4. Особливості логіки стоїків
- •5. Особливості схоластичної логіки
- •6. Новаторські ідеї логіки Ф. Бекона
- •Контрольні питання
- •Контрольні вправи
- •1. Визначення поняття
- •2. Характеристика предмета думки, відображуваного в понятті
- •3. Мовні засоби виразу поняття
- •4. Зміст поняття
- •5. Обсяг поняття. Елементи теорії множин
- •6. Закон оберненого відношення між змістом та обсягом поняття
- •7. Види понять
- •8. Логічні відношення між поняттями
- •9. Логічні операції над поняттями
- •Контрольні питання
- •Контрольні вправи
- •1. Загальна характеристика судження
- •2. Судження і речення
- •3. Види суджень. Атрибутивні судження.
- •4. Логічні відношення між атрибутивними судженнями
- •5. Тлумачення атрибутивних суджень мовою логіки предикатів
- •6. Судження з відношеннями
- •7. Судження існування
- •8. Модальні судження
- •9. Запитання
- •11. Логічні відношення між складними судженнями
- •Контрольні питання
- •Контрольні вправи
- •1. Загальна характеристика умовиводу
- •2. Висновки логіки висловлювань
- •3. Висновки із категоричних суджень
- •4. Недедуктивні умовиводи
- •Контрольні питання
- •Контрольні вправи
- •2. Види доведення
- •3. Спростування
- •4. Правила доведення і спростування
- •Контрольні питання
- •ВСТУП
- •А. ЛОГІКА ВИСЛОВЛЮВАНЬ
- •1. Мова алгебраїчної системи логіки висловлювань
- •2. Семантика логічних символів
- •3. Типологія формул за семантичними ознаками
- •4. Рівносильні формули
- •5. Логічні відношення між формулами
- •6. Нормальні форми логіки висловлювань
- •Контрольні питання та вправи
- •1. Аксіоматичне числення логіки висловлювань
- •2. Метатеорема про дедукцію
- •3. Натуральне числення логіки висловлювань
- •Контрольні питання та вправи
- •Б. ЛОГІКА ПРЕДИКАТІВ
- •1. Мова алгебраїчної системи логіки предикатів
- •3. Процедури встановлення значень формулам в S4
- •5. Логічні відношення між формулами в S4
- •6. Проблема розв’язання
- •7. Закони логіки предикатів
- •Контрольні питання та вправи
- •1. Аксіоматичне числення предикатів
- •2. Теорема про дедукцію в S5
- •4. Натуральне числення предикатів
- •Контрольні питання та вправи
- •ВСТУП
- •1. Система багатозначної логіки Я.Лукасевича.
- •2. Багатозначна логіка Брауера — Гейтінга
- •3. Багатозначна логіка Е.Поста
- •4. Тризначна логіка Д. Бочвара
- •Контрольні питання та вправи
- •2. Концепція модальної логіки Я.Лукасевича
- •Контрольні питання та вправи
- •1. Алетична логіка
- •2. Темпоральна логіка
- •3. Деонтична логіка
- •4. Епістемічна логіка
- •ЛІТЕРАТУРА
5. Обсяг поняття. Елементи теорії множин
Зупинимося на другому елементові логічної структури поняття, на обсязі поняття.
О б с я г о м поняття називається множина пред- метів, кожен з яких є носієм ознак, що складають зміст поняття.
Наприклад, до обсягу поняття «столиця» входять предмети: «Київ», «Варшава», «Париж». Але до обсягу цього поняття не ввійдуть предмети: «Харків», «Краків», «Нью-Йорк» тощо, тому що жоден з цих предметів не є но-
сієм ознаки «бути столичним містом».
Як ви звернули увагу, у самому визначенні обсягу по- няття фігурує термін «множина». Справа у тому, що обся- гом будь-якого поняття є деяка множина, а тому це дає можливість вивчити природу обсягу поняття, змоделювати його структурні, функціональні особливості на такому об’єкті, як множина. Тобто, надалі для нас обсягом понят- тя буде множина і ми будемо з нею поводитися як обсягом конкретних понять. Така точка зору зумовлює необхідність визначити такий об’єкт, як множина, і охарактеризувати основні її ознаки.
М н о ж и н о ю називається будь-яка сукупність ви- значених і розрізнюваних між собою об’єктів, мислимих як єдине ціле. Множина – це абстракція, в якій кожний предмет, що входить до неї, розглядається лише з точки зору тієї ознаки, яка дозволила включити його до свого складу. Тому предмети, що складають множину, не розріз- нювані між собою (їм приписуються одні й ті самі ознаки).
Наприклад, множина книг, множина держав, множина рослин тощо. Для кожного із предметів, що входять у пе- рераховані множини, характерним є те, що для них усіх притаманні ознаки, на основі яких утворені ці множини:
«бути книгою», «бути державою», «бути рослиною».
Можна сказати, що предмети, які входять до множини, розрізняються між собою. Але це розрізнення один від од- ного відбувається не за властивостями і відношеннями, а за їх іменами. Так, у множині держав кожний із предметів як носій ознаки «бути державою» не відрізняється від ін- шого, але відрізняється як індивідуальність, як носій вла-
сного імені («Україна», «Франція», «Аргентина» тощо).
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
141 |
Предмети, що належать до певної множини, назива-
ються елементами. Позначають їх малими буквами ла- тинського алфавіту –
а, в, с ...; х, у z ... (або а1, а2, а3 ... х1, х2, х3 ...).
Самі множини позначають великими буквами латинсь- кого алфавіту –
А, В, С...; Х, Y, Z ... .
Множина, яка містить кінцеве число елементів, на- зивається скінченною (наприклад, множина планет Со-
нячної системи; множина формально-логічних законів то-
що). А множина, яка має нескінченне число елементів, називається нескінечною (наприклад, множина чисел,
множина зірок тощо).
Оскільки множини можуть складатися з об’єктів різно- манітної природи, це визначає їх універсальний характер і, як наслідок, дає можливість застосовувати в різноманіт- них галузях (математиці, біології, лінгвістиці тощо), а не тільки в логіці.
Між множиною та її елементом існує відношення нале-
жності. Належати до множини – це означає бути носі-
єм ознаки, на підставі якої ця множина утворена. Від- ношення належності позначається знаком « ». Факт належності елемента «х» до множини «А» записується так: «х А». Факт неналежності елемента «х» до множи- ни «А» має вигляд:
« x A » або « x A ».
Якщо дві множини А і В складаються з одних і тих са- мих елементів, то вони вважаються рівними: «А = В», а якщо ні, то: «А ≠ В».
Існує два найуживаніших способи задання множин. Пер- ший полягає у простому перерахуванні елементів, що скла- дають дану множину. Наприклад, множина арифметичних дій, множина планет Сонячної системи тощо. Відповідно
записується: А = {х1, х2, х3, х.4}, В = { х1, х2, х3, ... х9 }.
Отже, цей спосіб ефективний, коли мають справу із скінченними множинами. Коли ж розглядаються нескін- ченні множини, той цей спосіб не підходить. У цих випа- дках користуються іншим способом, який полягає у за-
данні |
множини через характеристичну властивість. |
|
142 |
|
|
|
А. Є. Конверський. ЛОГІКА |
Характеристичною називається властивість, яка на- лежить будь-якому елементу даної множини, і не на- лежить жодному предмету, що не входить до неї. За-
писується це так:
М= {х / А(х)}
–«множина усіх «х», що мають властивість «А». Спеціально необхідно виділити універсальну множину,
тобто множину, яка складається із усіх елементів до- сліджуваної предметної області. Позначається універса-
льна множина буквою «U», а графічно зображується мно- жиною точок у середині прямокутника:
. . . . . . . . . .
U . . . . . . . . . . . .
Окрім універсальної множини виділяють порожню
множину, тобто множину, яка не містить жодного елемента (наприклад, «дерево, яке проводить електрич- ний струм», «метал, який легший повітря» тощо) . По-
значається порожня множина символом: .
Будь-яку частину множини називають підмножиною.
Якщо універсальну множину задати характеристичною властивістю Q:
U = {х / Q(х)},
то множини А, В, С ..., що є частинами універсальної множини U, визначаються властивостями відповідно:
Q(а), Q(в), Q(с), ... .
Тоді підмножину «А» визначаємо:
А=Df {х / х U i Qа (х)}
–читається: «А» за визначення є множиною усіх тих і тільки тих «х», які належать до «U» і мають властивість
Q(a)». Наприклад, якщо «U» – множина всіх геометрич- них фігур, «Q(a)» – «мати при перетині діагоналей прямі кути», то «А» – множина квадратів.
Якщо властивості, якими задані деяка множина і її підмножини співпадають, то ці множини будуть рівні.
У цьому випадку говорять, що множина є частиною самої себе, або повною частиною. А у тому випадку, якщо влас-
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
143 |
тивість, якою задається деяка підмножина суперечить властивості, за допомогою якої задана сама множина, то така підмножина буде порожньою. Тому порожня підмножина є частиною будь-якої множини, її ще назива-
ють «порожньою частиною».
Повна і порожня частини називаються невласними підмножинами. Решта підмножин є власними.
За формулою 2n можна вирахувати кількість під- множин будь-якої множини (2 вказує на кількість не- власних підмножин: саму множину, як частину самої себе; і порожню множину ), а n – число елементів, що входить у множину. Наприклад, маємо множину «А» із трьох елементів {1, 2, 3}. Застосуємо формулу 2n для ви- значення кількості підмножин цієї множини: 23 = 8. За- пишемо всі підмножини множини «А»:
{{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}, }.
Між множинами існує відношення включення. Множина «А» включена у множину «В» тоді і тільки тоді, коли кож- ний елемент множини «А» є елементом множини «В». По- значається відношення включення символом « ». Запису- ється факт включення «А» у «В» таким чином: «А В». При цьому «А» називається підмножиною, а «В» – над-
множиною.
Відношення включення буває двох видів:
а) включення в широкому смислі, і б) включення у вузькому смислі.
«А» включається у «В» в широкому смислі тоді і тіль- ки тоді, коли «А» включається у «В» і не виключено, що «А = В». Ця ситуація записується так:
«А В».
«А» включається у «В» в вузькому смислі, або суворо, тоді і тільки тоді, коли «А ≠ В», (тобто у «В» існують елементи, які не належать «А»). Записується це так: «А В».
Як уже зазначалося, зміст поняття відображає власти- вості предметів або відношення між ними. Коли предмет позначити через «х», а його властивість через «Q», то об- сягом поняття буде множина, кожний елемент якої, буду- чи підставлений на місце «х» у формулі «Q(х)», даватиме істинне судження.
144 |
А. Є. Конверський. ЛОГІКА |
Наприклад, нехай у формулі «Q(х)» Q – представляє властивість «бути планетою», тоді замість «х» можна підставити імена предметів: «Земля», «Марс», «Юпітер» тощо, і при цьому отримаємо істинні судження («Земля
–планета», «Марс – планета», «Юпітер – планета» тощо).
Треба зауважити, що вираз «Q(х)» близький за смислом до виразу «х Q». Так, коли говорять про властивість «бути планетою», мають на увазі множину предметів, кожному з яких притаманна ця властивість:
хQ ≡ Q (х)
–«х є елементом множини Q тоді і тільки тоді, коли х має властивість Q». А оскільки обсяг поняття склада- ють тільки ті предмети, яким належить ознака «Q(х)», то справедливим буде твердження:
х (х Q) ≡ А(х)
–«кожний предмет такий, що коли він є елементом обсягу поняття, то йому належить ознака, що складає зміст цього поняття».
Якщо врахувати все це і звернутися до понятійної фун- кції, то стає очевидним, що обсягом поняття є значення понятійної функції:
Значення |
Функція |
Аргументи |
|
|
|
{a, b, …, n} |
x Q(x) |
Q(a), Q(b), …, Q(n) |
|
|
|
Аргументами понятійної функції будуть істинні вислов- лювання: Q(a), Q(в), ... Q(n), а значенням – область істин- ності предикату «Q(х)», або обсяг поняття. Тоді обсяг, як значення понятійної функції, можна записати у вигляді формули: W х Q(х), де W – перевернуте М – оператор утворення множини.
Відповідно синтаксис поняття можна зафіксувати так:
–х Q(х) – об’єкт думки в понятті;
–Q(х) – зміст поняття;
–W х Q(х) – обсяг поняття.
Книга перша. ТРАДИЦІЙНА ЛОГІКА |
145 |