- •Логика как наука предмет и значение логики
- •1. Возникновение логики. Объект и предмет логики
- •2. Краткий очерк истории логики
- •Понятие
- •1. Образование понятий
- •3. Виды понятий
- •4. Отношения между понятиями
- •Простое суждение
- •1. Сущность и структура суждений
- •2. Виды простых суждений
- •Объединенная классификация простых категорических суждений по количеству и качеству
- •3. Распределенность терминов в категорических суждениях
- •Сложные суждения
- •2. Виды сложных суждений по характеру логического союза:
- •3. Логические отношения между простыми атрибутивными суждениями
- •4. Модальность суждений
- •Законы логики
- •Законы логики предикатов
- •Умозаключение
- •2. Типология умозаключений
- •3. Дедуктивные умозаключения
- •Непосредственные умозаключения
- •Простой категорический силлогизм
- •2. Общие правила силлогизма
- •3 Правила терминов:
- •4 Правила посылок:
- •3. Фигуры и модусы простого категорического силлогизма
- •4. Правила фигур силлогизма
- •Сложные и сложно–сокращенные силлогизмы
- •Опосредованные умозаключения из сложных суждений
- •1. Условные умозаключения
- •2. Разделительные умозаключения
- •3. Условно-разделительные (лемматические) умозаключения
- •Правдоподобные умозаключения
- •Гипотеза
- •2. Этапы становления гипотез
- •3. Способы подтверждения гипотез
- •Теория аргументации
- •2. Виды аргументации
- •2. Аргументация с использованием внелогических приемов
- •3. Правила аргументации (доказательств).
3. Логические отношения между простыми атрибутивными суждениями
Атрибутивные суждения бывают сравнимые и несравнимые.
Сравнимые суждения имеют одинаковые термины.
Несравнимые суждения, имеют разные термины.
Сравнимые |
|
Совместимые |
Несовместимые |
Подчинение (A – I, E – O) |
Контрадикторность (A – O, E – I) |
Субконтрарность (I – O) |
Контрарность (A – E) |
А контрарность Е
I субконтрарность О
Совместимые суждения содержат одну и ту же мысль – полностью или частично. Между ними возникают следующие логические отношения: эквивалентность, подчинение, субконтрарность (частичное совпадение).
Совместимые суждения могут быть одновременно истинными.
Эквивалентность – это отношение между суждениями, у которых субъект и предикат выражены одними и теми же или равнозначными понятиями.
Подчинение – это отношение между суждениями, у которых количество различно, а качество одно и то же. Из истинности подчиняющего (А или Е) следует истинность подчиненного (I или О), но не наоборот.
Из ложности подчиненного (I или О) следует ложность подчиняющего (А или Е), но не наоборот.
Частичная совместимость (субконтрарность) – это отношение между суждениями одинакового количества, но разного качества (I–0).
Оба суждения могут быть одновременно истинными, но не могут быть одновременно ложными.
Из ложности одного из них следует истинность другого, но не наоборот.
Несовместимые суждения – суждения, которые не могут быть одновременно истинными. Они имеют следующие логические отношения: контрарность (противоположность) и контрадикторность (противоречие).
Противоположность – это отношение между А и Е. Оба таких суждения не могут быть одновременно истинными, но могут быть одновременно ложными.
Из истинности одного непременно следует ложность другого, но не наоборот.
Противоречие – это отношение между А и О, Е и I. Они не могут быть одновременно истинными и не могут быть одновременно ложными. Из истинности одного непременно следует ложность другого.
4. Модальность суждений
Модальность – это степень существенности принадлежности предиката к субъекту.
Модальность – это дополнительная информация о характере обоснованности суждений или типе зависимости между субъектом и предикатом.
Модальность выражается словами: возможно, необходимо, разрешено и т.д. – т.е. модальными операторами.
Модальности бывают пяти типов: ассерторическая, алетическая, деонтическая, аксиологическая и эпистемическая.
Ассерторическая – не устанавливает характер связей между субъектом и предикатом или простыми суждениями.
Алетическая – выражает характер связи между мыслимыми предметами, т.е. субъектом и предикатом, при помощи операторов возможно, необходимо, случайно.
Виды алетической модальности: аподиктические (необходимо), проблематические (возможно), случайные (случайно).
Эпистемическая – познавательная, означает характер и степень достоверности знания и выражается при помощи слов «достоверно», «недостоверно», «по–видимому», «доказуемо», «недоказуемо», «опровержимо».
Деонтическая – нормативная, относится непосредственно к деятельности людей, нормам их поведения в обществе, выражается при помощи операторов разрешается, запрещается, обязательно.
Аксиологическая – ценностная, выражает отношение человека к ценностям – материальным и духовным при помощи слов «хорошо», «плохо», «безразлично».