- •Міністерство внутрішніх справ україни одеський державний університет внутрішніх справ 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. Яка з даних дилем є деструктивною ?
- •Предметний покажчик
- •Література
5. Визначення понять (дефініція).
Визначення поняття (дефініція, від лат. definitio) – це логічна дія, за допомогою якої розкривається зміст поняття. Розкрити зміст – це вказати ті ознаки предметів і явиш дійсності, які мисляться у цьому понятті. Так при визначенні поняття “кримінальне покарання” його зміст розкривають такі ознаки: ‘захід примусу’, ‘застосовуваний іменем держави’, ‘за вироком суду’, ‘до особи винної у вчиненні злочину’, ‘передбачене законом обмеження прав і свобод засудженого’ (ст..50 КК України).
Будь-яке визначення складається з двох частин: 1) визначуване поняття (поняття зміст якого необхідно розкрити) або дефінієндум (лат. definiendum) – dfd; 2) поняття за допомогою яких розкривається зміст визначуваного (ті що відображають його істотні ознаки) або дефінієнс (лат.definiens) – dfn.
Наприклад:
Шахрайство (dfd;) – злочин, що полягає в заволодінні чужим майном або правом на нього, а також в отриманні інших благ шляхом обману, зловживання довірою тощо (dfn).
Інтуїція (dfd) – здатність безпосереднього досягнення істини: без обґрунтування за допомогою доведення, без попереднього логічного міркування, що базується на попередньому досвіді (dfn).
Види визначень.
Номінальне визначення (лат. definitio nominalis)– пояснення значення слова, імені чи терміна, що позначає дане поняття. Номінальне визначення часто застосовується при необхідності розкрити значення нового або маловживаного терміна, або якщо термін (слово) вживається в новому значені чи контексті, відмінному від уже усталеного вживання. Номінативні визначення, ще тлумачать як згоду щодо вживання термінів. Наприклад: “Правовою називається держава, у і якій наявне верховенство закону”.
Реальне визначення ( лат. definition realis) – визначення поняття, в якому відображено істотні ознаки предмета, явищ, яке має на меті відрізнити визначуваний предмет від інших предметів. Завдання реального визначення полягає в тому, щоб «надати терміну певного сенсу, о отжде забезпечити і більшу надійність і чіткість у його вживаннях». 1
Розрізняють також явні та неявні визначення. До явних визначень належать такі, що містять дефінієндумм і дефінієнс. В явних визначення встановлюються істотні ознаки предмета.
Неявні визначення dfd і dfn не перебувають у відношеннях рівноосяжності. В неявних визначеннях описуються певні відношення між якимось предметами у якомусь контексті. Серед неявних виділяють такі:
1) аксіоматичне – визначення, що здійснюється через сукупність аксіом, які надають сенсу певному поняттю. Подібні визначення зустрічаються з, наприклад, в математиці;
2) визначення через відношення до протилежного – характеризується тим, що визначуване поняття співвідноситься з протилежним поняттям. Подібний тип визначень часто зустрічається в філософії. Напр., “випадковість є формою прояву та доповнення необхідності”; “Причина – це явище, яке за певних умов обов’язково викликає інше явище що називається наслідком”.
3) контекстуальне визначення – в ньому визначається смисл контексту до якого входить якесь поняття, Так, зустрічаючи уперше якийсь термін (незнайоме слово, чи вираз) ми у змозі зрозуміти його значення через контекст.
Головними прийомами визначення понять є: 1) визначення через найближчий рід та видову відмінність 2) генетичне визначення. Визначення через найближчий рід та видову відмінність здійснюється шляхом вказівки на найближчий рід та видові відмінності того предмета який підлягає визначенню. (приклади подібних визначень наведені вище).
Генетичне визначення вказує на походження предмета, на той спосіб, завдяки якому створюється даний об'єкт. Генетичне визначення понять має широке застосування в різних галузях науки для встановлення істотних характеристик предметів та процесів, з'ясування їхніх якісних відмінностей. Таке визначення застосовується при утворенні багатьох математичних понять, напр., “куля – це тіло, що утворюється при обертанні півкруга навколо діаметра”.
1 Войшввилло Е.К. Цит. роб., – С. 215
Практика міркування свідчить про те, що у визначеннях інколи припускаються помилок. Цьому запобігає знання правил визначення:
Визначення повинно бути розмірним (пропорційним), тобто визначуваване (дефінієндум) і визначаюче (дефінієнс) повинні бути рівнозначними (співпадати повністю за обсягом) – dfd = dfn. При порушенні цього правила можливі такі помилки:
а) надто широке визначення – має місце тоді, коли обсяг визначуваного поняття менший за обсяг визначальної частини – dfd< dfn. Напр., “ Шахрайство (dfd) злочин, що полягає в заволодінні чужим майном або правом на нього (dfn)”. Тут відсутні видові ознаки ‘обман’ та ‘зловживання довірою’ .’
dfn
dfd
в) надто вузьке визначення – обсяг визначуваної частини є більшим за обсяг визначальної – dfd> dfn. Напр., “Логіка( dfd) – наука про умовиводи (dfn) ”. У даному разі пропущені деяк істотні ознаки: логіка вивчає не лише умовиводи.
dfd
dfn
З попереднім правилом пов’язана і така вимога: родова ознака повинна вказувати на найближче вище, (родове) поняття, а не перескакувати через нього. Так у ст.. 185 КК України крадіжка позначається не через більш віддалене поняття злочин, а через найближчу родову ознаку ‘викрадення чужого майна’
3. Визначення не повинно робити кола. тобто зміст визначаючого поняття не повинен розкриватися через визначуване. Визначаюча частина сама може потребувати додаткового визначення, але для цього не можна залучати те поняття яке вона сама повинна визначити. Напр., “Логіка – це наука про правильне мислення”, а “Правильне мислення – це мислення, що відповідає законам логіки”.
Різновидом такої помилки є тавтологія. Суть її полягає у тім, що визначуване поняття визначається саме через себе (лат. idem per idem). Напр., “Правознавець – особа, що працює в галузі правознавства ”; “Можливість – це те що може бути, а може й не бути”.
