- •Міністерство внутрішніх справ україни одеський державний університет внутрішніх справ c. Мисик
- •Частина і.
- •2. Предмет і задачі логіки. Види логік.
- •3. Мова логіки (знаковий характер логіки). Логіка і мова.
- •4. Значення логіки в науці та юридичній практиці.
- •1. Поняття як форма мислення.
- •2. Зміст та обсяг понять як його основні характеристики. Узагальнення й обмеження обсягу понять.
- •3. Відношення між обсягами понять.
- •4. Види понять за обсягом і змістом.
- •5. Визначення понять (дефініція).
- •4. Визначення повинно бути чітким та ясним:
- •5. Поділ понять.
- •1. Загальна характеристика суджень, їх структура.
- •3. Відношення між судженнями.
- •4. Складні судження. Зв’язки в складному судженні
- •5. Судження та основні закони логіки.
- •1. Закон тотожності.
- •2. Закон несуперечності (суперечності, протиріччя).
- •4. Закон достатньої підстави.
- •1. Модальна логіка і модальність.
- •Усе необхідне є реальним.
- •5. Аксіологічна модальність (логіка оцінок).
- •6.Темпоральна модальність (логіка часу).
- •Розділ 5. Логіка запитань та відповідей Запитання як комунікативні форма. Види запитань. Правила постановки запитань. Види відповідей.
- •1. Запитання як комунікативні форма. Види запитань.
- •2. Правила постановки запитань.
- •3. Види відповідей.
- •13. Визначте одиничні та загальні поняття. Вкажіть які з них є реєструючими, а які нереєструючими; виділіть збірні поняття.
- •14. З’ясуйте, у якому сенсі – збірному чи розділовому – вживаються поняття.
- •15. Вкажіть конкретні та абстрактні поняття.
- •16. Дайте повну характеристику понять за обсягом та змістом.
- •17. Проаналізуйте визначення (правильне воно чи ні, якщо ні - то яке правило порушено).
- •18. Вкажіть у яких випадках здійснено поділ понять, а в яких —розчленування цілого на частини.
- •19. У чому полягає нелогічність таких оголошень?
- •4. Дайте об'єднану якісно-кількісну характеристику суджень, зобразіть відношення між термінами за допомогою кіл Ейлера, з’ясуйте розподіленість суб'єкта і предиката.
- •5. Вкажіть виділяючі та виключаючі судження, запишіть їхні схеми.
- •6. З’ясуйте вид складаного судження, визначте його складові частини (прості судження), подайте їх у символічному запису із зазначенням логічних зв’язок.
- •7. Виразіть у символічному запису такі комбіновані судження:
- •8. Які логічні можливі логічні зв’язки між судженнями якщ:
- •9. Визначте умови істинності таких висловлювань та підберіть до них мовні вирази:
- •10. З’ясуйте значення висловлювань:
- •17. Чи є тотожними такі поняття та судження?
- •18. Проаналізуйте (з погляду загальних логічних законів) такі свідчення по кримінальній справі.
- •19. Чи дотримано закон достатньої підстави в такому випадку.
- •20. Чи можуть бути одночасно хибними такі пари суджень?
- •21. Поясніть, у чому полягає невизначеність даних суджень.
- •1. З’ясуйте, якими (логічними чи фактичними) є алетичні модальності таких суджень:
- •2. Визначте алетичну модальність суджень (фактичну необхідність та випадковість, можливість - неможливість). Запишіть судження за допомогою модальних операторів.
- •3. Визначте епістемічну модальність суджень. Запишіть їх за допомогою операторів V, f і р.
- •4. З’ясуйте, чи відповідають дані формули законам атлетичної модальності.
- •5. Визначте деонтичну модальність суджень; запишіть їх за допомогою операторів o, f, p:
- •6. Формалізуйте наведені вислови у термінах темпоральної модальності.
- •Частина. Іі Логічні засади міркування Логіка вивідного знання
- •1. Умовивід як форма мислення.
- •2. Безпосередні дедуктивні умовиводи.
- •3. Простий категоричний силогізм
- •1. Правила термінів:
- •2. Правила засновків:
- •3. Особливі правила фігур.
- •4. Силогізми з виділяючими судженнями.
- •3. Один з засновків часткове судження, а висновок – загальне судження:
- •5. Скорочені й ускладнені силогізми.
- •6. Дедуктивні умовиводи із складних суджень
- •7. Умовиводи із суджень з відношеннями.
- •Розділ 2. Імовірнісні умовиводи Індукція та її види. Методи наукової індукції. Аналогія як форма імовірнісного умовиводу. Аналогія у правовому процесі.
- •1. Індукція та її види
- •3. Аналогія як форма імовірнісного умовиводу
- •4. Аналогія в сучасному пізнанні.
- •1. Змініть якість судження так, щоб висновок логічно випливав із даного (перетворення).
- •2. З’ясуйте правильність перетворень, помилкові висновки виправте.
- •3. Зробіть висновок за допомогою обернення із даних суджень.
- •4. Отримайте (де це можливо) висновки через протиставлення предикату, перевірте їхню правильність за допомогою перетворення та обернення.
- •5. Користуючись логічним квадратом, зробіть висновки, протилежні, суперечні та підпорядковані щодо даних.
- •6. Чи правильно зроблено такі висновки?
- •7. Здійсніть повний розбір простого категоричного силогізму: укажіть засновки й висновок, терміни. Зобразіть за допомогою ейлерових схем відношення між термінами. Визначте модус.
- •8. Здійсніть висновок із поданих засновків. Ґрунтуючись на загальних правилах силогізму, з’ясуйте, чи випливає висновок з необхідністю. Зобразіть відношення між термінами за допомогою кіл Ейлера.
- •9. Визначте властивості відношень та зробіть на їхній підставі висновок і визначте його схему. Чи усі висновки є обгрунтованими?
- •10. Відновіть дані ентимеми до повного категоричного силогізму. Вкажіть, чи є вони правильними.
- •11. Розгорніть сорит до повного полісилогізму.
- •12. Відновіть епіхейрему.
- •13. Зробіть висновок з даних засновків, визначте модус, побудуйте його схему. Там де висновок з необхідністю не випливає, поясніть, чому.
- •15. Зробіть висновки за одним із модусів (modus ponendo tollens та modus tollendo ponens) розділово-категоричного умовиводів.
- •16. Визначте тип дилеми, зробіть висновок, побудуйте його схему.
- •19. Складіть міркування у формі дилеми; у разі відсутності розділового засновку сформулюйте його; представте схему висновку.
- •1. Побудуйте умовиводи за повною та неповною індукцією, визначте переконливість узагальнення. Представте схеми умовиводів.
- •2. Зробіть висновки з даних засновків. Визначте метод наукової індукції (установіть причинно-наслідкові зв’язки):
- •3. Визначте типи аналогії.
- •4. Якій із наведених аналогій притаманний більший ступінь переконливості?
- •Частина ііі. Аргументація та гіпотетичне знання,
- •Доведення і спростування. Структура доведення. Способи доведення. Спростування і його способи. Правила і помилки щодо доведення і спростування. Парадокси і софізми. Змагальний діалог (суперечка).
- •1. Доведення і спростування
- •2. Логічна структура доведення
- •3. Способи доведення.
- •4. Спростування і його способи
- •5. Правила і помилки щодо доведення й спростування
- •1. Правила й помилки щодо тези.
- •2. Логічні правила і помилки щодо аргументів.
- •3. Логічні правила й помилки щодо демонстрації.
- •6. Парадокси і софізми
- •7. Змагальний діалог (суперечка).
- •Розділ 2. Гіпотетичне знання (гіпотеза, версія) Поняття і види гіпотези. Версія. Побудова гіпотези (версії). Перевірка гіпотези. Способи доведення гіпотези.
- •2. Побудова гіпотези (версії).
- •3. Перевірка гіпотези.
- •Розділ 3. Елементи числення висловлювань. Формалізація доказового виведення. Правила виведення у класичній логіці висловлювань. Кон’юктивна нормальна форма та побудова аргументативних міркувань
- •Правила (закони) виведення у класичній логіці висловлювань.
- •2. Кон’юктивна нормальна форма та побудова аргументативних міркувань
- •1. Питання для самоконтролю.
- •5. Знайдіть тезу, аргументи, зазначте спосіб доведення.
- •6. Побудуйте пряме або непряме доведення для кожного з наведених тверджень:
- •10. Визначте структуру та вид критики (пряма чи непряма). Запишіть її схему.
- •9. Проаналізуйте кожне міркування і з'ясуєте, чи є воно аргументацією або спростуванням. Якщо є, то встановить його склад і вид, перевірте дотримання правил аргументації і спростування.
- •10. Проаналізуйте доведення і знайдіть помилки в них:
- •11. Проаналізуйте спростування і визначите, що спростовується і чому спростовується:
- •12. Які некоректні хитрощі застосовуються в наведених текстах:
- •13. Проаналізуйте наведені софізми. З'ясуйте помилки:
- •14. Проаналізуйте наведені парадокси, дослідіть різноманітні варіанти їх вирішення, якщо вони існують.
- •1) Парадокс «Брехун»
- •2) Парадокс «Цирульник»
- •3) Парадокс «Протагор і Еватл»
- •4) Парадокс «Крокодил і мати»
- •5) Парадокс повішеного — 1
- •6) Парадокс повішеного — 2
- •2. Визначите, які гіпотези висувалися в процесі аналізу наступної події.
- •3. Проаналізуйте два уривки з оповідань а.Конан Дойля «п'ять зерняток апельсина» і «Людина з розсіченою губою». Назвіть вид гіпотези, про яку в них йдеться.
- •4. До якого виду відносяться гіпотези, що висувалися з приводу картини Рафаеля (1483-1520) «Портрет жінки під покривалом (Донна Велата)», написаний біля 1515- 1516 р.?
- •5. Проаналізуйте наступні тексти і з'ясуєте, чи ставляться в них проблеми Якщо ставляться, то які: розвинені або нерозвинені?
- •6. Наведіть гіпотези про походження держави та права.
- •7. Проаналізуйте тексти і з'ясуєте, чи викладаються в них гіпотези або лише здогадки
- •8. Чи усі можливі версії враховані в наведених нижче прикладах?
- •9. Додавання яких фактів підвищить імовірність такої гіпотези?
- •10. Чи є теоріями біхевіоризм і гештальт-теорія
- •1. Формалізуйте розв’язок задачі.
- •6. Яке із зазначених понять є збірним:
- •13. У якому із суджень суб’єкт і предикат не розподілені:
- •20. Яке із даних суджень не підлягає оберненню ?
- •21. У якому випадку не можна здійснити протиставлення предикату ?
- •24. У якому з силогізмів висновок здійснено за IV фігурою
- •25. Який із зазначених у п. 22силогізмів відповідає модусу Camestres ?
- •28. Вкажіть в якому випадку порушено modus ponens умовно-категоричного умовиводу
- •29. Який із умовиводів має форму modus tollendo ponens ?
- •30. Яка з даних дилем є деструктивною ?
- •Предметний покажчик
- •Література
3. Способи доведення.
За способом обґрунтування тези розрізняють два види доведення: пряме і непряме:
1. Прямим називається доведення, при якому не вдаються до використання суперечних тезі припущень. Пряме доведення ґрунтується на певній безсумнівній підставі, з якої безпосередньо виводиться істинність тези. Тобто доведення прямує від істинності аргументів до істинності тези. Пряме доведення може мати форму дедуктивних, індуктивних умовиводів або за аналогією. .
1) При формі дедуктивного умовиводу пряме доведення може мати, наприклад такий вигляд:
а) Теза: Мідь електропровідна
Аргументація:
Загальний аргумент: “Усі метали електропровідні”.
Міркування: “Якщо усі метали електропровідні а мідь – метал, то, отже, мідь є електропровідною”
б) Теза: “Постріл в N. здійснено з близької відстані”.
Аргументація:
Загальний аргумент “Якщо навкруги вогнепальної рани виявлено частинки пороху (А), то постріл зроблено з близької відстані (Т)”.
Твердження про факт: “Навкруги вогнепальної рани на тілі N. виявлені частинки пороху (А)”..
Логічна схема показує, що демонстрація здійснюється у формі умовно-категоричного умовиводу:
А Т, А
Т
Особливість дедуктивного обґрунтування полягає у тому, що при істинності аргументів-засновків і дотриманні правил висновку, воно дає вірогідні результати,
2) Індуктивне, обґрунтування – це логічний перехід від аргументів, у яких подано інформацію про окремі випадки певного роду, до тези, яка узагальнює ці випадки. Наприклад:
Теза: “Для всіх злочинів проти основ національної безпеки України Кримінальним кодексом України і передбачено позбавлення волі”.
Аргументи: (1) “Злочини проти основ національної безпеки України
передбачені у шести статтях Кримінального кодексу України: дії, спрямовані на насильницьку зміну чи повалення конституційного ладу або на захоплення державної влади, посягання на територіальну цілісність і недоторканність України, державна зрада, шпигунство тощо”.
(2) “Для кожного із шести злочинів передбачене позбавлення волі”.
Міркування: “Оскільки розділ 1 КК України «Злочини проти основ національної безпеки України» вичерпується зазначеними шістьма злочинами, то за них усіх передбачене покарання у вигляді позбавлення волі”.
У даному випадку перед нами повна індукція, тому теза як висновок із істинних засновків випливає з необхідністю. Якщо ж обґрунтування здійснюється у формі неповної індукції, то доказовість тези залишається більш чи менш проблематичною.
Подібна форма доведення застосовується усіх науках, коли теза є загальним судженням.
NB. Сутність індуктивного доведення полягає в тому, що воно спрямоване те, щоб співрозмовник погодився, що кожен окремий предмет, який входить до певного класу предметів, відображений у загальному судженні, має ознаку, у цьому загальному судженні зафіксовану. Коли згоду на це отримано, тоді з необхідністю випливає істинність тези: якщо кожен предмет окремо має цю ознаку, то, звичайно, що усі предмети даного класу мають цю ознаку.
Демонстрація у формі аналогії – це пряме обґрунтування тези, у якому формулюється твердження про одиничне явище (наприклад, у багатьох видах судових експертиз). При такому доведенні обґрунтовується подібність двох предметів за якоюсь ознакою на підставі того, що ці предмети схожі в інших ознаках. Наприклад:
Теза: “Даний злочин міг скоїти N”.
Аргументи: (1) “Даний злочин має ознаки (обставини злочинної дії) xyz”.
(2) “Відомі подібні злочини з ознаками xyz які ще мали ознаку n – їх скоїв конкретний N.”
Міркування: “Якщо дана злочина дія повністю збігається в своїх обставинах з уже відомими злочинами, про котрі доведено, що їх скоїв N., то можна з великою долею вірогіднеості припускати, що і цей злочин скоїв N”.
NB. Слід завжди мати на увазі що доведення за аналогією дає лише імовірне знання. Аналогія тільки наводить на здогадки щодо ще не вивчених ознак предметів. Однак у кримінальній практиці результати багатьох експертиз, що ґрунтуються на аналогії (дактилоскопія, почеркознавство, ДНК-тест та ін.) вважаються цілком демонстративними, оскільки їхня доказова сила повсякчас підтверджується на практиці.
2. Непрямим називають доведення, в якому істинність тези здійснюється шляхом обґрунтування хибності суперечного тезі припущення (антитези). Застосовують його у випадках, коли бракує аргументів для прямого доведення. Залежно від структури антитези виділяють два види непрямих доведень: апагогічні (доведення від противного) і розділові (методом виключення).
1). Апагогічним (гр.apagoge – виведення; apagogos – той, що відводить) називають непряме обґрунтування тези через встановлення хибності суперечного їй припущення. Аргументація тут здійснюється у декілька етапів:
а) При наявності тези Т висувають суперечне їй положення – антитезу ~Т, яке умовно визнають за істинне і виводять наслідки – С, які з нього логічно випливають. На схемі це позначається так:
Т ׀– С
б) Логічно виведені із антитези наслідки зіставляємо з фактами, тобто з положеннями, істинність яких установлена – F, і у разі несумісності Виведених наслідків з цими фактами перевага надається істинним положенням, а виведені із припущення наслідки вважаються хибними, Істинними положеннями можуть виступати достовірно виявлені факти, наукові дані, аксіоматичні очевидності. Схема міркування має вигляд розділово-категоричного умовиводу:
С F, F
С
в) Із хибності наслідків логічно роблять висновок про хибність припущення Т. Міркування здійснюється у формі заперечного модусу умовно-категоричного умовиводу:
~Т С, С
Т
г) Нарешті, із хибності припущення Т роблять висновок про істинність тези Т (на підставі закону виключеного третього). За заперечно стверджувальним модусом розділово-категоричного умовиводу:
Т Т, Т
Т
Тут також має місце закон подвійного заперечення – Т = Т
Припустимо, що нам потрібно апагогічним способом довести тезу про “неумисність вбивства”, тоді антитезою буде твердження – “вбивство скоєно умисно”. З даної антитези виводяться наслідки, які б свідчили про очевидні мотиви, підготовку до злочину, погрози тощо. Проте наявні факти свідчать, що мотивів не було, підготовки не було погроз та іншого не було. Таким чином, суперечна теза вважається спростованою.
NB. Апагогічне непряме доведення застосовується лише у випадках, коли теза і антитеза знаходяться у відношеннях суперечності (третього не дано), у разі несумісності, включаючи і протилежність, апагогічне обґрунтування стає непереконливим.
2). Розділовим називають непряме обґрунтування тези, яка виступає членом диз’юнкції, шляхом встановлення хибності й виключення усіх інших альтернативних членів диз’юнктивного ряду. На відміну від апагогічного, у розділовому непрямому доведенні присутні не лише, два (Т і Т), а кілька положень – Т1 , Т2 , Т3 кожне з яких претендує на роль тези і повністю чи частково виключає усі інші. Обґрунтування тут здійснюється методом виключення. У ході аргументації показують непереконливість усіх членів диз’юнкції, окрім одного. Так непрямо обґрунтовують істинність остаточної тези. Міркування здійснюється у формі заперечно-стверджувального модусу розділово-категоричного умовиводу:
Т1 Т2 Т3, Т2, Т3
Т1
Розділова аргументація часто застосовується у правовій практиці при перевірці версії, при з’ясуванні причин якоїсь події, при виборі конкуруючих статей у процесі кваліфікації якогось злочину тощо. Так, наприклад, по справі щодо причетності до крадіжок на складі підозрюються A, B, C, D. У ході розслідування З’ясувалось що B, C, D не могли їх вчинити через різні обставини. Таким чином робиться висновок про причетність до крадіжок А.
Розділове обґрунтування є переконливим лише у випадку, коли диз’юнктивне судження є повним (закритим). Якщо ж розглянуто не усі варіанти рішення, то метод виключення не забезпечує переконливості тези, а дає лише проблематичний висновок.
