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