- •Міністерство внутрішніх справ україни одеський державний університет внутрішніх справ 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. Силогізми з виділяючими судженнями.
Згадаємо, що у виділяючих судженнях по-особливому розподілені суб’єкт і предикат. Тому силогізми, засновками яких є виділяючі судження, не підпорядковуються деяким правилам, як загальним, так і особливим. Найбільш поширені випадки:
1. Висновок з двох часткових засновків:
Деякі лікарі (Р-)– кардіологи (М+).
Деякі вчені (S-)– кардіологи (М-).
Д
еякі
вчені (S-)–
лікарі (Р-).
У даному прикладі більший засновок виділяюче судження (“Деякі лікарі, і лише лікарі, є кардіологами”) з розподіленим предикатом – середнім терміном силогізму. А оскільки середній термін тут розподілений, то висновок випливає з необхідністю.
2 Висновок за першою фігурою, у якій більший засновок часткове судження:
Деяку філософи (М-) є прихильниками теорії природного права (Р-)
Деякі вчені (S-) – філософи (М+)
Деякі вчені (S-) є прихильниками теорії природного права (Р-)
3. Один з засновків часткове судження, а висновок – загальне судження:
Деякі юристи, і лише юристи (Р-), – адвокати (М+).
Усі учасники семінару (S+) – адвокати (М-).
Усі учасники семінару (S+) – юристи, (Р-)
Більший засновок тут частковостверджувальне виділяюче судження з розподіленим предикатом – середнім терміном силогізму.
4. Висновок за другою фігурою з двох стверджувальних засновків (див. приклад з п. 3).
5. Висновок за першою фігурою, у якій менший засновок не стверджувальне, а заперечне судження.
Лише особа, яка скоїла злочин (М+), підлягає кримінальній відповідальності та покаранню (Р+).
N. (S+) не скоїв злочину (М+).
N
.
(S)
не підлягає кримінальній відповідальності
та покаранню (Р+).
Висновок випливає з необхідністю, оскільки більший засновок – загальностверджувальне з розподіленим предикатом, більшим терміном, який також є розподіленим і у висновку і середній термін розподілений в обох засновках..
5. Скорочені й ускладнені силогізми.
В реальному мисленні (як науковому, так і повсякденному) силогізми не завжди використовуються у повній формі. Тут вступає в силу принцип економії мислення. Це означає, що ціла низка знань на певних етапах комунікації в межах певної пізнавальної галузі вважаються очевидними чи, в усякому разі, відомими учасникам комунікації. Тому наше мислення вдається до скорочених силогізмів.
Скорочений силогізм (ентимема). Якщо у силогізмі присутні усі його частини (висновки й засновок то він вважається повним. Але у мисленнєвій практиці використовуються силогізми, у яких один із засновків чи висновок явно не виражені, але маються на увазі. Такі силогізми називаються скороченими або ентимемами (від гр. in thymos – в умі). За способом творення відрізняють три види ентимем:
1. Ентимеми з випущеним більшим засновком: “N. – студент юридичного факультету, тому він повинен скласти іспит з логіки”. Тут випущено більший засновок “Усі студенти юридичного факультету повинні скласти іспит з логіки”, оскільки за певних комунікативних обставин він вважається загальновідомим.
2. Ентимема з випущеним меншим засновком: “Усі студенти юридичного факультету повинні скласти іспит з логіки, тому N. теж повинен скласти іспит з логіки”. Тут очевидним вважається менший засновок “N. – студент юридичного факультету”.
3. Ентимема з випущеним висновком: “N. – студент юридичного факультету, а усі студенти юридичного факультету повинні скласти іспит з логіки”. Тут висновок вважається інформативно надлишковим.
У вигляді ентимеми можуть виступати і силогізми із складними судженнями.
NB. Оскільки в ентимемі наявні не усі частини силогізму, то знайти помилку у такому умовиводі складніше, ніж у повному силогізмі. Тому для перевірки правильності міркування необхідно відновити ентимему до повної форми силогізму, відшукавши пропущену частину. Якщо виявиться, що якесь із правил силогізму порушено, то ентимема буде помилковою.
Складні і складноскорочені силогізми.
Полісилогізм (складний силогізм) – це поєднання двох або кількох простих силогізмів таким чином, що висновок попереднього (просилогізм) стає засновком наступного (епісилогізм). Схема полісилогізму:
Усі В
є А
Усі С є В просилогізм
Усі С
є А
Усі D
є С
епісилогізм
Усі D Є А
У прогресивних полісилогізмах висновок просилогізму є більшим засновком епісилогізму, при цьому міркування прямує від більш загального до менш загального:
Суспільно небезпечні дії (А) підлягають покаранню (В).
Злочин (С) – суспільно небезпечна дія (А).
Злочин (С) підлягає покаранню (В).
Крадіжка (D) – злочин (С).
К
радіжка
(D)
– підлягає покаранню (B).
У регресивних полісилогізмах висновок просилогізму стає меншим засновком епісилогізму, при цьому міркування прямує від менш загального до більш загального:
Злочини проти власності (А) – суспільно небезпечні дії (В).
Шахрайство (С) – злочин проти власності (А).
Ш
ахрайство
(С)
– суспільно небезпечна дія (В).
Суспільно небезпечні дії (В) – карні
(D),
Ш
ахрайство
(С)
– карне (D).
Полісилогізм частіше застосовується у скороченій формі. Якщо у полісилогізмі представлено лише останній висновок, що проводиться через ряд засновків, а деякі проміжкові засновки випущені і лише маються на увазі, то він називається соритом (гр. soros – купа). Загальна схема сориту
Усі А – В
Усі В – С
Усі С – D
Усі D – Е
У
сі
А – Е
Сорит, у якому випущено менші засновки називають аристотелівським соритом (соритом підведення). Хрестоматійний приклад аристотелівського сориту:
Буцефал є конем.
Кінь є чотириногим.
Чотириноге є тварина.
Тварина є субстанція.
Буцефал є субстанція.
У даному сориті поєднано три таких силогізми:
1) Кінь є чотириногим.
Буцефал є конем
Буцефал є
чотириноге
2) Чотириноге є тварина.
Буцефал є чотириноге
Буцефал є тварина
3) Тварина є субстанція.
Буцефал є тварина
Буцефал є субстанція.
Якщо при поєднані кількох силогізмів випускаються більші засновки, то ми маємо справу з гокленівським соритом (або соритом наведення):
Тварина є субстанція.
Чотириноге є тварина.
Кінь є чотириногим.
Буцефал є конем.
Буцефал є субстанція.
У розгорнутому вигляді цей сорит містить три силогізми:
1) Тварина є субстанція.
Чотириноге є тварина.
Чотириноге є субстанція
2) Чотириноге є субстанція
Кінь є чотириногим.
Кінь є субстанція.
3) Кінь є субстанція.
Буцефал є конем.
Буцефал є субстанція.
NB. Ось, наприклад як користувався соритом М.Ломоносов: «Що корпускули розрізняються масою і фігурою видно з того, що вони складні сутності,… а складні сутності усі мають протяжність…, усяке протяжне може збільшуватися чи зменшуватися, … а його фігура може змінюватися, …тому якщо одна корпускула збільшується, а інша зменшується, одна набуває такої фігури, а друга іншої, то тим самим вони розрізняються масою і фігурою».1
Якщо засновками полісилогізму є ентимеми, то він називається епіхейремою (гр. epiheirema – умовивід).
Заволодіння майном громадян шляхом обману є кримінально карним, оскільки кваліфікується як шахрайство.
Дії обвинуваченого с шахрайством, оскільки він заволодів майном гр-на К. шляхом обману.
Д
ії
обвинуваченого – кримінально карні.
Схема епіхейреми:
М є Р, оскільки воно є N
S є М, оскільки воно є О
S є Р
Тут перший засновок міг мати такий вигляд:
Кожне N є Р
Кожне М є N
К
ожне
М
є Р
Другий засновок можна побудувати таким чином:
Кожне О є М
Кожне S є О
К ожне S є М
NB. Епіхейрема часто застосовується як в комунікативних актах дискурсивного характеру, так і в інших видах розмірковування.. У формі епіхейреми складне міркування ще зберігає тип простого і тому у ній неважко виділити складники силогізму: більший і менший засновки, висновок
Розгортання сориту чи епіхейреми у полісилогіам дозволяє перевірити правильність міркування, уникнути логічних помилок, які можуть спочатку бути непомітними.
_______________________________________
1. Цит. по Кондаков Н.И. Логический словарь-справочник.– М., 1975.– С.562.
