Логіка варіант 4
ПЛАН:
1. ПОНЯТТЯ
2. МІРКУВАННЯ
3. СКЛАДНІ СУДЖЕННЯ
4. ЛОГІЧНИЙ КВАДРАТ
5. СИЛОГІЗМ
6. Індуктивні умовиводи
ЛІТЕРАТУРА
1. ПОНЯТТЯ
Поняття - є думка, яка за допомогою вказівки на деякий ознака виділяє з універсуму і збирає в клас (узагальнює) предмети, які володіють цією ознакою. Поняття - це форма мислення, відбиває предмет у його необхідних, істотних ознаках. Поняття виражаються і закріплюються у словах і словосполученнях, без яких неможливо ні формування понять, ні оперування ними. Єдність поняття і слова не означає їх повного збігу. Поняття - Це результат більш-менш складною розумової діяльності. Поняття виражається в певній знаковій формі. Це певна форма відображення дійсності на ступені абстрактного мислення. У процесі тієї чи іншої наукової діяльності або в повсякденному житті людина вводить деякі поняття, виділяючи його цікавить клас предметів, і потім підбирає яке-небудь скорочує слово - загальне ім'я для цих предметів. Може бути й навпаки, є вже більш-менш точно інтуїтивно вживане у науковому або повсякденному побуті деякий ім'я, і потім утворюється поняття про відповідні предмети, що відповідає на питання, що представляють собою ці предмети. Узагальнити поняття - означає перейти від поняття з меншим обсягом (але з великим вмістом) до поняття з більшим обсягом (але меншим змістом). Обмежити поняття - перейти від поняття з більшим обсягом до поняття з меншим обсягом.
а) майстер - кваліфікований працівник в якій-небудь промислової (важка, легка) області. Узагальнення: працівник. Обмеження: майстер спорту.
б) шантажист - людина, яка займається шантажем (непорядними або злочинними діями (загроза викриття, розголошення компрометуючих відомостей) з метою вимагання, а також взагалі загроза, залякування чим-небудь з метою створити вигідну для себе обстановку). Узагальнення: людина. Обмеження: шантажистка.
в) відірваний рукав піджака - частина піджака, вкривала руку.
Узагальнення: піджак. Обмеження: гудзик від відірваного рукава піджака.
2. МІРКУВАННЯ
Судження - думка, що містить твердження про наявність у дійсності деякого положення справ. Судження виражаються в мові за допомогою оповідних (декларативних) пропозицій. Ці пропозиції можуть висловлювати судження про прісущность або непрісущності властивостей предметів, про наявність чи відсутність відносин між предметами, про зв'язки між ситуаціями. Слід мати на увазі, що одне і те ж думка може бути виражена в мові за допомогою різних пропозицій. Наприклад, одна й та ж думка передається в пропозиціях «Сніг бел», «Сніг відноситься до числа білих предметів», «Властивості білизни притаманні снігу». Будь-яке висловлювання може бути оцінений як істинне або помилкове. Отже, судження - це форма мислення, в якій стверджується або заперечується зв'язок між предметом і його ознакою, відносини між предметами або факт існування предметів; судження може бути або істинним, або хибним. Розрізняють три види простих суджень:
1.
Судження про зв'язок предмета з його ознакою називається атрибутивним. Воно складається з суб'єкта (S), предиката (P) і зв'язки (дієслова - тобто, не є, є, не є, представляє собою, зізнається, не визнається). Суб'єкт судження - це поняття про предмет судження. Предикат судження - поняття про ознаку предмета. Зв'язка виражає зв'язок між суб'єктом і предикатом судження. Вона виражається дієсловами «є», «не є», «є», «не є», «представляє собою», «визнається», «не визнається». Зв'язка може бути виражена тире чи розумітися. S - P.
2. Судження про відношення предметів. Воно складається з членів відносини (понять про предмети), які позначаються символами x, y, z і т. д., і відносини між ними: символ R, який позначає будь-яке відношення: рівність, нерівність, більше, менше, ставлення спорідненості. Схема судження про ставлення x R y.
3. Судження, що виражає факт існування або неіснування предмета. S (S 1 S 2 S 3) є P; S є P (P 1 P 2 P 3), називається судженням існування.
У логіці прийнято скорочене позначення суджень за їх об'єднаної класифікації. Позитивні судження позначаються символом А - общеутвердітельние, I - частноутвердітельние, Е - общеотріцательние, О - частноотріцательние.
2.1. "Армія без полководця - тіло без душі» (Курцій). Всі S є P. Общеутвердітельное судження А. Це судження загальне за кількістю і стверджувальне за якістю. Суб'єкт і предикат мають однаковий об'єм.
2.2. "Звичка і з рабством примиряє» (Піфагор). Деякі S є P. Частноутвердітельное I. Суб'єкт цього судження нерозподілений, обсяг предиката лише частково включається до обсягу суб'єкта.
SHAPE \ * MERGEFORMAT
2.3. «У деяких людей вітер так само легко забирає голови, як і капелюхи» (Ч. Галіфакс). Деякі S є P. Частноутвердітельное I. Суб'єкт цього судження нерозподілений, обсяг предиката лише частково включається до обсягу суб'єкта.
2.4. Не всі люди мають злочинні нахили. Деякі S є P. Частноутвердітельное I. Суб'єкт цього судження нерозподілений, обсяг предиката лише частково включається до обсягу суб'єкта.
SHAPE \ * MERGEFORMAT
3. СКЛАДНІ СУДЖЕННЯ
Судження, утворене з декількох простих за допомогою логічного союзу (зв'язки), називається складним. Елементами складного судження є прості судження, склад яких, їх кількісна та якісна характеристика не враховуються. Їх істинність або хибність залежить від істинності чи хибності простих суджень. Залежно від виду зв'язок розрізняють з'єднувальні, розділові, умовні і еквівалентні судження. У судженнях вживаються спілки «і», «а», «так», «не тільки, а й», «а також», «або», «якщо ..., то ...», «якщо, тільки якщо ..., то ... ».
3.1. «Маленькі люди стають великими, коли великі переводяться» (В. Шекспір).
Умовне (Імплікатівное) судження. Судження, утворене з декількох простих за допомогою логічної зв'язки «коли». Умовний умовивід виражається схемою p → q, де p - підстава, q - наслідок, → - символ імплікації.
Таблиця істинності
1-й рядок: p-істинно, q-істинно, p → q-істінно1
2-й рядок: p-істинно, q-брехливо, p → q-істинно 2
Третій рядок: p-брехливо, q-істинно, p → q-істинно 3
4 - й рядок: p - помилково, q-брехливо, p → q-істинно 4
І - істинно, Л - помилково
Прості судження: маленькі люди стають великими; великі переводяться.
3.2. «Буття тільки тоді і є, коли йому загрожує небуття» (Ф. Достоєвський). Еквівалентна судження (рівнозначне). Включає до складу слова «тільки тоді», які допомагають відрізнити його від умовного судження. Еквівалентна умовивід виражається схемою p ≡ q, де p - підстава, q - наслідок, ≡ - символ еквівалентної зв'язку.
Таблиця істинності
1-й рядок: p-істинно, q-істинно, p ≡ q-істінно1
2-й рядок: p-істинно, q-брехливо, p ≡ q-брехливо 2
Третій рядок: p-брехливо, q-істинно, p ≡ q-брехливо 3
4 - й рядок: p - помилково, q-брехливо, p ≡ q-істинно 4
І - істинно, Л - помилково
Прості судження: буття тільки тоді є; якщо буття загрожує небуття.
4. ЛОГІЧНИЙ КВАДРАТ
Логічні судження діляться на непорівнянні і порівнянні. До незрівняним відносяться судження, що мають різні терміни або відмінності в одному з них. До порівнянним відносяться судження, що мають однакові терміни, але різняться за своїм кількісним і якісним характеристикам. Встановлюючи відносини між порівнянними судженнями, різними за кількістю та якістю: общеутвердітельние (А), общеотріцательное (Е), частноутвердітельное (I), частноотріцательное (О), визначають залежність істинності чи хибності одних суджень від істинності чи хибності інших. Перетворення судження в судження, протилежне по якості з предикатом, що суперечить предикату вихідного судження, називається перетворенням. Безпосередні умовиводи можна представити у формі логічного квадрата.
ПРОТИЛЕЖНІСТЬ
А Е
П П
О О
Д Д
Ч Ч
І І
Н Н
Е Е
Н Н
І І
Е Е
I часткова сумісність Про
Логічний квадрат - діаграма (логічна схема), запропонована Візантійським філософом 11 ст. Михайлом Пселлом, для ілюстрації і запам'ятовування логічних відносин між судженнями А, Е, О, I.
А. «У деяких адвокатів відсутній в міркуваннях логіка» - помилково. Деякі S є P. I л → Е і, де → - слідування. Суперечить судження (Е і): Ні в одного адвоката не відсутній в міркуваннях логіка. Подчінімое судження (А л): У всіх адвокатів відсутній в міркуваннях логіка.
Б. «Коней на переправі не міняють» - істинно. Аі → Ел. Протилежне судження (Е): Не всіх коней на переправі не міняють - хибно (л). Суперечить судження (О): Деяких коней на переправі міняють - хибно (л). Аі → Ол.
5. СИЛОГІЗМ
Силогізм (від грец. Сосчітиваніе) - дедуктивний умовивід, в якому з двох суджень, що мають суб'єктно-предикатних форму, слід нове судження (висновок), що має також суб'єктно-предикатних форму. Посилки повинні бути розподілені, по-перше, по логічному квадрату, по-друге, мати середній термін Простий категоричний силогізм - це умовивід про відношення двох крайніх термінів на підставі їх відношення до середнього терміну. Силогізм складається з трьох категоричних суджень, два з яких називаються посилками, третє - висновком. Поняття, що входять до складу силогізму, називаються термінами силогізму. Розрізняють більший, менший і середній терміни. Великим терміном називається поняття, відповідне предикату висновку (Р). Меншим терміном називається поняття, відповідне суб'єкту висновку (S). Середній термін, поняття, що входять в обидві посилки і відсутнє у висновку (М). Слова «тому що», «тому що», «оскільки» вказують, що висновок розташовується перед посилками; слова «отже», «тому», «значить» - на укладення. Посилки стоять над рисою, а висновок - під рискою. У силогізм (в умовиводі), як і у всякому логічному виведенні, є свої правила. Їх можна проілюструвати за допомогою кіл Ейлера:
5.1. «І дикі звірі в Італії мають лігво і нори, куди вони можуть ховатися, а люди, які б'ються і вмирають за Італію, не володіють в ній нічим. Значить, є в Італії люди, які живуть гірше, ніж звірі »(Тіберій Гракх).
Визначаємо посилки і висновок. Посилки: І дикі звірі в Італії мають лігво і нори, куди вони можуть ховатися, люди, які б'ються і вмирають за Італію, не володіють в ній нічим. Висновок: є в Італії люди, які живуть гірше, ніж звірі. Побудуємо силогізм, визначимо терміни:
І дикі звірі (P) в Італії мають лігво і нори, куди вони можуть ховатися (M)
Визначаємо посилки і висновок. Тільки той вільний, хто самостійно мислить; Ця людина самостійно не мислить. Висновок: Ця людина не вільна.
Побудуємо силогізм, визначимо терміни:
Тільки той вільний (P), хто самостійно мислить (M)
6. Індуктивні умовиводи
До числа основних форм мислення відноситься судження. Судження - думка, висловлена розповідним пропозицією і є істинною або помилковою. Судження в сучасній логіці називають висловлюванням. Всі судження поділяються на два види: прості і складні, які утворюються за допомогою логічних спілок кон'юнкції, диз'юнкції, еквіваленціі і заперечення. Індуктивним називається умовивід, у якому висновок про приналежність ознаки усіх предметів класу робиться на підставі належності цієї ознаки деяких предметів класу. Якщо в клас До входять предмети і кожному з них належить ознака Р, то з посилок: «S 1 належить ознака Р», «S 2 належить ознака Р», «S 3 належить ознака Р», ... «S n належить ознака Р» укладають «Всім належить ознака Р». У загальному вигляді індуктивне умовивід можна представити схемою:
S 1 належить ознака Р
S 2 належить ознака Р
S 3 належить ознака Р
...
S n належить ознака Р
6.1. Помилка в думках (a) викликає помилку в словах (b), помилка в словах (b) викликає помилку в справах (c). Значить, помилка в думках (a) викликає помилку в справах (c). Це чисто умовний умовивід, обидві посилки якого є умовним судженням.
Схема: (a → b) ^ (b → c) => a → c
Помилка в думках (a) викликає помилку в словах (b)
6.2. На картині І. Рєпіна «Урочисте засідання Державної Ради» (a) зображено 82 особи (b). Д. Н. Набоков (c) - член Державної Ради (a). Д. П. Голіцин (d) - член Державної Ради (a). Д. А. Філософів, П. А. Марков, М. П. Петров, Н. М. Обручов (e) - теж члени Державної Ради (a). Значить, всі персонажі картини (b) - члени Державної Ради (a). Це проста конструктивна дилема. Логічна схема:
(A → b) ^ (c → a), (d → a), (e → a)
-------------------------------------------
b → a
Істинність умовиводу можлива, з іншого боку, на картині могли бути зображені і почесні гості урочистого засідання.
На картині І. Рєпіна «Урочисте засідання Державної Ради» (a) зображено 82 особи (b)
Д. Н. Набоков (c) - член Державної Ради (a)
Д. П. Голіцин (d) - член Державної Ради (a)
ЛІТЕРАТУРА:
1. Є. К. Войшвилло, М. Г. Дегтярьов. Логіка. М. 2001.
2. В. І. Кирилов. Логіка. М. 2002.
3. Логіка. Дедуктивні умовиводи. Навчальний посібник. Хабаровськ. 1997.
ПЛАН:
1. ПОНЯТТЯ
2. МІРКУВАННЯ
3. СКЛАДНІ СУДЖЕННЯ
4. ЛОГІЧНИЙ КВАДРАТ
5. СИЛОГІЗМ
6. Індуктивні умовиводи
ЛІТЕРАТУРА
1. ПОНЯТТЯ
Поняття - є думка, яка за допомогою вказівки на деякий ознака виділяє з універсуму і збирає в клас (узагальнює) предмети, які володіють цією ознакою. Поняття - це форма мислення, відбиває предмет у його необхідних, істотних ознаках. Поняття виражаються і закріплюються у словах і словосполученнях, без яких неможливо ні формування понять, ні оперування ними. Єдність поняття і слова не означає їх повного збігу. Поняття - Це результат більш-менш складною розумової діяльності. Поняття виражається в певній знаковій формі. Це певна форма відображення дійсності на ступені абстрактного мислення. У процесі тієї чи іншої наукової діяльності або в повсякденному житті людина вводить деякі поняття, виділяючи його цікавить клас предметів, і потім підбирає яке-небудь скорочує слово - загальне ім'я для цих предметів. Може бути й навпаки, є вже більш-менш точно інтуїтивно вживане у науковому або повсякденному побуті деякий ім'я, і потім утворюється поняття про відповідні предмети, що відповідає на питання, що представляють собою ці предмети. Узагальнити поняття - означає перейти від поняття з меншим обсягом (але з великим вмістом) до поняття з більшим обсягом (але меншим змістом). Обмежити поняття - перейти від поняття з більшим обсягом до поняття з меншим обсягом.
а) майстер - кваліфікований працівник в якій-небудь промислової (важка, легка) області. Узагальнення: працівник. Обмеження: майстер спорту.
б) шантажист - людина, яка займається шантажем (непорядними або злочинними діями (загроза викриття, розголошення компрометуючих відомостей) з метою вимагання, а також взагалі загроза, залякування чим-небудь з метою створити вигідну для себе обстановку). Узагальнення: людина. Обмеження: шантажистка.
в) відірваний рукав піджака - частина піджака, вкривала руку.
Узагальнення: піджак. Обмеження: гудзик від відірваного рукава піджака.
2. МІРКУВАННЯ
Судження - думка, що містить твердження про наявність у дійсності деякого положення справ. Судження виражаються в мові за допомогою оповідних (декларативних) пропозицій. Ці пропозиції можуть висловлювати судження про прісущность або непрісущності властивостей предметів, про наявність чи відсутність відносин між предметами, про зв'язки між ситуаціями. Слід мати на увазі, що одне і те ж думка може бути виражена в мові за допомогою різних пропозицій. Наприклад, одна й та ж думка передається в пропозиціях «Сніг бел», «Сніг відноситься до числа білих предметів», «Властивості білизни притаманні снігу». Будь-яке висловлювання може бути оцінений як істинне або помилкове. Отже, судження - це форма мислення, в якій стверджується або заперечується зв'язок між предметом і його ознакою, відносини між предметами або факт існування предметів; судження може бути або істинним, або хибним. Розрізняють три види простих суджень:
1.
P S |
2. Судження про відношення предметів. Воно складається з членів відносини (понять про предмети), які позначаються символами x, y, z і т. д., і відносини між ними: символ R, який позначає будь-яке відношення: рівність, нерівність, більше, менше, ставлення спорідненості. Схема судження про ставлення x R y.
3. Судження, що виражає факт існування або неіснування предмета. S (S 1 S 2 S 3) є P; S є P (P 1 P 2 P 3), називається судженням існування.
У логіці прийнято скорочене позначення суджень за їх об'єднаної класифікації. Позитивні судження позначаються символом А - общеутвердітельние, I - частноутвердітельние, Е - общеотріцательние, О - частноотріцательние.
2.1. "Армія без полководця - тіло без душі» (Курцій). Всі S є P. Общеутвердітельное судження А. Це судження загальне за кількістю і стверджувальне за якістю. Суб'єкт і предикат мають однаковий об'єм.
S P |
P |
S |
SHAPE \ * MERGEFORMAT
P |
S |
P |
S |
SHAPE \ * MERGEFORMAT
3. СКЛАДНІ СУДЖЕННЯ
Судження, утворене з декількох простих за допомогою логічного союзу (зв'язки), називається складним. Елементами складного судження є прості судження, склад яких, їх кількісна та якісна характеристика не враховуються. Їх істинність або хибність залежить від істинності чи хибності простих суджень. Залежно від виду зв'язок розрізняють з'єднувальні, розділові, умовні і еквівалентні судження. У судженнях вживаються спілки «і», «а», «так», «не тільки, а й», «а також», «або», «якщо ..., то ...», «якщо, тільки якщо ..., то ... ».
3.1. «Маленькі люди стають великими, коли великі переводяться» (В. Шекспір).
| p | q | p → q |
| І | І | І |
| І | Л | І |
| Л | І | І |
| Л | Л | І |
1-й рядок: p-істинно, q-істинно, p → q-істінно1
2-й рядок: p-істинно, q-брехливо, p → q-істинно 2
Третій рядок: p-брехливо, q-істинно, p → q-істинно 3
4 - й рядок: p - помилково, q-брехливо, p → q-істинно 4
І - істинно, Л - помилково
Прості судження: маленькі люди стають великими; великі переводяться.
3.2. «Буття тільки тоді і є, коли йому загрожує небуття» (Ф. Достоєвський). Еквівалентна судження (рівнозначне). Включає до складу слова «тільки тоді», які допомагають відрізнити його від умовного судження. Еквівалентна умовивід виражається схемою p ≡ q, де p - підстава, q - наслідок, ≡ - символ еквівалентної зв'язку.
| p | q | p ≡ q |
| І | І | І |
| І | Л | Л |
| Л | І | Л |
| Л | Л | І |
1-й рядок: p-істинно, q-істинно, p ≡ q-істінно1
2-й рядок: p-істинно, q-брехливо, p ≡ q-брехливо 2
Третій рядок: p-брехливо, q-істинно, p ≡ q-брехливо 3
4 - й рядок: p - помилково, q-брехливо, p ≡ q-істинно 4
І - істинно, Л - помилково
Прості судження: буття тільки тоді є; якщо буття загрожує небуття.
4. ЛОГІЧНИЙ КВАДРАТ
Логічні судження діляться на непорівнянні і порівнянні. До незрівняним відносяться судження, що мають різні терміни або відмінності в одному з них. До порівнянним відносяться судження, що мають однакові терміни, але різняться за своїм кількісним і якісним характеристикам. Встановлюючи відносини між порівнянними судженнями, різними за кількістю та якістю: общеутвердітельние (А), общеотріцательное (Е), частноутвердітельное (I), частноотріцательное (О), визначають залежність істинності чи хибності одних суджень від істинності чи хибності інших. Перетворення судження в судження, протилежне по якості з предикатом, що суперечить предикату вихідного судження, називається перетворенням. Безпосередні умовиводи можна представити у формі логічного квадрата.
ПРОТИЛЕЖНІСТЬ
А Е
|
О О
Д Д
Ч Ч
І І
Н Н
Е Е
Н Н
І І
Е Е
I часткова сумісність Про
Логічний квадрат - діаграма (логічна схема), запропонована Візантійським філософом 11 ст. Михайлом Пселлом, для ілюстрації і запам'ятовування логічних відносин між судженнями А, Е, О, I.
А. «У деяких адвокатів відсутній в міркуваннях логіка» - помилково. Деякі S є P. I л → Е і, де → - слідування. Суперечить судження (Е і): Ні в одного адвоката не відсутній в міркуваннях логіка. Подчінімое судження (А л): У всіх адвокатів відсутній в міркуваннях логіка.
Б. «Коней на переправі не міняють» - істинно. Аі → Ел. Протилежне судження (Е): Не всіх коней на переправі не міняють - хибно (л). Суперечить судження (О): Деяких коней на переправі міняють - хибно (л). Аі → Ол.
5. СИЛОГІЗМ
Силогізм (від грец. Сосчітиваніе) - дедуктивний умовивід, в якому з двох суджень, що мають суб'єктно-предикатних форму, слід нове судження (висновок), що має також суб'єктно-предикатних форму. Посилки повинні бути розподілені, по-перше, по логічному квадрату, по-друге, мати середній термін Простий категоричний силогізм - це умовивід про відношення двох крайніх термінів на підставі їх відношення до середнього терміну. Силогізм складається з трьох категоричних суджень, два з яких називаються посилками, третє - висновком. Поняття, що входять до складу силогізму, називаються термінами силогізму. Розрізняють більший, менший і середній терміни. Великим терміном називається поняття, відповідне предикату висновку (Р). Меншим терміном називається поняття, відповідне суб'єкту висновку (S). Середній термін, поняття, що входять в обидві посилки і відсутнє у висновку (М). Слова «тому що», «тому що», «оскільки» вказують, що висновок розташовується перед посилками; слова «отже», «тому», «значить» - на укладення. Посилки стоять над рисою, а висновок - під рискою. У силогізм (в умовиводі), як і у всякому логічному виведенні, є свої правила. Їх можна проілюструвати за допомогою кіл Ейлера:
P M |
S |
5.1. «І дикі звірі в Італії мають лігво і нори, куди вони можуть ховатися, а люди, які б'ються і вмирають за Італію, не володіють в ній нічим. Значить, є в Італії люди, які живуть гірше, ніж звірі »(Тіберій Гракх).
Визначаємо посилки і висновок. Посилки: І дикі звірі в Італії мають лігво і нори, куди вони можуть ховатися, люди, які б'ються і вмирають за Італію, не володіють в ній нічим. Висновок: є в Італії люди, які живуть гірше, ніж звірі. Побудуємо силогізм, визначимо терміни:
І дикі звірі (P) в Італії мають лігво і нори, куди вони можуть ховатися (M)
Люди (S), які б'ються і вмирають за Італію, не володіють в ній нічим (M)
Є в Італії люди (S), які живуть гірше, ніж звірі (P)
5.2. Тільки той вільний, хто самостійно мислить. Ця людина не вільний, тому що самостійно не мислить. Є в Італії люди (S), які живуть гірше, ніж звірі (P)
Визначаємо посилки і висновок. Тільки той вільний, хто самостійно мислить; Ця людина самостійно не мислить. Висновок: Ця людина не вільна.
Побудуємо силогізм, визначимо терміни:
Тільки той вільний (P), хто самостійно мислить (M)
Ця людина (S) самостійно не мислить (M)
Ця людина (S) не вільний (P) 6. Індуктивні умовиводи
До числа основних форм мислення відноситься судження. Судження - думка, висловлена розповідним пропозицією і є істинною або помилковою. Судження в сучасній логіці називають висловлюванням. Всі судження поділяються на два види: прості і складні, які утворюються за допомогою логічних спілок кон'юнкції, диз'юнкції, еквіваленціі і заперечення. Індуктивним називається умовивід, у якому висновок про приналежність ознаки усіх предметів класу робиться на підставі належності цієї ознаки деяких предметів класу. Якщо в клас До входять предмети і кожному з них належить ознака Р, то з посилок: «S 1 належить ознака Р», «S 2 належить ознака Р», «S 3 належить ознака Р», ... «S n належить ознака Р» укладають «Всім належить ознака Р». У загальному вигляді індуктивне умовивід можна представити схемою:
S 1 належить ознака Р
S 2 належить ознака Р
S 3 належить ознака Р
...
S n належить ознака Р
6.1. Помилка в думках (a) викликає помилку в словах (b), помилка в словах (b) викликає помилку в справах (c). Значить, помилка в думках (a) викликає помилку в справах (c). Це чисто умовний умовивід, обидві посилки якого є умовним судженням.
Схема: (a → b) ^ (b → c) => a → c
Помилка в думках (a) викликає помилку в словах (b)
Помилка в словах (b) викликає помилку в справах (c)
Значить, помилка в думках (a) викликає помилку в справах (c) 6.2. На картині І. Рєпіна «Урочисте засідання Державної Ради» (a) зображено 82 особи (b). Д. Н. Набоков (c) - член Державної Ради (a). Д. П. Голіцин (d) - член Державної Ради (a). Д. А. Філософів, П. А. Марков, М. П. Петров, Н. М. Обручов (e) - теж члени Державної Ради (a). Значить, всі персонажі картини (b) - члени Державної Ради (a). Це проста конструктивна дилема. Логічна схема:
(A → b) ^ (c → a), (d → a), (e → a)
-------------------------------------------
b → a
Істинність умовиводу можлива, з іншого боку, на картині могли бути зображені і почесні гості урочистого засідання.
На картині І. Рєпіна «Урочисте засідання Державної Ради» (a) зображено 82 особи (b)
Д. Н. Набоков (c) - член Державної Ради (a)
Д. П. Голіцин (d) - член Державної Ради (a)
Д. А. Філософів, П. А. Марков, М. П. Петров, Н. М. Обручов (e) - теж члени Державної Ради (a)
Значить, всі персонажі картини (b) - члени Державної Ради (a) ЛІТЕРАТУРА:
1. Є. К. Войшвилло, М. Г. Дегтярьов. Логіка. М. 2001.
2. В. І. Кирилов. Логіка. М. 2002.
3. Логіка. Дедуктивні умовиводи. Навчальний посібник. Хабаровськ. 1997.