Программа курса Логика и аналитическая философия

Ответственный редактор и составитель: д.ф.н. В.А.Смирнов, 5 с.
Предмет и методы логики
Языки представления знания
Логика высказываний
Исчисление высказываний
Исчисление высказываний в форме натурального вывода
Методы поиска доказательств для натурального исчисления высказываний
Логика предикатов первого порядка
Натуральное исчисление предикатов первого порядка
Поиск доказательств в натуральном исчислении предикатов первого порядка
Аристотелевская силлогистика с точки зрения современной логики
Язык, логика, онтология
Логические и семантические парадоксы
Теоремы об ограниченностях формализмов и их философский смысл
Логические отношения между теориями. Определения и определимость
Семантика возможных миров
Логический фатализм и способы его опровержения
Философские дискуссии о смысле и значении
Логические основания когнитивных наук
Логические средства описаний действий и целеполаганий
Логические основания компьютерных наук