- •Передмова
- •1.3. Цілі та завдання
- •Конспект лекцій
- •Тема 1 Предмет і мова формальної логіки
- •1. Поняття логіки як науки, її стисла історія.
- •2.Пізнання, його різновиди і форми. 3.Логіка та мова.
- •1. Поняття логіки як науки, її стисла історія
- •Аристотель Стоїки Схоластика Лейбніц Діалектична логіка
- •2. Пізнання, його різновиди і форми.
- •3. Логіка та мова
- •Стислі висновки за лекцією
- •Питання для самоконтролю за темою 1:
- •Основна література для самостійної роботи за темою 1:
- •Тема 2 Поняття
- •Визначення поняття, його загальна характеристика
- •Об’єм та зміст поняття, види понять, взаємовідношення між ними
- •Різновиди понять за об’ємом і змістом
- •Взаємовідношення між обсягами понять
- •3. Операції з поняттями Обмеження та узагальнення обсягу понять
- •Визначення понять
- •Правила поділу понять
- •Прийоми, подібні до визначення
- •Стислі висновки за лекцією
- •Питання для самоконтролю за темою 2:
- •Основна література для самостійної роботи за темою 2:
- •Тема 3 судження
- •1. Судження як форма мислення, базові різновиди. 2.Просте судження (розподіл термінів, взаємовідношення між судженнями). 3. Складне судження, його різновиди. 4. Модальність суджень.
- •1. Судження як форма мислення
- •2. Просте судження (розподіл термінів).
- •Поділ простих суджень за кількістю і якістю
- •Розподіл термінів у простому судженні
- •Взаємовідношення між судженнями
- •3. Складне судження та його різновиди
- •4. Модальність суджень
- •Стислі висновки за лекцією
- •Питання для самоконтролю за темою 3:
- •Основна література для самостійної роботи за темою 3:
- •Тема 4 закони логіки
- •Поняття про закон мислення. 2. Основні закони (принципи) логіки:
- •1. Поняття про закон мислення
- •Будь-яка думка має бути тотожна сама собі
- •3. Ознаки (вимоги) вірного мислення:
- •Стислий висновок за лекцією
- •Питання для самоконтролю за темою 4:
- •Основна література для самостійної роботи за темою 4:
- •Тема 5 умовивід
- •1. Умовивід як форма мислення, загальні особливості і характеристики. 2. Дедуктивні умовиводи. 3. Індуктивні і традуктивні умовиводи.
- •1. Умовивід як форма мислення, загальні особливості і характеристики
- •2. Дедуктивні умовиводи
- •Умовні умовиводи
- •Розділові умовиводи
- •Умовно-розділові
- •3. Індуктивні і традуктивні умовиводи.
- •Стислий висновок за лекцією
- •Питання для самоконтролю за темою 5:
- •Основна література для самостійної роботи за темою 5:
- •Тема 6. Доведення і спростування
- •1. Доведення, його структура, різновиди і правила. 2. Спростування, його різновиди. 3. Суперечка і дискусія як різновиди аргументації. 4. Логічні пастки, способи їх подолання
- •1. Доведення, його структура, різновиди і правила.
- •Різновиди доказів
- •Правила доказу
- •2. Спростування, його різновиди.
- •3. Суперечка і дискусія як різновиди аргументації
- •4. Логічні пастки, способи їх подолання
- •Пастки у суперечці
- •Стислі висновки за лекцією:
- •Питання для самоконтролю за темою 6:
- •Основна література для самостійної роботи за темою 6:
- •Навчально-методичні матеріали Модульне планування дисципЛінИ
- •Плани семінарських занять
- •СемінарСьке заняття № 1
- •Тема 1. “Предмет і мова формальної логіки”
- •СемінарСьке заняття № 2, 3
- •Тема 2. “Поняття”
- •СемінарСьке заняття № 4, 5
- •Тема 3. “судження”
- •Подайте визначення судженню як формі мислення
- •СемінарСьке заняття № 6.
- •Тема 4. “закони логіки”
- •Яке мислення може вважатися закономірним?
- •СемінарСьке заняття № 7, 8
- •Тема 5. “умовивід”
- •СемінарСьке заняття № 9, 10
- •Тема 6. “доведення і спростування”
- •Організація самостійної роботи студента
- •Зразок оформлення титульного аркуша реферату
- •Реферат з курсу “Логіка”
- •Тести для модульного і підсумкового контролю
- •Тест 2. (Модульний контроль 2. Заліковий модуль 2.)
- •Підсумковий тест
- •Література для самопідготовки:
- •1. Навчальна:
- •2. Науково-популярна:
- •Питання до заліку з курСу «Логіка»
- •Стислий Словник логічних термінів
- •Стислий список логічних символів
- •Післямова
- •Список методичної літератури Основна:
- •Додаткова:
4. Модальність суджень
Досі ми розглядали прості і складні судження, в яких щось безапеляційно стверджувалося або заперечувалося про атрибути предметів або взаємовідношення між ними – вони називаються асерторичні. У них не встановлюється характер взаємодії між суб’єктом та предикатом (або між простими судженнями – у складних), не відбиваються часові, імовірнісні, ціннісні, інші нюанси.
Саме тому ПКС, як ми вказували раніше, є майже завжди неповністю істинним – почасти знайдеться полярне за значенням судження, яке піддавало б сумніву смак, політичний погляд, спортивний чи інший інтерес людини.
Існує особливий різновид суджень, у яких такі моменти відбиваються. Вони мають назву модальних (від латинського moda - стан).
Модальні судження не просто заперечують або стверджують щось – натомість вони дають оцінку стосунків між S i P з певної точки зору. Можна доповнити і уточнити ПКС, зо зв’язок між S і P є необхідним, чи випадковим, добре це чи погано, чи є доведеним зв’язок, чи ні.
В результаті таких уточнень ми отримуємо модальні судження різних видів – завдяки так званим група модальних операторів. Вони вивчаються у модальній логіці, у якій є такі розділи: епістемологія, деонтична логіка, логіка дії, логіка прийняття рішення, логіка надання переваги та інші – у кожній з них існують свої модальності. Нижче у таблиці подаються деякі найбільш вивчені їх різновиди.
Види модальностей (за О.Д.Гетьмановою)
Логічні Модальності |
Онтологічні модальності |
||||||||
Логічно необхідно |
Онтологічно необхідно |
||||||||
Логічно випадково |
Онтологічно випадково |
||||||||
Логічно неможливо |
Онтологічно неможливо |
||||||||
Логічно можливо |
Онтологічно можливо |
||||||||
Епістемічні модальності |
|||||||||
Знання |
Впевненість |
Абсолютні |
Порівняльні |
||||||
Верифіковано |
Впевненість |
Істинно |
Імовірніше |
||||||
Невиріфіковано |
Сумнів |
Не істинно |
Менш імовірніше |
||||||
Спростовано (фальсифіковано) |
Відкидання |
Не визначено |
Рівноімовірно |
||||||
Припущення |
|
||||||||
Деонтичні модальності (нормативні) |
Аксіологічні модальності (оціночні) |
Темпоральні модальності (часові) |
|||||||
Абсолютні |
порівняльні |
Абсолютні |
порівняльні |
||||||
Обов’язково |
Добре |
Краще |
Завжди |
Раніше |
|||||
Нормативно (байдуже) |
Аксіологічно байдуже |
Рівноцінно |
Тільки іноді |
Одночасно |
|||||
Заборонено |
Погано |
Гірше |
Ніколи |
Пізніше |
|||||
Дозволено |
|
До кожної з груп модальностей входять основних модальних поняття абсолютного і відносного значення. Наприлад сосовно аксіологічної модальності, абсолютне – не «добре» - «погано», всі інші модальні функтори утворюють відносний континуум між ними.
Зазначимо, що логічні модальності вивчалися ще Аристотелем і середньовічними логіками. Детальне дослідження численних груп модальностей почалося у 50-ті роки ХХ ст., хоча перші згадки про них належать до пізньої античності і Середньовіччя.