- •Тема 2 понятие
- •2.1. Понятие как форма мышления. Виды понятий
- •2.1.1. Понятие как форма мышления
- •2.1.2. Виды понятий
- •2.2. Логические отношения между понятиями
- •2.3. Операции с понятиями
- •2.3.1. Ограничение и обобщение понятия
- •2.3.2. Деление и классификация понятий
- •2.3.3. Определение понятий
- •Контрольные вопросы
- •Упражнения
- •Тема 3. Суждение
- •3.1. Суждение как логическая форма мышления. Виды суждений
- •3.1.1.Суждение как логическая форма мышления
- •3.1.2. Виды суждений
- •3.2. Простые категорические суждения
- •3.2.1. Виды категорических суждений. Объединенная классификация
- •Объединенная классификация суждений:
- •3.2.2. Распределённость терминов в категорических суждениях
- •3.3. Сложные суждения
- •3.3.1. Виды сложных суждений
- •3.3.2. Анализ сложных высказываний. Семантика логики высказываний
- •3.4. Логические отношения между суждениями
- •Отношения между сложными суждениями.
- •3.5. Модальные суждения
- •Контрольные вопросы
- •Упражнения
3.3.2. Анализ сложных высказываний. Семантика логики высказываний
В традиционной логике не было эффективных средств анализа сложных суждений. В современной логике применяют средства логики высказываний.
Синтаксис логики высказываний дополняется семантикой логики высказываний. Выражения, записанные в виде формул логики высказываний, интерпретируются в системе значений истинности и ложности. Для этого применяется метод истинностных таблиц, который построен на таком свойстве высказываний, как их двузначность (истинность или ложность). Логические константы имеют строго определенное значение, определяющееся с помощью таблиц.
Таблицы истины, определяющие значения логических констант имеют следующий вид:
а |
b |
аb |
аb |
а b |
ab |
а↔b |
|
a |
а |
и |
и |
и |
и |
л |
и |
и |
|
и |
л |
и |
л |
л |
и |
и |
л |
л |
|
л |
и |
л |
и |
л |
и |
и |
и |
л |
|
|
|
л |
л |
л |
л |
л |
и |
и |
|
|
|
При данном порядке записи значений истинности для независимых переменных (а и в) представлены все возможные значения истинности высказываний. Число строк в таблице равняется 2 в степени n, где n – число переменных. Таблица показывает, что коньюнкция будет истинна при истинности всех переменных, ложность простой дизъюнкции предполагает ложность всех переменных, импликация ложна, если из истинного основания следует ложное следствие.
Формулы, истинные при всех значениях переменных, называются тождественно-истинными, или законами логики. Формулы, ложные при всех значениях переменных – тождественно-ложные, истинные хотя бы при одном значении переменных – разрешимые, или нейтральные.
Для анализа сложных высказываний, выраженных в виде формул, в них выделяется главная логическая константа, подформулы и отдельные переменные, затем строится таблица: сначала для переменных, затем для подформул, и для формулы в целом.
Например: “Если в экономике сохранятся современные тенденции, то нас ждёт всеобщий кризис. Но всеобщего кризиса не будет. Следовательно, тенденции в экономике изменятся”.
((а→в)в)→а
а |
в |
а |
в |
а→в |
((а→в)в |
((а→в)в)→а |
и |
и |
л |
л |
и |
л |
и |
и |
л |
л |
и |
л |
л |
и |
л |
и |
и |
л |
и |
л |
и |
л |
л |
и |
и |
и |
и |
и |
Это тождественно-истинная формула, или закон логики. Данное высказывание истинно по своей логической структуре.