- •Вопросы к экзамену по предмету «Логика»
- •Предмет формальной логики, ее значение.
- •Язык как знаковая система. Виды знаков.
- •Классическая логика высказываний, ее язык (алфавит, определение формулы, определение логического следования).
- •Классическая логика высказываний: отношения между формулами.
- •Основные способы правильных умозаключений клв.
- •13 Семантика позитивной силлогистики. Понятие распределенности терминов; понятие логического следования.
- •Законы позитивной силлогистики. Отношения между высказываниями по логическому
- •Позитивная силлогистика: выводы по логическому квадрату и обращение.
- •Негативная силлогистика, ее язык (алфавит, определение формулы, определение логического следования).
- •Негативная силлогистика: превращение, противопоставление s, противопоставление р, противопоставление s и р.
- •Простой категорический силлогизм: фигуры, состав, правила терминов.
- •Простой категорический силлогизм: состав, модусы, общие правила силлогизмов.
- •Корректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущена одна из посылок.
- •21 . Некорректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой
- •22. Обобщающая нестатистическая индукция: полная и неполная.
- •23. Обобщающая статистическая неполная индукция, две ее разновидности
- •Понятие о причинной зависимости.
- •Методы установления причинных зависимостей.
- •Аналогия, ее виды. Принципы научной аналогии.
- •Понятие. Его содержание и объем. Закон обратного отношения.
- •Виды понятий.
- •Отношения между объемами понятий. Круги Эйлера.
- •Операции обобщения и ограничения понятий.
- •Деление. Правила деления. Виды деления.
- •Классификация: ее структура и виды. Значение классификации.
- •Определение и приемы, сходные с определением.
- •Явные определения, их виды.
- •Неявные определения, их виды.
- •Определения реальные и номинальные, контекстуальные и неконтекстуальные. Принцип соразмерности.
- •Основы теории аргументации.
- •Булевы операции над объемами понятий. Законы Булевой алгебры.
Отношения между объемами понятий. Круги Эйлера.
Основные (фундаментальные)
Два понятия αА(α) и αВ(α) считаются совместимыми, е.т.е у их объёмов есть хотя бы один общий элемент.
Понятие αА(α) включается в понятие αВ(α), е.т.е каждый элемент объёма понятия αВ(α) является также элементом объёма понятия αА(α) .
Два понятия αА(α) и αВ(α) находятся в отношении исчерпывания, е.т.е каждый элемент универсума относится к объему понятия αА(α) или αВ(α).
Вспомогательные (образуются из основных) – Круги Эйлера
равнообъёмность |
В подчиняется А |
А подчиняется В |
дополнительность |
противоречие |
пересечение |
соподчинение |
1
|
2 |
3 |
4 |
5 . |
6 |
7 |
Совместимость; обоюд. включение; неисчерпываемость |
Совместимость; включение В в А; неисчерпываемость |
Совместимость; включение А в В; неисчерпываемость |
Совместимость; невключение; исчерпываемость |
Несовместимость; не включение; исчерпываемость |
Совместимость; невключение; неисчерпываемость |
Несовместимость; невключение; неисчепрываемость |
Операции обобщения и ограничения понятий.
Операция «Ограничение»:
Ограничить непустое понятие αВ(α) – это значит указать понятие αА(α), такое что для объёмов А и В будет верно включение второго в первое. Таким образом операция ограничения αВ(α) состоит в переходе к видовому понятию αА(α), а само αВ(α) при этом считается родовым.
Операция «Обобщение»
Обобщить непустое понятие αА(α) – это значит указать понятие αВ(α) такое, что для их объёмов А и В будет верно включение второго в первое. Таким образом, процедура обобщения состоит в переходе от видового понятия к родовому.
Деление. Правила деления. Виды деления.
Под операцией деления некоторого непустого понятия αВ(α) понимают переход от этого понятия к системе понятий S={αА1(α),…αАn(α)}
αВ(α) – делимое понятие
αА1(α),…αАn(α) – члены деления
Признак, при помощи которого от деления понятия перешли к системе членов деления – основание деления.
Деление считается правильным, если оно удовлетворяет следующим условиям:
Каждый член деления является видовым по отношению к делимому понятию
Каждый член деления непустой
Члены деления попарно несовместимы
Объединение объёмов всех членов деления равно объёму делимого понятия
Деление проводится по одному основанию
Виды деления
-
По видоизменению основания
– в качестве основания выбран признак, который присущ всем элементам объёма делимого понятия, но в различных модификациях.
Дихотомическое
– в качестве основания выбран признак, который принадлежит только части элементов делимого понятия (=деление на 2 части)

.
.
.
.
.
.