• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2023/2024

Логика

Лучший по критерию «Новизна полученных знаний»
Статус: Курс обязательный (Философия)
Направление: 47.03.01. Философия
Когда читается: 1-й курс, 1-3 модуль
Формат изучения: без онлайн-курса
Охват аудитории: для своего кампуса
Язык: русский
Кредиты: 6
Контактные часы: 104

Программа дисциплины

Аннотация

Настоящая программа учебной дисциплины устанавливает минимальные требования к знаниям и умениям студента и определяет содержание и виды учебных занятий и отчетности. Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки бакалавра 47.03.01 - Философия, обучающихся по специализации философия, изучающих дисциплину логика. Роль учебного курса логики для студентов образовательной программы «Философия» НИУ ВШЭ оценивается, исходя из многовековой традиции, рассматривающей логику как органон философии и включающей её в тривиум - фундамент классического образования. Логическая грамотность – не дополнение, а базисный компонент профессиональной компетентности любого гуманитария, в особенности, философа. Эта профессиональная компетентность предъявляет особые требования к аналитической культуре, предполагая систематическое и осознанное обращение к логическим методам. Изучение логики образует базисный компонент профессиональной подготовки философа, поскольку способствует формированию культуры мышления, развивает способность логически правильно выстраивать и анализировать философские аргументы, помогает понять роль логики в современных философских исследованиях. Курс логики для студентов образовательной программы «Философия» НИУ ВШЭ охватывает три модуля и включает чтение лекций и проведение семинарских занятий. Проведение семинарских занятий по логике связано с обучением практическим навыкам корректных логических операций и является необходимым компонентом курса логики.
Цель освоения дисциплины

Цель освоения дисциплины

  • Целями освоения дисциплины «Логика» являются: ознакомление студентов с логическими принципами анализа информации и принятия рациональных решений; обучение образцам корректных логических операций и металогическим знаниям, обучение правилам аргументации и полемики, навыкам рационального убеждения в дискурсах различного типа, в том числе, в философском дискурсе; овладение концептуальным аппаратом логической семиотики и принципами его использования в интерпретации текстовой информации; знакомство с теоретико-модельными и теоретико-доказательственными свойствами формальных теорий, анализ методологического значения ограничительных теорем о выразительных, вычислительных и дедуктивных возможностях формализмов, оценка философского значения и границ метода формализации; углубление методологической подготовки студентов на основе знакомства с синхроническим и диахроническим многообразием рациональности, основными этапами развития логики, проблематикой современных неклассических логик, связанной со спецификой неклассической науки и неклассической рациональности.
  • ознакомление студентов с логическими принципами анализа информации и принятия рациональных решений.
  • обучение образцам корректных логических операций и металогическим знаниям, обучение правилам аргументации и полемики, навыкам рационального убеждения в дискурсах различного типа, в том числе, в философском дискурсе
  • овладение концептуальным аппаратом логической семиотики и принципами его использования в интерпретации текстовой информации
  • знакомство с теоретико-модельными и теоретико-доказательственными свойствами формальных теорий, анализ методологического значения ограничительных теорем о выразительных, вычислительных и дедуктивных возможностях формализмов, оценка философского значения и границ метода формализации
  • углубление методологической подготовки студентов на основе знакомства с синхроническим и диахроническим многообразием рациональности, основными этапами развития логики, проблематикой современных неклассических логик, связанной со спецификой неклассической науки и неклассической рациональности
Планируемые результаты обучения

Планируемые результаты обучения

  • владеем методами логического анализа философских текстов
  • владеет навыками логического анализа различного рода рассуждений;
  • знает металогические свойства и онтологические предпосылки различных логических систем.
  • знает основные системы модальных логик
  • знает основные этапы развития современной философской логики
  • знает основы деонтической логики
  • знает основы интуиционистской логики
  • знает основы логики действий
  • знает основы многозначных логик
  • знает основы релевантных и паранепротиворечивых логик
  • знает основы темпоральной логики
  • знает основы эпистемической логики
  • знает принципы и методы традиционной и математической, классической и неклассических логик
  • умеет анализировать логическую структуру высказывания средствами классической логики предикатов
  • умеет восстанавливать энтимемы до правильного силлогизма
  • умеет классифицировать логические операции
  • умеет критически анализировать аргументативные философские тексты
  • умеет определять логические отношения между высказываниями
  • умеет правильно совершать операции над объемом понятия
  • умеет строить таблицы истинности для классической логики высказываний
  • умеет устанавливать выполнимость в модели Крипке для модальной формулы
Содержание учебной дисциплины

Содержание учебной дисциплины

  • 1.1. Дедуктивная логика. Предмет логики.
  • 1.2. Дедуктивная логика. Основы логической семиотики.
  • 1.3.1. Дедуктивная логика. Элементы традиционной логики. Традиционная теория понятия.
  • 1.3.2. Дедуктивная логика. Элементы традиционной логики. Силлогистика.
  • 1.4.1. Дедуктивная логика. Основы классической логики. Основы классической логики высказываний.
  • 1.4.2. Дедуктивная логика. Основы классической логики. Основы классической логики предикатов.
  • 1.5.1. Дедуктивная логика. Элементы неклассических логик. Основы модальной логики.
  • 1.5.2. Дедуктивная логика. Элементы неклассических логик. Основы темпоральной логики.
  • 1.5.3. Дедуктивная логика. Элементы неклассических логик. Основы деонтической логики.
  • 1.5.4. Дедуктивная логика. Элементы неклассических логик. Основы stit-логик.
  • 1.5.5. Дедуктивная логика. Элементы неклассических логик. Основы эпистемической логики.
  • 1.5.6. Дедуктивная логика. Элементы неклассических логик. Многозначные логики.
  • 1.5.7. Дедуктивная логика. Элементы неклассических логик. Интуиционистская логика.
  • 1.5.8. Дедуктивная логика. Элементы неклассических логик. Релевантные и паранепротиворечивые логики.
Элементы контроля

Элементы контроля

  • неблокирующий Аудиторная работа (1-2 модуль)
  • блокирующий Экзамен (2 модуль)
  • блокирующий Экзамен (итоговый)
  • неблокирующий Аудиторная работа (итог)
Промежуточная аттестация

Промежуточная аттестация

  • 2023/2024 2nd module
    0.4 * Аудиторная работа (1-2 модуль) + 0.6 * Экзамен (2 модуль)
  • 2023/2024 3rd module
    0.4 * Аудиторная работа (итог) + 0.6 * Экзамен (итоговый)
Список литературы

Список литературы

Рекомендуемая основная литература

  • Анисов А.М. Современная логика. – М., 2002. – 274 с. ISBN 5-201-02079-8 - Режим доступа: http://znanium.com/catalog/product/345809
  • Введение в логику : унив. курс: учебник для вузов, Бочаров, В. А., 2008
  • Михайлов, К. А.  Логика : учебник для академического бакалавриата / К. А. Михайлов. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2019. — 467 с. — (Бакалавр. Академический курс). — ISBN 978-5-534-04524-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/431905 (дата обращения: 28.08.2023).
  • Основы логики : учебник для вузов, Бочаров, В. А., 2009

Рекомендуемая дополнительная литература

  • Benthem, J. F. A. K. van. (2011). Logical Dynamics of Information and Interaction. Cambridge: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=409031
  • Dynamic epistemic logic. (2007). Springer. https://doi.org/10.1007/978-1-4020-5839-4
  • Horty, J. F. (2001). Agency and Deontic Logic. Oxford [England]: Oxford University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=140526
  • Marion, M., Roy, O., & Girard, P. (2011). Dynamic Formal Epistemology. Dordrecht: Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=371335
  • Анисов А.М. Темпоральный универсум и его познание. – М., 2000. – 209 с. ISBN 5-201-02034-8 - Режим доступа: http://znanium.com/catalog/product/346754
  • Михайлов, К. А.  Логика. Практикум : учебное пособие для академического бакалавриата / К. А. Михайлов, В. В. Горбатов. — 3-е изд., испр. и доп. — Москва : Издательство Юрайт, 2019. — 431 с. — (Бакалавр. Академический курс). — ISBN 978-5-534-04536-9. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/431994 (дата обращения: 28.08.2023).
  • Попов, Ю. П., Логика + еПриложение: Тесты : учебное пособие / Ю. П. Попов. — Москва : КноРус, 2009. — 304 с. — ISBN 978-5-390-00251-3-L-2013. — URL: https://book.ru/book/227813 (дата обращения: 27.08.2024). — Текст : электронный.
  • Светлов, В. А. Логика [Электронный ресурс] : учеб. пособие / В. А. Светлов. – М.: Логос, 2012. – 432 с. – (Новая университетская библиотека). - ISBN 978-5-98704-618-0.
  • Сидоренко Е.А. Релевантная логика (предпосылки, исчисления, семантика). - М., 2000. - 244 с. - ISBN 5-201-01925-0 - Режим доступа: http://znanium.com/catalog/product/345461

Авторы

  • Драгалина-Черная Елена Григорьевна
  • Долгоруков Виталий Владимирович