- •Міністерство внутрішніх справ україни одеський державний університет внутрішніх справ 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. Яка з даних дилем є деструктивною ?
- •Предметний покажчик
- •Література
4. Складні судження. Зв’язки в складному судженні
Складні висловлювання являють собою поєднання простих за допомогою усталених логічних зв’язків. А саме:
Кон’юнкція (лат. conjunction – зв’зок) – з’єднувальний зв'язок між судженнями.
З’єднувальним (кон’юктивним) судженням називається таке судження, де суб'єктові необхідно притаманні усі перераховані предикати або усмі зазначеним суб'єктам притаманний спільний предикат. Кон’юнкція виражається за допомогою логічного сполучника “і”. Позначається символом – Ù. Структуру кон’юктивного судження записують
S є Р1 і Р2 , і ... Pn або S1 і S2, і ... Sn є P
У символічному запису:
A Ù B
Кон’юнкція означає, що предмету думки одночасно притаманні не одна, а кілька ознак чи властивостей. Так об’єктом розбою одночасно є не лише майно, але й життя і здоров'я потерпілого.
Кон’юктивне судження як судження складне є істинним лише у тому випадку, коли є істинними усі судження, що його складають, і хибним воно є тоді, коли є хибним хоч одне з вихідних суджень. (Див. таблицю).
-
A
B
A Ù B
і
і
і
х
і
х
і
х
х
х
х
х
Тут A і B прості вихідні судження, A Ù B – складне кон’юктивне судження.
В повсякденній комунікативній і правовій практиці кон’юкцію часто виражають не лише сполучником “і”, а й такими сполучниками, як “а”, “а також”, “та” або безсполучниковим граматичним зв’язком.
Диз’юнкція (лат. disjunctio – роз’єднання) – розділовий зв'язок.
Диз’юнктивні судження – складні судження, поєднані за допомогою логічних сполучників “або”, “чи”.
Диз'юнкція буває сувора (виключаюча) та несувора (невиключаюча).
Сувора диз’юнкція – судження, у якому сполучник “або” вживається лише в строго розділовому значенні. Символ – Ú . Напр., “Діяння може бути умисним або необережним”. Члени строгої диз'юнкції не можуть бути одночасно істинними. Якщо діяння скоєно умисно, то воно не може вважатися необережним, і навпаки.
Багаточленне судження строгої диз'юнкції буде істинним лише при істинності єдиної альтернативи і хибним при одночасній істинності чи хибності усіх або кількох альтернатив. (Див. таблицю).
-
A
B
A Ú B
і
і
х
х
і
і
і
х
і
х
х
х
Несувора (невиключаюча) диз'юнкція – судження, у якому зв'язка “або” вживається у з'єднувально-розділовому значенні. Символ – Ú. Напр., “Організатором злочину визнається особа, яка організувала скоєння злочину або керувала його скоєнням”. Тут суб’єктові судження може належати лише один з приписуваних предикатів, а можуть і усі одночасно, формула нестрогої диз'юнкції:
S є Р1 і/або Р2
Чи у символічному запису:
A Ú B
Нестрога диз'юнкція може бути істинною, якщо хоча б одне із суджень, що її формують, є істинним, а хибна вона лише за умови хибності усіх її членів. (Див. таблицю).
-
A
B
A Ú B
і
і
і
х
і
і
і
х
і
х
х
х
В правових контекстах диз’юнкція використовується для розкриття обсягу юридичних понять, опису різновидів правопорушень чи санкцій, визначення змісту конкретних складів злочинів та цивільних правопорушень. Якщо взяти для прикладу кримінальний кодекс, то та частина його статті, що виражає диспозицію є класичним прикладом невиключаючої диз’юнкції, тоді як частина, що виражає санкцію – приклад суворої диз’юнкції
Імплікація (лат. implicite – щільно пов’язую) – умовні судження.
Умовні судження складаються з двох простих суджень, що знаходяться у причинно-наслідкових, умовних відношеннях. Зв’язок між ними називають імплікацією. Судження, яке виражає умову, підставу, причину, називається антецедент (лат. antecedentus – попередній); судження, яке виражає дію, наслідок умови, підстави, називається консеквент (лат. consequens – наслідок висновок). Вони об’єднані за допомогою логічного сполучника “якщо..., то...”. Напр., “Якщо особа скоїла злочин, то вона притягується до кримінальної відповідальності”. Тут перше судження (антецедент) “особа скоїла злочин”, друге (консеквент) – “притягується до кримінальної відповідальності”. Логічний сполучник “якщо..., то” показує, що зміст антецедента є підставою виникнення, існування, зміни іншого явища, про яке йдеться у консеквенті. Структура імплікації має такий вигляд:
Якщо А, то В
Або у символічному запису:
A ® B
де A і B – судження, що виражають антецедент і консеквент, а “®” – знак імплікації.
Імплікація істинна в усіх випадках, окрім одного: при істинності антецедента й хибності консеквента вона завжди хибна. Так імплікація “Якщо N. займався крадіжками, то його дії можна визнати неумисними”, буде хибною, навіть якщо буде дійсно встановлено факти крадіжок щодо особи N.
При хибному антецеденті консеквент може бути істинним. Досить припустима ситуація, коли, скажімо, коли особа не скоїла злочинних дій, але з якихось інших причин притягується до кримінальної відповідальності. Так само напр. щодо судження “Якщо запобіжник розплавився, то лампа погасла” Запобіжник міг і не розплавитися, але лампа погасла з якихось інших причин.
-
A
B
A ® B
і
і
і
х
і
і
і
х
х
х
х
і
NB. При хибності антецедента і консеквента імплікація істинна, оскільки це не ставить під сумнів взаємообумовленість суджень. Справа в тому, що імплікація в класичній логіці, не обов’язково узгоджується зі звичними чи інтуїтивними уявленнями про логічні зв’язки. В логічній імплікації залишається поза увагою чи пов’язані антецедент і консеквент між собою за змістом, а виражаються лише відношення за істиннісними значеннями. Загалом, з хибного і повинно випливати хибне
В юридичних текстах у формі імплікативних суджень фіксуються не лише причинно-наслідкові та просторово-часові зв’язки, але й вольові приписи – дозвіл, зобов’язування чи заборона чинити певні дії за наявності тих чи інших умов. Прикладом імплікації може також слугувати зв’язок між диспозицією (антецедентом) та санкцією (консеквентом) у кримінальному кодексі.
Еквівалентні (лат. aecvalis – рівний, i valentis – такий, що має силу; рівносильний) судження (виділяюча імплікація).
Еквівалентними називають судження, до складу яких входять два судження, пов'язаних подвійною (прямою та зворотною) умовною залежністю. Еквівалентгість виражається логічним сполучником “якщо і лише якщо ...-, то ...”.
Якщо А і лише А то В і лише В
або
А В
Наприклад, “Якщо число парне, то воно ділиться на 2”. Можна змінити позиції антецедента і консеквента: “Якщо число ділиться на 2, то воно парне”. Тут є необхідна залежність: “Число є парним тоді і лише тоді, коли воно ділиться на 2”.
Умови істинності еквівалентних суджень
-
А
В
А В
і
і
і
х
і
х
і
х
х
х
х
і
У мові, в тому числі і в юридичних текстах, для вираження еквіваленції використовуються сполучники “лиш за умови що ...”, “у тому і лише тому випадку, коли..., ”, “лише тоді, коли...” тощо. Прикладом еквіваленції у правничій практиці можуть бути судження типу “Якщо (і лише якщо) доведено, що особа скоїла злочин, то її слід притягувати до кримінальної відповідальності”.
Комбінації складних суджень.
Розглянуті вище судження у комунікативному процесі можуть складатися у різні сполучення з різними комбінаціями логічних зв’язків. Так, наприклад, в кон’юктивному судженні кон’юнктами можуть виступати диз’юнктивні судження: (А Ú В) Ù (С Ú d). Візьмемо ст. 190 КК України «Шахрайство»: “Заволодіння чужим майном або придбання права на майно шляхом обману чи зловживання довірою (шахрайство) карається штрафом до п’ятдесяти неоподатковуваних мінімумів доходів громадян або виправними роботами на строк до двох років, або обмеженням волі на строк до трьох років”. Це судження можна розкласти на прості. Тоді отримаємо:
“заволодіння чужим майном шляхом обману” – А1
“заволодіння чужим майном шляхом зловживання довірою“ –А2
“придбання права на майно шляхом обману” – В1
“придбання права на майно шляхом зловживання довірою“ –В2
“карається штрафом до п’ятдесяти неоподатковуваних мінімумів доходів громадян” – С1
“карається виправними роботами на строк до двох років” –С2
“карається обмеженням волі на строк до трьох років” – С3
Об’єднавши ці судження за допомогою логічних зв’язок отримаємо:
(А1 Ú А2) Ú (В1 Ú В2) ® ( С1 Ú С2 Ú С3)
де судження, що складають диспозицію (антецедент), поєднані невиключаючою диз’юнкцією, а судження санкції (консеквента) – виключаючою диз’юнкцією.
NB. У статті кримінального кодексу не вживається граматична форма “Якщо..., то”, проте з тут безсумнівно формулюється умовний зв’язок – “Якщо особа здійснила ...., то...”.
Складне судження з комбінованими зв’язками може бути за як істинним так і хибним залежно від значень істинності/хибності змінних (простих суджень, що його складають), та умов істинності логічних зв’язок. Щодо цього, то сладні висловлювання поділяються на логічні закони; логічні суперечності та виконувані висловлювання. Це можна визначити склавши таблицю істинності.
1. Якщо висловлювання залишається завжди істинним незалежно від значень його змінних, то воно вважається логічним законом:
-
А
В
В А
А (В А)
і
і
і
і
х
і
х
і
і
х
і
і
х
х
х
і
Висловлення А (В А) є логічним законом
Якщо висловлювання не залежно від значень змінних може буде завжди хибним то воно виражає логічну суперечність:
-
А
В
В А
А (В А)
(А (В А))
і
і
і
і
х
х
і
х
і
х
і
х
і
і
х
х
х
х
і
х
Судження (А (В А)) є логічною суперечністю.
Якщо висловлення за одних значень змінних є істинним, а за інших хибним, то воно є виконуваним висловленням.
Напр., висловлення (a Ú b) Ù c
-
А
В
С
(А Ú В)
(А Ú В) Ù С
і
і
і
х
х
х
і
і
і
і
і
х
і
і
і
х
х
і
х
х
і
і
х
х
х
х
і
х
і
х
і
х
х
і
х
х
х
х
х
х
Як бачимо дане висловлювання буде істинним лише за значень хибності А або В, та істинності С, а у решті випадків воно хибне. Отже дане висловлювання є логічно виконуваним.
Оволодіння навичками логічного аналізу складних суджень з використанням символічної мови для з'ясування сенсу правових контекстів є ефективним засобом точного тлумачення норм права в судово-слідчій діяльності.
