1. Исторические предпосылки возникновения общей теории знаковых систем.
2. Основания теории знаков. Синтаксис, семантики и прагматика, как разделы семиотики.
3. Этапы становления логической семантики.
4. Вопросы обоснования логических систем.
5. Логический синтаксис и логическая семантика.
6. Принципы построения логической семантики.
7. Формализованные языки и пути введения семантических понятий.
8. Определение понятия истинности для формализованных языков, условия адекватности.
9. Семантическая непротиворечивость и семантическая полнота
10. Логические и семантические парадоксы. Парадокс «лжеца» и пути его устранения
11. Понятие семантической категории.
12. Иерархия семантических категорий.
13. Критерии осмысленности выражений языка.
14. Типология значений и типология сущностей.
15. Понятие семантического каркаса
16. Методы семантического анализа языка.
17. Принципы отношения именования.
18. Антиномии отношения именования и их причины.
19. Метод экстенсионала и интенсионала. Загадки контекстов мнения.
20. Роль логической семантики в анализе философских проблем.
21. Семантика и онтология. Отношение языка и реальности.
6.2. Примерные темы рефератов:
1. Платон и Аристотель о знаках и языке.
2. Аномалисты и аналогисты о языке.
3. Семиотические идеи в Средневековой философии.
4. Ф. Бэкон и реформа языка.
5. Д. Локк как предтеча семиотики.
6. Имена, сигналы и знаки у Гоббса.
7. Лейбница.
8. Трактовка семиотики И. Канта
9. Символический метод Дж. Буля
10. Парадоксы теории множеств.
11. Парадокс «Лжеца»: основные интерпретации.
12. Г. Фреге и Б. Рассел о принципах теории именования.
V. Образовательные технологии
При реализации дисциплины «Введение в логическую семантику» используются различные образовательные технологии: во время аудиторных занятий (28 час) читаются лекции с применением технологий Power Point (не менее 20% от общего объема лекционных часов), а также семинарские занятия, беседа, обсуждение и дискуссия, «мозговой штурм», ролевые игры, «визуализация», «исправление ошибок», метод проектов, «портфолио».
Самостоятельная работа студентов предусматривает подготовку докладов, реферата или эссе на выбранную тему, конспектирование источника.
VI. Оценочные средства для текущего контроля успеваемости и промежуточной аттестации
Согласно программе предусматриваются следующие формы контроля:
· Текущий контроль освоения учебной программы и контроль выполнения самостоятельной работы студентов осуществляется в течение семестра в виде устных опросов и тестов.
· Промежуточная аттестация проводится в форме зачета и выставляется по баллам, набранным студентом в рамках текущего контроля.
VII. Учебно-методическое обеспечение дисциплины
7.1. Основная литература.
1. О синтаксической связанности // Философия и логика
львовско-варшавской школе. М., 1999. С. 283-309.
2. Логические теории значения (Вступительная статья) // Новое в зарубежной лингвистике / Под ред. . М.: Радуга, 1982. Вып. 13.
3. Предложение и его смысл. Логико-семантические проблемы. М.: Мысль, 1976.
4. Теория объектов в логике. Новосибирск: Наука. Сиб. отд., 1987.
5. Послесловие. В логическом мире Фреге // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 443-508.
6. Значение и необходимость. (Перевод с англ.) М.: ИЛ, 1959.
7. Карнап Р. Эмпиризм, семантика и онтология // Там же. С. 298-321.
8. Карнап Р. О предложениях мнения // Там же. С. 331-334.
9. Карнап Р. Постулаты значения // Там же. С. 321-331.
10. Семантическое рассмотрение модальной логики // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. , М.: Прогресс, 1981. С. 27-40.
11. Тождество и необходимость // Новое в зарубежной лингвистике / Под ред. . М.: Прогресс, 1982. Вып 13. С. 340-376.
12. Референция и модальность // Новое в зарубежной лингвистике / Под ред. . М.: Прогресс, 1982. Вып 13. С. 87-108.
13. Критический анализ номиналистических и платонистских тенденций в современной логике. Киев: Изд. АН Украины, 1973.
14. Семантическая теория истины: гносеологические и логические аспекты. Ростов-на-Дону РГУ. 2006.
15. В. Истнностно-значная семантика и когерентная теория истины Таганрог,. 2005.
16. Прагматика // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 254-279.
17. Прагматика и интенсиональная логика // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 223-253.
18. Павилёнис Р . Проблема смысла. М.: Мысль, 1983.
19. Дескрипции.// Новое в зарубежной лингвистике. Выпуск ХШ, М. Радуга, с.41-54.
20. В. Философские вопросы семантики. Киев.,1975
21. А . Современные семантические исследования модальных и интенсиональных логик (вступительная статья) // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 5-26.
22. Д. Основы логической семантики. М, 19с.)
23. Смирнова Е. Д. Формализованные языки и проблемы логической семантики. М. Изд-во МГУ. 19с.
24. Смирнова Е. Д., В. Семантика в логике// Логическая семантика и модальная логика. М. Наука. 1967. С.3-63.
25. Д . Логика и философия. М. РОССПЭН, 1996.
26. Д . Логическая семантика и философские основания логики. М.: МГУ, 1986.
27. Кванторы и модальные операторы // Исследования по логике и методологии науки. М. 1976. С. 3-17.
28. Понятие истины в языках дедуктивных наук // Философия
логика в львовско-варшавской школе. М., 1999. С. 14-178.
29. Истина и доказательство// Вопросы философии. № 8, 1972.с.
30. Проблемы семантики. М., 1975
31. Смысл и значение // Избранные работы Г. Фреге. М., 1997. С. 2
50.
32. Фреге Г . Логические исследования. Часть третья: структура мысли // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 356–370.
33. Мысль. Логическое исследование // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 326–342.
34. Фреге Г . О понятии и предмете // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 253 – 262.
35. Фреге Г . О смысле и значении // Готтлоб Фреге. Логика и логическая семантика. Пер. с нем. под. ред. . М., “Аспект Пресс”, 2000. С. 230 – 246.
36. Хинтикка Я . Модальность и квантификация // Сематика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 41-59.
37. В . Понятие объекта в модальной логике. М.: Наука, 1978.
38. Хабаров И.А. Философские проблемы семиотики. М.,1978
7.2. Дополнительная литература.
1. О трёхзначном логическом исчислении и его применении в анализе парадоксов // Математический сборник. Вып.
2. Н. Парадоксы теории множеств и диалектика. М.,1976.
3. Logisch-Philosophische Abhandlung // Философские работы. Ч. 1. М., 1994.“Гнозис”.
4. Формальная грамматика и интенсиональная логика. М., 2000.
5. Герасимова анализ рассуждений на основании личностных знаний. // Синтаксические и семантические исследования неэкстенсиональных логик. М.1989. с.50-66.
6. Что такое теория значения? // Философия, логика, язык. М.,1967, с.127-212.
7. Знание и традиция в истории мировой философии:Сборник статей. М., 2001, 544 с.
8. Исследования по неклассическим логикам. М. 19с.
9. Ньютон да Коста, Стивен Френч. Непротиворечивость, всеведение и истина.// ж. Философские науки, № 8, 1991.
10. Семантическое рассмотрение модальной логики. // Семантика модальных и интенсиональных логик. М., 1981, с.27-41.
11. Логическая семантика и модальная логика. М., Наука. 19с.
12. От Фреге до современной интенсиональной логики.// Модальные и интенсиональные логики и их применение к проблемам методологии науки. М.1984., с.273-289.
13. Мур и Витгенштейн о значении выражения «Я знаю» // Флософия, логика, язык. М. 1987. с.234-263.
14. Прагматика и интенсиональная логика. // Семантика модальных и интенсиональных логик. М., 1981, с.223-253.
15. Прагматика. // Семантика модальных и интенсиональных логик. М., 1981, с.254-280.
16. Семантика и необходимая истина. Исследование оснований аналитической философии. М.,20с.
17. Знание и интенсиональность. // Исследования по неклассическим логикам. М. 1989. с.86-101.
18. Ружа И . Интенсиональная логика, семантика с истинностными провалами и их приложения // Синтаксические и семантические исследования неэкстенсиональных логик / Под ред. . М.: Наука, 1989. С. 36-49.
19. Хинтикка, Кастанеда и Куайн о “квантификации в”: некоторые основополагающие проблемы в интенсиональной логике // Новое в зарубежной лингвистике / Под ред. . Вып. 18. М.: Прогресс, 1986. С. 185-201.
20. Семантика возможных миров от Лейбницевской к Юмовской // Логические исследования. Вып. 3. М.: Наука, 1995. С. 24-37.
21. Советы по модальной логике // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 280-317.
22. Являются ли суждения объектами пропозициональных установок? // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М., 1984, с. 249-273.
23. О метатеории и методологии семантики// Новое в зарубежной лингвистике. М. Прогресс 1986. Вып. ХУ111. С.121-138.
24. Хинтикка, Кастанеда и Куайн о “Квантификации в”: некоторые основополагающие проблемы в интенсиональной логике.// Исследования по неклассическим логикам. М., Наука, 1989, с.184-203.
25. Моделирование естественного языка в работах Р. Монтегю. // Модальные и интенсиональные логики и их применение к проблемам методологии науки. М. 1984. с.289-302.
26. , и развитие логико-эпистемологических исследований во второй половине XX века. Вступительная статья.// Я. Хинтикка Логико-эпистемологические исследования. М. Прогресс.1980. С.5-32.
27. Серль Дж. Природа интенциональных состояний. // Философия, логика, язык. М. 1987, с.96-126.
28. Слинин модальная логика. Ленинград.,19с.
29. , О взаимоотношении символической логики и философии// Философия в современном мире. М. Наука. 1974. С.7-34.
30. , Таванец в логике// Логическая семантика и модальная логика. М. Наука. 1967. С.3-63.
31. К вопросу о природе логического знания// Современная логика и методология науки. М. Изд-во МГУ. 1967. С.4-18.
32. Смирнова , научные идеализации и онтологические допущения// Методология развития научного знания. М. Изд-во МГУ. 19с.
33. Идентифицирующая референция и истинностное значение // Новое в зарубежной лингвистике. М. Радуга. 1982. Вып. ХШ. с.109-134.
34. О референции // Новое в зарубежной лингвистике М. Радуга. 1962. Вып. ХШ. с.55-87.
35. и др . Логический подход к исусственному интеллекту: От модальной логики к логике баз данных. Пер. с франц. по ред. , М.: “Мир”, 1998.
7.5. Интернет-ресурсы.
http://*****/ – Цифровой кампус ЮФУ
http://www. philos. *****/
http://metod. philos. *****/
7.6. Программное обеспечение современных информационно-коммуникационных
технологий.
1) Мультимедийный курс “Reward” (уровни elementary, pre-intermediate, intermediate, upper intermediate)
2) Мультимедийный курс “Grammar ROM”
VIII. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
· Аудиторный фонд факультета философии и культурологии
· Мобильный комплект тип 2 (ноутбук, проектор, экран, передвижной столик, переносная звукоусилительная система)
· Доска Интерактивная Interwrite Learning
УЧЕБНАЯ КАРТА ДИСЦИПЛИНЫ
«Введение в логическую семантику»
Преподаватель
Кафедра Философии и методологии науки
Курс 3 Семестр 6 Группа _____
Направление подготовки ?222900 Философия
№ | Виды контрольных мероприятий | Количество баллов за 1 контрольное мероприятие | Модуль 1 | Модуль 2 | Модуль 3 | Модуль 4 | Модуль 5 |
Количество баллов по модулю | |||||||
Текущий контроль | |||||||
1. | Посещение занятия | 2 | 6 | 4 | 4 | 6 | 8 |
2. | Доклад с презентацией | 10 | 10 | 10 | 10 | 10 | 10 |
Реферат | 5 | 5 | 5 | 5 | 5 | 5 | |
Презентация | 5 | 5 | 5 | 5 | 5 | 5 | |
Активная работа на занятии по другим видам деятельности | 2 | 2 | 2 | 2 | 2 | 2 | |
5. | Участие в конференции | 20 | |||||
Рубежный контроль | |||||||
1. | Итоговое тестирование по модулю | 5 | 5 | 5 | 5 | 5 | 5 |
Промежуточная аттестация | |||||||
Зачет | 30 |
Преподаватель ________________
(подпись) (расшифровка подписи)
Согласовано: заведующий кафедрой _______________
(подпись) (расшифровка подписи)
Примечание: Количество баллов на текущий и рубежный контроль устанавливается Ученым советом факультета. Количество баллов за мероприятия текущего контроля устанавливает преподаватель дисциплины.
1.2. Краткое изложение программного материала с методическими указаниями
студенту
1. Комплексная цель модуля «Общая теория знаковых систем и предмет логической семантики – ознакомление бакалавра с этапами формирования семиотики и таких ее разделов, как синтаксис, семантика и прагматика.
Задачи модуля – определить главные цели каждого этапа развития семиотики, интеллектуальные средства их достижения; установить специфику и главные проблемы разделов логико-семантического подхода к анализу знания; проводить четкие различия между различными подходами в решении проблем гносеологии, онтологиии и методологии науки.
Содержание модуля
Общая теория знаковых систем и предмет логической семантики
Исторические предпосылки возникновения общей теории знаковых систем. Основания теории знаков, виды знаков. Синтаксис, семантика и прагматика как разделы семиотики. Семантика как раздел семиотики. Искусственные и естественные языки, язык как аналитический метод. Предмет логической семантики. Этапы становления логической семантики. Вопросы обоснования логических систем, критика эмпиризма и психологизма в логике. Логический синтаксис и логическая семантика. Принципы построения теоретической семантики. Формализованные языки, пути введения семантических понятий.
Вопросы для систематизации материала, виды вариативных заданий и литература.
Семинар1
1.Исторические предпосылки возникновения общей теории знаковых систем.
2. Искусственные и естественные языки, язык как аналитический метод.
Литература:
1. В. Философские вопросы семантики. Киев.,1975
2. А . Современные семантические исследования модальных и интенсиональных логик (вступительная статья) // Семантика модальных и интенсиональных логик / Пер. с англ. под ред. . М.: Прогресс, 1981. С. 5-26.
3. Д. Основы логической семантики. М, 19с.)
4. Смирнова Е. Д. Формализованные языки и проблемы логической семантики. М. Изд-во МГУ. 19с.
5. Смирнова Е. Д., В. Семантика в логике// Логическая семантика и модальная логика. М. Наука. 1967. С.3-63.
6. Д . Логика и философия. М. РОССПЭН, 1996.
7. Д . Логическая семантика и философские основания логики. М.: МГУ, 1986.
8. Проблемы семантики. М., 1975
9. Хабаров И.А. Философские проблемы семиотики. М.,1978
Вариативные задания
Доклады:
1. Ч. Пирс – основатель семиотики.
2. де Соссюра.
3. Фреге.
4.Критика психологизма в логике.
Дидактические цели и задачи модуля:
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 |
