- •Логіка для юристів та економістів (варіант 2): лекції. Буковинський університет
- •Тема 1. Логіка як наука: історія і сучасність. 1. Виникнення і генезис поняття логіки.
- •2. Логіка як наука: її предмет, метод, а також практичне значення її знань.
- •3. Історичні етапи розвитку логічного знання: логіка Давньої Індії, логіка Давньої Греції
- •4. Особливості загальної або традиційної (арістотелівської) логіки.
- •5. Особливості символічної або математичної логіки.
- •6. Теоретична і практична логіка.
- •Тема 2: мислення і мова 1. Мислення (міркування): визначення і особливості.
- •2. Діяльність і мислення
- •3. Структура мислення
- •4. Правильні та неправильні міркування. Поняття про логічну помилку
- •5. Логічна форма міркування
- •6. Види і типи мислення.
- •7. Особливості мислення юриста
- •8. Значення логіки для юристів
- •Тема 3: Семіотика як наука про знаки. Мова як знакова система. 1. Семіотика як наука про знаки
- •2. Поняття про знак. Види позамовних знаків
- •3. Мова як знакова система. Мовні знаки.
- •4. Структура знакового процесу. Структура значення знака. Типові логічні помилки
- •1. Предметне значення;
- •2. Смислове значення.
- •5. Виміри і рівні знакового процесу
- •6. Мова права
- •Розділ III. Методологічна функція формальної логіки 1. Метод і методологія.
- •1. Метод і методологія.
- •2. Логічні методи дослідження (пізнання).
- •3. Метод формалізації
- •2. Логічні методи дослідження (пізнання)
- •3. Метод формалізації
- •Основні форми і закони абстрактно-логічного мислення 1. Загальна характеристика поняття як форми мислення. Структура поняття
- •2. Види понять. Логічна характеристика понять
- •3. Типи відношень між поняттями
- •1. Відношення тотожності
- •2. Відношення підпорядкування
- •3. Відношення перетину
- •1. Відношення співпідпорядкування
- •4. Операції з поняттями 4.1. Обмеження й узагальнення понять
- •4.2. Операція поділу понять
- •4.3. Додавання, множення і віднімання понять (точніше — їх обсягів)
- •4.4 Операція визначення поняття
- •Основні форми і закони абстрактно-логічного мислення II. Висловлювання. 1. Загальна характеристика висловлювання
- •2. Істинність і хибність висловлювання.
- •3. Прості висловлювання, їх структура і види
- •4. Відношення між простими висловлюваннями.
- •5. Мова логіки висловлювань.
- •6. Складні висловлювання. Логічні сполучники і їхнє табличне визначення
- •. Висловлювання про 7відношення (реляційні висловлювання)
- •8. Логічний аналіз запитань і відповідей Визначення запитання. Структура запитання
- •Розділ 6. Дедуктивні міркування § 1. Поняття про дедуктивне міркування. Види дедуктивних міркувань
- •§ 2. Прямі дедуктивні міркування Суто умовні міркування.
- •1. «Modus ponens», або «стверджу вальний модус*.Схема 2.
- •2. «Modus tollens», або «заперечувальний модус».Схема 3.
- •2. «Modus ponendo tollens», або «заперєчувально-стверджувальний модус».
- •2. Складні конструктивні дилеми.
- •3. Прості деструктивні дилеми.
- •4. Складні деструктивні дилеми.
- •§ 3. Непрямі дедуктивні міркування
- •§ 4. Дедуктивні міркування в правовій діяльності
- •Розділ 7. Недедуктивні (правдоподібні) міркування § 1. Загальна характеристика правдоподібних міркувань. Види правдоподібних міркувань
- •§ 2. Індуктивні міркування Поняття про індуктивне міркування
- •§ 3. Міркування за аналогією
- •Розділ 8. Основи теорії аргументації 1. Поняття про аргументацію. Структура аргументації
- •§ 2. Аргументація і суперечка
- •§ 3. Види аргументації Доказова і недоказова аргументація
- •§ 4. Поняття про критику. Спростування як окремий випадок критики
- •§ 5. Види критики
- •1. Критика тези
- •3. Критика демонстрації
- •§ 6. Правила, помилки, хитрощі в аргументації/критиці
- •1. Теза повинна бути сформульована чітко й ясно.
- •2. Теза повинна залишатись незмінною протягом усієї аргументації або критики.
- •1. Аргументи повинні бути сформульовані ясно й чітко.
- •2. Аргументи повинні бути висловлюваннями, які повністю або частково обгрунтовані.
- •3. Обгрунтування аргументів повинне проводитися незалежно від тези.
- •4. Аргументи повинні бути достатніми для обгрунтування тези.
- •II. Спростування в суперечці
4. Особливості загальної або традиційної (арістотелівської) логіки.
Під терміном "загальна традиційна (арістотелівська) логіка" об'єднують: античну логіку, в становлення і розвиток якої зробили внесок Парменід, Зенон Єлейський, Сократ, Платон, Арістотель, Теофраст, Хрісипп та інші античні філософи; схоластичну логіку, в розвиток якої на підставі античної логіки зробили внесок М.Пселл, Р.Луллій, Р.Декарт та ін.1
Особливості загальної або традиційної логіки полягають в слідуючому:
а) досліджуючи форми і закони мислення, вона лише частково абстрагується від гносеологічного змісту думок, тобто зміст думок враховується при аналізі структури (побудови) мислення;
б) при зображенні структури думок використовується природна мова і частково штучна (формалізована) мова, тобто особлива система знаків і символів. Використання особливої штучної знакової системи для зображення структури мислення отримало назву "метод формалізації", сутність якого буде розглянута у розділі 3;
в) досліджуючи форми і закони мислення, загальна, традиційна логіка оперує поняттями "правильне мислення" і "неправильне мислення". Правильним у традиційній логіці називають мислення, яке підпорядковується законам логіки, відповідно, неправильним — мислення, яке порушує ці закони. На підставі логічних законів у традиційній логіці формулюються основні правила, яким має підкорятися людське мислення, щоб його результат, а саме людська думка, була логічною, тобто правильною. У цьому значенні традиційна логіка є нормативною наукою, оскільки вона вказує, як потрібно правильно мислити і які існують умови для досягнення істини у процесі пізнання;
г) загальна традиційна логіка є двозначною (бівалентною) логікою, оскільки вона оперує двома логічними категоріями "істина" і "хибність". При цьому вона абстрагується від тих конкретних умов, за якиходне і те ж висловлювання може бути істинним, а може бути хибним;
д) загальна традиційна логіка є логікою "готового" знання, якрезультату пізнавального процесу. Знання зображується в ній у певних логічних формах (поняттях, судженнях, умовиводах) і розглядається як результат абстрагуючої діяльності мислення людини. Аналіз цього знання здійснюється через природну мову, за допомогою якої люди висловлюють свої думки.
5. Особливості символічної або математичної логіки.
Під терміном "символічна (математична) логіка" об'єднують різноманітні логічні теорії (системи знання), які при дослідженні форм і законів мислення повністю абстрагуються від конкретного змісту думок; при зображенні структури мислення використовують особливу систему знаків і символів (штучну або формалізовану) мову; досліджують міркування, розсуди як необхідний перехід від одних висловлювань до інших (термін "логіка" у вузькому значенні) і при цьому правильність розсудів незалежна від змісту цих висловлювань; оперують категоріями "істинне значення висловлювання" і "хибне значення висловлювання", які не завжди мають гносеологічний зміст (аналіз цих категорій буде наведено в розділі V).
Вперше основи символічної логіки були розроблені ще німецьким філософом, логіком і математиком Г.В.Лейбніцем (1646-1716), а як самостійна наукова дисципліна вона стала формуватися з середини XIX ст. в результаті наукових досліджень таких видатних математиків і логіків як Дж. Буль, Г.Фреге, А. де Морган, Е.Шредер, Б.В. Рассел, А.Уайтхед, П.Порецкий та ін. Г.В.Лейбніц висунув ідею про можливість виразити логічну операцію доведення (обгрунтування істинності певного висловлювання за допомогою інших істинних висловлювань) у формі математичного числення, використовуючи особливу мову, яка б, на відміну від природної мови, могла більш точно і однозначно виражати форми мислення (поняття, висловлювання, умовиводи) і зв'язки між формами мислення.
Англійський логік і математик Дж.Буль (1815-1864) розробив історично першу систему математичної логіки, яка отримала назву "алгебра логіки", або "булева алгебра", в якій він застосував символіку алгебри до логічних досліджень форм і законів мислення.
Німецький логік, математик, філософ Г.Фреге (1848-1925) вперше побудував строге аксіоматичне числення висловлювань і предикатів та обгрунтував можливість логічної формалізації арифметики.
Таким чином, символічна (математична) логіка виникла на межі логіки і математики в результаті використання математичних методів в логічних дослідженнях (математизація, алгебраїзація логіки) і логічного методу формалізації в математиці ("логіцизм").
Класична символічна логіка включає в себе такі розділи (напрями) як логіка висловлювань і логіка предикатів. Логікою висловлювань або пропозиційною логікою називають розділ сучасної символічної логіки, який вивчає функціонально-істинностні взаємозв'язки між висловлюваннями та принципи і правила формалізації цих взаємозв'язків. Логікою предикатівабо кванторною логікою називають розділ сучасної символічної логіки, який вивчає суб'єктно-предикатну структуру висловлювань та обумовлені цією структурою функціонально-істинностні взаємозв'язки між висловлюваннями.
Особливістю класичної символічної логіки є те, що вона: а) при дослідженні структури форм мислення використовує особливу штучну (формалізовану) мову, яка отримала назву — "мова логіки висловлювань" та "мова логіки предикатів"; б) на підставі цієї мови формулює пропозиційні формули, які позначають логічні відношення між висловлюваннями"; в) формулює формули, які виражають логічні закони; г) будується за принципом двозначності, тобто приписує кожному висловлюванню одне з двох значень: "істинне значення" або "хибне значення". Саме тому класичну символічну логіку називають двозначною чи бівалентною (як і загальну традиційну логіку); д) являє собою дуже високий рівень абстрагування від природнього процесу мислення. Це призвело до того, що для визначення змістовного значення штучної символіки і побудованих за її допомогою формул стало необхідним їх роз'яснення, тлумачення або інтерпретація. В сучасній логіці під інтерпретацією (лат. - іпіегргеіаііо -тлумачення, пояснення) формально-логічної теорії (системи знання) розуміють встановлення певної відповідності між формалізованою мовою цієї теорії і певною предметною сферою, яка може бути зображена на цій мові.
Некласична символічна логіка включає в себе різноманітні логічні теорії ("багатозначна логіка", "модальна логіка", "паранесупе-речлива логіка", "інтуїціоністська логіка", теорія "логічного слідування", "індуктивно-ймовірністна логіка" та ін.). Перші некласичні логіки (логічні системи знання) з'явилися в першій половині ХХст. у результаті наукових досліджень таких логіків як Я.Лукасевич, Е.Пост, К.Льюїс, А.Гейтінг та ін.
Особливістю некласичної символічної логіки є те, що вона: а) використовує поняття, принципи і методи, які відрізняються від тих понять, принципів і методів, які використовуються в класичній логіці. (Такі логічні теорії, які в чомусь мають розбіжність із класичною логікою, ще називають девіантними.1); б) будує формально-логічні теорії на нових принципах (принцип багатозначності висловлювань, модальності, релевантності та ін.) і аксіомах; в) створює і використовує якісно нову формалізовану мову для виразу "нестандартних" взаємозв'язків між висловлюваннями; г) оперує п>2 істин-ностними значеннями висловлювань.