Описание
Обзор базовых методов пропозициональной и предикатной логики. Натуральный вывод и деревья непротиворечивости. Корректность и полнота. Альтернативная семантика. Расширения базовой логики: тождество, модальная логика с семантикой возможных миров, трёхзначные системы, деонтическая логика.
Предварительные требования
- Предпосылки: PHIL 2001 или разрешение департамента.
Условия и порядок
- Не допускается получение дополнительного кредита за Не допускается получение дополнительного кредита за PHIL 3305.
- Предпосылки: PHIL 2001 или разрешение департамента.
- Лекции три часа в неделю.
Текст источника на языке оригинала
A review of the basic techniques of propositional and predicate logic. Natural deduction and consistency trees. Soundness and completeness. Alternative semantics. Extensions to basic logic: identity, modal logic with possible world semantics, three valued systems, deontic logic.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Lectures three hours a week.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/undergrad/courses/PHIL/