- •Предмет логики как науки.
- •Дедуктивная и индуктивная логика.
- •Логический закон и логическое следование.
- •Логика и язык и виды знаков.
- •Отношения между формулами клв.
- •Основные способы правильных рассуждений в клв.
- •Традиционная силлогистика: синтаксис.
- •Традиционная силлогистика: семантика.
- •Простой категорический силлогизм: фигуры, модусы, правила.
- •Энтимема. Проверка корректности.
- •Непосредственные умозаключения.
- •Понятие: основные характеристики.
- •Виды понятий.
- •Отношения между понятиями.
- •Операции над понятиями.
- •Виды определений.
- •Требования к определениям.
Энтимема. Проверка корректности.
Энтимема – сокращенная форма рассуждения с пропуском некоторых посылок или заключения.
Энтимема корректна, если:
1. она может быть восстановлена до правильного модуса категорического силлогизма
2. все посылки в восстановленном правильном модусе оказываются истинными утверждениями.
Непосредственные умозаключения.
Непосредственные умозаключения выводятся из 1 посылки, а не нескольких.
Понятие: основные характеристики.
Понятие – основная форма мышления.
Термин – значимое слово или словосочетание естественного языка.
Понятие – мысль, которая посредством указания на некоторый признак выделяет из универсума и обобщает предметы, обладающие этим признаком.
Объем – класс всех предметов из универсума, обладающих видовым признаком.
Содержание – признак, на основании которого обобщаются и выделяются предметы из универсума.
Виды понятий.
С синтаксической точки зрения:
1. простые (1 признак)
2. сложные
По типам обобщения предметов:
1. Конкретные (об индивидах или множествах индивидов)
2. Абстрактные (о свойствах, отношениях или функиях)
З. Собирательные (о множествах)
3. Несобирательные (остальные)
По объему
1. пустое
2. непустое (единичное/общее – универсальное, неуниверсальное)
Отношения между понятиями.
1. Равнообъемность
2. Подчинение
3. Пересечение
4. Противоречие
5. Соподчинение
Операции над понятиями.
Обобщение – переход к понятию с большим объемом. Предел – универсум.
Ограничение – переход к понятию с меньшим объемом. Предел – единичное понятие.
Деление понятия – построение системы видовых понятий на основании некоторого признака.
Правила:
1. деление должно осуществляться по 1 основанию
2. члены деления являются видами делимого понятия
3. члены деления непусты
4. члены деления полярно несовместимы
5. объединение всех членов равно делимому понятию
Виды деления:
1. дихотомическое (А и не А)
2. по видоизмененному основанию
Виды определений.
Определение – это логическая процедура, состоящая в придании строго фиксированного смысла языковым выражениям (терминам языка).
Виды:
1. явные (заданы лингвистической конструкцией вида A[t] – B, где определяемая часть и определяющая часть, а t - термин)
2. неявные (задаваемые лингвистической конструкцией типа t есть по определению то, что удовлетворяет условию B)
3. контекстуальные (определяемая часть А, в которую входит данный термин, представляет собой все контексты его нормативного употребления)
4.реальные (введено посредством предложения, играющего роль определения)
Требования к определениям.
1. ясность
2. четкость
3.отсутствие порочного круга
4. отсутствие А в В