- •§2. Виды доказательств.
- •§3. Правила доказательного рассуждения.
- •2. Правила для аргументов.
- •§2. Понятие формальной логики.
- •§3. Значение логики.
- •Логика и язык (мышление и язык).
- •§1. Общее понятие языка.
- •Логические основы теории аргументации
- •§1. Общая характеристика доказательства.
- •Неполная индукция
- •§2. Естественные и искусственные языки.
- •§3. Искусственный язык логики как науки.
- •Пример: а Челябинск (имя единичного предмета)
- •Понятие как форма мышления.
- •§1. Признаки и их виды.
- •Полная индукция
- •§6. Сокращенный силлогизм (энтимема).
- •§7. Индуктивные умозаключения.
- •§2. Общая характеристика понятия.
- •§3. Содержание и объем понятия.
- •§4. Язык круговых диаграмм.
- •§5. Закон обратного отношения между содержанием и объемом понятия.
- •2. Условно-категорическое умозаключение.
- •3. Разделительно-категорическое умозаключение.
- •4. Условно-разделительное умозаключение.
- •§5. Выводы из сложных суждений.
- •1. Чисто условное умозаключение.
- •§6. Отношение понятий по объему.
- •§7. Операции над объемами понятий.
- •2. Обращение.
- •§4. Простой категорический силлогизм.
- •§3. Непосредственные умозаключения.
- •1. Превращение.
- •§8. Деление объемов понятия.
- •3. Закон исключенного третьего.
- •4. Закон достаточного основания.
- •Умозаключение как форма мышления
- •§1. Общая характеристика умозаключения.
- •§2. Виды умозаключений.
- •Основные формально-логические законы
- •1. Закон тождества.
- •2. Закон непротиворечия.
- •§9. Определение понятий.
- •Явные определения
- •Неявные определения
- •§10. Табличное определение истинности сложных суждений.
- •§10. Виды понятий.
- •Суждение как форма мышления
- •§1. Общая характеристика суждения.
- •§9. Сложные суждения и их виды.
- •§7. Распределенность терминов в пас.
- •§8. Отношение пас по истинности.
- •§2. Виды суждений.
- •§3. Состав и структура простого атрибутивного суждения.
- •§4. Виды простых атрибутивных суждений.
- •§5. Объединенная классификация суждений по количеству и качеству.
- •§6. Отношение терминов суждения по объему.
- •I: Некоторые s есть р Iв s-
§3. Непосредственные умозаключения.
Осуществляются по трем основным формам: 1) обращение посылки; 2) превращение посылки; 3) противопоставление предикату.
1. Превращение.
Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения.
Схема превращения: S есть Р___
S не есть не-Р
Схемы превращения по видам суждений:
А: _____Все S есть Р____ Е: Ни одно S не есть Р
Ни одно S не есть не-Р Все S есть не-Р
I: __Некоторые S есть Р___ О: Некоторые S не есть Р
Некоторые S не есть не-Р Некоторые S есть не-Р
9
На схеме полученное множество (объем нового понятия) штрихуется.
1) Сумма равнозначных понятий 2) Сумма подчиненных понятий
А+В=А=В А+В=А
А
А, В
В
3) Сумма перекрещивающихся 4) Сумма несовместимых понятий
понятий А+В=С
А+В=С
А В А В А В А В
2. Умножение (пересечение) объемов.
Результатом умножения является объем элементов, общих для заданных.
Обозначается АВ. Здесь А и В – заданные объемы. А В = С
Здесь С – новое понятие, полученное в результате умножения А и В.
Объем С – это те элементы, которые принадлежат одновременно А и В.
1)Умножение равнозначных понятий 2) Умножение подчиненных
понятий
АВ=А=В АВ=В
А,В В А
3) Умножение перекрещивающихся 4) Умножение несовместимых
понятий понятий
АВ=С АВ=
А В А В
Законы, фиксирующие свойства операций над объемами понятий.
А+А=А А+=А А+В=В+А А+(В+С)=(А+В)+С
АА=А А= АВ=ВА А(ВС)=(АВ) С А+(АВ)=А
А(А+В)=А А(В+С)=(АВ)+(АС) А+(ВС)=(А+В) (А+С)