close

Вход

Забыли?

вход по аккаунту

код для вставкиСкачать
Программа вступительного экзамена по профилю подготовки
09.00.07 «Логика»
I. Традиционная логика
1.
Предмет формальной логики, ее место в системе наук и системе
образования.
2.
Основные законы логики (закон тождества, закон противоречия, закон
исключительного третьего, закон достаточного основания).
3.
Понятие как форма мысли, его логические характеристики и виды.
4.
Отношения между понятиями.
5.
Логические операции с понятиями.
6.
Суждение, его структура и виды.
7.
Виды категорических суждений и отношения между ними (логический
квадрат).
8.
Виды модальностей, деление суждений по модальности.
9.
Умозаключение, его структура и виды.
10.
Простой категорический силлогизм, его фигуры, правила и модусы.
11.
Условный силлогизм, его виды и правильные модусы.
12.
Разделительный силлогизм, его виды и правильные модусы.
13.
Дилемма, ее структура и модусы.
14.
Методы научной индукции.
15.
Доказательство, его структура и виды.
II. Символическая (математическая) логика
1.
Табличное построение логики высказываний.
2.
Нормальные формы в логике высказываний.
3.
Аксиоматическое построение логики высказываний.
4.
Естественный вывод в логике высказываний.
5.
Полнота исчисления высказываний.
6.
Естественный вывод в логике предикатов.
7.
Непротиворечивость исчисления предикатов.
8.
Проблема разрешимости в исчислении предикатов.
9.
Секвенциальное исчисление.
10.
Метод резолюций.
11.
Проблема немонотонного вывода и пути ее решения.
12.
Математическая логика и проблема оснований математики.
13.
Автоматическое доказательство теорем: методы и проблемы.
14.
Нормальный алгорифм.
15.
Традиционная и математическая логики.
1/--страниц
Пожаловаться на содержимое документа