Бакалавриат
2024/2025
Философская логика
Статус:
Курс обязательный (Философия)
Направление:
47.03.01. Философия
Кто читает:
Школа философии и культурологии
Где читается:
Факультет гуманитарных наук
Когда читается:
1-й курс, 3, 4 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Язык:
русский
Кредиты:
3
Программа дисциплины
Аннотация
Курс «Философия логики» является обязательным для студентов направления подготовки бакалавра 47.03.01 – «Философия». Курс, включающий изучение философских проблем логики и логических проблем философии, направлен на совершенствование аналитической культуры студентов, овладение ими логическими методами философского исследования, углубленное понимание роли логики в современной философии, семиотике, когнитивистике и других дисциплинах логического цикла. Курс охватывает два модуля и включает чтение лекций и проведение семинарских занятий. Первый модуль содержит исторический обзор философских проблем логики в рамках становления и развития логической семантики от возникновения общей теории знаковых систем до современной теории моделей. Второй модуль посвящен философским проблемам обоснования и дисциплинарной демаркации логики, философскому значению ограничительных теорем о выразительных, вычислительных и дедуктивных возможностях формализмов, а также современной логической прагматике и когнитивистике.
Цель освоения дисциплины
- Дисциплина предназначена знакомства студентов с базовыми философскими представлениями, которые лежат в основании логических систем. Она позволяет увидеть место логики в системе философского знания и оценить связь логики с другими дисциплинами философского толка. Как любой аналитический курс, она развивает навыки правильного мышления и анализа рассуждений. Данная дисциплина читается на 2 курсе и для начала освоения предполагает, что студенты прослушали вводный курс логики.
Планируемые результаты обучения
- знаком с критерием инвариантности Тарского и принципом онтологической нейтральности Куайна.
- знаком с основными понятиями теории речевых актов
- знаком с основными этапами становления логической семантики
- Понимает связь проблем логики с проблемами эпистемологии
- Знаком с основными направлениями философии логики
- Способен применить знания формальной логики для решения философских задач
Содержание учебной дисциплины
- 1.5.1. Дедуктивная логика. Элементы неклассических логик. Основы модальной логики.
- 1.5.2. Дедуктивная логика. Элементы неклассических логик. Основы темпоральной логики.
- 1.5.3. Дедуктивная логика. Элементы неклассических логик. Основы деонтической логики.
- 1.5.5. Дедуктивная логика. Элементы неклассических логик. Основы эпистемической логики.
- 1.5.4. Дедуктивная логика. Элементы неклассических логик. Основы stit-логик.
- 1.5.6. Дедуктивная логика. Элементы неклассических логик. Многозначные логики.
- 1.5.7. Дедуктивная логика. Элементы неклассических логик. Интуиционистская логика.
- 1.5.8. Дедуктивная логика. Элементы неклассических логик. Релевантные и паранепротиворечивые логики.
- 2.1. Философия логики. Становление и развитие логической семантики.
- 2.2. Философия логики. Философские проблемы обоснования логики.
- 2.4. Философия логики. Основы логической прагматики. Теория речевых актов и ее альтернативы.
Элементы контроля
- Оценка за блок по неклассическим логикамОценка складывается из оценки за аудиторную работу 0,4 и оценки за итоговую контрольную работу 0,6.
- Оценка за блок по философии логикиОценка складывается из оценки за аудиторную работу 0,3, оценку за контрольные работы 0,3 и оценку за итоговую проверочную работу 0,4.
Промежуточная аттестация
- 2024/2025 4th module0.5 * Оценка за блок по неклассическим логикам + 0.5 * Оценка за блок по философии логики
