18. Основні закони логіки.
Закони логіки – це ті закони, яким повинно підпорядковуватись мислення для того, щоб вірно відображувати дійсність.
Між законами мислення та законами логіки є деякі відмінності. Закони мислення – це внутрішній необхідний, істотний процес зв’язку понять та думок в процесі міркування. Логіка вивчає ці зв’язки і виявляє їх закони: закон оберненого співвідношення обсягу та змісту понять. Мислення до того ж підпорядковується всезагальним законам діалектики (закон єдності та боротьбі протилежностей, закон переходу кількісних перемін в переміни якісні та закон заперечення заперечення). В логіці враховуються закони мислення. Проте вченими (Аристотель, Френсіс Бекон, Рене Декарт, Готфрид Вільгельм Лейбніц та інші) відкриті і сформульовані ті закони, що забезпечують такий (непротирічливий, послідовний, чіткий) процес мислення, яких забезпечує нас від помилок, хибних висновків і дає можливість пізнати і висловити в думці істину. Ці закони називаються основними законами логіки. Їх є чотири:
1.Закон тотожності. Кожна вірно логічно сформульована думка чи поняття про предмет повинні бути чітко визначеними і зберігатися однозначно протягом всього процесу мислення і висновку. У вигляді формули закон записується так: А є А, або А=А.
2.Закон протиріччя. Не можуть бути істинними два несумісних висловлювання про один і той же предмет, що береться в один і той же час та в одному і тому ж відношенні; одне з цих висловлювань обв’язково буде хибним. Оскільки цей закон застерігає проти суперечливості мислення, то його інколи називають законом несуперечливості.
3.Закон виключення третього. Дві суперечливі одна одній думки (Біле – небіле) не можуть бути одночасно істинними і хибними. Якщо одна з цих думок істина, то друга – хибна. Третього не дано.
4.Закон достатньої підстави (достатнього обґрунтування). Всяка думка, щоб стати достовірною, повинна бути обґрунтована іншими думками, істинність яких доведена або очевидна.
6. Відношення між поняттями
Формально-логічні відношення між сумісними поняттями.
Відображуючи об’єктивну взаємозалежність предметів і явищ, поняття самі вступають між собою в певні стосунки, взаємозалежність. В логіці ця взаємозалежність понять може бути відношенням сумісним і несумісним.
Сумісними називаються поняття, ознаки яких допускають можливість повного чи часткового співпадання їх обсягу. Сумісність понять буває таких видів: Рівнозначними. Підпорядкованими і Перехресними.
А. Рівнозначним називаються поняття, зміст яких рівнозначний, а їх обсяги співпадають. Наприклад: Київ і Столиця України. Тарас Григорович Шевченко і автор “Кобзаря”. Саме велике озеро і Каспійське море. Найближча до нас зірка і Сонце. Логіка не вважає рівнозначні поняття тотожними. Тотожні поняття по своєму змісту і обсягу повністю співпадають, а рівнозначні, маючи на увазі один і той же за об’ємом об’єкт (предмет, явище), зосереджують увагу на різних суттєвих ознаках цього поняття.
Б. При підпорядкуванні (субординації) понять в обсяг першого поняття (А) цілком входить обсяг другого (Б), але в змістом першого входить лише частина змісту другого. (Обсяг А більший обсягу Б, а зміст Б більший змісту А). Наприклад: А.Дерево – Б. Горіх. А.Тварина – Б. Кішка. А. Людина – Б. Юнак. Частина мови – Дієслово.
В. Перехресні (часткового співпадання) поняття за ознаками не виключають одне одного, але їх обсяги співпадають лише частково. Наприклад: А. Спортсмен – Б. Студент. (Спортсмен може бути студентом, а може ним і не бути. Так само і студент: може бути спортсменом, а може спортсменом і не бути) А.Танкіст – Б. Офіцер. А. Киянин – Б. Школяр.
Формально-логічні відношення між поняттями несумісними.
Несумісними поняттями називаються ті, в зміст яких входять взаємовиключні ознаки, а тому обсяги їх не співпадають (не сумісні між собою). У співставленні одного з одним несумісні поняття знаходяться між собою в відношеннях: співпорядкування (координації), протилежності (контрарності) і протиріччя (контрадикції).
А. Співпорядкованими (координованими) називаються поняття, які рівною мірою є загальними і входять в обсяг (підпорядковуються) одному і тому ж спільному для них (родовому) поняттю. Наприклад. 1. А. Курка – Б. Гуска. С. Домашня птиця. 2.А. Ялинка – Б. Сосна. С. Хвойне дерево.
Б. Протилежними (контрарними) називаються поняття, у яких зміст не лише виключає (заперечує) ознаки другого, але до цього ж і замінюється зовсім протилежними ознаками. Наприклад: А.Хоробрий – Б.Боягуз. А.Здоровий – Б.Хворий. А. Добрий – Б. Злий. А. Скнара – Б. Марнотрат. А. Білий – Чорний.
В. Протирічливими (контрадикторними) називаються поняття, у яких зміст одного лише виключає (заперечує) зміст другого, але не утверджує (не пропонує) іншого свого змісту. Наприклад: А. Добрий – Б. Недобрий. А.Злий – Б. Незлий. А.Скнара – Б. Нескнара. А. Білий – Б. Небілий.
10. Правила поділу понять:
7/ 11. Визначення понять. Правила визначення понять.
Для того, щоб поняття утримували в собі наслідки пізнання людиною світу, щоб оперування ними не вводило нас в оману, в них належить чітко розкрити і уяснити собі їх зміст. Це досягається визначенням (дефініцією) цього поняття. Визначити поняття – означає розкрити істотні (суттєві) ознаки його змісту.
Визначення є підсумком складного процесу пізнання, воно до певної міри завершує процес логічного формування поняття. Лише чітко знаючи зміст поняття, ми можемо впевнено оперувати ним в своїх судженнях, умовиводах, доказах і спростуваннях, побудовах гіпотез і теорій..
В логіці розрізнюють визначення номінальні і реальні. Номінальні (від латинського слова “nominae” - назва, ім’я) називаються ті визначення, якими розкривають походження і значення слова, яким позначено поняття. Наприклад: “Монотеїзм” (від грецьких слів “monos” – один + “theos” – бог) – однобожжя, віра в існування одного бога. Реальні визначення здійснюються шляхом перерахування суттєвих ознак поняття. Наприклад: Курка – це птах, від якого людина має м’ясо, пір’я і яйці, на відміну від гуски і качки, курка не плаває у воді.
Розрізняють також визначення явні і неявні. В явних визначеннях чітко розкривається основний зміст поняття. Основною формою явного визначення є визначення через вказівку на рід та видову ознаку даного поняття.. В неявних – визначення дається побічно, в контексті.. В останньому випадку може появитися марксистське визначення релігії як опіуму народу.
Правила визначення понять:
1.Визначення повинно бути співрозмірним: визначення <S> і те, що визначається <P> повинні бути різнозначними. Співрозмірність перевіряється перестановкою S і Р: S є Р = Р є S. Наприклад: Математика (S) є наукою про закономірності числових величин (Р). = Наука про закономірності числових величин (Р) є математика (S). Для поняття “Математика” тут родом є “Наука”, а видовою ознакою – вивчення закономірностей числових величин. Але не можна сказати, що математика – це наука про підрахунки. Тут визначення ширше визначуваного (Ревізія – теж підрахунки). Якщо сказати, що математика – це наука про додавання і віднімання чисел, то визначення виявиться вузьким (Математика вивчає також ділення, множення, логарифми, функції тощо).
2.Не допускається у визначенні (Р) повторення змісту пояснюваного (S). Наприклад: “Злочинець – це той хто чинить злочин”. Така помилка називається “круг у визначенні”.
3.Визначення не повинно бути лише від’ємним. Наприклад: Логіка – це не математика. Україна – не Росія. Мета визначення полягає в тому, щоб показати, чим є поняття, а не тим чим воно не є.
4.Визначення повинно бути ясним і чітким. В ньому повинно бути чітко вказано найближчий рід (Математика – це наука, а не процес духовної діяльності людини) і його суттєві видові ознаки, що відрізняють його від рівнозначних видів (Математика якраз наука про числові величини, чим вона відрізняється від фізики, філології, тощо; і не наука про математичні функції, бо крім математичних функцій математика вивчає і дії арифметики, алгебри тощо).
Узагальнення і обмеження понять. Правила узагальнення і обмеження понять.
Узагальнення і обмеження понять допомагає нам уточнити логічний предмет нашої думки, зробити наше мислення більш чітким і послідовним.
Логічне обмеження і узагальнення поняття відбувається згідно закону про співвідношення об’єму і змісту цього поняття. Таким чином:
А. Узагальнити поняття – це означає перейти від поняття з меншим обсягом до поняття з більшим обсягом, але з меншим змістом (Не забувати, що зміст поняття визначається його ознаками). Так, якщо ми візьмемо національне поняття “Українець”, то його узагальненням буде племінне поняття “Слав’янин”. Узагальнення поняття “Слав’янин» буде расове поняття «Біла раса”, а потім: “Людина” - “Ссавець” - “Примат” - “Теплокровний“... – “Живий організм” – “Матерія”. Поняття найвищого узагальнення називаються категоріями.
Б. Обмеження поняття – це обернений до узагальнення логічний процес, внаслідок якого збільшується зміст поняття і зменшується його обсяг (зменшуються, губляться ознаки).
Узагальнення і обмеження понять лише тоді мають смисл, уточняють нашу думку, роблять наше мислення чітким і послідовним, збагачують нас знаннями, коли вони – узагальнення і обмеження – здійснюються згідно строгим логічним правилам.
Логічне узагальнення повинно відбуватися так, щоб:
1.В понятті (послідовних поняттях) більшому за обсягом має повністю залишився обсяг вихідного поняття. Наприклад: “Кішка – Домашня тварина – Хижак”; але не “Кішка – Домашня іграшка – атракціон - колеса”.
2.Наступне, більше за обсягом, поняттям має бути найближчим, першим зі всіх, загальних щодо вихідного, понять.
3.Послідовні формально-логічні узагальнення не можуть продовжуватись нескінченно. Як правило, вони зупиняються на Категоріях, які вже є формами філософського діалектичного мислення. Гегель казав, що лише філософія рухом категорій показує необхідність становлення всієї дійсності.
1. Логічне обмеження не є дзеркально оберненим повторенням логічного узагальнення. Логічні обмеження завжди цілеспрямовані, задаються людиною, яка здійснює це обмеження. А тому, починаючи обмежувати, наприклад, поняття “Матерія” ми можемо дійти до всього, що нам заманеться.
2.Логічне обмеження відбувається шляхом послідовного добавлення до Поняття нових, реально можливих (бажаних, уявних) ознак. Збільшення ознак приводить, згідно закону співвідношення обсягу та змісту понять, до поняття більш багатого змістом і в той же час меншого за обсягом.
3.Логічне обмеження не може продовжуватися нескінчено. Його кінцева межа – тривіальна і доходить до конкретного уявлення, до конкретно-відчуттєвого предмета, який має своє ім’я (назву), що в логіці називається денотат.
15. Складні судження, їх види
Складними називаються судження, які складаються з декількох простих суджень, що поєднуються між собою логічними зв’язками: “і (та)”, “або”, “якщо..., то”, “якщо і тільки якщо”.
Види складних суджень визначаються за ознакою логічної зв’язки в них. Таким чином є такі види складних суджень: з’єднувальні, розділові та умовні.
З’єднувальне судження (кон’юнкція) є поєднання двох і більше суджень за допомогою логічної зв’язки “і”. В таких судження може бути декілька Суб’єктів та спільний їм Предикат: S1, S2, S3 є P. Наприклад: МАУП, КГУ та КПІ – київські вузи. Може бути також один S з декількома належними його Р. S є Р1 і S є Р2. Дачний будинок теплий і затишний.
Розділове судження (диз’юнкція) – це зв’язок двох і більше суджень з допомогою логічної зв’язки “або” (чи). При цьому сильна диз’юнкція буде тоді, коли запропоновані Р виключають один одного. В середу буде сонячна, похмура чи дощова погода. Якщо ж запропоновані Р можуть співіснувати в одному і тому ж Суб’єкті, то диз’юнкція вважається слабкою. Наприклад: Ножом можно різати і (чи) колоти.
Умовне судження (імплікація) – це поєднання двох простих суджень за допомогою логічної зв’язки “якщо..., то”. В ньому істинність першого судження (антедецента – основи, підстави) достатня для того, що визнати істинність судження другого (консеквента - наслідку). Наприклад: Якщо іде дощ, то тротуар мокрий. Якщо воду нагріти до 100 градусів, то вона за нормального тиску закипить. В ньому антецедент прийнято позначати буквою “р”, консеквент - “q”, змістовну зв’язку між ними – вертикальною лінією з приєднаною до неї стрілкою:
p q
12. Прості судження та їх види
В ряду досить чисельної класифікації суджень (а.по змісту: існування, властивості, включення та відношення; б.по якості зв’язки: стверджувальні та заперечні; в.по обсягу: одиничні, часткові, загальні, виділенні; г.по модальності: можливості, дійсності, необхідності, проблематичності та достовірності) виокремлюються головні, а саме – прості види суджень, які постійно вживаються у вивчені всіх можливих логічних операцій з судженнями.
Є чотири види простих (основних) суджень, які одержані внаслідок одноразового врахування якісних і кількісних сторін суджень:
1.Загальностверджувальні судження, у яких Суб’єкт – поняття загальне, а зв’язка – стверджувальна (позитивна). Формула цього судження: Всі S є Р. Символом загальностверждувального судження є латинська буква А (від слова “affirmo” – стверджую). Наприклад: “Всі студенти МАУП успішно склали іспити з Логіки”.
3.Частковостверджувальні судження, у яких обсяг Суб’єкта частковий (деякі, частина), а зв’язка – стверджувальна. Формула цього судження: Деякі S є Р . Символом цього судження є латинська буква І (друга буква від слова від слова “affirmo” –стверджую). Наприклад: “Лише деякі студенти КПІ склали іспиту з Логіки за першим же заходом”.
4.Частковозаперечні судження, у яких Суб’єкт частковий, а зв’язка заперечна. Формула цього судження: Деякі S не є Р. Символом цього судження є латинська буква О (друга буква слова “nego”). Наприклад: “Лише деякі студенти МАУП не склади іспиту з Логіки за першим заходом.
13.Атрибутивні судження, їх класифікація
Судження класифікуються шляхом їх поділу за ознакою їх структурних особливостей, тобто за ознаками структури Предиката, Зв’язки, Суб’єкта, модальності і типологічних союзів. За ознакою предиката судження бувають: судженнями існування, судженнями відношення і судженнями атрибутивними. Ми зараз розглядаємо останні.
Атрибутивними (від латинського слова attributio – ознака, властивість) дають знання про властивості предмета чи про його належності до певного класу предметів. В залежності від цього атрибутивні судження бувають:
1.Судженнями ознак, в яких Суб’єкту (S) приписується або заперечується наявність тих чи інших ознак (Р).
Дошка (є) чорна. Сніданок – не (є) смачний.
2.Судженнями включення, в яких зазначається, що Суб’єкт належить до певного класу предметів.
Т.Г. Шевченко – великий поет українського народу.
Формули цих суджень такі:
S є P або S не є P.
В підручниках по логіці інколи атрибутивні судження оголошуються судженнями простими, а останні діляться не лише за ознаками Предиката, а одноразово (сукупно) за ознаками Предикати і Суб’єкта. З таким підходом Прості судження можна розділити на:
1. Загальностверджувальні: Всі S є Р;
2. Загальнозаперечні: Жодне S не є Р;
3. Частково стверджувальні: Деякі S є Р;
4. Частковозаперечні: Деякі S не є Р.
28. Аналогія, її різновиди.
Аналогія – умовивід з належності певних ознак одного робиться висновок про наявність цієї ж ознаки у іншого. Тут висновки можуть бути як достовірними, так і проблематичними. Розрізняють два види:
Аналогію предметів, коли з одного предмета переносять ознаки і на інший. Наприклад: особливості хвиль води переносять на поширення звуку та світла.
Аналогія відношень, коли відношення одного ототожнюють відношенням в чомусь подібному. Наприклад в моделюванні.
Аналогії поділяють на три види:
1. А-гія строга, в якій одержують достовірні знання категоричного умовиводу. “Якщо три кути одного трикутника дорівнюють трьом кутам іншого, то трикутники подібні.”
2. А-гія не строга, - одержують ймовірні знання. Наприклад літак може показати інші ознаки, аніж їх одержали в моделюванні. Тут потрібна перевірка висновків на практиці. Ще: не можна судити про рівень знань групи студентів по рівню знань одного чи двох-пяти студентів.
3. Аналогія хибна, - коли навмисне, або з порушенням логічних правил, предмету приписуються ознаки безпідставно: “Вона така, як її сусід”. “Українці – бандерівці”.
19. Умовиводи, їх види.
Знання людей за їх походженням діляться на знання безпосередні і знання опосередковані, що одержані з інших істинних суджень шляхом умовиводів.
Умовивід – це форма мислення, за допомогою якого з одного чи декількох суджень виводиться нове судження. Умовивід з істинних посилок веде до нового істинного висновку; він є певним підсумком мислительного акту.
Кожний умовивід складається з вихідних знань (посилань), обґрунтувань (логічних основ виведення) і вивідного знання (заключення, висновку). Посилками називають вихідні відомі судження, з яких робиться висновок в формі нового судження; виводом – сама форма, процес обґрунтування, логічного переходу від посилання до заключення; заключеннями (висновками) – одержані логічним шляхом нові судження.
В залежності від ступені достовірності, строгості, розрізняють два види умовиводів: необхідні (демонстративні) і правдоподібні (недемонстративні). В останньому випадку забезпечується лише заключення, в якого істинність лише ймовірна.
За мірою обсягу посилання і заключення умовиводи поділяються на дедуктивні (від знання загального до висновку часткового), індуктивні (від знання часткового до висновку загального) та умовиводи за аналогією.
Дедуктивними (від латинського слова “deductio” – виведення) називаються умовиводи, в яких перехід від знання загального до знання часткового є логічно необхідним. Якщо в дедуктивному умовиводі висновок робиться на основі однієї посилки, то такий умовивід вважається безпосереднім. Безпосередні виводи оперують лише змістом елементів (S, P, є і не-є) одного і того ж судження. Якщо ж в дедуктивному умовиводі вивід робиться на основі декількох посилань, то він називається опосередкованим.
Приклад дедуктивного опосередкованого умовиводу (силогізму):
Береза – дерево.
Дерево – рослина.
Береза – рослина
Індуктивними ( від латинського слова “inductio” – включення) називаються такі умовиводи, в формі якого відбувається емпіричне узагальнення; коли на основі ознаки, яка повторюється у окремих явищ та предметів, робиться висновок про належність цієї ознаки всім явищам/предметам певного класу.
За аналогією називаються умовиводи, в яких на основі належності певної ознаки у одного (першого) предмета робиться висновок про належність цих ознак у всіх подібних предметах/явищах, подібних до першого.
27. Індуктивні умовиводи, їх види.
Індукція – це умовивід, в якому на основі знань частини предметів здійснюється висновок про всі предмети класу, про клас в цілому. Як і всякий умовивід, індукція складається з посилань і висновку (заключення). Посилками тут є судження, в яких закріплені спостереження про факти або події. Індукція буває повна і неповна.
Неповна індукція спирається на обмежене спостереження. Її висновки можуть потім уточнюватися під впливом наступного спостереження нових фактів.
Повна індукція – це узагальнення, що спирається на основу повторення одних і тих же ознак у всіх предметів того чи іншого класу явищ чи предметів. Якщо умовивід спирається на наявність ознак, то він називається індукцією позитивною; якщо ж в посилках фіксується відсутність пошукової ознаки, то така індукція називається негативною.
Неповна індукція – це такий вид умовиводу, в якому на основі ознак обмеженої кількості предметів/явищ робиться загальний висновок про ознаках всього класу предметів/явищ. Спостерігаючи, наприклад, нагрівання предметів при механічному русі (тертя, удар, стискування), робиться висновок про те, що всякий механічний рух спричиняє появу тепла. Неповна індукція вкрай необхідна за умов неможливості прослідкувати наявність певної ознаки чи комплексу ознак у неосяжних чи складних предметах/явищах. Наприклад, при доборі кадрів обмежуються лише частиною показників найманих на роботу.
Розрізняють два види неповної індукції: популярну та наукову.
В популярній індукції узагальнення здійснюються на основі перерахування ознак предметів/явищ (ознак хвороби, наближення дощу тощо), які неодноразово спостерігались в буденному житті. Історично – це початковий етап пізнання світу. Але якщо зустрічається бодай один факт, що заперечує популярну індукцію, її узагальнення вважається хибним. “Все, що літає – птах чи комаха. Кажан літає, але він не птах і не комаха”.
Наукова індукція своєму узагальненні визначає ознаки предметів та явищ цілеспрямовано, шляхом кваліфікованого (репрезентативного, статистичного) добору.
20. Безпосередні умовиводи.
Безпосередні умовиводи – це одержання нових знань шляхом перетворення логічної форми одного і того же судження. Ці перетворення можуть здійснюватись внаслідок таких логічних операцій: перетворення, обернення, протиставлення предикату і умовиводи згідно логічному квадрату.
Перетворення (превращение) – це встановлення відношення до Суб’єкта судження (S) протилежного вихідному Предиката (Р). Наприклад: S є Р перетворюється на S не є не-Р. “Вишня є ягода” в “Вишня не є не-ягода”. “Сало свині їстівне” перетворюється в “Сало не є неїстівним”.
Обернення – це логічне перетворення, в наслідок якого Суб’єкт вихідного судження стає у висновку Предикатом, а Предикат – Суб’єктом. Обернень буває декілька видів. Простим називається обернення в якому об’єм S і Р залишається незмінним. Воно справедливе, повне, тоді коли S і Р розподілені. Київ – столиця України. Столиця України – Київ. Якщо ж S і Р не розподілені, то таке просте обернення буде оберненням з обмеженням.
Можна робити обернення з одноразовим врахуванням якості і кількості Суб’єкта в судженні. Тут перетворюються:
Загальностверджувальні судження (А) перетворюються в частковостверджувальні (І) без обмежень: “Всі студенті нашої групи здали іспити з логіки” в “Деякі студенти з нашої групи склади іспити з логіки.
Всі S є Р
Деякі S є Р
Загальнозаперечні судження (Е) перетворюються на таке ж (Е) без обмежень з перестановкою S і Р: “Жоден студент нашої групи не є двієчником” в “Жоден двієчник не є студент нашої групи”
Жодне S не є Р
Жодне Р не є S
Частковостверджувальні (І) судження перетворюються в частковостверджувальні (І) з перестановкою S і Р. Деякі відмінники є студентами нашої групи. – Деякі студенті нашої групи є відмінниками.
Деякі S є Р
Деякі Р є S
Частковозаперечні (О), як правило не перетворюються, бо предикат його розподілений, а отже у висновку судження перетвориться на загальностверджувальне(А). Якщо “Деякі студенти нашої групи не є відмінниками”, то це не означає, що “Відмінник – не член нашої групи”
Протиставлення предикату (Р)- це судження в яких Суб’єктом стає поняття, що протилежне Предикату вихідного судження, а Предикатом – суб’єкт. Таким чином виясняється відношення S до не-Р:
Загальностверджувальне (A) перетворюється в загальнозаперечне(E):
Всі S є Р в Жодне не-Р не є S .
Загальнозаперечне (Е) - в частковостверджевальне (І):
Жодне S не є Р в Деякі не-Р є S.
Частковостверджувальні (І) засобами протиставлення предикату на перетворюються, бо “Деякі S є Р” не означає, що “Деякі S не є не-Р”.
Частковозаперечні судження (О) перетворюються в частнковозстверджувальні(І). Якщо вірно “Деякі S є Р”, то вірно і “Деякі не-Р є S”.
14. Правила логічного квадрату.
ПРОТИЛЕЖНІСТЬ

(КОНТРАРНІСТЬ)
П П
І І
Д Д
П П
О О
ПРОТИРІЧЧЯ (КОНТРАДИКТОР-НІСТЬ)
Р Р
Я Я
Д Д
К К
У У
В В
А А
Н Н
Н Н
Я Я
ЧАСТКОВА СУМІСНІСТЬ
(СУБКОНТРАРНІСТЬ)
Співвідношення обсягу категоричного судження:
А - Загальностверджувального: Всі S є Р.
Е - Загальнозаперечного: Всі S не є Р.
І - Частковостверджувального: Деякі S є Р.
О - Частковозареперечного: Деякі S не є Р.
21/22/23. Категоричний силогізм, його правила, модуси та фігури
Силогізм – це дедуктивний умовивід, в якому з категоричних суджень-посилок, зв’язаних загальним терміном-поняттям, виводиться третє судження – висновок (заключення).
Категоричний силогізм – це умовивід з двох категоричних (kategorikos – ясний, безумовний) суджень. Він складається з трьох категоричних суджень, два з яких є посилками, а третій – заключенням (висновком).
Береза (S) - дерево (Р)
Дерево(S) – рослина (Р)
Береза(S) – дерево (Р)
Складові категоричного силогізму називаються:
А. Меншим терміном називається поняття, яке у судженні (S є Р) висновку є Суб’єктом (S)
Б. Більшим терміном – поняття, яке у висновку є Предикатом (Р).
Кожний із меншого і більшого термінів висновку (ці терміни називаються крайніми) входять не лише у висновок, але також порізно в обидві посилки.
Правила термінів категоричного силогізму:
1. В кожному К.С. має бути три терміни: більший, менший і середній.
2. Середній термін повинен бути розподіленим (взятий повністю) хоча б в одній посилці. Для цього він логічно має бути або Суб’єктом в загальному судженні, або Предикатом заперечного судження.
3. Термін, що нерозподілений в посилках, не може біти розподіленим у висновку (заключенні).
Правила посилок категоричного силогізму:
1. З двох часткових посилок неможливо зробити висновок.
2. Якщо одна з посилок часткова (Деякі...), то і висновок буде частковим.
3. Якщо одна з посилок буде від’ємною (“Жоден..., ніхто...”; “... не є..., ...не-Р”, то і висновок буде від’ємним.
Модуси категоричного силогізму:
В посилках простого К.С. середній термін (М) може займати місце Суб’єкта чи Предиката. В залежності від цього існує чотири види, що їх називають модусами, силогізму:
В першій фігурі М виступає Суб’єктом в першій і Предикатом в другій.
В другій фігурі М – Предикат і в першій, і в другій посилках.
В третій фігурі М - Суб’єкт в обох посилках.
В четвертій фігурі М – Предикат в більшій і Суб'єкт в меншій посилках.
Графічно це зображується так:
1. М P 2. P M
S M S M
3. M P 4. P M

M S M S
Отже, фігури силогізму – це його різновиди, що різняться між собою положенням середнього терміну M. Оскільки посилки кожної фігури може мати 24(16) комбінацій видів суджень (A,E,I,O), то комбінацій в усіх 4-х фігурах буде 64. Одначе, не всі модуси відповідають загальним правилам термінів і правил посилок силогізму. Правильними буде лише 19 силогізмів, а саме:
1-ша фігура: AAA, EAE, AII, EIO: Більша посилка – загальне судження, менша – стверджувальне. 2-га фігура: EAE, AEE, EIO, AOO: Більша посилка – загальне судження, менша – заперечне.
3-тя фігура: AAI, IAI, AII, EAO, OAO, EIO: менша – стверджувальне, заключення – часткове судж.
4-та фігура: AAI, AEE, IAI, EAO, EIO: Тут заключення з посилок штучне для звичайного мислення і не має пізнавальної цінності. В звичайній логіці не розглядається, якщо розглядається, по правила 1-ої фігури силогізму.
29. Доведення і спростування.
Доведення – це логічна операція обґрунтування істинності якого-небудь судження за допомогою інших істинних та з’язаний з ним суджень. Другими словами, - це виведення одного знання з другого, істинність якого уже встановлена і перевірена практикою.
Логічна структура доведення. У всякому доведенні є теза, яка доводиться, аргумент, що використовуються на підтвердження тези і демонстрація, якими чином логічно будується процес доведення.
Роль аргументів в доведенні виконують: 1.Встановлені в науці узагальнення. 2. Очевидні положення, які безсумнівні і не потребують окремого доведення. 3. Достовірні факти і зібрані дані.
Демонстрація – це логічний зв’язок між аргументами і тезою. Обґрунтування тези може мати форму умовиводу дедуктивного, індуктивного чи аналогії.
Дедуктивне обґрунтування здебільшого зводиться до підведення часткового випадку (тези) під загальне правило і висловлюється у вигляді умовно-категоричного судження. При цьому теза одержує значення істини, що підтверджена достовірними аргументами.
Індуктивне обґрунтування підтверджує загальну тезу перерахуванням ряду фактів, прикладів. При цьому достовірність тези тут залежить від міри повноти перерахованих фактів та від всебічності розгляду самої тези.
В аналогічному обґрунтуванні теза доводиться посиланням на достовірні факти і положення в інших подібних явищах, предметах і подіях. Застосовується у витлумаченні конкретних історичних подій, в моделюванні.
Способи доведення є прямі і побічні (косвенные).
В прямому доведенні теза обґрунтовується безпосередньо, “на пряму”.
В побічному (косвенному) доведення істина доводиться з використанням протилежного тезі допущення (антитези).Це доведення використовується тоді коли тезу неможливо довести в прямому значенні, безпосередньо. Приклад алібі в суді: “Громадянин А. цього злочину особисто не вчинив, бо в час скоєння злочину читав лекцію студентам.” Є два види побічних доведень: апагогічне і розділове,
Апагогічне (від грецького слова “apаgoge” – відхилення, відвід) істинність тези “А” доводиться хибністю протилежної тези “не-А”. Якщо хибність “не-А” доведена, то, згідно закону виключення третього, істинним залишається “А”.
Розділове доведення послідовно відкидає не одне а ряд (всі) припущення щодо тези “не-А” Таким чином теза “А” істина, бо всі ознаки “не-А” виявилися хибними. “Все інше, що можна сказати проти висунутої тези виявляється хибним. Тезу спростувати не можна, отже вона – вірна”.
Спростування – це руйнування доведення шляхом виявлення хибності тези, хибності обґрунтування (аргументів) і хибності самої логіки доведення. Воно може бути прямим чи побічним.
Пряме спростування показує абсурдність тези (зведення до абсурду).
Побічне спростування доводить істинність тези, що несумісна з висунутою тезою опонента. Опонент висунув тезу “А”, а ми доводимо несумісну (контрарно чи контрадокторно) з цією тезою свою тезу “не-А”.
Про доведеннях і спростування, особливо в усній формі, велике значення має ерудиція опонентів, послідовність розгортання думки, красномовство, а також вміння подіяти на почуття художнім словом, ораторськими здібностями тощо. Навмисне логічне заплутування думки одержало назву софізму (пустого мудрствування), яке хоча і може справити враження, але немає ніякої ні формально-логічного, ні змістовного значення.
17. Модальні судження
До сих під ми розглядали прості судження, а також складні, які утворені з кількох простих. В них щось стверджувалося або заперечувалося про взаємини між предметами, а також про ознаки предметів.
Разом з цим у таких судженнях не встановлюється характер взаємодії між суб’єктом та предикатом (або між простими судженнями – у складних). Цей характер має назву модальності і відповідно визначається у так званих модальних судженнях. Утворимо їх: “Всі правознавці є знавцями законів”® “Безсумнівно, що правознавці є знавцями законів”; “Якщо буде погана погода, то ми не поїдемо на уїкенд”® “Імовірно, що якщо буде погана погода, то ми не поїдемо на уїкенд”.
Ми бачимо, що модальні судження не просто заперечують або стверджують щось – натомість вони дають оцінку стосунків між S i P з певної точки зору.
Тобто про предмет А можна сказати, що він має властивість В – це буде так зване асерторичне судження. Проте можна доповнити і уточнити, чи є цей зв’язок між А і В необхідним, чи випадковим, добре це чи погано, чи є доведеним цей зв’язок, чи ні. В результаті таких уточнень ми отримуємо модальні судження різних видів – завдяки так званим модальним операторам. Вони вивчаються у модальній логіці, у якій є такі розділи: епістемологія, деонтична логіка, логіка дії, логіка прийняття рішення, логіка прийняття рішення, логіка надання переваги та інші – у кожній з них існують свої модальності.
До кожної з груп модальностей входять три основних модальних поняття. Друге називається слабкою характеристикою, перше і третє – відповідно сильною позитивною і сильною негативною характеристиками. Іноді у якості доповнення вводиться четверте модальне поняття, яке може вживатися для означення об’єднання сильного позитивного та нейтрального.
Зазначимо, що логічні модальності вивчалися ще Аристотелем і середньовічними логіками. Детальне дослідження численних груп модальностей почалося у 50-ті роки ХХ ст., хоча перші згадки про них належать до пізньої античності і Середньовіччя.
24. Дискусія і полеміка.
Пізнання дійсності завжди відбувається в процесі зіткнення застарілих, звичних, невірних знань зі знаннями істинними, вірними, новими. Зіткнення різних точок зору, суджень, боротьба думок – природний і необхідних супутник людської діяльності, що направлена на вияснення істини, протягом всієї історії цивілізації. Ці зіткнення інколи набувають форми спору публічного чи приватного.
Спор – це словесне обговорення (змагання) проблем істини відносно того чи іншого предмету чи явища. В публічному вигляді він набуває форм диспуту, дискусії чи полеміки.
Диспут – публічне обговорення соціально і науково важливої проблемі з залученням кваліфікованих спеціалістів з теми. Таким чином відбувається, наприклад, захист наукових дисертацій. Пошукач наукового ступеню пропонує на обговорення свою працю, опоненти висловлюють свої думки з приводу написаного, автор дає відповіді на закиди, захищає своє бачення і так далі.
Дискусія – публічне обговорення проблеми з висловленням протилежних думок, їх аргументація і спростування. Розгляд питань, проблеми чи тез з різних точок зору має на меті, в решті решт, знайдення загальноприйнятого висновку чи оцінки. До позитивного завершення дискусії може привести лише змістовне знання її учасниками теми обговорення і додержання всіх законів (тотожності, заперечення, виключення третього та достатньої підстави) та правил (про поняття – їх співвідношення та операції з ними -, про судження – їх види і склад –, умовиводи та їх модуси) логічного мислення. Без володіння логічним мисленням, як і без фундаментального знання змісту теми обговорення, дискусія перетворюється в сумбурні і пусті балачки.
Полеміка (від грецького слова – polemikos – войовничий) – це протиборство опозиційних одна до одної сторін з метою спростувати твердження, тези, ідеї супротивної сторони і довести правоту своєї, протилежної, думки. Полеміка заздалегідь ставить собі на меті не знайти спільну думку зі своїм опонентом, як то ми можемо бути в дискусії, а довести безпідставність суджень опонента. Тут окрім слідування логікою та оперування ґрунтовними знаннями використовуються і спроба дискредитувати опонента моральними судженнями, чи безпідставними звинуваченнями в його необізнаності, чи використати софістику (судження, які лише зовні нагадують логіку, а насправді не мають з нею нічого спільного). Перемога в полеміці може дати якийсь тимчасовий ефект, але його достовірність – минуща.
Оратори, логіки, юристи, полемісти в диспутах, дискусіях і полеміках використовують різні методи і в своїх порадах рекомендують різні правила ведення спору зі своїми опонентами. Їх рекомендації одностайно пропонують знати закони і правила логіки, вміло використовувати їх при обговорення зі своїми опонентами тих чи інших проблем, за тих чи інших умов. Про все це всебічно, цікаво і на прикладах розказується у підручниках по ораторському мистецтву, про виступи юристів в час захисту чи звинувачення своїх клієнтів.
9. Поділ понять.
При вивченні поняття самого по собі потрібно розкрити його обсяг, тобто розподілити на групи складові елементи, які входять в це поняття. Логічна операція, що розкриває обсяг поняття називається діленням (поділом) поняття . Поділ понять – це не розчленування того предмета/явища, що виражається в понятті (це не розклад людини на члени його тіла: рука, голова, вуха.... або тони картоплі по мішках, бо в таких розчленуваннях не утримується ознака людини, не виявляється чогось нового в понятті картоплі), а виявлення в цьому понятті тих складових, менших за обсягом, понять, які входять до складу, (охоплюються) даного поняття.
Ознака (принцип), за яким поділяється поняття, називається основою поділу; поняття, яке ділиться, – діленим, а поняття, які ми одержуємо в наслідок, ділення – членами поділу.
Традиційно розрізняють два види поділу – поділ за видотвірною ознакою і дихотомію.
Поділ за видотвірною ознакою – поділ, з допомогою якого поділюване поняття мислено розбивають на види з урахуванням специфіки прояву певної ознаки в різних групах елементів цього обсягу.
Основою цього поділу є ознака, характерна для кожного предмета, який мислиться в цьому поділюваному терміні, але проявляється в ньому по-різному. Так, кожна людина має стать (цим люди подібні), проте різні люди мають різну стать. Ця відмінність і є об’єктивною основою для поділу обсягу поняття “людина” на “чоловік” і “жінка”.
На нашу думку, основою наведеного поділу може бути як одна ознака, так і дві й більше ознак. Не погодившись з цією істиною, довелося б визнати існування ще й третього виду поділу, основою якої є понад одна ознака.
Внаслідок поділу понять за видотвірною ознакою одержують різну кількість членів поділу – від двох (існують два пояси Землі – Південний і Північний) до нескінченності.
Дихотомічний поділ – поділ, членами якого є два суперечних поняття.
Основою цього поділу є наявність чи відсутність певної ознаки (ознак) у предметів, які мисляться в поділюваному понятті. Внаслідок такого поділу одержуються лише два члени поділу, які завжди є суперечними поняттями. Наприклад, предмети і явища можна поділити на красиві і некрасиві, спільноти людей – на нації і ненації. Графічна зображення дихотомії здійснюється дуже просто: круг, яким позначається обсяг поділюваного поняття, ділиться навпіл; одна половина цього круга зображує обсяг відповідного позитивного поняття, а друга - обсяг негативного (заперечного) поняття. Проста і сама “технічна” процедура здійснення дихотомічного поділу: обравши будь-яке поняття (не поділюване, а позитивний його різновид) і відповідне йому слово, додаємо до цього слова частку “не” – і поділ здійснено.
26. Полісилогізми
Силогізм як вид дедуктивного умовиводу вартий особливої уваги. Слід окремо зазначити, що існують сталі правила - аксіоми силогізму:
Все, що стверджується або заперечується про клас предметів в цілому стверджується або заперечується стосовно частини або окремого елементу цього класу;
У силогізми мають бути лише три терміни (суб’єкт, предикат і середній термін). Порушення цього правила призводить до логічної помилки, яка має назву “учетверіння термінів”.
Якщо одна з посилок негативна, то і висновок буде негативним. (Будь-який злочин – правопорушення. Моральний проступок – не правопорушення. Моральний проступок не є злочином).
З двох часткових посилок певного висновку зробити не можна. (Деякі депутати Верховної Ради – юристи. Деякі артисти - депутати Верховної Ради. Деякі артисти є юристами).
Якщо одна з посилок часткова і висновок буде частковим. (Деякі пенсіонери працюють. Всі працюючі отримують заробітню платню. Деякі з тих, хто отримує заробітню платню – пенсіонери).
Крім простого силогізму існує також складний силогізм (полісилогізм), який складають кілька простих силогізмів, які певним чином пов’язані між собою.
Наприклад:
Всі рослини – живі організми
Всі квіти – рослини полі-
Всі квіти – живі організми (висн.1) сило-
Троянда – квітка гізм
Троянда – живий організм (висн. 2)
Перший проміжний висновок може бути пропущений і тоді умовивід в цілому прийме такий вигляд: “Всі рослини – живі організми. Всі квіти – рослини. Троянда – квітка. Троянда – живий організм”.
Такий силогізм має назву “сорит” – він застосовується для простеження тривалої залежності між класами предметів.
Скорочений силогізм без однієї посилки має назву “ентимема”. У ентимемі може бути також відсутнім висновок. Така ентимема зокрема застосовується тоді, коли висновок людина робити не хоче в силу його очевидності, або небажаності.
Приклади:
Всі колекціонери – збирачі. Третьяков – збирач (відсутня друга посилка).
Всі співаки – люди. Ф. Кіркоров – співак (відсутнє заключення).
.