- •§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-
§10. Виды понятий.
1.По объему понятия делятся на пустые (нулевые), единичные и общие.
Пустые - такие понятия, объему которых не принадлежит ни одного элемента. Например: «Дед Мороз», «Человек, проживший 1000 лет».
Единичные - понятия, объему которых принадлежит один единственный элемент. Например, «Президент СССР», «первый космонавт».
Общие - объему которых принадлежит более одного элемента.
Например: «человек», «кошка».
14
2. По характеру элементов объема понятия делятся на собирательные и несобирательные.
Собирательные - понятия, в которых группа однородных предметов мыслится как целое. При этом содержание собирательного понятия нельзя отнести к каждому отдельному предмету, входящему в его объем, оно относится только ко всей совокупности элементов.
Например: «лес»; «полк».
Несобирательные - понятия, в которых мыслятся признаки, относящиеся к каждому его элементу. Например: «ручка», «дерево».
3. По характеру объекта, мыслимого в понятии понятия делятся на конкретные и абстрактные.
Конкретные - понятия, в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее.
Например: «книга», «государство».
Абстрактные - понятия, в которых мыслится признак предмета или отношение между предметами. Например: «белизна», «симметричность», «дружба».
4. По содержанию понятия делятся на положительные и отрицательные.
Положительные - понятия, содержание которых составляют свойства, присущие предмету.
Например: «грамотный», «безделушка», «агрессия», «ненависть»
Отрицательные - понятия, в содержании которых указывается на отсутствие у предмета определенных свойств. Например: «неграмотный», «беспорядок», «трезвый» (непьяный), «темнота» (отсутствие света), «молчаливый» (неразговорчивый).
5. По учету отношения мыслимых в понятии предметов к другим предметам понятия делятся на соотносительные и безотносительные.
Соотносительные понятия содержат признаки, указывающие на отношение одного понятия к другому.
Например: «родители», «начальник», «верх», «правый», «брат».
Безотносительные - понятия, отражающие предметы, существующие раздельно и мыслящиеся вне связи с другими предметами.
Например: «студент», «государство».
Дать полную логическую характеристику понятия - отнести заданное понятие к определенному виду по каждому из выше рассмотренных.
Примеры: «Безрассудство»: общее, несобирательное, абстрактное, отрицательное, безотносительное.
«Российская Федерация»: единичное, собирательное, конкретное, положительное, безотносительное.
Суждение как форма мышления
§1. Общая характеристика суждения.
Суждение - это мысль, в которой что-либо утверждается или что-
19
сущ, либо не присущ отдельный признак. Например: «Иванов является свидетелем» и «Иванов не является свидетелем». Эти суждения находятся в отношении противоречия, поскольку, если первое истинно, то второе ложно, и наоборот.
Совместимыми называют суждения, которые одновременно могут быть истинными. Совместимые суждения выражают одну и ту же мысль полностью или частично. Существует три вида отношений совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность или подпротивность).
Эквивалентными являются суждения, имеющие одинаковые логические характеристики: одинаковые субъекты и предикаты, однокачественную связку - утвердительную или отрицательную, одну и ту же количественную характеристику. Для эквивалентных суждений невозможно, чтобы одно из них было истинным, а другое ложным, и наоборот. Различия между эквивалентными суждениями проявляются в основном лишь словесно. Например, разными словами может быть выражен квантор. Для выражения субъекта и предиката могут быть использованы синонимы. Эквивалентные суждения могут быть сформулированы на разных национальных языках.
Логическое подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие зависимости. Истинность общего суждения определяет истинность частного, подчиненного; ложность общего суждения оставляет частное неопределенным. Истинность частного суждения оставляет общее неопределенным; ложность частного определяет ложность общего суждения.
Подпротивность характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными; если одно ложно, то другое обязательно истинно; если одно истинно, то другое неопределенно.