- •§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-
§5. Объединенная классификация суждений по количеству и качеству.
Общеутвердительные суждения — А: «Все S суть Р» (SaP)
(«Все люди - позвоночные»)
Общеотрицательные суждения — Е:«Ни одно S не есть Р» (SeP)
(«Ни один кит - не рыба»)
Частноутвердительные — I: «Некоторые S есть Р» (SiP)
(«Некоторые грибы ядовиты»)
Частноотрицательные— О: «Некоторые S не есть Р»
(«Некоторые птицы не летают») (SoP)
17
В объединенной классификации единичные суждения относят к общим.
§6. Отношение терминов суждения по объему.
Поскольку термины - это понятия, то у каждого из этих понятий есть объем. В каждом из видов ПАС субъект и предикат вступает в определенные отношения.
А: Все S есть Р. 1) 2)*Ао S квадрат
Р равносторонний
S караси прямоугольник
Р рыбы «Все квадраты -
«Все караси являются рыбами» равносторонние прямоугольники».
Е: Ни одно S не есть Р S кит
S+ Р+ Р рыба
«Ни один кит не является рыбой».
I: Некоторые s есть р Iв s-
1) S- Р- 2)
S птицы S юристы
Р летают Р адвокаты
«Некоторые птицы «Некоторые
летают». юристы – адвокаты»
О:Некоторые S не есть Р
1) 2) S---
S птицы S юристы
Р летают Радвокаты
«Некоторые «Некоторые
птицы не летают» юристы - не адвокаты»
Частноутвердительное суждение называется выделяющим(Iв), если его предикат находится в отношении подчинения к субъекту суждения, то есть объем предиката полностью входит в объем субъекта. Выделяющее частноутвердительное суждение может быть представлено схемой: «Только некоторые S есть Р». Например: «Некоторые специалисты - лингвисты»; «Некоторые люди являются счастливыми».
Существует другой критерий определения частноутвердительного выделяющего суждения: если при обращении (обращение - смена мест субъекта и предиката) частноутвердительного суждения получается истинное общеутвердительное суждение, то это частноутвердительное суждение - выделяющее. Например: Некоторые юристы–адвокаты(Iв). (Обращение: Все адвокаты–юристы).
* При составлении этого конспекта были использованы: 1. Конспект лекций по логике проф. Суханова К.Н. 2. Гетманова А.Д. Учебник по логике. М.,1984. 3. Кириллов В.И., Старченко А.А. логика. М.,1999. 4. Войшвилло Е.К., Дегтярев М.Г. Логика. М.,2001. 5. Формальная логика Л., 1977.
1 Энтимема (в пер. с греч.) означает «в уме».
2 Лемма (с лат.) -предположение.
* Такое соотношение объемов понятий характерно только для определений, то есть для объемов определяемого и определяющего понятий.