Введение к работе
Предмет исследования и его актуальность.
Предметом диссертационного исследования являются многомерные семантики временной и модально-временной логик.
Многомерные семантики - это семантики, в которых оценка формул производится . одновременно более чем в одной точке (факторе, аспекте) Пожалуй, это самое общее определение, которое можно дать.
В качестве основных мотивов обращения к данной теме исследовани; хотелось бь! выделить следующие.
1. В современную эпоху господствующим взглядом на язык являете; прагматический, то есть все проблемы, связанные с языком, рассматриваются ( точки зрения "Я" говорящего.
"По современным представлениям прагматика встроена в систему языка может быть, в самый ее центр." (Степанов Ю.С. "В трехмерном пространств' языка", М., Наука, 1985, с.241). Прагматика 'заключается не прямо в отношения знаков к носителю языка, а в отношениях знаков к носителю языка, как эп отношения предстают через семантику и еннтактику" (там же, с280). Последнс это означает, что прагматическая координата. должна быть выражена объектном языке. Для этого к языку соответствующей логики следует добавит операторы с ориентацией на "Я" говорящего, расширить (или мзмешгп понятие правильно построенной формулы языка, присоединить новые аксиом: и правила вывода; в семантике необходимо сформулировать услові' истинности для формул с такими операторами.
Первым, кто пожелал добавить к языку традиционной временной логиь "необычный" оператор "сейчас", выражающий в этом языке локализацию '" говорящего во времени, был Г.Кэмп. Однако сформулировать услові истинности для формул с "необычным" оператором в обычной семантш
оказалось невозможно. Оператор "сейчас" требовал оценки формул, в которых он встречался, одновременно в двух моментах времени.
С аналогичными трудностями столкнулся и Ф.Влач при формулировке условий истинности для формул с оператором "тогда".
Введение во временную логику "необычных" операторов явилось толчком для возникновения и развития "необычных" семантик, названных двумерными. В дальнейшем эти семантики весьма успешно стали применяться для аналша сложных контекстов естественного языка (не только временных).
Таким образом, многомерные семантики .возникли в качестве необходимого и естественного средства выражения в логике прагматического взгляда на язык.
2. Возникнув как средство анализа контекстов естественного языка, многомерные семантики оказались весьма эффективными для решения собственно логических вопросов и задач философского характера.
Богатые возможности, предоставляемые аппаратом многомерных семантик, нашли свое применение при построении многомодальных логик. Использование многомерных семантик позволило естественным образом сформулировать условия истинности для формул с разносортными операторами (например, временными и модальными, деонтическими и модальными и т.п.). Это, в свою очередь, способствовало более глубокому решению вопроса о взаимосвязи различных модальностей, выявлению более тонких дистинкций между ними.
Преимущества, полученные от построения многомодальных логик как многомерных, позволили во многом по новому подойти к решению важных философских . проблем, связанных со взаимоотношением между истиной, временем и необходимостью. В первую очередь имеется в виду вечная проблема фаталшма и свободы воли и анализ в этой связи "главного аргумента" Диодора Кроноса и аристотелевских рассуждений о завтрашнем морском сражении.
Все сказанное позволяет судить об актуальности как для логики, так и для философии избранной темы исследования.
Целыо работы является исследование возможностей применения многомерных семантик временной и модально-временной логик для решения ряда задач:
-
из области логического анализа естественного языка;
-
собственно логических;
-
философского характера.
В соответствии с поставленной целыо в работе решаются следующие задачи:
показать результативность применения двумерной семантики временной логики к анализу определенного типа временных kohtckctod естественного языка;
средствами трехмерной семантики временной логики, построенной на основе подхода Г.Рейхенбаха, проанализировать некоторые грамматические времена английского языка;
- предложить некоторые подходы к оценке в трехмерной семантике
сложноподчиненных предложений с "when", "before", "after";
построить двумерную семантику модально-временной логики, в котороі различались бы следующие операторы: "необходимо всегда будет...", "возможш будет...", "возможно всегда будет...", "необходимо будет...", "всегда будет необходимо...", ' "будет возможно...", "всегда будет возможно...", "буде необходимо..." (соответственно для комбинаций операторов прошлого времени і модальными операторами);
доказать непротиворечивость и полноту выбранной системь относительно сформулированной семантики;
- выяснить (путем наложения на модельную структуру различны
ограничений), при каких условиях различные модальности становятс
эквивалентными;
- на материале модально-временной логики показать преимущества
построения многомодальных логик как многомерных;
- показать, что жесткий детерминизм можно преодолеть (без отказа от
универсальности принципа бивалентности) и при постулировании линейности
времени в будущее.
На зашиту выносятся следующие научные результаты, полученные в диссертации:
анализ некоторых грамматических времен английского языка средствами трехмерной семантики, построенной на основе подхода Г.Рсйхснбаха;
- предложенные подходы к оценке в трехмерной семантике сложно
подчиненных предложений с "when", "before", "after";
построенная двумерная семантика модально-временной логики, в которой различаются такие операторы, как: G(F), DG(^F), GD(FA), QG(TJF), СЛ (FED. ЩП О Н( О Р), н П (Р ф), О Н(П Р), Н ф (Р );
доказанные теоремы непротиворечивости и полноты выбранной системы относительно сформулированной семантики;
- формулировка условий (накладываемых на модельную структуру), при которых модальности О G, GQ , A G сводимы к G и HQ , ПН, ЛН - к Н;
- предложенный подход к анализу утверждений о будущих событиях,
позволяющий преодолевать жесткий детерминизм без отказа от
универсальности принципа бивалентности и при постулировании линейности
времени в будущее.
По своему содержанию и результатам работа имеет практическую ценность для решения проблем современной логики, историко-философского анализа, конкретных задач логического анализа естественного языка. Материалы, содержащиеся в работе, могут быть использованы в спецкурсах по логической семантике, неклассическим логикам, логическому аналгоу естественного языка, философским проблемам логики.
Методологической основой работы являются исследования отечественных и зарубежных логиков Е.К.Войшвилло, ВА.Смирнова, ЕД.Смирновой, Л.С.Карпенко, А.Прайора, ЛАквиста, Й.ван Бентема, Б.Челласа, Д.Габбая, А.Хаутамяки, Г.Кэмпа, К.Сегерберга, а также лингвистов и философов О.Есперсена, Г.Рейхенбаха.
Апробация работы. Основные идеи диссертации излагались на аспирантском и теоретическом семинарах кафедры логики философского факультета МГУ, на X Всесоюзной конференции по логике, методологии и философии науки (Минск, 1990 г.). По теме диссертации опубликованы три печатные работы.-'
