Программа дисциплины логика для направления 030100. 62 Философия подготовки бакалавра


Раздел 2. Семантические основания неклассических логических систем



страница14/17
Дата10.05.2018
Размер0.59 Mb.
ТипПрограмма дисциплины
1   ...   9   10   11   12   13   14   15   16   17
Раздел 2. Семантические основания неклассических логических систем

Принципы классической логики и философские основания их пересмотра в неклассической логике. Основные разделы неклассической логики.

Экстенсиональные и интенсиональные логические системы. Исторические предпосылки возникновения семантики «возможных миров» для интенсиональных логических систем. Проблема виртуального существования в схоластической полемике об универсалиях. Семантика возможных миров для аналитических истин, божественное всемогущество и свобода человека: Декарт и Лейбниц. Проблема информативности логических законов и семантика «невозможных» возможных миров.

Алетическая модальная логика. Виды модальностей. Модальности de re и de dicto. Свойства отношения достижимости и системы алетической модальной логики Эпистемическая логика. Знание и мнение. Проблема Гетье: является ли обоснованное истинное мнение знанием? Парадоксы познаваемости и «логического всеведения». Референциальная непрозрачность интенсиональных контекстов и «загадка контекстов мнения». Интенсиональность как интенциональность. Методы кросс-идентификации и проблема онтологического статуса «возможных объектов»: «жесткие десигнаторы» Крипке и «индивидуализирующие функции» Хинтикки. Онтологический статус интенсиональных сущностей и нео-эссенциализм.

Временная логика. Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В - ряд. Аристотель о «завтрашнем морском сражении»: логический статус высказываний о будущих случайных событиях и фатализм. Выражение алетических модальностей через временные. Минимальная система временной логики и её расширения.

Многозначные логики. Трехзначная логика Лукасевича, конечнозначные и бесконечнозначные логики. Проблема содержательной интерпретации истинностных значений в многозначной логике.

Релевантная логика. Парадоксы материальной импликации. Понятия релевантного следования и обобщенных описаний состояний.

Интуиционистская логика. Идейные предпосылки возникновения интуиционистской логики. Критика Брауэром «чистых теорем существования» и программа Гильберта обоснования математики. Понятия конструктивного объекта и конструктивного доказательства. Трактовка истины и моделирование роста знания в интуиционистской логике. Колмогоровская интерпретация интуиционистской логики как «исчисления задач». Интуиционистское исчисление высказываний. Модели Крипке для интуиционистской логики. Связь интуиционистской и модальной логик.

Паранепротиворечивые, динамические и немонотонные логики как модели неполного, противоречивого, модифицирующегося знания.
Литература

Основная

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 274 – 378


Дополнительная

Аристотель. Об истолковании // Аристотель. Сочинения, т. 2. М.: Мысль, 1978

Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000

Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005

Анисов А.М. Темпоральный универсум и его познание. М.: Изд-во ИФ РАН, 2000

Булос Дж., Джеффри Р. Вычислимость и логика. М., 1994

Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М.: Едиториал УРСС, 2004

Ивлев Ю.В. Модальная логика. М.: Изд-во МГУ, 1991

Карпенко А.С. Фатализм и случайность будущего. Логический анализ. М.: Наука, 1990

Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с. 340 - 376

Крипке С. Загадка контекстов мнения // Новое в зарубежной лингвистике. М.: Радуга, 1986, вып. 18

Куайн У. Референция и модальность // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с. 87 - 108

Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999

Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003

Сидоренко Е.А. Релевантная логика. М.: Изд-во ИФ РАН, 2000

Сидоренко Е.А. Логика. Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996

Хинтикка Я. Логико-эпистемологические исследования. М.: Прогресс, 1980

Драгалина-Черная Е.Г.(ред.). Возможные миры: семантика, онтология, метафизика. М.: Канон +, 2011

Е.Г.Драгалина-Черная, Д.В.Зайцев (ред.) Логическая семантика: перспективы для эпистемологии и философии языка. М.: Креативная экономика, 2011



Раздел 3. Семантическое обоснование логики. Выразительные, вычислительные и дедуктивные возможности формализмов

Семантические проблемы обоснования логических систем. Логические и семантические парадоксы. Самоприменимость и непредикативные определения. Семантическая замкнутость языка. Истинность и осмысленность. Определение понятия истинности для формализованных языков: схема Тарского. Выразительные возможности языков формальных теорий: теорема Тарского. Критерий инвариантности Тарского и принцип онтологической нейтральности Куайна.

Теоретико-модельные свойства формальных теорий. Множественность интерпретаций, нестандартные модели и парадокс Сколема. Феномен онтологической редукции, «парадокс» Патнэма и философские основания теоретико-модельных семантик. У.Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории.

Формальные системы, алгоритмы и вычислимые функции. Рекурсивно разрешимые и рекурсивно перечислимые множества. Конструктивный объект. Машина Тьюринга и тезис Чёрча. Неразрешимость общей проблемы остановки. Тест Тьюринга и «китайская комната» Сёрля.

Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл «ограничительных» теорем. Формализуемое и неформализуемое в знании. Сильный и слабый искусственный интеллект.
Основная

Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005, с. 167 - 227

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 107 - 132
Дополнительная

Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие, М., 1998, с. 90 - 129

Барвайс Д. Введение в логику первого порядка // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982

Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994

Вейнгартнер П. Фундаментальные проблемы теорий истины. М.: Наука, 2005

Виноград Т., Флорес Ф. О понимании компьютеров и познания // Язык и интеллект. М.: Прогресс, 1996

Кейслер Г., Чэн Ч.Ч. Теория моделей. М.: Мир, 1977

Кейслер Х. Основы теории моделей // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982


Клайн М. Математика. Утрата определенности. М.: Мир, 1984

Куайн У. С точки зрения логики. 9 логико-философских очерков. Томск, 2003

Куайн У. Философия логики. М.: Канон+, 2008

Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000

Пенроуз Р. Новый ум короля. О компьютерах, мышлении и законах физики. М.: УРСС, 2003

Сёрль Дж. Открывая сознание заново. М., 2002

Сёрль Дж. Сознание, мозг, наука // Путь, 1993, №4

Смирнова Е.Д. Основы логической семантики. М.: Изд-во МГУ, 1990

Тьюринг А. Может ли машина мыслить? М.: Мир, 1960

Хакинг Я. Представление и вмешательство: Начальные вопросы философии естественных наук. М.: Логос, 1998

Хант Э. Искусственный интеллект. М.: Мир, 1978

Хинтикка Я. Проблема истины в современной философии // Вопросы философии, 1996, № 9

Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. Метафорическая фуга о разуме и машинах в духе Льюиса Кэрролла. М.: Бахрах-М, 2000

Драгалина-Черная Е.Г. Границы логики: онтологический поворот // Философия науки, № 14, ИФ РАН, 2009, с. 87-99


Драгалина-Черная Е.Г. Семантическое обоснование логики: истоки и перспективы // Логическая семантика: перспективы для эпистемологии и философии языка. М.: Креативная экономика, 2011


Каталог: data -> 2011
2011 -> Семинар "Человеческий капитал как междисциплинарная область исследований"
2011 -> Тамара Михайловна Тузова Специфика философской рефлексии
2011 -> Программа дисциплины «Философия» для направления 080100. 62 «Экономика»
2011 -> Программа дисциплины «Социология управления»
2011 -> Программа дисциплины «Основы теории коммуникации»
2011 -> Тезисы международной научно-практической конференции "Реализация гендерной политики: от международного до муниципального уровня"
2011 -> Программа дисциплины «Введение в социологию и история социологии»
2011 -> Николо Макиавелли Государь
2011 -> Экономическая социология
2011 -> Экономическая социология


Поделитесь с Вашими друзьями:
1   ...   9   10   11   12   13   14   15   16   17


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница