- •Міністерство внутрішніх справ україни одеський державний університет внутрішніх справ 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. Дедуктивне виведення наслідків. Виходячи із відомих особливостей гіпотези Н, а також враховуючи конкретні умови її проявів, будують дедуктивний висновок: якщо припустимо Н, то з урахуванням обставин Г повинні мати місце S1, S2,...Sn, що на схемі набуває вигляду:
(Г Н) ( S1, S2,...Sn)
Цінність логічної операції дедуктивного виведення наслідків визначається тим, що вона дозволяє раціонально, тобто послідовно, планово, ефективно будувати весь процес дослідження. Якщо первинне узагальнення не є достатньо систематичним і строгим, то після побудови гіпотези чи версії і дедуктивного виведення наслідків воно стає більш методичним і систематизованим, позаяк тепер його завданням є відшукання не будь-яких, а лише тих фактів, що випливають із припущення.
2. Зіставлення наслідків з фактами. Дана операція здійснюється з метою спростування чи підтвердження висунутої гіпотези.
1) Спростування гіпотези (версії) здійснюється шляхом відшукання фактів, що .суперечать виведеним з неї наслідкам. Якщо з версії Н виведено наслідки S1, S2,...Sn , а при зіставлені з фактами виявлені обставини а1 і а2, котрі суперечать таким наслідкам, як S1, S2 , то тим, самим спростовується і саме припущення. Міркування здійснюється у формі заперечного модусу умовно-категоричного силогізму:
Н S, S
Н
Гіпотеза вважається спростованою лише у випадку, коли її непереконливість достатньо обґрунтована. Це значить, що гіпотезу не можна вважати непереконливою лише на тій підставі, що наслідки, які з неї випливають, не підтверджуються виявленими фактами, обставинами справи. Може статися, що просто відповідні факти не вдалося виявити і зафіксувати. Тому для спростування гіпотези необхідні саме суперечні факти.
2) Підтвердження гіпотези (версії). Гіпотеза Н вважається підтвердженою, якщо виведені з неї наслідки збігаються з нововиявленими фактами. Чим більше таких збігів і чим різноманітніший, наслідки, тим імовірнішою є гіпотеза. Якщо імовірність вихідної гіпотези виразити значком (* ) –(Н*), то у разі підтвердження вона стає більш переконливою:
Н* S, S
Н**
Імовірнісний підхід до питання про підтвердження гіпотези через підтвердження наслідків, що з неї випливають, має важливе значення для науково-дослідницької та судово-слідчої практики, оскільки показує принципову тенденцію підвищення імовірнісного значення гіпотез.
NB. Разом з тим, якою б імовірною не була судова, слідча чи оперативна версія, вона не може стати підставою для прийняття правосудного рішення для звинувачення конкретних осіб у скоєнні тих чи інших злочинів. Правосудне рішення для звинувачення завжди повинно ґрунтуватися на достовірному знанні обставин справи, яка розглядається. Це означає, що кожна гіпотеза у судовому дослідженні повинна бути доведена, тобто повинна стати безперечним знанням, яке містить об'єктивну істину.
4. Способи, доведення гіпотези
В теоретичних та емпіричних дослідженнях використовуються різні способи доведення гіпотез. Проте головними є два способи перетворення гіпотез у демонстративне знання.
1. Безпосереднє виявлення шуканих фактів. Окремі гіпотези часто мають на меті з’ясування факту існування в певний час і в певному місці конкретних предметів і явищ або виявлення властивостей і ознак таких предметів. Тому досить ефективним і переконливим способом тут стає безпосереднє виявлення в передбачуваний час чи передбачуваному місці очікуваних предметів або безпосереднє сприйняття передбачуваних властивостей. Наприклад, при розслідуванні певних категорій кримінальних справ завданням слідства є виявлення набутих злочинним шляхом речей, цінностей інших коштів, котрі, як правило, переховуються чи реалізуються злочинцями. Тому виникають окремі версії про місцезнаходження таких речей та цінностей.
Версії, що доводяться через безпосереднє виявлення передбачуваної причини, завжди є окремими версіями. За їх допомогою встановлюються окремі обставини справи, сторони злочинної дії.
2. Логічне доведення гіпотез (версій). Гіпотези (версії), що поясняють істотні обставини досліджуваних явищ (розслідуваних справ), стають демонстративним знанням шляхом логічного доведення. Воно здійснюється опосередкованим шляхом, тому що пізнаються події,, що відбувалися в минулому, чи явища, що збігаються у часі дослідженням, але не доступні для безпосереднього сприйняття. Логічне доведення гіпотези залежно від способу обґрунтування може відбуватися у формі-непрямого та прямого доведення:
1) Непряме доведення здійснюється шляхом спростування і виключення усіх хибних версій, на підставі чого твердять про достовірність єдиного припущення, що залишається. Висновок має форму заперечно-стверджувального модусу розділово-категоричного умовиводу, який можна показати у вигляді такої схеми:
Н1 Н2 Н3 ; Н1 , Н2
Н3
Висновок у такому умовиводі вважається вірогідним, якщо, по-перше, у наявності вичерпний ряд версій, що пояснюють досліджуване явище, а, по-друге, у процесі перевірки спростовано усі хибні припущення. Версія, що вказує на єдину остаточну причину, уже буде виступати не як проблематичне, а як демонстративне знання. Цей метод ще називають методом виключення.
NB. Однак, слід зазначити практичну складність побудови вичерпного ряду версій, що пояснюють досліджувану подію. У разі явного браку вихідного матеріалу на початку дослідження досить важко точно і .визначено перерахувати усі реально можливі причини, котрі би пояснювали походження фактичних даних. Це зумовлює до необхідності висунення недостатньо визначених припущень. (Наприклад, припущення типу, що злочин міг бути скоєним або громадянином А., або Б., або В., або, можливо, якоюсь четвертою поки що невідомою особою).
Однак в судовому дослідженні не слід обмежуватися лише непрямим логічним доведенням, воно повинно йти спільно з прямим обґрунтуванням залишкової версії.
2) Пряме доведення гіпотези здійснюється шляхом виведення із припущення різноманітних, але таких, що випливають лише із даної гіпотези, наслідків і підтвердження їх нововиявленими фактами. За відсутності непрямого доведення простий збіг фактів з виведеними із версії наслідками не можна вважати достатнім її обґрунтуванням, оскільки факти, які збігаються, можуть бути викликані іншими причинами:
Н S, S
?Н
Вище ми уже неодноразово зазначали, що з погляду логіки перехід від ствердження наслідків до ствердження підстави не вважається демонстративним.
Версія по справі повинна бути підтверджена упорядкованою сукупністю фактів, яка, з одного боку, слугує необхідною і достатньою підставою для висновку про вірогідність єдиного припущення, а з іншого – виключає всяке інше пояснення обставин справи. Тому ми маємо такий зв'язок між підставою та наслідком, який можна виразити за допомогою еквіваленції:
Н S
Висновок від ствердження наслідку до ствердження підстави за наявності такого логічного зв’язку буде логічно законним. Якщо сукупність фактів Fа, Fb, … Fi збігається з наслідками Sa, Sb, … Si то у висновку з необхідністю стверджують про існування причини Н. Міркування набуває вигляду:
Н S, S
Н
При дотриманні цієї умови у судовому, дослідженні приходять до знання обставин злочину і його учасників, котре є вірогідним, єдино можливим і не викликає сумнівів щодо своєї істинності.
Питання для самоконтролю:
Що таке гіпотеза як форма розвитку знань?
Які є види гіпотез?
В чому особливість версії як гіпотетичного знання?
Що таке робоча версія?
Якою є структура гіпотези?
Як перевіряється гіпотеза?
Як підтверджується гіпотеза?
Чи можна вважати гіпотезу спростованою, якщо окремі наслідки, що логічно з неї випливають, не відповідають дійсності?
