
- •1. Пояснювальна записка
- •1. Логіка як наука. Поняття про мислення
- •2. Поняття
- •3. Висловлювання
- •4. Основні закони мислення
- •5. Міркування
- •7. Гіпотеза
- •8. Основи теоиї аргументації
- •Поняття мислення
- •1.2. Мислення і мова
- •1.3. Поняття форми мислення і закони мислення
- •1.4. Істинність і правильність мислення
- •1.5. Аналіз і критика мислення
- •1.6. Мова логіки
- •1. Логічні знаки.
- •2. Знаки кванторів:
- •3. Технічні знаки.
- •1.7. Міркування, його структура
- •1.8. Визначення логіки як науки.
- •1.9. Логіка в історії
- •1.10. Логіка формальна й діалектична
- •1.11. Значення логіки для судового пізнання
- •1.12. Значення логіки для юристів
- •2.1. Загальна характеристика поняття
- •2.2. Поняття і слово
- •2.3. Зміст і обсяг поняття
- •2.4. Зміст поняття і склад злочину
- •2.5. Логічна сутність кримінально-правової кваліфікації злочину
- •2.6. Види понять
- •2.7. Відношення між поняттями
- •1. Відношення тотожності
- •2. Відношення підпорядкування
- •3. Відношення перехрещення
- •4. Відношення супідрядності (співпорядкування)
- •5. Відношення суперечності (протиріччя)
- •6. Відношення протилежності (супротивності)
- •2.8. Логічна характеристика юридичних понять.
- •2.9. Операції над поняттями
- •2.10. Узагальнення і обмеження понять
- •3.1. Сутність визначення
- •3.2. Види визначень
- •3.3. Правила визначення і помилки, можливі при визначенні
- •3.4. Поділ понять
- •3.5. Правила поділу
- •1. Поділ має бути сумірним
- •2. Поділ має відбуватися па одній основі
- •3. Члени поділу мають виключати один одного
- •4. Поділ має бути безперервним
- •5. Основа поділу має бути виразною
- •3.6. Види поділу понять
- •3.7. Класифікація
- •4.1. Визначення логіки висловлювань
- •4.2. Загальна характеристика суджень
- •4.3. Структура судження
- •4.4. Судження і речення
- •4.5. Роль запитання в пізнанні
- •4.6. Про роль запитання в судовому пізнанні
- •4.7. Просте судження, види і структура
- •4.8. Категоричні судження, їх види
- •4.9. Розподіленість термінів у судженнях (висловлюваннях)
- •4.10. Логічні змінні та логічні постійні
- •4.11. Судження і пропозиційна функція
- •4.12. Поняття про квантори
- •4.13. Поділ суджень за модальністю
- •4.14. Відношення між судженнями. Види відношень (логічний квадрат)
- •4.15. Значення судження як форми мислення
- •5.1. Умовне судження
- •5.2. Єднальні (кон'юнктивні) судження
- •5.3. Розподільні (диз'юнктивні) судження
- •5.4.1. Поняття про таблицю істинності
- •5.4.2. Заперечення, його умови істинності
- •5.4.3. Кон'юнкція, її умови істинності
- •5.4.4. Диз'юнкція, умови істинності
- •5.4.5. Імплікація, її умови істинності
- •5.4.6. Еквіваленція, її умови істинності
- •5.4.7. Логічний закон, логічне протиріччя, виконувана формула
- •5.4.8. Логічні сполучники в правових контекстах
- •5.5. Логічна структура суджень і тлумачення норм права
- •6.1. Природні закони, нормативні закони, закони логіки
- •6.2. Загальна характеристика основних законів логіки
- •6.3. Закон тотожності
- •6.4. Закон суперечності
- •6.5. Закон виключеного третього
- •6.6. Закон достатньої підстави
- •6.7. Закон подвійного заперечення
- •6.8. Значення законів логіки для судового дослідження
- •6.9. Логічні тавтології
- •6.10. Можливі світи
- •7.1. Загальна характеристика умовиводів
- •7.2. Безпосередні умовиводи
- •1. Перетворення
- •2. Обернення
- •3. Обернення умовних суджень
- •4. Протиставлення предикату
- •8.1. Загальна характеристика дедуктивних умовиводів
- •8.2. Категоричний силогізм, його визначення і склад
- •8.3. Аксіома силогізму
- •8.4. Загальні правила категоричного силогізму
- •8.5. Фігури і модуси категоричного силогізму
- •8.6. Категоричні силогізми з виділяючими засновками
- •8.7. Категоричні силогізми, в яких більшим засновком є судження-визначення
- •8.8. Категоричні силогізми, побудовані із суджень можливості
- •8.9. Категоричні силогізми з імовірними засновками
- •8.10. Логічні помилки, які трапляються в категоричних силогізмах
- •9.1. Умовно-категоричний силогізм
- •9.2. Висновки із еквівалентних і одиничних умовних суджень
- •9.3. Суто умовний силогізм
- •9.4. Роль умовних умовиводів в аналізі й оцінці судових доказів
- •9.5. Розподільно-категоричний силогізм
- •9.6. Умовно-розподільний силогізм
- •9.8. Скорочені силогізми (ентимема)
- •9.9. Складні і складноскорочені силогізми
- •1 Оскільки висновком просилогізму тут є одиничне судження, то воно розглядається як менший засновок епісилогізму і відповідно ставиться на друге місце.
- •9.10. Умовиводи із суджень із відношеннями
- •1 Слово «принаймні» свідчить про те, що встановити розподілетсть суб'єкта висновку чисто формально-логічними засобами в цьому силогізмі неможливо.
- •10.1. Поняття про індукцію
- •10.2. Індукція в судовому пізнанні
- •10.3. Спостереження та експеримент
- •10.4. Повна індукція
- •10.5. Неповна індукція
- •10.6. Індукція через простий перелік (популярна індукція)
- •10.7. Індукція через простий перелік у судовому дослідженні
- •10.8. Індукція через відбір фактів, які виключають випадкові узагальнення
- •10.9. Наукова індукція
- •10.10. Методи встановлення причинних зв'язків між явищами
- •10.11. Зв'язок індукції і дедукції
- •11.1. Теоретичні і практичні міркування
- •11.2. Дія й практичне міркування. Поняття про логіку дії
- •11.3. Поняття про дію. Зовнішні і внутрішні аспекти дії
- •11.4. Структура дії
- •1. Агент дії.
- •2. Результат дії.
- •3. Контекст.
- •4. Інтенціональність.
- •11.5. Мовленнєва комунікація як різновид соціальної дії
- •11.6. Взаємодія і практичне міркування
- •11.7. Типи взаємодії. Поняття про логіку взаємодії
- •11.8. Поняття про соціальну дію
- •11.9. Загальна характеристика соціальних норм
- •11.10. Логіка санкцій.
- •11.11. Поняття про імператив. Запитання як різновид імперативів
- •11.11.1. Види запитань
- •1. Усі запитання за своєю формою поділяють на «чи запитання» і «що-запитання».
- •4. Усі запитання поділяють на логічно коректні й логічно некоректні.
- •1) Семантична некоректність запитання.
- •2) Синтаксична некоректність запитання.
- •11.11.2. Види відповідей
- •12.1. Поняття і структура умовиводів за аналогією
- •11.2. Аналогія в судовому пізнанні
- •13.1. Поняття доведення
- •13.2. Логічне доведення і судовий доказ
- •13.3. Поняття про суперечку. Види суперечок
- •13.4. Побудова доведення
- •13.5. Види доведення
- •13.6. Поділ доведень на прямі й непрямі у логіці та кримінальному процесі
- •13.7. Спростування (критика).
- •1. Спростування тези
- •2. Спростування аргументів
- •3. Спростування зв'язку тези з аргументом (форми).
- •13.8. Правила доведення і спростування: помилки, які трапляються в доведеннях
- •1. Правила й помилки стосовно тези
- •2. Правила і помилки стосовно аргументів
- •3. Правила і помилки в доведепні, пов'язаному з демонстрацією
- •13. 9. Софізми і паралогізми, парадокси, антиномії і абсурд
- •14.1. Поняття гіпотези і її структура
- •14.2. Види гіпотез
- •14.3. Доведення істинності гіпотези
- •14.4. Пізнавальна роль гіпотези
- •13.5. Версія в судовому дослідженні
- •13.6. Висування версій
- •13.7. Перевірка версій
1.4. Істинність і правильність мислення
Розрізняють істинність і правильність мислення. Ці поняття не тотожні, а тому їх не можна сплутувати. Поняття "істинність" відноситься до змісту думки, а поняття "правильність" — до форми думки, її будови.
За конкретним змістом думка може бути або істинною, або хибною.
Істинна думка — це така думка, котра відповідає тому, що є насправді. Істинна думка правильно, адекватно відтворює об'єктивну дійсність. Якщо ж думка не відповідає тому, що є в дійсності, викривлює її, то вона є хибною думкою.
За формою (структурою) мислення буває правильним або неправильним.
Розгляньмо такі три умовиводи:
Кожний злочин є суспільно небезпечним.
Привласнення знайденого цінного майна, яке належить державі, є злочином.
Отже, привласнення знайденого цінного майна, яке належить державі, є дією суспільно небезпечною.
2. Усякий договір купівлі-продажу пов'язаний з переходом права власності.
Заповіт не є договором купівлі-продажу.
Отже, заповіт не пов'язаний із переходом права власності.
Усякий договір є відплата.
Дарування — договір.
Отже, дарування є відплата.
У першому умовиводі вихідні судження істинні, правила дотримані, а тому й висновок "Привласнення знайденого цінного майна, яке належить державі, є дією суспільно небезпечною" є істинним.
У другому прикладі обидва похідні судження (засновки) також істинні, але тут порушене правило першої фігури категоричного силогізму: менший засновок має бути судженням стверджувальним, а у нас воно негативне ("Заповіт не є договором купівлі-продажу"). Тому й висновок ("Заповіт не пов'язаний із переходом права власності"), добутий із двох істинних суджень, виявився хибним.
Істинність і правильність мислення органічно пов'язані між собою. Формальна правильність мислення є необхідною, але недостатньою умовою пізнання дійсності. Щоб у процесі пізнання було досягнено істини, необхідно дотримуватися таких двох умов: 1. Вихідні судження (засновки), з яких будується судження, мають бути істинними. 2. Структура думок має бути правильною. Досить порушити одну з цих умов, і наслідок наших суджень не буде необхідно істинним.
1.5. Аналіз і критика мислення
Слово «логіка» багатозначне. Тому, перш ніж почати розмову про «логіку», потрібно уточнити, про що саме піде мова.
Нерідко говорять про логіку подій, про логіку характеру, логіці історії і так далі В цих випадках мається на увазі певний взаємозв'язок і взаємозалежність подій або вчинків, наявність в них загальній лінії. Така спадкоємність і визначення подальшого передуван-ням і є «логіка» в найширшому сенсі.
Слово «логіка» уживається також у зв'язку з процесами мислення. Так, ми говоримо про логіку мислення і логічне або нелогічне мислення, маючи на увазі такі його власти-вості, як послідовність, довідність і тому подібне «Логіка» виступає тут як певна характе-ристика людського мислення.
У третьому сенсі «логіка» є ім'ям особливої науки про мислення. Надалі це слово уживатиметься тільки в такому його значенні.
Але. і в сенсі науки про мислення слово «логіка» знову-таки до крайності багатозначно.
Перш за все «логікою» називають науку, у витоків якої стояв ще Арістотель і повне ім'я якої — формальна логіка. Про неї і піде перш за все мова.
В середині XVII століття французькі філософи, послідовники Р. Декарта, що ховалися в монастирі в Поррояле, опублікували книгу, що здобула популярність під ім'ям «Логіка Поррояля». Ця книга помітно відступила від круга проблем формальної логіки і поклала початок різним варіантам «розширеної» формальної логіки, що стали особливо популярними пізніше, в XIX столітті. У «Логике Поррояля» детально висловлювалася нова наука Р. Декарта про ідеї, вперше була включена в логіку методологія, в якій мова йде про загальних принципах і методах пізнання. Власне логічний зміст виявився в результаті зведеним до мінімуму.
Термін «формальна логіка» був введений тільки в XVIII столітті німецьким філософом І. Кантом. Цій логіці І. Кант протиставив абсолютно нове розуміння логіки — трансцендентальну логіку. Її завданням він вважав встановлення і обґрунтування категорій, тобто тих гранично загальних понять, подібних до «якості» і «величини», які застосовуються в кожному акті пізнання.
І. Кант не тільки доповнив формальну логіку, загалом високо ціновану їм, власною версією логіки, але і протиставив другу першою.
Ця кантівська традиція різкого зіставлення тільки що винайденої «неформальної» логіки логіці у дусі Арістотеля принесла згодом багато шкоди.
Всякий раз, коли пропонувалася нова концепція логіки, її автори і прихильники вважали чи не своїм боргом зіштовхнути її з формальною логікою. Їх не бентежило навіть те, що програвала в цій штучно нав'язаній суперечці їх власна теорія. Формальна логіка — одна з найстародавніших наук, предмет її дослідження однозначно визначений, її методи ясні. Знов пропоновані «неформальні», або «змістовні», логіки завжди є до крайності розпливчатими і туманними. Зіставлення їх формальній логіці з необхідністю виявляється не в їх користь, якщо навіть вони займаються тим, що не входить в її проблематику.
Трансцендентальна логіка Канта не мала, звичайно, ніяких точок зіткнення з формальною логікою. Зіставлення цих два «логік» було непорозумінням.
У минулому столітті німецьким філософом Г.-В.Ф. Гегелем була висунута принципово нова концепція логіки — діалектична логіка. Її головне завдання полягало в дослідженні розвитку людського пізнання, у встановленні і обґрунтуванні законів цього розвитку і тих категорій, які виражають у вигляді, що конденсує, діалектику пізнання. Діалектична логіка у формі особливої теорії людського мислення і пізнання існує всього біля ста п'ятдесяти років. Але за цей відносно короткий з погляду історії науки термін вона добилася великих успіхів.
Із запропонованих вже в нашому віку розумінь логіки можна згадати ті уявлення про її принципи і методи, які відстоюються прихильниками сучасної лінгвістичної філософії. Останні переконані, що стандартні методи формальної логіки застосовні тільки до штучних мов самої логіки і математики. Звичайна ж мова з його неясними правилами побудови виразів і додання ним значень випадає з сфери дії цих методів. Для нього потрібна особлива логіка. Її завдання — описувати всі тонкощі вживання в звичайному житті найбільш важливих понять, подібних «істинно», «існує», «знає», «вважає», «винен» і так далі.
Немає необхідності зупинятися тут на критиці такого розуміння логіки. Досить відзначити, що це один з чергових варіантів «неформальної» логіки.
Навіть з цього побіжного огляду видно, що існувало і продовжує існувати велике число різних концепцій логіки як науки. До них відносяться, крім вже згаданих, «логіка філософії», «логіка естетики», «логіка конкретного поняття» і багато інші теорії, що пропонувалися в недавній час і претендували на опис принципів людського мислення.
Ці теорії надзвичайно різнорідні. Багато хто з них знаходиться в конфлікті один з одним. Майже всі вони протиставляють себе формальній логіці, що є, на їх думку, недостатньою в якихось сенсах, такою, що вимагає доповнення, конкретизації і так далі.
Що загального у всіх цих, що так відрізняються друг від Друга, теорій? Що дозволяє кожній з них претендувати на ім'я «логіка»?
Коротко кажучи, об'єднує їх те, що кожна з них є аналізом і критикою мислення. Завдання будь-який з «логік» — дослідження процесів і процедур реального мислення з погляду збагнення ним істини і добра.
Кожна «логіка» починає з вивчення фактично вживаних способів міркування, але не зупиняється на цьому. Вона прагне відокремити прийоми, сприяючі ефективному пізнанню дійсності, від тих, які з більшою або меншою вірогідністю приводять до помилок і безвиході. «Логіка» повинна також систематизувати, розвинути і обгрунтувати правильні і ефективні способи міркування. Для цього необхідно привести їх в єдину систему, виявити їх взаємини, показати зв'язок теорії міркування з теорією і практикою пізнання.
Мислення — дуже складний і багатобічний об'єкт для дослідження. Не випадково його образно називають «вселеною усередині нас». Вивченням різних сторін мислення займаються багато наук: психологія, філософія, фізіологія вищої нервової діяльності, нейрофізіологія, кібернетика і ін.
Особливість підходу логіки до дослідження мислення в тому, що воно цікавить її з погляду свого змісту і тієї форми, в якій виступає цей зміст. Фізичні, хімічні і тому подібне процеси, що відбуваються в корі головного мозку в процесі мислення, залишаються при цьому абсолютно осторонь. Крім того, логіка цікавиться не просто змістом і формою мислення, узятими самі по собі, а в тому їх аспекті, який безпосередньо пов'язаний з пізнанням світу.
У цьому сенсі кожна з концепцій, що претендують на те, щоб називатися «логікою», є аналізом і критикою мислення.
Потрібно, звичайно, реалістично відокремлювати претензії і обіцянки від того, що є насправді.
Різних «логік» було запропоновано дуже багато, і немає упевненості в тому, що число їх не буде рости. Але тільки дві з них отримали статус науки. Це формальна логіка і діалектична логіка.
Решта всіх «логіків» позбавлена методологічної єдності. У них об'єднуються під загальною вивіскою зовсім різнорідні теми, відсутні ясні принципи і обґрунтовані методи дослідження, проблематика, що вивчається, істотним чином співпадає з тим, що традиційно відноситься до теорії пізнання і методології науки. Цікаві в окремих деталях, ці «логіки» позбавлені яких би то не було твердих підстав як цілісні теорії мислення.