Фундаментальные проблемы теорий истины. М.: Наука, 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
Раздел 3. От семантики к прагматике. Теория речевых актов. Аргументативные речевые акты.
Теория речевых актов и её эволюция. Локутивные, иллокутивные и перлокутивные речевые акты. Перформативная гипотеза. Коммуникативные импликатуры Грайса. Постулаты речевого общения и коммуникативные неудачи. Иллокутивное самоубийство.
Конституирующие правила аргументативного речевого акта: семантика и прагматика. Аргументация как обоснование мнений и действий. Основные этапы развития искусства и теории аргументации. Аргументация, доказательство, убеждение.
Структура доказательства и опровержения, их правила. Виды и способы контраргументации. Понятие критики. Логические требования к внешней и внутренней критике. Принципы критического мышления.
Спор и полемика. Виды спора: диалектический, эристический и софистический споры. Логические и психологические уловки, применяемые в споре. Внушение и рациональное доказательство. Аргументативные стратегии и тактики.
Логические аспекты порождения и интерпретации текста: нарративные операторы. Философский текст: логическая структура и специфика референции.
Литература
Основная
Серль Дж. Референция как речевой акт // Новое в зарубежной лингвистике, М: Радуга, 1982, вып. 13, с.
Дополнительная
Кронгауз . М.: Изд-во РГГУ, 2001, С.
-О. Трансформация философии. М.: Логос, 2001
Язык. Культура. Познание. М.: Русские словари, 1996
Вригт -философские исследования. М.: Прогресс, 1986
Логика и речевое общение // Новое в зарубежной лингвистике, М: Радуга, 1985, вып. 17
Лакофф Дж., Метафоры, которыми мы живем. М.: УРСС, 2004
Остин Дж. Три способа пролить чернила. СПб.: Алетейя, 2006
Остин Дж. Как производить действия при помощи слов. Смысл и сенсибилии. М., 1999
Сёрль Дж. Рациональность в действии. М., 2004
Серль Дж. Логический статус художественного дискурса // Логос, 1999, №3
Серль Дж., Основные понятия исчисления речевых актов // Новое в зарубежной лингвистике, М.: Радуга, 1986, вып. 18
Язык как инстинкт. М.: УРСС, 2004
Ego Loquens. Язык и коммуникационное пространство. М.: РГГУ, 2007
Важнейшие концепции теории аргументации. СПб., 2006
Герасимова в теорию и практику аргументации. М: Логос, 2003
Зайцев и практика аргументации. М.: ИНФРА-М, 2007
Алексеев текст. Идеи, аргументация, образы. М., 2006
Еемерен Ф, Аргументация: анализ, представление, проверка. СПб., 2004
Речевые акты в аргументативных дискуссиях (теоретическая модель анализа дискуссий, направленных на разрешение конфликта мнений). СПб., 1994
Зарецкая . Теория и практика речевой коммуникации. М., 1999
Мысль и искусство аргументации. М., 2003
Аргументы ad hominem. М.: Институт фонда «Общественное мнение», 2002
9 Образовательные технологии
В курсе разбираются практические задачи и кейсы, используются деловые игры.
10 Оценочные средства для текущего контроля и аттестации студента
10.1 Тематика заданий текущего контроля
Тематика докладов и рефератов по разделу «Дедуктивная логика» (1,2,3 модули 1 курса)
1. Логика в системе культуры. Логика традиционная и теоретическая
2. Психологизм в логике и логицизм в психологии
Когнитивные предпосылки возникновения теории рассуждений. Пралогическое мышление. Античные софизмы и парадоксы Логическое учение Аристотеля. Силлогистика Аристотеля и современная логика Виды знаков и их функционирование в культуре. Образ, знак, символ Функции языка. Естественные и искусственные языки. Формализованные языки и формальные онтологии Национальные языки и национальные образы мира. Логико-философский анализ гипотезы лингвистической относительности Традиционная теория понятия и ей альтернативы. Теория прототипов и принцип «семейного сходства». Фреймовые модели представления знания Понятия, концепты, комплексы. Логические и психолого-дидактические модели понятийной деятельности ребенка Классификация и категоризация. Естественные и искусственные классификации. Категориальные ошибки Теория определения и диэреза у Платона и Аристотеля Принципы построения эротетической логики. Провокационные вопросы и демагогические ответы. Методологические трудности традиционной силлогистики. Силлогистические теории в современной логике Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию Пропозициональные связки классической логики высказываний и их выражение в естественном языке. Функционально полные системы пропозициональных связок Семантические (аналитические) таблицы для классической логики высказываний. Принципы формализации семантических таблиц в исчислении секвенций. Теорема об устранении сечения Эвристические приемы поиска вывода в натуральном исчислении высказываний Лемматические рассуждения Рассуждение от противного и сведение к абсурду. Роль контрфактических рассуждений в преодолении когнитивного эгоцентризма Формализация, символизация, аксиоматизация. Виды аксиоматик. «Воображаемые аксиоматики» формальных теорий Аксиоматический подход к построению исчисления высказываний. Теорема дедукции Метатеоретические свойства классического исчисления высказываний Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы Метатеоретические свойства классического исчисления предикатов первого порядка Культурно-возрастная детерминация навыков дедуктивных рассуждений Принципы классической логики и философские основания их пересмотра в неклассической логике Философские основания семантики "возможных миров". «Невозможные» возможные миры. Принципы и антиномии отношения именования. Референциальная непрозрачность. Интенсиональные и экстенсиональные контексты Проблемы кросс-идентификации и интенционального тождества: «жесткие десигнаторы» Крипке и «индивидуализирующие функции» Хинтикки. Онтологический статус интенсиональных сущностей и нео-эссенциализм. Ситуационные и теоретико-игровые семантики для интенсиональных логик. Парадоксы познаваемости и «логического всеведения», пути их разрешения33. Временная логика. Трактовки временного ряда. Минимальная система временной логики и её расширения
34. Фатализм и его логический анализ
Парадоксы материальной импликации и проблема информативности логических законов. Понятие обобщенных описаний состояний Идейные предпосылки возникновения интуиционистской логики. Критика Брауэром «чистых теорем существования» и программа Гильберта обоснования математики37. Многозначные логики. Проблема содержательной интерпретации истинностных значений в многозначной логике
38. Моделирование неполного, противоречивого, модифицирующегося знания в паранепротиворечивых, динамических и немонотонных логических системах
Тематика докладов и рефератов по разделу «Логическая семантика» (2,3 модули второго курса)
Мин как знак и репрезентативная (от фр. абстракция. Школа «отделения твердого от белого» и парадокс «белой лошади». Диалог Платона «Кратил»: именование как деятельность. Спор об универсалиях. Номинализм и реализм в средневековой и современной логике Логика онтологического аргумента: от Ансельма к Канту. «Универсальная характеристика» и «всеобщая математика»: сходство и различие исследовательских программ. Картезианская Mathesis Universalis и неокартезианский проект Хомского. Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и диахронное, значение и значимость. Семиотика и фанероскопия Пирса: репрезентамен – объект – интерпретанта. Диаграмматическая логика Пирса. Бихевиористская семиотика Морриса: знак – десигнат – интерпретанта – интерпретатор. Смысл как феномен: феноменологическая семиотика Гуссерля. «Аналитика присутствия» Хайдеггера: знаки и смыслы. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат, принципы контекстуальности и композициональности. Логическая критика естественного языка и принципы построения «идеального языка». «Преодоление метафизики логическим анализом языка» (Карнап). Теория дескрипций и теория типов Рассела. «Картинная» теория языка раннего Витгенштейна. Принцип «семейного сходства» позднего Витгенштейна и современные функционалистские концепции значения: теория прототипов. Проблема «следования правилу» и «скептический парадокс»: Витгенштейн и Крипкенштейн. Язык как «форма жизни» и «жизненный мир»: Витгенштейн и Гуссерль. Многообразие логических систем и проблема единства логического знания. Критерии и границы логического: принцип онтологической нейтральности Куайна, критерий инвариантности Тарского, теорема Линдстрёма. Логические и семантические парадоксы. Самоприменимость и непредикативные определения. Тарский о семантической замкнутости естественного языка. Определение понятия истинности для формализованных языков: схема Тарского. Философские основания теоретико-модельной семантики Тарского. «Сильный» и «слабый» искусственный интеллект. Тест Тьюринга и «китайская комната» Сёрля. Философские основания лингвистического генеративизма: от глубинных структур к когнитивным моделям. Формализуемое и неформализуемое в знании: философский смысл «ограничительных» теорем. Теоретико-модельные парадоксы: множественность интерпретаций, нестандартные модели и «онтологическая редукция». Дихотомия аналитического и синтетического: У. Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории. Принципы теории речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и Вандервекена. Локутивные, иллокутивные и перлокутивные речевые акты. Перформативная гипотеза. Исчисление речевых актов Сёрля и Вандервекена. «Компетенция» и «употребление» в порождающей грамматике Хомского. Коммуникативные импликатуры Грайса. Аргументативные речевые акты. Аргументация и обоснование. Семантика метафоры. «Метафоры, которыми мы живем». Значение и действие. Логическое обоснование и рационализация действий. Парадоксы предпочтения и эффективного действия. Аристотель о теоретических и практических рассуждениях. Практический силлогизм и целевое обоснование. Дискурс и текст. Текст, контекст, гипертекст, интертекст. Художественный и философский тексты: логическая структура и специфика референции. Логические аспекты порождения и интерпретации текста: нарративные операторы. Нарративная семантика и семиологическая интерпретация культуры. «Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная деятельность (Матурана), «эволюционный аргумент» Деннета. Аргументативные речевые акты. Аргументация и обоснование. Виды и способы контраргументации. Принципы критического мышления. Критическое мышление и «неформальная логика». Философский текст и аргументация в философии. Аргументативные техники в правовой, политической, PR и бизнес – коммуникации.Типы задач к экзамену по разделу «Дедуктивная логика»
1. Ограничить и обобщить данное понятие. Проверить правильность ограничения.
2. Найти понятие, подчиненное по отношению к данному (подчиняющее данное, находящееся в отношении пересечения с данным).
3. Установить отношение данных понятий по объему.
4. Привести примеры понятий, объемы которых находятся в заданном круговыми схемами отношении.
5. Проверить правильность деления.
6. Проверить правильность определения и указать его вид.
7. Проверить правильность обращения.
8. Сделать все возможные выводы по логическому квадрату из истинности (ложности) данного суждения.
9. Проверить правильность силлогизма (по общим правилам и круговым схемам).
10. Восстановить энтимему до полного силлогизма и проверить её корректность.
11. Выразить на языке логики высказываний логическую структуру данного высказывания.
12. Построить таблицу истинности (полную и сокращенную) для формулы классической логики высказываний и определить, является ли она логическим законом.
13. По таблицам истинности определить, в каком логическом отношении находятся высказывания (формулы классической логики высказываний).
14. По таблицам истинности (полным и сокращенным) проверить правильность рассуждения.
15. Доказать теорему в натуральном исчислении высказываний.
16. Выразить на языке логики предикатов первого порядка логическую структуру данного высказывания.
17. Доказать теорему в натуральном исчислении предикатов.
18. Определить, является ли данный контекст интенсиональным.
19. Выразить на языке модальной (временной, эпистемической, деонтической) логики логическую структуру данного высказывания.
10.2 Вопросы для оценки качества освоения дисциплины
Примерный перечень вопросов к зачету (экзамену) по всему курсу или к каждому промежуточному и итоговому контролю для самопроверки студентов.
Вопросы для оценки качества освоения дисциплины по разделу «Дедуктивная логика» (1,2,3 модули первого курса)
1. Предмет логики. Понятия логической формы и логического следования.
2. Основные этапы развития логики. Логика традиционная и теоретическая.
3. Понятие логического закона. Основные законы традиционной логики. Паралогизмы, софизмы и парадоксы.
4. Место логики в системе когнитивных наук. Психологизм и антипсихологизм в логике.
5. Язык как информационная знаковая система. Теоретические предпосылки возникновения общей теории знаковых систем. Этапы развития семиотики и её междисциплинарный статус.
6. Виды знаков и их функционирование в культуре. Иконические знаки, индексы и символы. Сигналы и символы.
7. Понятие семиотической ситуации. Основные семиотические аспекты языка: синтаксис, семантика, прагматика.
8. Функции языка. Естественные и искусственные языки. Принципы построения формализованных логических языков. Язык-объект и метаязык.
9. Смысл и значение знака. Интенсиональные и экстенсиональные контексты.
10. Понятие как форма мысли. Выражение понятий в языке. Имя, понятие, предмет: натурализм и конвенционализм в истории логики и семиотики. Понятия и комплексы.
11. Объем и содержание понятия. Закон обратного отношения между содержаниями и объемами понятий. Обобщение и ограничение понятий.
12. Виды понятий.
13. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий.
14. Булевы операции над объемами понятий.
15. Деление понятий. Виды и правила деления. Классификация и категоризация.
16. Определение понятий. Номинальные и реальные определения. Структура и виды явных и неявных определений. Правила и возможные ошибки в определениях.
17. Суждение, вопрос, императив. Пресуппозиции вопроса и условия его логической корректности.
18. Традиционная силлогистика: язык, способ анализа и условия истинности простых категорических суждений. Аристотелевская и индийская силлогистики.
19. Отношения между простыми категорическими суждениями.
20. Непосредственные силлогистические умозаключения: выводы по логическому квадрату, обращение, превращение, противопоставление субъекту и предикату.
21. Простой категорический силлогизм: состав, фигуры и модусы. Общие правила силлогизма.
22. Проверка силлогизмов с использованием круговых диаграмм.
23. Сокращенный силлогизм (энтимема). Сложные и сложносокращенные силлогизмы. Условия их логической корректности.
24. Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию.
25. Язык классической логики высказываний. Табличное построение классической логики высказываний. Законы классической логики высказываний.
26. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам. Сокращенные таблицы истинности.
27. Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Эвристические приемы поиска вывода в натуральном исчислении высказываний.
28. Аксиоматический подход к построению исчисления высказываний. Правила вывода: прямые и непрямые, основные и производные. Теорема дедукции.
29. Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость. Понятие независимости аксиом и правил вывода.
30. Язык первопорядковой логики предикатов. Свободные и связанные индивидные переменные. Экзистенциальная и универсальная квантификация.
31. Семантика первопорядковой логики предикатов. Классы, множества, кортежи. Свойства и отношения. Понятие функции. Виды функций. Понятие модели (возможной реализации).
32. Выполнимые и общезначимые формулы классической логики предикатов.
33. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.
34. Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка.
35. Принципы погружения традиционной силлогистики в логику предикатов первого порядка. Понятие как специфицированная переменная.
36. Расширения стандартной первопорядковой логики предикатов. Логика предикатов с равенством. Ограниченные и обобщенные кванторы. Языки высших порядков и онтологический критерий Куайна.
37. Семантические принципы классической логики и основания их пересмотра в неклассической логике. Основные разделы неклассической логики.
38. Интенсиональные и экстенсиональные логические системы. Философские основания семантики "возможных миров".
39. Эпистемическая логика. Парадокс «логического всеведения». Методы кросс-идентификации и проблема онтологического статуса «возможных объектов».
40. Знание и мнение. Проблема Гетье: является ли обоснованное истинное мнение знанием? «Парадокс познаваемости».
41. Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В - ряд. Виды временных модальностей.
42. Логический статус высказываний о будущих случайных событиях и фатализм. Выражение алетических модальностей через временные.
43. Интуиционистская логика. Понятия конструктивного объекта и конструктивного доказательства. Трактовка истины и моделирование роста знания в интуиционистской логике.
44. Релевантная логика. Парадоксы материальной импликации. Проблема информативности логических законов.
Вопросы для оценки качества освоения дисциплины по разделу
«Индуктивная и вероятностная логика» (1, 2 модули второго курса)
Вопросы для оценки качества освоения дисциплины
1. Дедуктивные и индуктивные рассуждения, их различие. Неадекватность традиционного определения дедукции как рассуждения от общего к частному, а индукции – как рассуждения от частного к общему.
2. Обобщающая индукция. Полная и неполная индукция.
3. Энумеративная и элиминативная индукции. Элиминативная индукция как вид научной индукции.
4. Статистические индуктивные рассуждения, их виды и отличие от нестатистических индуктивных рассуждений.
5. Рассуждения по аналогии, их структура и виды.
6. Популярная и научная индукция.
7. Абдуктивные выводы, их отношение к индукции и роль в научном познании.
8. Индукция как научный метод. Индуктивизм и гипотетико-дедуктивная модель научного познания. Индукция как обратная дедукция.
9. Проблема индукции.
10. Основные подходы к решению проблемы оправдания индукции.
11. Индуктивное оправдание индукции.
12. Прагматистское оправдание индукции.
13. Принцип индукции Б. Рассела.
14. Понятие причины, виды причин и основные принципы причинности.
15. Метод единственного сходства.
16. Метод единственного различия.
17. Соединенный метод сходства и различия.
18. Метод сопутствующих изменений и метод остатков.
19. Экспликация понятия причины в терминах необходимых и достаточных условий.
20. Прямой и обратный методы сходства в теоретической реконструкции Г. Х. фон Вригта.
21. Метод различия в теоретической реконструкции Г. Х. фон Вригта.
22. Комбинированные методы в теоретической реконструкции Г. Х. фон Вригта.
23. Термин «вероятность» и его значения. Эмпирическая и эпистемическая вероятность.
24. Понятие индуктивной вероятности. Отношение между индуктивной и эпистемической вероятностью.
25. Исчисление вероятностей. Основные правила исчисления вероятностей для высказываний.
26. Теорема Байеса и его значение для индуктивной логики.
27. Классическая интерпретация вероятностей и принцип индифферентности.
28. Частотная интерпретация вероятности и ее основные недостатки.
29. Интерпретация вероятности как предрасположенности.
30. Персоналистская интерпретация вероятности. Принцип когерентности. Условия Dutchbook.
31. Логическая интерпретация вероятности, основные идеи. Индуктивная вероятность как степень подтверждения.
32. Карнапа к построению вероятностной логики.
33. Рейхенбаха к построению вероятностной логики.
34. Парадоксы подтверждения.
35. Отношение подтверждения. Понятие подтверждающего примера и критерий Нико.
36. Гудмена. Экстраполируемые и неэкстраполируемые регулярности.
Вопросы для оценки качества освоения дисциплины
по разделу «Логическая семантика» (2,3 модули второго курса)
Теории имени в философии Древнего Востока и Древней Греции: натурализм и конвенционализм. Идея «ментального языка» в средневековой философии. Теория знака Аврелия Августина. «Единственное доказательство» Ансельма Кентерберийского и его критика Кантом. Существование как реальный и как трансцендентальный предикат. Поиски «идеального языка» в философии Нового времени. Картезианская Mathesis Universalis и Lingua Characteristica Лейбница. Теории знака Гоббса и Локка. Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика Пирса - Морриса. Теория знака Гуссерля. Знак и интециональность, ноэма и ноэзис. Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат. Программа «преодоления метафизики логическим анализом языка»: логико-семантические идеи Венского кружка. «Логический атомизм», теория дескрипций и теория типов Рассела. «Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического». Функционалистская концепция значения позднего Витгенштейна. «Языковая игра» как «форма жизни». Проблема «следования правилу» и «скептический парадокс» Крипке. Семантические проблемы обоснования логических систем. Логические и семантические парадоксы. Определение понятия истинности для формализованных языков: схема Тарского. Аналитические и синтетические истины. У. Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории. Теоретико-модельные свойства формальных теорий. Множественность интерпретаций, нестандартные модели и парадокс Сколема. «Неопределенности перевода» и гипотеза лингвистической относительности. Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл «ограничительных» теорем. Машина Тьюринга и тезис Чёрча. Тест Тьюринга и «китайская комната» Сёрля. Принципы теории речевых актов и основные этапы её развития. Типы речевых актов. Коммуникативные импликатуры Грайса. Аргументативные речевые акты. Доказательство, его структура и виды. Правила и ошибки в доказательствах. Виды полемики. Логические и психологические уловки, применяемые в полемике.10.3 Примеры заданий промежуточного /итогового контроля
Задания к зачету по разделу «Дедуктивная логика» (1 модуль первого курса)
Теоретические вопросы
1. Предмет логики. Понятия логической формы и логического следования.
2. Понятие логического закона. Основные законы традиционной логики.
3. Паралогизмы, софизмы и парадоксы.
4. Язык как информационная знаковая система. Виды знаков.
5. Понятие семиотической ситуации. Основные семиотические аспекты языка: синтаксис, семантика, прагматика.
6. Функции языка. Принципы построения формализованных логических языков. Язык-объект и метаязык.
7. Понятия и комплексы. Объем и содержание понятия. Закон обратного отношения между содержаниями и объемами понятий.
8. Обобщение и ограничение понятий.
9. Виды понятий.
10. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий.
11. Деление понятий. Виды и правила деления.
12. Определение понятий.
13. Суждение, вопрос, императив. Пресуппозиции вопроса и условия его логической корректности.
14. Традиционная силлогистика: язык, способ анализа и условия истинности простых категорических суждений.
15. Отношения между простыми категорическими суждениями.
16. Непосредственные силлогистические умозаключения: выводы по логическому квадрату, обращение, превращение, противопоставление субъекту и предикату.
17. Простой категорический силлогизм: состав, фигуры и модусы. Общие правила силлогизма.
18. Проверка силлогизмов с использованием круговых диаграмм.
19.Сокращенный силлогизм (энтимема).
Практические задания
1. Ограничить и обобщить данное понятие. Проверить правильность ограничения.
2. Найти понятие, подчиненное по отношению к данному (подчиняющее данное, находящееся в отношении пересечения с данным).
3. Установить отношение данных понятий по объему.
4. Привести примеры понятий, объемы которых находятся в заданном круговыми схемами отношении.
5. Проверить правильность деления.
6. Проверить правильность определения и указать его вид.
7. Проверить правильность обращения.
8. Сделать все возможные выводы по логическому квадрату из истинности (ложности) данного суждения.
9. Проверить правильность силлогизма (по общим правилам и круговым схемам).
10. Восстановить энтимему до полного силлогизма и проверить её корректность.
Задания для контрольной работы по разделу «Индуктивная и
вероятностная логика» (2-й модуль второго курса)
Примерные теоретические вопросы:
1. Сформулируйте различие между индуктивной и эпистемической вероятностью. Приведите примеры, иллюстрирующие это различие.
2. В чем состоит различие между эмпирической и эпистемической вероятностью? Является ли их различение, на ваш взгляд, обоснованным?
3. Какое значение имеет теорема Байеса для индуктивной логики?
Примерные упражнения:
1. Определить эпистемическую вероятность определенного высказывания.
2. Применить теорему Байеса для вычисления эпистемической вероятности определенного высказывания.
3. Сформулировать описания состояния и описания структуры для некоторого заданного формального языка.
Список первоисточников к контрольной работе по разделу «Логическая семантика» (3 модуль первого курса)
1. Гуньсунь Лун-цзы
2. Платон. Кратил
3. Аристотель. Об истолковании
4. Аврелий Августин. Об учителе
5. Ансельм Кентерберийский. Прослогион
6. Критика чистого разума («О невозможности онтологического доказательства бытия Бога»)
7. Логические исследования (Том II. Исследования по феноменологии и теории познания. Введение)
8. Пирс Уэлби. Что такое значение?
9. Моррис теории знаков
10. де. Курс общей лингвистики
11. О смысле и значении
12. Мысль. Логическое исследование
13. Преодоление метафизики логическим анализом языка
14. Эмпиризм, семантика и онтология
15. Дескрипции
16. Логико-философский трактат
17. Философские исследования
18. Витгенштейн о правилах и индивидуальном языке
19. Две догмы эмпиризма
20. Что такое речевой акт?
21. Разум мозга – компьютерная программа?
11 Порядок формирования оценок по дисциплине
Формы рубежного контроля и структура итоговой оценки по первой части курса
Промежуточная оценка формируется следующим образом.
Преподаватель оценивает работу студентов на семинарских занятиях по их активности в дискуссиях, по правильности выполнения ими заданий (в виде упражнений и задач) на семинаре, по правильности их ответов на вопросы преподавателя. Оценки за работу на семинарских и практических занятиях преподаватель выставляет в рабочую ведомость. Накопленная оценка по 10-ти балльной шкале за работу на семинарских и практических занятиях определяется перед итоговым контролем – Оаудиторная.
Оценка за текущий контроль (написание трех аудиторных контрольных работ, включающих решение задач - по 60 мин.) учитывает результаты студента следующим образом:
Отекущий = 0.3·Ок/р1+0.3· Ок/р2+ 0.4·Ок/р3
Результирующая оценка за итоговый контроль в форме письменного зачета и устного экзамена, включающих теоретические вопросы и решение задач, выставляется по следующей формуле, где Озачет – оценка за работу непосредственно на зачете, Оэкзамен - оценка за работу непосредственно на экзамене:
Опромежуточный 1= 0.1·Озачет +0.6·Оэкзамен+ 0.2·Отекущий + 0.1·Оаудиторная
Способ округления накопленной оценки итогового контроля – арифметический.
Формы рубежного контроля и структура итоговой оценки по второй части курса
Промежуточная оценка формируется следующим образом.
Преподаватель оценивает работу студентов на семинарских занятиях по их активности в дискуссиях, по правильности выполнения ими заданий (в виде упражнений и задач) на семинаре, по правильности их ответов на вопросы преподавателя. Оценки за работу на семинарских и практических занятиях преподаватель выставляет в рабочую ведомость. Накопленная оценка по 10-ти балльной шкале за работу на семинарских и практических занятиях определяется перед итоговым контролем – Оаудиторная.
Оценка за текущий контроль в виде контрольной работы учитывает результаты студента по текущему контролю следующим образом:
Отекущий = Ок/р
Результирующая оценка за итоговый контроль в форме зачета выставляется по следующей формуле, где Озачет – оценка за работу непосредственно на зачете:
Опромежуточный 2 = 0.4·Озачет + 0.3·Отекущий + 0.3·Оаудиторная
Способ округления накопленной оценки итогового контроля в форме зачета – арифметический.
Формы рубежного контроля и структура итоговой оценки по третьей части курса
Промежуточная оценка формируется следующим образом.
Преподаватель оценивает работу студентов на семинарских занятиях по их активности в дискуссиях, по правильности выполнения ими заданий (в виде задач, докладов, обсуждения текстов) на семинаре, по правильности их ответов на вопросы преподавателя. Оценки за работу на семинарских и практических занятиях преподаватель выставляет в рабочую ведомость. Накопленная оценка по 10-ти балльной шкале за работу на семинарских и практических занятиях определяется перед итоговым контролем – Оаудиторная.
Оценка за текущий контроль (написание аудиторной контрольной работы, включающей тестовые вопросы и решение задач - 60 мин.) учитывает результаты студента следующим образом:
Отекущий = Ок/р
Результирующая оценка за итоговый контроль в форме устного экзамена выставляется по следующей формуле, где Оэкзамен – оценка за работу непосредственно на экзамене:
Опромежуточный 3 = 0.6·Оэкзамен + 0.1·Отекущий + 0.3·Оаудиторная
Способ округления накопленной оценки итогового контроля – арифметический.
Формы рубежного контроля и структура итоговой оценки по курсу логики
Итоговая оценка по учебной дисциплине складывается из следующих элементов:
- Работа на практических занятиях (доклады, обсуждения, решение задач) 5 письменных домашних работ (300 мин.) 2 зачета (240 мин.) 2 устных экзамена(240 мин.)
Итоговая оценка по курсу логики вычисляется по следующей формуле:
ОрезультрующаяИтог = 0.4·Опромежуточный 1 + 0.3·Опромежуточный 2 + 0.3·Опромежуточный 3
12 Учебно-методическое и информационное обеспечение дисциплины
12.1 Базовый учебник
, Маркин в логику. М.: ИД - Форум, 2008
12.2 Основная литература
Введение в логику первого порядка // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982
Брюшинкин . М.: Гардарики, 2001
Платон. Кратил // Платон. Собрание соч. в 4 т. М.: Мысль, 1990, т. 1, с.
Аристотель. Об истолковании // Сочинения в 4-х т., Т. 2, М.: Мысль, 1978, с. 93-116
Основания теории знаков // Семиотика. М.: Радуга, 1983, с.37 – 89
О смысле и значении // Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. Дескрипции // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с.
Логико-философский трактат // Философские работы. Ч.1. М.: Гнозис, 1994, с
Философские исследования // Философские работы. Ч.2. М.: Гнозис, 1994, с. 77 — 319
Смирнова и философия. М.: РОССПЭН, 1996
Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978.;
Дедуктивная и индуктивная логика. Пер. с англ. . СПб: Комета, 1995. Книга II «Индуктивная логика или логика наук», введение, глава 1, глава 10. С. 241-281, 359-366;
Ивлев . М.: Проспект, 2004. Глава 5 «Умозаключения», раздел Б «Индуктивные умозаключения», §§ 1, 2, 4, 5. С. 118-128, 135-140;
Проблемы философии / Пер. с англ. // Введение в философию. Проблемы философии. М.: Республика, 2000. Глава 6 «Об индукции». С.198-205;
Философские основания физики. М., 2006. Глава 2 «Индукция и статистическая вероятность»; глава 3 «Индукция и логическая вероятность». С. 59-85.
12.3 Дополнительная литература
, Маркин теории. М.: Прогресс-традиция, 2010.
, Дегтярев . М.: Владос - Пресс, 2001
Маковельский логики. Жуковский – Москва: Кучково поле, 2004
Анисов логика. М.: Изд-во ИФ РАН, 2002
Неформальные лекции по формальной семантике. М.: УРСС, 2009.
и . Теория поиска вывода. Происхождение и философские приложения. Калининград : Изд-во Балтийского федерального ун-та им. Иммануила Канта, 2012
, Маркин логики. М.: ИНФРА-М., 2005
Гладкий в современную логику. М.: МЦНМО, 2001
Когнитивная психология. М.: Тривола, 2002
Величковский наука. Основы психологии познания. М.: Смысл, 2006
Карпенко логики в свете основных тенденций её развития // Логические исследования. Выпуск 11, М.: Наука, 2004
Эффект софистики. М, СПб, 2000
Противоположности и парадоксы. М.: Канон+,2008
Гёдель, Эшер, Бах: эта бесконечная гирлянда. М., 2001
Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Кронгауз . М.: Изд-во РГГУ, 2001
Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003
Философия в новом ключе. Исследование символики разума, ритуала и искусства. М., 2000
Пирс о знаках: Разделение знаков. Икона, индекс, символ // Пирс философские произведения. М.: Логос, 2000, с. 176 – 222
Противоположности и парадоксы, М.: Канон+, 2008
Семиотика. М.: Радуга, 1983
Смирнова логической семантики. М., 1990
Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993
Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000
Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
Драгалина-Черная для Абеляра и Элоизы. М.: Издательский дом НИУ ВШЭ, 2012
Войшвилло как форма мышления: логико-гносеологический анализ. М., 1989
Асмус М.: Эдиториал УРСС, 2001
Ахманов учение Аристотеля. М.: Едиториал УРСС, 2002
Анализ фреймов: эссе об организации повседневного опыта. М.: Институт фонда «Общественное мнение», 2002
Родин Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003
Субботин . М.: Изд-во ИФ РАН,, 2001
Непейвода логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
. История идеи универсальной грамматики (с древнейших времен и до Лейбница). СПб.: -Петербургского университета, 2006
Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007
Философия логики. М.: Канон+, 2008
Непейвода логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005
Анисов универсум и его познание. М.: Изд-во ИФ РАН, 2000
Булос Дж., Вычислимость и логика. М., 1994
Драгалин теория доказательств и нестандартный анализ. М.: Едиториал УРСС, 2004
Ивлев логика. М.: Изд-во МГУ, 1991
Карпенко и случайность будущего. Логический анализ. М.: Наука, 1990
Тождество и необходимость // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с.
Загадка контекстов мнения // Новое в зарубежной лингвистике. М.: Радуга, 1986, вып. 18
Референция и модальность // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с.
Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Логико-философские труды . М.: Едиториал УРСС, 2003
Сидоренко логика. М.: Изд-во ИФ РАН, 2000
Сидоренко . Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002
Смирнова и философия. М.: РОССПЭН, 1996
Логико-эпистемологические исследования. М.: Прогресс, 1980
Гуньсунь Лун // Древнекитайская философия. М.: Мысль, 1973, т. 2, с.
Ансельм Кентерберийский. Прослогион // Ансельм Кентерберийский. Сочинения. М.: Канон, 1995, 123 – 165
Критика чистого разума // Собрание сочинений в восьми томах, М.: Изд-во Чоро, 1994, т.3,
де. Курс общей лингвистики. Часть 1. Общие принципы. Глава 3. Статическая лингвистика и эволюционная лингвистика. Часть 2. Синхроническая лингвистика. Глава 4. Языковая значимость. // де. Труды по языкознанию. М.: Прогресс, 1977, с. 112-132, 1
Идеи к чистой феноменологии и феноменологической философии. М.: Дом интеллектуальной книги, с.
Преодоление метафизики логическим анализом языка // Аналитическая философия: становление и развитие. М.: Дом интеллектуальной книги, 1998, с. 69-89
Мысль. Логическое исследование // Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 326 – 342
Феноменология // Логос, 1991, вып. 1
Эмпиризм, семантика и онтология // Значение и необходимость. М.: ЛКИ, 2007
Витгенштейн о правилах и индивидуальном языке // Логос, №11, 1999
Кронгауз . М.: Изд-во РГГУ, 2001
Размышления о первой философии // Сочинения. М.: Мысль, 1994, т.2
Лейбниц исследования, касающиеся анализа понятий и истин // Соч. в 4-х томах. Т.3. М., 1984
Переписка Эдмунда Гуссерля и Готлоба Фреге // Избранные работы. М.: Территория будущего, 2005
Пирс и логика вещей. М.: Издательство РГГУ, 2005
Объективное знание. Эволюционный подход. М.: Едиториал УРСС, 2004
Философские основания атомизма. Томск: Водолей, 1993
Введение в математическую философию. Новосибирск: Сибирское университетское издательство, 2007
Комментарий Прокла на платоновский диалог «Кратил» // Материалы к исследованиям по истории платонизма. Вып. 2, СПб.: СПб: Наука, 2000
Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000
Крушинский и мышление в Древнем Китае // Вопросы философии, 2007, №5
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004
Основоположения арифметики. Томск: Водолей, 2000
Журнал “Erkenntnis” («Познание»). Избранное. М.: Идея-пресс, 2006
-О. Трансформация философии. М.: Логос, 2001
, С. Скептицизм, правила и язык. М.: Канон+, 2007
В логическом мире Фреге // Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с.
Васюков феноменология. М.: Наука, 1999
Львовско-варшавская философская школа. М.: РОССПЭН, 2004
Введение в феноменологию Э. Гуссерля. М.: Дом интеллектуальной книги, 1999
Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000
Научное миропонимание – Венский кружок // Логос, 2005, №2
Язык и знак в прагматизме. СПб.: Издательство Европейского университета в Санкт-Петербурге, 2008
Макеева и реальность // Логос, 2006. Т. 57. №6
Слинин истолкование логики // Логические исследования, М.: Наука, 1999, вып. 8
Сокулер Витгенштейн и его место в философии ХХ века. Долгопрудный: Изд-во Физтех, 1994
Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
Кочерга Витгенштейна. М.: УРСС, 2004
Поворот в философии // Аналитическая философия: становление и развитие, М.: Прогресс, 1998
Зильберман значения в философии индуизма. М.: Наука, 1998Бочаров Д. Г.Х. Введение в индийскую логику навья-ньяя. М.: Наука, 1975
, Заболотных выводного знания в Индии. Логико-эпистемологические воззрения Дигнаги и его идейных преемников. М.: Восточная литература, 2002
Базаров философского диспута в тибетском буддизме. СПб.: Наука, 1998
Щербатской познания и логика по учению позднейших буддистов. СПб.; Университетская книга, 1995
Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие, М., 1998, с.
Булос Дж., Вычислимость и логика. М.: Мир, 1994
Фундаментальные проблемы теорий истины. М.: Наука, 2005
О понимании компьютеров и познания // Язык и интеллект. М.: Прогресс, 1996
Чэн моделей. М.: Мир, 1977
Основы теории моделей // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982
Математика. Утрата определенности. М.: Мир, 1984
С точки зрения логики. 9 логико-философских очерков. Томск, 2003
Непейвода логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Новый ум короля. О компьютерах, мышлении и законах физики. М.: УРСС, 2003
Сёрль Дж. Открывая сознание заново. М., 2002
Сёрль Дж. Сознание, мозг, наука // Путь, 1993, №4
Смирнова логической семантики. М.: Изд-во МГУ, 1990
Может ли машина мыслить? М.: Мир, 1960
Представление и вмешательство: Начальные вопросы философии естественных наук. М.: Логос, 1998
Искусственный интеллект. М.: Мир, 1978
Хинтикка Я. Проблема истины в современной философии // Вопросы философии, 1996, № 9
Гёдель, Эшер, Бах: эта бесконечная гирлянда. Метафорическая фуга о разуме и машинах в духе Льюиса Кэрролла. М.: Бахрах-М, 2000
Драгалина-Черная логики: онтологический поворот // Философия науки, № 14, ИФ РАН, 2009, с. 87-99
Драгалина-Черная обоснование логики: истоки и перспективы // Логическая семантика: перспективы для эпистемологии и философии языка. М.: Креативная экономика, 2011
Серль Дж. Референция как речевой акт // Новое в зарубежной лингвистике, М: Радуга, 1982, вып. 13.
-О. Трансформация философии. М.: Логос, 2001
Язык. Культура. Познание. М.: Русские словари, 1996
Вригт -философские исследования. М.: Прогресс, 1986
Логика и речевое общение // Новое в зарубежной лингвистике, М: Радуга, 1985, вып. 17
Лакофф Дж., Метафоры, которыми мы живем. М.: УРСС, 2004
Остин Дж. Три способа пролить чернила. СПб.: Алетейя, 2006
Серль Дж. Логический статус художественного дискурса // Логос, 1999, №3
Серль Дж., Основные понятия исчисления речевых актов // Новое в зарубежной лингвистике, М.: Радуга, 1986, вып. 18
Язык как инстинкт. М.: УРСС, 2004
Ego Loquens. Язык и коммуникационное пространство. М.: РГГУ, 2007
Важнейшие концепции теории аргументации. СПб., 2006
Герасимова в теорию и практику аргументации. М: Логос, 2003
Зайцев и практика аргументации. М.: ИНФРА-М, 2007
Алексеев текст. Идеи, аргументация, образы. М., 2006
Еемерен Ф, Аргументация: анализ, представление, проверка. СПб., 2004
Зарецкая . Теория и практика речевой коммуникации. М., 1999
Мысль и искусство аргументации. М., 2003
Аргументы ad hominem. М.: Институт фонда «Общественное мнение», 2002
Вероятность и индуктивная логика. Пер. с англ. . М.: Прогресс, 1978. С. 141-144;
Математика и правдоподобные рассуждения. Пер. с англ. . М.: Наука, 1975;
К проблеме соотношения индукции и дедукции // Методы логического анализа. М.: Наука, 1977. С. 176-193;
Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5th ed. –Belmont: Wadsworth.
Лебедев как метод научного познания. М.: Изд-во МГУ, 1980;
Лебедев линии развития классической индукции // Индуктивная логика и формирование научного знания. М.: Наука, 1987. С. 107-120;
Маковельский логики. Жуковский-Москва: Кучково поле, 2004. С. 142-148, 332-344.
Юм Д. Исследование о человеческом познании // Юм Д. Соч. в 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.
Милль Дж. С. Система логики силлогистической и индуктивной. Пер. с англ. М.: Изд. , 1914. С. 284-364;
Дедуктивная и индуктивная логика. Пер. с англ. . СПб: Комета, 1995. С. 282-326;
Человеческое познание и его границы. Пер. с англ. . Киев: Ника-Центр – М.: Институт общегуманитарных исследований, 2001.
Пассмор Дж. Сто лет философии. Пер. с англ. М.: Прогресс-традиция, 1998. С. 90-109, 319-328;
Исследования по логике подтверждения // Логика объяснения. Пер. с англ. . М.: ДИК, 1998. С. 32-88;
Вригт фон подтверждения / Пер. с англ. // Вригт фон -философские исследования. Избр. Труды. М.: Прогресс, 1986. С. 483-497;
Костюк и принятие гипотезы // Индуктивная логика и формирование научного знания. М.: Наука, 1987. С. 9-22;
Факт, фантазия и предсказание / Пер. с англ. // Способы создания миров. М.: Идея-Пресс, Праксис, 2001. С. 37-60.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 |
