Программа дисциплины Логическая семантика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г icon

Программа дисциплины Логическая семантика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г


Смотрите также:
Программа дисциплины Логическая семантика для направления 030100...
Программа дисциплины Логическая семантика для направления 520400 Философия подготовки бакалавра...
Планы семинарских занятий Логическая семантика для направления 030100...
Программа дисциплины Логическая семиотика для направления 030100...
Планы семинарских занятий Логическая семиотика для направления 030100...
Планы семинарских занятий Логика (1,2,3,4 модули) для направления 030100...
Программа дисциплины Логика (часть 1 1,2,3...
Программа дисциплины Логика для направления 031400...
Программа дисциплины «Латинский язык» для направления  030100...
Программа дисциплины Социология культуры для направления 030100...
Программа дисциплины экономическая социология для направления 030100...
Программа дисциплины экономическая социология для направления 030100...



Загрузка...
скачать

Министерство экономического

развития и торговли Российской Федерации

Министерство образования

Российской Федерации





Государственный университет – Высшая школа экономики

Факультет Философии




Программа дисциплины




Логическая семантика



для направления 030100.62 - Философия

подготовки бакалавра


Автор Драгалина – Черная Е.Г.

edragalina@hse.ru


^

Рекомендована секцией УМС


«Философия»

Председатель

Е.Г. Драгалина-Черная

____________________

« 13 » мая 2008 г.

Утверждена УС факультета

философии

________________________________

Ученый секретарь

Л.Б.Макеева ________________

«13» мая 2008г.

^

Одобрена на заседании кафедры


онтологии, логики и теории познания

зав. кафедрой В.Н.Порус

« » 2008 г.



Москва



Тематический план учебной дисциплины




Название

Темы

Всего

Часов

Аудиторные часы

^ Самостоятельная работа

Лекции

Сем. и практ.

Занятия




^ Раздел 1. Предмет логической семантики

8

2

2

4




Раздел 2. Проблема смысла и значения в истории логики

46

16

10

20

2.1

Протосемантика: логико-философские традиции Древнего Востока и Древней Греции

12

4

2

6

2.2.

Семантика в логике Средних веков и Нового времени

12

4

2

6

2.3.

Проблема смысла и значения в логике, философии и семиотике конца 19 века - первой половины 20 века

22

8

6

8



Раздел 3. Семантические парадоксы.

Выразительные, вычислительные и дедуктивные возможности формализмов


14

4

2

8




Раздел 4. Язык, семантика, онтология


27

8

4

15

4.1.


4.2.


Аналитическая истина, «онтологическая нейтральность» логики и «внутренний реализм»


Семантика возможных миров и интенсиональные онтологии

13


14

4


4

2


2

7


8




Раздел 5. Теория речевых актов. Семантика и прагматика


13

5

2

6




Итого:

108

35

20

53


^ Формы рубежного контроля и структура итоговой оценки

Итоговая оценка по учебной дисциплине складывается из следующих элементов:

  • Работа на практических занятиях (доклады, обсуждения, решение задач) – 30 % итоговой оценки

  • 1 письменная домашняя работа (60 мин.) - 30 % итоговой оценки

  • Устный зачет (120 мин.) – 40 % итоговой оценки


Базовый учебник


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


Содержание программы


Раздел 1. Предмет логической семантики

Язык как информационная знаковая система. Функции языка. Язык и метаязык. Синтаксис, семантика, прагматика. Смысл и значение знака.

Этапы становления логической семантики и принципы её теоретического построения. Методы логической семантики.

Место логической семантики в системе когнитивных наук. Логическая семантика и когнитивная психология. Лингвистическая и логическая семантика. Теория значения и теория референции.

Логическая семантика и философия. Категории смысла и значения в логико-семиотическом и экзистенциальном измерениях.

Литература

Основная

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

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

Ажеж К. Человек говорящий. Вклад лингвистики в гуманитарные науки. М.: УРСС, 2003

Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001

Лайонс Д. Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003

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

Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и искусства. М.: Изд-во политической литературы, 2000

Мечковская Н.Б. Семиотика. Язык. Природа. Культура. М.: Академия, 2004

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

Солсо Р. Когнитивная психология. М.: Тривола, 2002

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


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

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

Семиотика. М.: Радуга, 1983

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР, 2006


Раздел 2. Проблема смысла и значения в истории логики

Тема 2.1. Протосемантика:

Именование в логико-философских традициях Древнего Востока и Древней Греции


«Веды» как текст и как вечность. Семантика «великого речения» в Адвайта-Веданте. «Индийская силлогистика» как семиотическая деятельность: Готама и Дигнага. Логика ньяя о суждении как восприятии: концепция «проникновения сущностей». Буддистская логика о восприятии как суждении: статика значений и динамика реальности. Спор о семантико-онтологическом статусе небытия: «отсутствие присутствия» vs. «присутствие отсутствия».

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

Античные теории имени: натурализм против конвенционализма. Пифагорейская «семантика камешков». Диалог Платона «Кратил»: именование как деятельность. Аристотель о несовершенстве умозаключений «от знаков» и логика стоиков как «наука о знаках».


Литература

Основная

Дао Дэ Цзин // Древнекитайская философия. М.,: Мысль, 1972, т. 1, с. 114 - 138

Лунь Юй // Древнекитайская философия. М.,: Мысль, 1972, т. 1, с. 139 - 174

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

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

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

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004, с. 10 - 209


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


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

Муммонкан. Застава без ворот. СПб.: Наука, 2000

Ньяя-сутры. Ньяя-бхашья. М.: Наука, 2001

Фрагменты ранних стоиков. Т.2, ч. 1. Логические и физические фрагменты. М.: Мысль, 2002

Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002

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

Бочаров В.А. Аристотель и традиционная логика. М.: Изд-во МГУ, 1984

Гайденко П.П. Научная рациональность и философский разум. М.: Прогресс-Традиция, 2003

Григорьева Т.П. Дао как свобода // Человек, 2004, №6, с. 79 - 85

Гриненко Г.В. Сакральные тексты и сакральная коммуникация. М.: Новый век, 2000

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

Инголлс Д.Г.Х. Введение в индийскую логику навья-ньяя. М.: Наука, 1975

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

Кобзев А.И. Учение о символах и числах в китайской классической философии. М.: Восточная литература, 1994

Крушинский А.А. Язык и мышление в Древнем Китае // Вопросы философии, 2007, №5

Противоположности и парадоксы, М.: Канон+, 2008

Родин А.В. Математика Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003

Шохин В.К. Стратификация реальности в онтологии адвайта-веданты. М.: Изд-во ИФ РАН, 2004

Шуцкий Ю.К. Китайская классическая «Книга перемен». М.: Алетейя, 1993

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

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


Тема 2.2. Семантика в логике Средних веков и Нового времени


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

Существование и сущность, имя и атрибут, дефиниция и инфиниция в катафатических доказательствах. Катафатическое доказательство как «аналогическая речь», его интенциональный и перформативный характер (Фома Аквинский, Иоанн Дунс Скот). Значение и понимание (Августин, Фома Аквинский). Проблема «именования неименуемого» в апофатике (Дионисий Ареопагит, Григорий Палама).

Онтологический аргумент: от Ансельма Кентерберийского к Декарту. Критика Кантом онтологического доказательства: существование как первопорядковый предикат и как квантор (второпорядковый предикат).

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

Кант о «пустоте» логической формы и формальности аналитического априори. Проблема категориального синтеза: учение Канта о трансцендентальном схематизме как семантическая теория когнитивного типа.

Литература

Основная

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

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

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

Жильсон Э. Философия в средние века. М., 2004, с. 182 – 189, 397 – 415, 448 – 469, 483 - 495

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004, с. 257 – 417


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


Арно А., Николь П. Логика как искусство мыслить. М.: Наука, 1991

Арно А., Лансло К. Всеобщая рациональная грамматика (Грамматика Пор-Рояля). М.: Наука, 1991

Иоанн Дунс Скот. Избранное. М.: Мысль, 2001

Оккам Уильям. Избранное. М.: Наука, 2002

Фома Аквинский. Сумма теологии // Фома Аквинский. Онтология и теория познания: фрагменты сочинений. М.: ИФ РАН, 2001

Антонова О.А., Соловьев С.В. Теория и практика виртуальной реальности: Логико-философский анализ. Спб.: Издательство Санкт-Петербургского университета, 2008

Басос А.В. «Единственный аргумент» Ансельма Кентерберийского // Истина и благо: универсальное и сингулярное. М.: ИФ РАН, 2002

Бирюкова Н.Б. Логическая мысль во Франции (17 – начало 19 столетий). Французские предвосхищения математической логики. М.: Эдиториал УРСС, 2006

Драгалина-Черная Е.Г. Картезианское cogito в семантике возможных миров // Логический анализ языка. Избранное 1988 – 1995. М.: Индрик, 2003


Драгалина-Черная Е.Г. Аналитическое априори как проблема трансцендентальной онтологии // Трансцендентальная антропология и логика. Калининград: КГУ, 2000


Драгалина-Черная Е.Г. «Слово к внемлющему» или «диалог с безумцем»? Логика и риторика «Прослогиона» // Модели рассуждения – 1: Логика и аргументация. Калининград: Изд-во Российского университета им. И.Канта, 2007


Жильсон Э. Учение Декарта о свободе и теология. Бытие и сущность // Э.Жильсон. Избранное. Христианская философия. М.: РОССПЭН, 2004


Кассирер Э. Жизнь и учение Канта. М.: Университетская книга, 1997

Лисанюк Е.Н. Средневековый диспут // Логико-философские штудии – 4. СПб.: Издательство Санкт-Петербургского университета, 2006

Неретина С., Огурцов А. Пути к универсалиям. Санкт - Петербург: Изд-во русской христианской гуманитарной академии, 2006

Неретина С.С. Аргумент, нуждающийся для своего обоснования только в себе: //http://vox-journal.ru/vol4/vox20-204-20-209neretina.pdf.

Рикер П. Я-сам как другой. М.: Изд-во гуманитарной литературы, 2008

Самохвалов К.Ф. Предикаты существования и «онтологический аргумент» // Логические исследования. Вып. 6. М.: Наука, 1999

Суини М. Лекции по средневековой философии. Выпуск 1. Средневековая христианская философия Запада. М.: Греко-латинский кабинет Ю.А.Шичалина, 2001

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

Общая и рациональная грамматика Пор-Рояля. М.: Наука, 1990

Хомский Н. Картезианская лингвистика. М.: Эдиториал УРСС, 2005

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


Тема 2.3. Проблема смысла и значения в логике, философии и семиотике

конца 19 века - первой половины 20 века

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

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

«Аналитика присутствия» Хайдеггера: знаки и смыслы. Смысл и абсурд в экзистенциальном измерении. Психоаналитика как семиотика: риторика бессознательного.

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

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

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

Литература

Основная

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


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

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

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

Гуссерль Э. Идеи к чистой феноменологии и феноменологической философии. М.: Дом интеллектуальной книги, с. 216 - 296

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

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


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


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

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

Витгенштейн Л. Философские исследования // Витгенштейн Л. Философские работы. Ч.2. М.: Гнозис, 1994, с. 77 - 319


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

Гуссерль Э. Феноменология // Логос, 1991, вып. 1

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


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

Переписка Эдмунда Гуссерля и Готлоба Фреге // Гуссерль Э. Избранные работы. М.: Территория будущего, 2005

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

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

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

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

Твардовский К. Логико-философские и психологические исследования. М.: РОССПЭН, 1997

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

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

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

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

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

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

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

Деррида Ж. Голос и феномен. Работы по теории знака Гуссерля. СПб., 1999

Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Альфа, 2000

Драгалина-Черная Е.Г. От алгебры к геометрии рассуждения: «логическая хирография» Ч.С.Пирса// Модели рассуждений – 2: Аргументация и рациональность. Калининград: Изд-во Российского государственного университета им. И.Канта, 2008, с. 96 - 108


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

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


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

Камю А. Бунтующий человек. М.: Республика, 1990

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

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

Лакан Ж. Инстанция буквы в бессознательном, или судьба разума после Фрейда. М.: Наука, 1997

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

Макеева Л. Язык и реальность // Логос, 2006, №6

Менчковская Н.Б. Семиотика. Язык, природа, культура. М.: Академия, 2004

Мерло-Понти М. Феноменология восприятия. М.: Наука, 1999

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

Рикер П. Кант и Гуссерль // Интенциональность и текстуальность. Томск: Водолей, 1998

Рикер П. Конфликт интерпретаций. Очерки о герменевтике. М.: Медиум, 1995

Руткевич А.М. Психоаналитическое учение о символе и интерпретации. М.: ГУ-ВШЭ, 2003

Сартр Ж.-П.. Бытие и ничто. М.: Республика, 2000

Серкова В.А. Феноменологическая дескрипция. СПб.: Изд-во С.-Петербургского ун-та, 2003

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

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

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

Сорина Г.В. Логико-культурная доминанта. Очерки теории и истории психологизма и антипсихологизма в культуре. М.: Прометей, 1993


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

Эдмондс Д., Айдиноу Д. Кочерга Витгенштейна. М.: УРСС, 2004

Франкл В. Человек в поисках смысла. М.: Прогресс, 1990

Хайдеггер М. Время и бытие. М.: Республика, 1993

Шестов Л. Memento Mori (По поводу теории познания Эдмунда Гуссерля) // Шестов Л. Соч. В 2-х томах. Т. 1. М., 1993

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

Шпет Г. Явление и смысл. Томск: Водолей, 1996

Pietarinen, A.-V. Signs of Logic. Peircean Themes on the Philosophy of Language, Games, and Communication. Synthese Library, Vol. 329, 2006

Martin Kusch. Language as Calculus vs Language as the Universal Medium: A Study of Husserl. Heidegger and Gadamer. Dordrecht : Kluwer Academic Publishers. 1989

Hintikka, Jaakko. Lingua Universalis Vs. Calculus Ratiocinator. Boston: Kluwer Academic Publishers, 1997


^ Раздел 3. Семантические парадоксы.

Выразительные, вычислительные и дедуктивные возможности формализмов


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

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

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

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

Основная

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

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

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


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

Антонова О.А., Соловьев С.В. Теория и практика виртуальной реальности: Логико-философский анализ. Спб.: Издательство Санкт-Петербургского университета, 2008

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

Драгалина-Черная Е.Г. От тривия к инженерии знаний // Электронный журнал «Знание, понимание, умение» 2008 №11 (http://www.zpu-journal.ru/e-zpu/2008/11/Dragalina-Chernaia/)

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

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

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

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

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

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

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

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

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

Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию.М.: Мир, 1990

Тейз А., Грибомон П., Юлен Г и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных. М.: Мир, 1998

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

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

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

Шульга Е. Компьютерная герменевтика //Вопросы философии, 2007, №2

Wang H.. Logical journey from Godel to philosophy. MIT Press, 1996


Раздел 4. Язык, семантика, онтология


Тема 4.1. Аналитическая истина, «онтологическая нейтральность» логики и «внутренний реализм»


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

Язык, семантика, онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна. Концептуальная относительность и внутренний реализм. Дихотомия аналитического и синтетического: У.Куайн о «двух догмах эмпиризма».

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

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


Литература

Основная

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

Куайн У. Онтологическая относительность // Современная философия науки. М.: Наука, 1996, с. 40 – 60

Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. М.: РОССПЭН, 1999 с. 19 - 155


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

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

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

Вартофский М. Модели. Репрезентация и научное понимание. М.: Прогресс, 1988

Гильберт Д. Естествознание и логика // Кантовский сборник. Калининград, 1990

Драгалина-Черная Е.Г. Логика и онтология обобщенной квантификации // Логический анализ языка. Квантификативный аспект языка. М.: Индрик, 2005, с. 36 - 44


Драгалина-Черная Е.Г. Формальные онтологии как абстрактные логики // Логические исследования. Выпуск 12. М.: Наука, 2005, 162 - 169


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


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

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


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

Куайн У. Еще раз о неопределенности перевода // Логос, 2005, 47

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

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

Малиновский Б. Проблема значения в примитивных языках // Эпистемология & Философия науки, 2005, №3

Маникас П. Уиллард Ван Орман Куайн // Американская философия. М.: Идея-Пресс, 2008

Макеева Л.Б. Философия Х.Патнэма. М.: ИФ РАН, 1996

Математика и опыт. М.: Изд-во МГУ, 2003

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

Патнэм Х. Философия сознания. М.: Наука, 1999

Сепир Э. Язык: Введение в изучение речи // Сепир Э. Избранные труды по языкознанию и культурологии. М., 1993, с. 26 – 203

Сёрль Д. Открывая сознание заново. М.: Идея-Пресс, 2002

Смирнова Е.Д. Аналитическая истинность // Методологические аспекты когнитивных процессов (Вычислительные системы, 172). Новосибирск: Институт математики им. С.Л.Соболева СО РАН, 2002

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

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

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

Сепир Э. Введение в изучение речи // Сепир Э. Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993


Рубашкин В.Ш., Лахути Д.Г. Онтология: от натурфилософии к научному мировоззрению и инженерии знаний / Вопросы философии, 2005, №1, С. 64 – 81

Сильверстейн М. Уорфианство и лингвистическое воображение нации // Логос. 2005. N 4. С. 71 - 115

Б.М.Величковский. Когнитивная наука. Основы психологии познания. М.: Смысл, 2006

Солсо Р. Когнитивная психология. М.: Тривола, 2002

Шульц В.Л., Любимова Т.М. Язык как метареальность и прогностическая структура // Вопросы философии, 2008, №7

Shapiro S.. The limits of Logic, Dartmouth: Aldershot, 1996

Read S. Thinking About Logic: An Introduction to the Philosophy of Logic. Oxford: Oxford University Press, 1995

Putnam H. Humanism with a Human Face. Cambridge, 1990


Тема 4.2. Семантика возможных миров и интенсиональные онтологии

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

Референциальная непрозрачность интенсиональных контекстов и «загадка контекстов мнения». Интенсиональность как интенциональность. Проблема кросс-идентификации и интенционального тождества: «жесткие десигнаторы» Крипке и «индивидуализирующие функции» Хинтикки. Онтологический статус интенсиональных сущностей и нео-эссенциализм. Теоретико-игровые семантики для интенсиональной логики.

Основная

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

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

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

Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Изд-во Альфа, 2000

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

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

Кастанеда Г.-Н. Художественный вымысел и действительность: их фундаментальные связи// Логос, 1999, №3

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

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

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

Сааринен Э. Хинтикка, Кастанеда и Куайн о квантификации «в»: некоторые основополагающие проблемы в интенсиональной логике // Исследования по неклассическим логикам. М.: Прогресс, 1989


Сидоренко Е.А. Семантика возможных миров: от Лейбницевской к Юмовской // Логические исследования. Вып. 3, М.: 1995


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


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


van Benthem, J. Logic in Games, Electronic lecture notes, ILLC University of Amsterdam & Department of Philosophy, Stanford University. 1999,http://staff.science.uva.nl/~johan/Teaching


^ Раздел 6. Теория речевых актов.

Семантика и прагматика


Теория речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и Вандервекена. «Компетенция» и «употребление» в порождающей грамматике Хомского. Теория «подразумевания» Грайса. Локутивные, иллокутивные и перлокутивные речевые акты. Перформативы и констативы.

Постулаты речевого общения, коммуникативные неудачи и коммуникативные импликатуры. Иллокутивное самоубийство. Исчисление речевых актов Сёрля и Вандервекена. Конституирующие правила аргументативного речевого акта: семантика и прагматика. Значение и действие. Логическое обоснование и рационализация действий.

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

Нарративная семантика и семиологическая интерпретация культуры: идеология и мифология, консенсус и рефлексия, интерпретация и деконструкция, власть и язык. «Дискурсивные практики» и прагматика «мира повседневности». «Практический смысл» и «практические логики» Бурдье. Теория коммуникативного действия Хабермаса. Трансцендентальная «языковая игра» Апеля. «Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная деятельность (Матурана), «эволюционный аргумент» Деннета.

Литература

Основная

Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001, С. 336 - 358

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

Серль Дж., Вандервекен Д. Основные понятия исчисления речевых актов // Новое в зарубежной лингвистике, М.: Радуга, 1986, вып. 18, с. 242 - 263


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

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

Бодрияр Ж. К критике политической экономии знака. М.: Библион, 2003

Брокмейер Й., Харре Р. Нарратив: проблемы и обещания одной альтернативной парадигмы // Вопросы философии, 2000, №3

Бурдье П. Практический смысл. СПб.: Алетейя, 2001

Вержбицкая А. Язык. Культура. Познание. М.: Русские словари, 1996

Вригт Г.Х. Логико-философские исследования. М.: Прогресс, 1986

Грайс Г. Логика и речевое общение // Новое в зарубежной лингвистике, М: Радуга, 1985, вып. 17

Грифцова И.Н. Логика как теоретическая и практическая дисциплина. К вопросу о соотношении формальной и неформальной логики. М., 1998

Деннет Д.С. Виды психики: на пути к пониманию сознания. М.: Прогресс, 2004

Кастанеда Г.-Н. Художественный вымысел и действительность: их фундаментальные связи // Логос, 1999, №3

Лакофф Дж., Джонсон М. Метафоры, которыми мы живем. М.: УРСС, 2004

Матурана У. Биология познания // Язык и интеллект. М.: Прогресс, 1996

Остин Дж. Как производить действия при помощи слов. Смысл и сенсибилии. М.: Прогресс, 1999

Остин Дж. Три способа пролить чернила. СПб.: Алетейя, 2006

Серль Дж. Логический статус художественного дискурса // Логос, 1999, №3

Пинкер С. Язык как инстинкт. М.: УРСС, 2004

Порус В.Н. Метафора и рациональность // Высшее образование в России. 2005, № 1

Пьеге-Гро Н. Введение в теорию интертекстуальности. М.: УРСС, 2007

Противоречие и дискурс. М.: Институт философии РАН, 2005

Французская семиотика. От структурализма к постстуктурализму. М.: Прогресс, 2000

Юлина Н.С. Головоломки проблемы сознания. Концепция Дэниела Деннета. М.: Канон+, 2004

Хабермас Ю. Моральное сознание и коммуникативное действие. СПб.: Наука, 2006

Хомский Н. Картезианская лингвистика. М.: Эдиториал УРСС, 2005

Тугендхат Э. Введение в аналитическую философию языка. // Логос, 1999, №20

Соболева М.Е. Философия как «критика языка» в Германии. – СПб.: Изд-во С.-Петербургского ун-та, 2005

Шюц А. Избранное: Мир, светящийся смыслом. М.: РОССПЭН, 2004

Маклюэн М. Понимание media. М.: Кучково поле, 2007

Луман Н. Медиа коммуникации. М.: Логос, 2005

Успенский Б.А. Ego Loquens. Язык и коммуникационное пространство. М.: РГГУ, 2007


^ Тематика докладов, рефератов, письменных домашних работ


  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. Референциальная непрозрачность и «загадка контекстов мнения». Пропозициональные установки de re и de dicto. Онтологический статус интенсиональных сущностей и нео-эссенциализм.

  44. Ситуационные и теоретико-игровые семантики для интенсиональных логик.

  45. Дихотомия аналитического и синтетического: У.Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории.

  46. Принципы теории речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и Вандервекена.

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

  48. Исчисление речевых актов Сёрля и Вандервекена.

  49. «Компетенция» и «употребление» в порождающей грамматике Хомского.

  50. Теория «подразумевания» Грайса. Постулаты речевого общения, коммуникативные неудачи и коммуникативные импликатуры. Иллокутивное самоубийство.

  51. Аргументативные речевые акты. Аргументация и обоснование.

  52. Семантика метафоры. «Метафоры, которыми мы живем».

  53. Значение и действие. Логическое обоснование и рационализация действий.

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

  55. Модели ограниченной рациональности: теория коммуникативного действия Хабермаса и трансцендентальная «языковая игра» Апеля.

  56. Дискурс и текст. Текст, контекст, гипертекст, интертекст. Художественный и философский тексты: логическая структура и специфика референции.

  57. Логические аспекты порождения и интерпретации текста: нарративные операторы. Методы логической герменевтики в анализе философских и художественных текстов.

  58. Нарративная семантика и семиологическая интерпретация культуры: идеология и мифология, консенсус и рефлексия, интерпретация и деконструкция, власть и язык.

  59. «Дискурсивные практики» и прагматика «мира повседневности». «Практический смысл» и «практические логики» Бурдье.

  60. «Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная деятельность (Матурана), «эволюционный аргумент» Деннета.



Вопросы для оценки качества освоения дисциплины



  1. Язык как информационная знаковая система. Функции языка. Язык и метаязык.

  2. Этапы становления логической семантики и принципы её теоретического построения. Методы логической семантики.

  3. Семантические проблемы в школах адвайта-веданты и ньяя. Буддистская логика и «индийский силлогизм».

  4. Проблема имен (мин) и реалий (ши) в философии Древнего Китая. Конфуцианский принцип «исправления имен» и учение даосов о двойственности Дао: «у мин» и «ю мин».

  5. Античные теории имени: натурализм и конвенционализм.

  6. Категориальная система средневековой семантики: «естественные» и «конвенциональные» знаки, «ментальные слова» и «концепты», «пропозиции», «суппозиции» и «пресуппозиции», «универсум речи», «виртуальное» и «формальное».

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

  8. Рациональная грамматика Пор-Рояля.

  9. Семиотические принципы английских эмпириков XVII века.

  10. Логико-семантические идеи Канта.

  11. Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика Пирса - Морриса.

  12. Теория знака Гуссерля. Знак и интециональность, ноэма и ноэзис.

  13. Смысл и абсурд в экзистенциальном измерении. Психоаналитика как семиотика.

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

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

  16. «Логический атомизм», теория дескрипций и теория типов Рассела.

  17. «Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического».

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

  19. Семантические проблемы обоснования логических систем. Логические и семантические парадоксы.

  20. Определение понятия истинности для формализованных языков: схема Тарского. Выразительные возможности языков формальных теорий.

  21. Машина Тьюринга и тезис Чёрча. Тест Тьюринга и «китайская комната» Сёрля.

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

  23. Теоретико-модельные свойства формальных теорий. Нестандартные интерпретации и парадокс Сколема.

  24. Язык, семантика, онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна.

  25. Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы.

  26. Семантика «возможных миров» для интенсиональных логических систем. Проблемы кросс-идентификации и интенционального тождества.

  27. Дихотомия аналитических и синтетических истин. У.Куайн о «двух догмах эмпиризма».

  28. Принципы теории речевых актов и основные этапы её развития.

  29. Типы речевых актов. Постулаты речевого общения.

  30. Значение и действие. Логическое обоснование и рационализация действий. Парадоксы предпочтения и эффективного действия.

  31. Дискурс и текст. Критерии текстуальности. Художественный и философский текст: специфика референции.

  32. Нарративная семантика и семиологическая интерпретация культуры. Философские основания «натурализованных семантик».



Автор программы

доктор философских наук,

профессор кафедры онтологии, логики

и теории познания философского факультета

ГУ – ВШЭ Е.Г. Драгалина – Черная




Скачать 303.13 Kb.
оставить комментарий
Дата16.10.2011
Размер303.13 Kb.
ТипПрограмма дисциплины, Образовательные материалы
Добавить документ в свой блог или на сайт

Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх