Программа дисциплины Логика (стр. 3 )

Маковельский логики. Жуковский – Москва: Кучково поле, 2004

Маркин теории в современной логике. М.: Изд-во МГУ, 1986

Раздел IV. Классическая логика

Тема 1. Классическая логика высказываний

Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию.

Язык классической логики высказываний. Взаимная выразимость функций истинности. Функционально полные системы пропозициональных связок. Табличное построение классической логики высказываний. Законы классической логики высказываний. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам. Сокращенные таблицы истинности и семантические (аналитические) таблицы.

Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Прямые и непрямые, основные и производные правила вывода. Теорема дедукции. Эвристические приемы поиска вывода в натуральном исчислении высказываний.

Аксиоматические формальные теории. Логические и прикладные формальные теории. Виды аксиоматик. Формальные аксиоматики. Независимость аксиом и «воображаемые аксиоматики» формальных теорий. Аксиоматический подход к построению исчисления высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом.

Понятия вывода, отношения выводимости, доказательства и теоремы в аксиоматическом и натуральном исчислении высказываний. Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость. Понятие независимости аксиом и правил вывода.

Альтернативные интерпретации классической логики высказываний: алгебраические семантики и контактно-релейные схемы.

Литература

Основная

, Маркин в логику. М.: ИД - Форум, 2008, с.

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

, Маркин логики. М.: ИНФРА-М., 2005

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

Анисов логика. М.: Изд-во ИФ РАН, 2002

Брюшинкин . М.: Гардарики, 2001

, Дегтярев . М.: Владос - Пресс, 2001

Гладкий в современную логику. М.: МЦНМО, 2001

, Драгалин логика. М.: Едиториал УРСС, 2005

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

Тема 2. Классическая логика предикатов

Язык первопорядковой логики предикатов. Свободные и связанные индивидные переменные. Экзистенциальная и универсальная квантификация. Кванторы как функции выбора и как второпорядковые предикаты.

Семантика первопорядковой логики предикатов. Классы, множества, кортежи. Свойства и отношения. Отношения эквивалентности и порядка. Классы эквивалентности. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Понятие модели (возможной реализации). Выполнимые и общезначимые формулы.

Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.

Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка.

Первопорядковая логика предикатов и традиционная логика. Понятие как специфицированная переменная. Принципы погружения традиционной силлогистики в логику предикатов первого порядка.

Расширения стандартной первопорядковой логики предикатов. Логика предикатов с равенством. Ограниченные и обобщенные кванторы. Языки высших порядков. Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы.

Литература

Основная

, Маркин в логику. М.: ИД - Форум, 2008, с.

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

, Маркин логики. М.: ИНФРА-М., 2005

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

Анисов логика. М.: Изд-во ИФ РАН, 2002

Маркин теории в современной логике. М.: Изд-во МГУ, 1986

, Дегтярев . М.: Владос - Пресс, 2001

Гладкий в современную логику. М.: МЦНМО, 2001

, Драгалин логика. М.: Едиториал УРСС, 2005

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

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

Раздел V. Неклассические логики

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

Экстенсиональные и интенсиональные логические системы. Исторические предпосылки возникновения семантики «возможных миров» для интенсиональных логических систем. Проблема информативности логических законов и семантика «невозможных» возможных миров.

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

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

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

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

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

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

Литература

Основная

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

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

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

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

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

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

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

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

Ивлев логика. М.: Изд-во МГУ, 1991

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

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

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

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

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

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

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

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

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

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

Возможные миры: семантика, онтология, метафизика. М.: Канон +, 2011

Логическая семантика: перспективы для эпистемологии и философии языка. М.: Креативная экономика, 2011

ЧАСТЬ 2. ИНДУКТИВНАЯ И ВЕРОЯТНОСТНАЯ ЛОГИКА

(автор – )

Раздел I. Предмет индуктивной логики

Основные этапы в развитии индуктивной логики и ее современное состояние.

Рассуждение как способ обоснования. Рассуждение и умозаключение. Логическая структура умозаключения. Дедуктивные и индуктивные (правдоподобные) рассуждения. Основные характеристики правильного дедуктивного рассуждения (отношение логического следования, необходимый, демонстративный характер вывода и др.). Критерий правильности дедуктивных умозаключений.

Основные характеристики индуктивного (правдоподобного) рассуждения (отношение правдоподобного следования, проблематичность вывода и др.). Критерий силы (обоснованности) индуктивных рассуждений.

Соотношение дедуктивных и индуктивных рассуждений. Некорректность традиционной трактовки дедуктивных рассуждений как выводов от общего к частному, а индуктивных – как выводов от частного к общему. Сильные и слабые индуктивные рассуждения как разновидность неправильных дедуктивных рассуждений. Энтимемный характер реальных рассуждений и различие между дедуктивными и индуктивными рассуждениями. Возможность преобразования индуктивных рассуждений в дедуктивные и принцип единообразия природы.

Основные подходы к построению индуктивной логики. Создание «демонстративной» идукции. Использование понятия вероятности и создание вероятностной логики.

Литература

Основная

, Маркин в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 1 «Предмет и основные понятия логики», §§ 1, 2; глава 4 «Исчисление высказываний», §1.1; глава 11 «Правдоподобные рассуждения», § 1.1. С. 13-30, 125-127, 447.

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

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. С. 141-144;

Математика и правдоподобные рассуждения. Пер. с англ. . М.: Наука, 1975. С. 25-33, 229-266, 338-346;

К проблеме соотношения индукции и дедукции // Методы логического анализа. М.: Наука, 1977. С. 176-193;

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth. P. 12-22.

Раздел 2. Элементы индуктивной логики

Тема 2.1. Основные виды правдоподобных рассуждений

Обобщающая индукция. Идея обобщающей индукции в произведениях Аристотеля. Неполная обобщающая индукция. Полная обобщающая индукция как вид дедуктивного рассуждения. Предсказательная индукция. Предсказательная индукция как вывод от прошлого к будущему. Отношение между неполной обобщающей индукцией и предсказательной индукцией.

Статистические и нестатистические индуктивные рассуждения. Обобщающая индукция и предсказательная индукция как виды нестатистических индуктивных рассуждений. Особенности статистических индуктивных рассуждений. Виды статистических индуктивных рассуждений: от выборки к популяции, от популяции к выборке, от выборки к выборке.

Энумеративная (перечислительная) и элиминативная (исключающая) индукция. Ф. Бэкон о различии между энумеративной и элиминативной индукциями. Таблицы открытий Бэкона как первая формулировка элиминативной индукции. Элиминативная индукция как способ установления причинных зависимостей через исключение гипотез.

Популярная и научная индукция. Популярная обобщающая индукция и опасность «поспешного обобщения». Научная индукция и способы повышения надежности индуктивных выводов.

Математическая (или рекурсивная) индукция как вид демонстративного (доказательного) рассуждения, ее особенности и отличие от полной обобщающей индукции.

Индукция и аналогия. Рассуждения по аналогии, их структура, виды (аналогия свойств и аналогия отношений) и функции. Аналогия как элемент любого индуктивного рассуждения.

Индукция и абдукция (вывод к наилучшему объяснению). Правдоподобный характер абдуктивных рассуждений. Роль абдукции в теоретических объяснениях.

Индукция как вывод и индукция как метод. Индукция как метод открытия и обоснования в классическом индуктивизме (Ф. Бэкон, Дж. С.Милль и др.). Индукция как метод подтверждения (или обоснования) в гипотетико-дедуктивной модели научного познания (Г. Галилей, Г. Лейбниц, К. Поппер). Индукция как «обратная дедукция» (С. Джевонс). Интуитивная индукция (У. Уэвелл).

Литература

Основная

, Маркин в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 8 «Правдоподобные рассуждения», §§ 2, 5, 6. С. 453-463, 483-496;

Дедуктивная и индуктивная логика. Пер. с англ. . СПб: Комета, 1995. Книга II «Индуктивная логика или логика наук», введение, глава 1, глава 10. С. 241-281, 359-366;

Ивлев . М.: Проспект, 2004. Глава 5 «Умозаключения», раздел Б «Индуктивные умозаключения», §§ 1, 2, 4, 5. С. 118-128, 135-140.

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

Математика и правдоподобные рассуждения. Пер. с англ. . М.: Наука, 1975. С. 34-51, 128-137;

Лебедев как метод научного познания. М.: Изд-во МГУ, 1980;

Лебедев линии развития классической индукции // Индуктивная логика и формирование научного знания. М.: Наука, 1987. С. 107-120;

Маковельский логики. Жуковский-Москва: Кучково поле, 2004. С. 142-148, 332-344.

Тема 2.2. Проблема индукции

Формулировка проблемы индукции Д. Юмом. Вывод Юма о невозможности рационального оправдания выводов, основанных на опыте. Невозможность создания индуктивной логики как следствие этого скептического вывода. Юм о возможности психологического оправдания индукции.

Основные способы оправдания индукции. Принцип индукции Б. Рассела. Индуктивное оправдание индукции (М. Блэк, Р. Брейтуэйт). Прагматистское оправдание индукции (Г. Рейхенбах).

Признание невозможности рационального оправдания индукции. Поппера. Усовершенствование психологического оправдания индукции С. Тулмин.

Способы устранения проблемы индукции как надуманной или бессмысленной.

Парадоксы подтверждения (К. Гемпель) как воспроизведение юмовской проблемы на новом уровне. Новая загадка индукции (Н. Гудмен).

Литература

Основная

Проблемы философии / Пер. с англ. // Введение в философию. Проблемы философии. М.: Республика, 2000. Глава 6 «Об индукции». С.198-205.

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

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. С. 185-203;

Юм Д. Исследование о человеческом познании // Юм Д. Соч. в 2-х томах. Т. 2. М.: Мысль, 1996. С. 21-68;

Логика научного исследования. Пер. с англ. М.: Республика, 2005. С. 24-27;

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth. P. 30-50;

Swinburne, Richard (ed.) (1974). Justification of Induction. Oxford: Oxford University Press. P. 1-17, 26-47, 85-97;

Метлов оправдания индукции // Логика и эмпирическое познание. М., 1972. С. 66-85.

Философский тренинг. Пер. с англ. М.: Хранитель, 2007. С. 192-203.

Тема 2.3. Методы установления причинных связей

Понятие о причинной зависимости. Причина и следствие (действие). Виды причин. Принципы причинности (принцип объективности, принцип всеобщности, принцип необходимости и принцип предшествования причины следствию во времени). Методы установления причинных связей в формулировке Дж. С.Милля. Метод единственного сходства. Метод единственного различия. Соединенный метод сходства и различия. Метод сопутствующих изменений. Метод остатков. Проблематичность выводов, полученных с помощью методов установления причинных связей, и ее источники.

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

Методы установления причинных связей в теоретической реконструкции Г. Х. фон Вригта. Возможные обусловливающие свойства и обусловленное свойство. Простые и сложные обусловливающие свойства. Прямой метод сходства для выявления необходимых условий и используемый в нем принцип элиминации. Обратный метод сходства для выявления достаточных условий и используемый в нем принцип элиминации. Метод различия для выявления достаточных условий и используемый в нем принцип элиминации. Двойной метод сходства для выявления необходимых и достаточных условий и используемые в нем принципы элиминации. Соединенный метод сходства и различия для выявления необходимых и достаточных условий и используемые в нем принципы элиминации.

Применение методов установления причинных связей.

Литература

Основная

, Маркин в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 8 «Правдоподобные рассуждения», §§3, 4. С. ;

Ивлев . М.: Проспект, 2004. Глава 5 «Умозаключения», раздел Б «Индуктивные умозаключения», § 3. С. 129-135.

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

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. С. 160-184;

Милль Дж. С. Система логики силлогистической и индуктивной. Пер. с англ. М.: Изд. , 1914. С. 284-364;

Дедуктивная и индуктивная логика. Пер. с англ. . СПб: Комета, 1995. С. 282-326;

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth. P. 69-97.

Раздел III. Элементы вероятностной логики

Тема 3.1. Индуктивная вероятность

Понятие вероятности и его истолкования. Эмпирическая (дескриптивная) вероятность. Общие характеристики высказываний об эмпирической вероятности. Эпистемическая вероятность. Общие характеристики высказываний об эпистемической вероятности. Индуктивная вероятность как способ объективной оценки эпистемической вероятности. Индуктивная вероятность как мера обоснованности заключения в индуктивных рассуждениях. Основные черты индуктивной вероятности. Основные черты эпистемической вероятности. Связь между эпистемической и индуктивной вероятностью.

Литература

Основная

, Маркин в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 8 «Правдоподобные рассуждения», §1. С. 447-453;

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

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. С. 11-21;

Человеческое познание: его сфера и границы. Пер. с англ. . Киев: Ника-Центр – М.: Институт общегуманитарных исследований, 2001. С. 358-366;

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth. P. 23-29;

Пятницын проблемы вероятностных и статистических методов. М.: Наука, 1976. С. 253-276.

Тема 3.2. Исчисление вероятностей

Понятие исчисления. Аксиоматизация теории вероятностей.

Основные правила и определения исчисления вероятности для безусловных (категорических) высказываний: правило нормировки, правило задания значений «1» и «0», правило для логически эквивалентных высказываний, определение взаимной несовместимости высказываний, частное правило для дизъюнкции, правило для отрицания, общее правило для дизъюнкции, определение условной вероятности, определение независимости высказываний, общее правило для конъюнкции, частное правило для конъюнкции.

Основные правила и определения исчисления вероятностей для условных высказываний. Правило Байеса и его значение для индуктивной логики. Упрощенная формулировка правила Байеса (для двух гипотез). Общая формулировка правила Байеса. Правило Байеса как выражение идеи обучения на опыте.

Литература

Основная

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. Глава 2 «Исчисление вероятностей». С. 22-44.

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

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth. P. 109-136;

Математика и правдоподобные рассуждения. Пер. с англ. . М.: Наука, 1975. С. 338-370;

Человеческое познание и его границы. Пер. с англ. . Киев: Ника-Центр – М.: Институт общегуманитарных исследований, 2001. С. 367-373.

Тема 3.3. Основные интерпретации вероятности и их использование для построения вероятностной логики

Классическая интерпретация вероятности. Понятие априорной вероятности и симметрично сбалансированных данных. Вероятность как отношение числа благоприятных исходов к общему числу возможных исходов. Принцип равновозможности. Принцип индифферентности. Парадоксы Бертрана. Критика классической интерпретации вероятностей.

Частотная интерпретация вероятности. Понятие апостериорной вероятности. Вероятность как коллективное свойство массовых явлений. Вероятность как относительная частота. Вероятность как предел относительной частоты. Трудности частотной интерпретации вероятностей. Вероятностная логика Г. Рейхенбаха. Вероятность (вес) высказывания как относительная частота истинностных значений высказываний данного типа в референтном классе высказываний.

Интерпретация вероятности как предрасположенности, ее достоинства и недостатки.

Персоналистская (субъективная) интерпретация вероятности. Вероятность как мера (степень) веры в некоторое высказывание. Персональная (субъективная) вероятность как ставочный коэффициент. Условия честного пари. Голландские условия пари (Dutchbook). Принцип когерентности. Правило Байеса как способ преодоления субъективизма в оценке вероятностей высказываний по мере поступления новых данных. Байесизм, его достоинства и недостатки.

Логическая интерпретация вероятности. Вероятность как объективное отношение между высказываниями (Дж. М.Кейнс). Вероятность как степень подтверждения гипотезы эмпирическими данными. Вероятностная логика Р. Карнапа, ее ключевые понятия (описание состояния, описание структуры, область высказывания, степень подтверждения (с-функция), мера описания состояния, мера описания структуры, мера высказывания). Два возможных определения меры описания состояния.

Литература

Основная

Философские основания физики. М., 2006. Глава 2 «Индукция и статистическая вероятность»; глава 3 «Индукция и логическая вероятность». С. 59-85;

, Маркин в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 8 «Правдоподобные рассуждения», §1. С. 447-453;

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. Глава 5 «Интерпретация вероятности как степени следования», глава 13 «Теории подтверждения». С. 81-99, 247-270.

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

Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. С. 45-80, 100-112;

Пассмор Дж. Сто лет философии. Пер. с англ. М.: Прогресс-традиция, 1998. С. 90-109, 319-328;

Человеческое познание и его границы. Пер. с англ. . Киев: Ника-Центр – М.: Институт общегуманитарных исследований, 2001. С. 373-448;

Исследования по логике подтверждения // Логика объяснения. Пер. с англ. . М.: ДИК, 1998. С. 32-88;

Вригт фон подтверждения / Пер. с англ. // Вригт фон -философские исследования. Избр. Труды. М.: Прогресс, 1986. С. 483-497;

Костюк и принятие гипотезы // Индуктивная логика и формирование научного знания. М.: Наука, 1987. С. 9-22;

Факт, фантазия и предсказание / Пер. с англ. // Способы создания миров. М.: Идея-Пресс, Праксис, 2001. С. 37-60;

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth. P. 51-68, 137-150.

ЧАСТЬ 3. ЛОГИЧЕСКАЯ СЕМАНТИКА

(автор – -Черная)

Раздел 1. Становление и этапы развития логической семантики

Протосемиотика: логико-семиотические традиции Древнего Востока и Древней Греции. «Индийская силлогистика» как семиотическая деятельность: Готама и Дигнага. Логика ньяя о суждении как восприятии: концепция «проникновения сущностей». Буддистская логика о восприятии как суждении: статика значений и динамика реальности. Спор о семантико-онтологическом статусе небытия: «отсутствие присутствия» vs. «присутствие отсутствия». Китайская иероглифика и категория «мин» (имя – понятие). Мин как знак и репрезентативная (от фр. абстракция. Конфуцианский принцип «исправления имен» (чжэн мин) и природная теория имен. Проблема имен (мин) и реалий (ши) в «школе имен» (мин цзя). Школа «отделения твердого от белого» и «парадокс белой лошади» Гуньсунь Луна. Античные теории именования: натурализм против конвенционализма. Софистический конвенционализм. Диалог Платона «Кратил»: именование как деятельность. Аристотель о несовершенстве умозаключений «от знаков».

Категориальная система средневековой семиотики. Понятие «ментального языка» и теория знака Августина. Дефиниция и инфиниция, существование и сущность, имя и атрибут в схоластических доказательствах бытия Бога. Поиски «идеального языка». Картезианская Mathesis Universalis, «рациональная грамматика» Пор-Рояля и Lingua Characteristica Лейбница. Теории знаков Гоббса, Локка, Гассенди. Онтологический аргумент и его критика Кантом.

Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и диахронное, значение и значимость. Семиотика Пирса - Морриса. Фанероскопия Пирса: репрезентамент – объект - интерпретанта, иконические знаки - индексы – символы. Бихевиоризм Морриса: знак – десигнат – интерпретанта - интерпретатор, синтаксис – семантика – прагматика.

Теория знака Гуссерля. Феноменологическая критика психологизма и программа трансцендентального обоснования логики. Формальная онтология как априорное учение о формальных структурах предметности. Знак и интециональность, ноэма и ноэзис. Горизонт ноэтического акта. Феномен как смысл.

Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат, принципы контекстуальности и композициональности.

«Логический атомизм», теория дескрипций и теория типов Рассела. Программа «преодоления метафизики логическим анализом языка»: семантические идеи Венского кружка.

«Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического». Функционалистская концепция значения позднего Витгенштейна. Проблема «следования правилу» и «скептический парадокс». «Языковая игра» как «форма жизни».

Литература

Основная

Западная философия от истоков до наших дней. Том 4. От романтизма до наших дней. СПб.: Петрополис, 1997, с.314 – 319, 369 – 376, 387 – 396, 406 – 414, 453 – 484, 590 – 595, 616-626, 635 – 644,

Смирнова и философия. М.: РОССПЭН, 1996, с. 18 – 49

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

Гуньсунь Лун // Древнекитайская философия. М.: Мысль, 1973, т. 2, с.

Платон. Кратил // Платон. Собрание соч. в 4 т. М.: Мысль, 1990, т. 1, с.

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

Ансельм Кентерберийский. Прослогион // Ансельм Кентерберийский. Сочинения. М.: Канон, 1995, 123 – 165

Критика чистого разума // Собрание сочинений в восьми томах, М.: Изд-во Чоро, 1994, т.3,

Пирс о знаках: Разделение знаков. Икона, индекс, символ // Пирс философские произведения. М.: Логос, 2000, с. 176 – 222

Основания теории знаков // Семиотика. М.: Радуга, 1983, с.37 – 89

де. Курс общей лингвистики. Часть 1. Общие принципы. Глава 3. Статическая лингвистика и эволюционная лингвистика. Часть 2. Синхроническая лингвистика. Глава 4. Языковая значимость. // де. Труды по языкознанию. М.: Прогресс, 1977, с. 112-132, 1

Идеи к чистой феноменологии и феноменологической философии. М.: Дом интеллектуальной книги, с.

Преодоление метафизики логическим анализом языка // Аналитическая философия: становление и развитие. М.: Дом интеллектуальной книги, 1998, с. 69-89

О смысле и значении // Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с.

Мысль. Логическое исследование // Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 326 – 342

Дескрипции // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с.

Логико-философский трактат // Философские работы. Ч.1. М.: Гнозис, 1994, с

Философские исследования // Философские работы. Ч.2. М.: Гнозис, 1994, с.

Феноменология // Логос, 1991, вып. 1

Эмпиризм, семантика и онтология // Значение и необходимость. М.: ЛКИ, 2007

Витгенштейн о правилах и индивидуальном языке // Логос, №11, 1999

Кронгауз . М.: Изд-во РГГУ, 2001

Размышления о первой философии // Сочинения. М.: Мысль, 1994, т.2

Лейбниц исследования, касающиеся анализа понятий и истин // Соч. в 4-х томах. Т.3. М., 1984Переписка Эдмунда Гуссерля и Готлоба Фреге // Избранные работы. М.: Территория будущего, 2005

Пирс и логика вещей. М.: Издательство РГГУ, 2005

Объективное знание. Эволюционный подход. М.: Едиториал УРСС, 2004

Философские основания атомизма. Томск: Водолей, 1993

Введение в математическую философию. Новосибирск: Сибирское университетское издательство, 2007

Комментарий Прокла на платоновский диалог «Кратил» // Материалы к исследованиям по истории платонизма. Вып. 2, СПб.: СПб: Наука, 2000

Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000

Крушинский и мышление в Древнем Китае // Вопросы философии, 2007, №5 Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Маковельский логики. Жуковский – Москва: Кучково поле, 2004

Основоположения арифметики. Томск: Водолей, 2000

Журнал “Erkenntnis” («Познание»). Избранное. М.: Идея-пресс, 2006

-О. Трансформация философии. М.: Логос, 2001

, С. Скептицизм, правила и язык. М.: Канон+, 2007

В логическом мире Фреге // Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 443 — 509

, Маркин теории. М.: Прогресс-традиция, 2010

Васюков феноменология. М.: Наука, 1999

Львовско-варшавская философская школа. М.: РОССПЭН, 2004

Введение в феноменологию Э. Гуссерля. М.: Дом интеллектуальной книги, 1999

Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000

Научное миропонимание – Венский кружок // Логос, 2005, №2

Язык и знак в прагматизме. СПб.: Издательство Европейского университета в Санкт-Петербурге, 2008

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

Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Макеева , онтология и реализм. М.: Издательский дом Высшей школы экономики, 2011.

Слинин истолкование логики // Логические исследования, М.: Наука, 1999, вып. 8

Сокулер Витгенштейн и его место в философии ХХ века. Долгопрудный: Изд-во Физтех, 1994

Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004

Кочерга Витгенштейна. М.: УРСС, 2004

Поворот в философии // Аналитическая философия: становление и развитие, М.: Прогресс, 1998

Драгалина-Черная для Абеляра и Элоизы. М.: Издательский Дом НИУ ВШЭ, 2012.

Зильберман значения в философии индуизма. М.: Наука, 1998Бочаров Д. Г.Х. Введение в индийскую логику навья-ньяя. М.: Наука, 1975

, Заболотных выводного знания в Индии. Логико-эпистемологические воззрения Дигнаги и его идейных преемников. М.: Восточная литература, 2002

Базаров философского диспута в тибетском буддизме. СПб.: Наука, 1998

Маковельский логики. Жуковский – Москва: Кучково поле, 2004

Щербатской познания и логика по учению позднейших буддистов. СПб.; Университетская книга, 1995

. История идеи универсальной грамматики (с древнейших времен и до Лейбница). СПб.: -Петербургского университета, 2006

Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007

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

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

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

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

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

Основная

, Драгалин логика. М.: Едиториал УРСС, 2005, с.

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

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

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

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

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