3.2. Перечень примерных контрольных вопросов и заданий для самостоятельной работы

• Понятие логического вывода.

• Прямое доказательство.

• Косвенное доказательство.

• Система естественного вывода (натурального исчисления) С.Яськовского (в варианте Е.Слупецкого-Л.Борковского).

• Производные правила.

• Система естественного вывода Г.Генцена.

• Чисто прямое доказательство. Положительная (позитивная) логика как фрагмент системы естественного вывода.

• Правило построения доказательства по частям.

• Правило построения доказательства разбором случаев.

• Слабое косвенное доказательство. Исчисление минимальной логики.

• Квазисильное косвенное доказательство. Конструктивная логика.

• Расширение конструктивной логики (до классической логики)посредством добавления правила двойного отрицания.

• Понятия (семантической) корректности, адекватности и полноты логической системы.

• Аксиоматическое представление исчисления высказываний.

• Язык логики предикатов.

• Естественный вывод в логике предикатов.

• Модальная (алетическая) логика.

• Временная логика.

• Деонтическая логика.

3.3. Примерные темы курсовых работ (фрагмент)

• Отрицательные высказывания.

• Синтаксическая полнота логической системы.

• Строение суждений в естественном языке и их перевод на символический язык логического анализа.

• Проблема разрешения в логике высказываний.

• Структура различных систем естественного вывода и их сопоставление друг с другом.

• Аксиоматическое представление логики высказываний и сравнение его с представлением в форме исчисления естественного вывода.

• Особенности естественного вывода в логике предикатов.

• Понятия (семантической) корректности, адекватности и полноты логической системы.

• Модальная (алетическая) логика.

• Временная логика.

• Деонтическая логика.

3.4. Примерные темы рефератов

Раздел 3.4 в данной программе отсутствует.

3.5. Примерный перечень вопросов к экзамену по всему курсу

• Понятие логического вывода. Правила логического следования и правила построения доказательства.

• Система естественного вывода (натурального исчисления) С.Яськовского (в варианте Е.Слупецкого - Л.Борковского).

• Производные правила и их обоснование.

• Чисто прямое доказательство. Положительная (позитивная) логика как фрагмент системы естественного вывода.

• Правило построения доказательства по частям.

• Правило построения доказательства разбором случаев.

• Слабое косвенное доказательство. Исчисление минимальной логики как фрагмент системы естественного вывода.

• Квазисильное косвенное доказательство. Конструктивная логика как фрагмент системы естественного вывода.

• Сильное (классическое) косвенное доказательство.

• Расширение конструктивной логики (до классической логики) посредством добавления правила двойного отрицания.

• Понятия (семантической) корректности, адекватности и полноты логической системы.

• Аксиоматическое представление исчисления высказываний.

• Язык логики предикатов как расширение языка логики высказываний.

• Естественный вывод в логике предикатов.

4. Учебно-методический раздел

4.1. Перечень обучающих, контролирующих и расчетных программ, диафильмов, слайдфильмов, кино и видно- фильмов

В данном курсев настоящее время такого рода средства не используются.

4.2. Активные методы обучения

В данном курсе используются классические аудиторные методы.

4.3. Материальное обеспечение дисциплины, технические средства обучения и контроля

Компьютерный класс, стандартно оборудованные лекционные аудитории.

4.4. Литература

4.5.1. Основная

1. Символическая логика / Под ред. Я.А.Слинина, Э.Ф.Караваева, А.И.Мигунова. СПб., 2005.

2. Гладкий А.В. Введение в современную логику. М., 2001.

3. Антонова О.А. Сборник задач и упражнений по символической логике. СПб., 2001.

4. Мухачев В.П. Нормальные формы логики высказываний и их применение при решении логических задач. СПб., 2000.

4.5.2. Дополнительная

1. Аристотель. Об истолковании // Аристотель. Соч.: В 4-х т. Т.2. М., 1979.

2. Беркли Э. Символическая логика и разумные машины. М., 1961.

3. Бочаров В.А., Маркин В.И. Основы логики. М., 2001.

4. фон Вригт Г.Х. Логико-философские исследования. М., 1986.

5. Есперсен О. Философия грамматики. М., 2002.

6.Ивин А.А. Логика норм. М.,1973.

7.Ишмуратов А.Т. Логические теории временных контекстов. Киев, 1981 .

8.Караваев Э.Ф. Основания временной логики. Л.,1983.

9.Карпенко А.С. Фатализм и случайность будущего: Логический анализ. М., 1990.

10 Логика / Под ред. В.П.Сальникова, А.Ф.Назаренко, Э.Ф.Караваева. СПб., 2001.

11 Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959.

12 Неклассическая логика / Отв.ред. П.В.Таванец. М., 1970.

13 Слинин Я.А. Современная модальная логика. Развитие теории алетических модальностей (1920 -1960). Л., 1976.

14 Хинтикка Я. Логико-эпистемологические исследования. М., 1980

15 Эмпирик Секст. Против ученых. Две книги против логиков // Эмпирик Секст. Соч.: В 2-х т. Т.1. М., 1975.