Программа дисциплины логика для направления 030100. 62 Философия подготовки бакалавра
Вид материала | Программа дисциплины |
- Программа дисциплины концепции и концептуальный анализ в математике и гуманитарном, 335.24kb.
- Планы семинарских занятий Логика (1,2,3,4 модули) для направления 030100. 62 Философия, 231.59kb.
- Программа дисциплины Этика для направления 030100. 62 «Философия» подготовки бакалавра, 548.5kb.
- Рабочая программа дисциплины Для направления 03020062 «Политология» (программа подготовки, 315.9kb.
- Программа дисциплины «логика» для направления 030100. 68 «Философия» подготовки магистра, 313.53kb.
- Программа спецкурса «Индийская философия древности и средневековья» для направления, 554.79kb.
- Программа дисциплины Теории сакрального для направления 030100. 62 «Философия» подготовки, 186.94kb.
- Программа дисциплины История зарубежной философии Философия эпохи Возрождения, Нового, 334.03kb.
- Программа дисциплины История религий для направления 030100. 62 «Философия» подготовки, 445.09kb.
- Программа дисциплины Эстетика для направления 030100. 62 «Философия» подготовки бакалавра, 279.61kb.
- Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и диахронное, значение и значимость.
- Семиотика и фанероскопия Пирса: репрезентамен – объект – интерпретанта.
- Диаграмматическая логика Пирса.
- Бихевиористская семиотика Морриса: знак – десигнат – интерпретанта – интерпретатор.
- Смысл как феномен: феноменологическая семиотика Гуссерля.
- «Аналитика присутствия» Хайдеггера: знаки и смыслы.
- Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат, принципы контекстуальности и композициональности.
- Логическая критика естественного языка и принципы построения «идеального языка». «Преодоление метафизики логическим анализом языка» (Карнап).
- Теория дескрипций и теория типов Рассела.
- «Картинная» теория языка раннего Витгенштейна.
- Принцип «семейного сходства» позднего Витгенштейна и современные функционалистские концепции значения: теория прототипов.
- Проблема «следования правилу» и «скептический парадокс»: Витгенштейн и Крипкенштейн.
- Язык как «форма жизни» и «жизненный мир»: Витгенштейн и Гуссерль.
- Принципы классической логики и философские основания их пересмотра в неклассической логике
- Философские основания семантики "возможных миров". «Невозможные» возможные миры.
- Принципы и антиномии отношения именования. Референциальная непрозрачность. Интенсиональные и экстенсиональные контексты
- Проблемы кросс-идентификации и интенционального тождества: «жесткие десигнаторы» Крипке и «индивидуализирующие функции» Хинтикки. Онтологический статус интенсиональных сущностей и нео-эссенциализм.
- Ситуационные и теоретико-игровые семантики для интенсиональных логик.
- Парадоксы познаваемости и «логического всеведения», пути их разрешения
- Временная логика. Трактовки временного ряда. Минимальная система временной логики и её расширения
- Фатализм и его логический анализ
- Парадоксы материальной импликации и проблема информативности логических законов. Понятие обобщенных описаний состояний
- Идейные предпосылки возникновения интуиционистской логики. Критика Брауэром «чистых теорем существования» и программа Гильберта обоснования математики
- Многозначные логики. Проблема содержательной интерпретации истинностных значений в многозначной логике
- Моделирование неполного, противоречивого, модифицирующегося знания в паранепротиворечивых, динамических и немонотонных логических системах
- Многообразие логических систем и проблема единства логического знания. Критерии и границы логического: принцип онтологической нейтральности Куайна, критерий инвариантности Тарского, теорема Линдстрёма.
- Логические и семантические парадоксы. Самоприменимость и непредикативные определения.
- Тарский о семантической замкнутости естественного языка. Определение понятия истинности для формализованных языков: схема Тарского. Философские основания теоретико-модельной семантики Тарского.
- «Сильный» и «слабый» искусственный интеллект. Тест Тьюринга и «китайская комната» Сёрля.
- Философские основания лингвистического генеративизма: от глубинных структур к когнитивным моделям.
- Формализуемое и неформализуемое в знании: философский смысл «ограничительных» теорем.
- Теоретико-модельные парадоксы: множественность интерпретаций, нестандартные модели и «онтологическая редукция».
- Дихотомия аналитического и синтетического: У.Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории.
- Принципы теории речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и Вандервекена.
- Локутивные, иллокутивные и перлокутивные речевые акты. Перформативная гипотеза.
- Исчисление речевых актов Сёрля и Вандервекена.
- «Компетенция» и «употребление» в порождающей грамматике Хомского.
- Коммуникативные импликатуры Грайса.
- Аргументативные речевые акты. Аргументация и обоснование.
- Семантика метафоры. «Метафоры, которыми мы живем».
- Значение и действие. Логическое обоснование и рационализация действий. Парадоксы предпочтения и эффективного действия.
- Аристотель о теоретических и практических рассуждениях. Практический силлогизм и целевое обоснование.
- Дискурс и текст. Текст, контекст, гипертекст, интертекст. Художественный и философский тексты: логическая структура и специфика референции.
- Логические аспекты порождения и интерпретации текста: нарративные операторы. Нарративная семантика и семиологическая интерпретация культуры.
- «Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная деятельность (Матурана), «эволюционный аргумент» Деннета.
- Аргументативные речевые акты. Аргументация и обоснование.
- Виды и способы контраргументации. Принципы критического мышления. Критическое мышление и «неформальная логика».
- Философский текст и аргументация в философии.
- Аргументативные техники в правовой, политической, PR и бизнес – коммуникации.
Вопросы для оценки качества освоения дисциплины
- Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика Пирса - Морриса.
- Теория знака Гуссерля. Знак и интециональность, ноэма и ноэзис.
- Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат.
- Программа «преодоления метафизики логическим анализом языка»: логико-семантические идеи Венского кружка.
- «Логический атомизм», теория дескрипций и теория типов Рассела.
- «Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического».
- Функционалистская концепция значения позднего Витгенштейна. «Языковая игра» как «форма жизни».
- Семантические принципы классической логики и основания их пересмотра в неклассической логике. Основные разделы неклассической логики.
- Интенсиональные и экстенсиональные логические системы. Философские основания семантики "возможных миров".
- Эпистемическая логика. Парадокс «логического всеведения». Методы кросс-идентификации и проблема онтологического статуса «возможных объектов».
- Знание и мнение. Проблема Гетье: является ли обоснованное истинное мнение знанием? «Парадокс познаваемости».
- Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В - ряд. Виды временных модальностей.
- Логический статус высказываний о будущих случайных событиях и фатализм. Выражение алетических модальностей через временные.
- Интуиционистская логика. Понятия конструктивного объекта и конструктивного доказательства. Трактовка истины и моделирование роста знания в интуиционистской логике.
- Релевантная логика. Парадоксы материальной импликации. Проблема информативности логических законов.
- Семантические проблемы обоснования логических систем. Логические и семантические парадоксы. Определение понятия истинности для формализованных языков: схема Тарского.
- Машина Тьюринга и тезис Чёрча. Тест Тьюринга и «китайская комната» Сёрля.
- Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл «ограничительных» теорем.
- Принципы теории речевых актов и основные этапы её развития.
- Типы речевых актов. Коммуникативные импликатуры Грайса.
- Аргументативные речевые акты. Доказательство, его структура и виды. Правила и ошибки в доказательствах.
- Виды полемики. Логические и психологические уловки, применяемые в полемике.
Авторы программы
Профессор кафедры онтологии,
логики и теории познания
факультета философии НИУ-ВШЭ,
доктор философских наук Е.Г. Драгалина-Черная
Доцент кафедры онтологии,
логики и теории познания
факультета философии НИУ-ВШЭ,
кандидат философских наук Л.Б. Макеева