Тема 4Сущность и общая характеристика суждения.Структура суждения и его виды Простое атрибутивное категорическое суждение и его виды
Общая характеристика суждения как логической формы мышления. Суждение и понятие. Суждение, высказывание и предложение. Выражение категорических суждений в языке. Суждения простые и сложные. Логическое значение суждений. Структура простого суждения: субъект, предикат и логическая связка. Особенности формально-логического анализа предложений естественного языка. Логические постоянные и логические переменные. Кванторы общности и существования и их роль в образовании суждений.
Виды суждений по характеру предиката. Суждения существования (экзистенциальные), от-ношения (реляционные), атрибутивные (признака или свойства). Суждение и норма.
Деление простых атрибутивных категорических суждений по качеству и количеству. Объединенная (качественно-количественная) классификация простых категорических суждений: их символические обозначения и формулы.
Определение «распределенного» и «нераспределенного» понятия (термина). Закономерности распределенности субъекта и предиката в зависимости от типа простого категорического суждения; выражение отношений между ними на круговых схемах Эйлера.
Вопросы для самоконтроля:\
- Чем суждение отличается от предложения?
- Что такое логические постоянные и логические переменные?
- Чем функционально различаются квантор общности и квантор существования?
- Какие различают типы суждений по характеру предиката?
|
|
|
- Какие виды атрибутивных суждений Вы можете назвать?
- От чего зависит распределенность понятий в простых атрибутивных суждениях?
- Какова распределенность субъекта в общих суждениях, и какова в частных? Как распределен предикат в отрицательных суждениях?
- Чем отличается модальное суждение от категорического?
- Какие виды модальностей Вы можете назвать?
- Какие существуют алетические модальности, и каковы закономерности отношений между ними?
Тема 5 Распределенность терминов в простых суждениях. Основные законы логики. Сложные суждения.
Общая характеристика логики высказываний. Язык логики высказываний (алфавит, понятие формулы). Выразимость одних связок через другие. Выполнимые, тождественно-истинные и тождественно-ложные формулы. Логические законы логики высказываний. Отношения между высказываниями по истинности: логическое следование, подчинение, эквивалентности, субконтрарности, противоречия, контрарности. Отношение логического следования и его связь с импликацией.
Натуральное построение логики высказываний. Правила вывода (введение и удаление логических связок). Понятие формального вывода и доказательства. Теоремы. Связь отношения формальной выводимости и отношения логического следования.
|
|
|
Основные логические союзы: конъюнкция, дизъюнкция, импликация, эквиваленция. Образование сложных суждений из простых при помощи логических союзов. Истинность сложного суждения как функция от фактической истинности простых суждений, в него входящих, и правильности их соединения между собой посредством логических союзов.
Табличное определение истинности конъюнкции.
Исключающе-разделительный и неисключающе-разделительный смысл союза «или» («либо…, либо»). Виды разделительных суждений: сильная (строгая) и слабая (нестрогая) дизъюнкции. Таб-личное определение истинности сильной и слабой дизъюнкций.
Структура условного суждения: «основание» (антецедент) и «следствие» (консеквент) импли-кации. Виды импликаций: прямая, обратная, материальная. Понятие достаточного и необходимого условий вывода в импликации. Табличное определение истинности прямой и обратной импликаций.
Табличное определение истинности эквиваленции. Эквиваленция как особая импликация.
Комбинированные сложные суждения.
Вопросы для самоконтроля:
- Если суждение А истинно, каким будет подчиненное ему суждение I, противоречащее О, противоположное Е?
- Могут ли быть противоположные суждения одновременно истинными или ложными?
Могут ли быть подпротивоположные суждения одновременно ложными? А истинными?
- Определите, каковы будут истинностные значения суждений А, Е, I, если суждение О - истинно?
Дата добавления: 2018-02-28; просмотров: 337; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!