Введение к работе
Актуальность темы. Предметом исследования, проведенного в настоящей равоте являются так называемые точечные и интервальные временные структуры и их использование в логике. Исторически можно различить два подхода к пониманию природы времени. Преобладающей в истории науки еыла точка зрения, согласно которой время есть множество моментов, не имеющих длительности, когда момент трактовался по аналогии с евклидовым пониманием точки как овьекта, не имеющего частей. Многие логики, считая понятие момента или точки времени достаточно сильной абстракцией, тем не менее принимали точечную концепцию времени, полагали ее весьма плодотворной и внесли большой вклад в реконструкцию понятия момента времени и точечной временной структуры. В числе таких ученых можно
»
назвать А.Прайора, Б.Рассела, А.Уайтхеда.
Рассмотрение вопроса о соотношении точечного и интервального подходов проводится в контексте философского понимания того, что есть время как универсальная характеристика бытия. С этой целью в первом параграфе первой главы расматриваются вопросы соотношения категорий времени и вечности в истории философии и делается попытка осмыслить понятие точки и интервала в рамках этого сопоставления. При рассмотрении этого вопроса мы, не претендуя на полноту осмысления этих чрезвычайно тонких философских нюансов, сосредоточили наше вникание на рассмотрении концепции времени и вечности лишь у Платона, Аристотеля, Аврелия Августина и некоторых других Отцов Церкви как наиболее отвечающих нашему пониманию этой проблемы.
В современных работах по логике все Больше внимания уделяется исследованию интервальной концепции времени, в которой в качестве исходного понятия рассматривается не момент времени, не имеющий длительности, а некоторый протяженный период времени или временной
интервал. В числе ученых, разрабатывающих интервальный подход в построении временных структур можно назвать И.ван Бентема, Ч.ХемБлина, П.Ропера, А. ХамБерстоуна и др. В основе интервального подхода лежит предположение о том, что понятие момента времени противоречит нашей интуиции при рассмотрении различных процессов, оБладаших длительностью существования.
Исследования в овласти как точечного, так и интервального понимания природы времени получили в последнее время определенное развитие в отечественной и зарубежной литературе. Однако целостного рассмотрения вопроса и сопоставления точечного и интервального подходов в отечественной литературе пока не существует.
В paso т е уделяется Большое внимание рассмотрению и анализу некоторых вопросов современной временной логики. Интерес представляет не только изучение интервальных и точечных временных структур, но, и это, пожалуй, самое важное, их применение к решению конкретных задач современной логики.
Целью равоты является систематическое изучение точечных и интервальных временных структур, а также структур со смешанной онтологией (точечно-интервальных). Построение подобных структур трактуется как возможный способ экспликации понятия времени, принимаемого в той или иной научной теории.
В соответствии с поставленной целью в равоте решаются следующие задачи:
дается краткий историко-философский очерк проблемы;
исследуются свойства точечных и интервальных структур и методы их построения, прослеживается связь между различными отношенями во временной точечной структуре и аксиоматикой модальных систем;
- исследуются основные свойства интервальных структур; основные
ыетоды преобразования структур;
изучается вопрос о приложении теории точечных структур к задаче построения характеристических структур для модальных логик, описывающих свойства физических пространств (4-х -черного пространства ЬЬінковского). Исследуется вопрос о возможности построения характеристической структуры для логики К2 (конечного времени);
исследуется вопрос о применении точечных и интервальных структур к задачам анализа естественного языка. На основе комбинированного Точечно-интервального подхода рассматривается вопрос о построении семантики для предложений русского языка, содержащих глаголы совершенного и несовершенного видов.
Научная новизна диссертации определяется результатами, полученными при данном исследовании:
-
Лается историко-философский очерк проблемы.
-
Систематически излагаются два подхода (точечный и интервальный) к построению семантик модальных систем.
3. Описывается применение этих подходов к логическому анализу
естествнных языков.
4. Строятся характеристические точечные структуры для логики К2.
5. Алгебраическими методами Р-морфиэма и образования скоплений
(кластеров) решается задача построения временных структур, являющихся, с
одной стороны, характеристическими для модальных систем, с другой
стороны, реконструирующих временной порядок в релятивистсткой физике.
6. Доказывается теорема о том, что на классе интервальных структур
строгий гомомрфизм является изоморфизмом.
7. На соноае интервального подхода впервые в отечественной
литературе дается классификация глаголов русского языка. Предлагается
структура ветвящегося времени для их описания.
8. На основе комбинированного точечно-интервального подхода строится семантическая экспликация глаголов русского языка совершенного и несовершенного видов.
Практиче с кая ценность диссертации определяется тем, что ее результаты могут быть использованы в чтении курсов по логике, спецкурсов по модальной логике, временной логике и логическому анализу естественного языка.
Методологические основания работы. Основные методологические предпосылки могут быть сформулированы в следующих тезисах:
рассуждать о проблемах временной логики и ее приложениях к анализу конкретных проблем необходимо в соответствующем ИСТОРИКО-ФИЛОСОФСКОМ контексте;
при постановке проблемы времени приоритетным является традиционное понимание времени в истории философии и науки;
выяснение статуса времени как универсальной характеристики бытия возможно не только путем чувственного и рационального познания в обычном понимании, но и такими способами, хак созерцательное разумение и интеллектуальная интуиция.. Это, в свою очередь, обеспечивает интерсувьективность понимания того, что такое время;
- принятие того или иного временного порядка (точечного или интервального) или выбор той или иной временной структуры (линейной, ветвящейся и др.) в конечном счете определяется целью исследования и решением конкретной прикладной задачи. Другими словами,- это вопрос конвенции;
- наиболее удачным аппаратом, могущим выразить не всегда интуитивно
ясные временные категории, является аппарат временной логики. Другие
средства, могущие столь же полно решать задачи экспликации темпоральных
Объектов, нам неизвестны;
- о "множественности времен" МОЖНО ГОВОРИТЬ только в связи со множеством различных интерпретаций фундаментального понятия времени.
Теоретичекие основания работы. Историко-философская часть опирается на труды Платона, Аристотеля, Аврелия Августина, Дионисия Ареопагита, Василия Великого, а также В.Н.Лосского, А.М.Анисова, В.А.Смирнова, И.ван Бентема, Л.Прайора, А. Уайтхеда, Г.Рейхенваха, В.Ньютона-Смита. В логико-математической части мы существенным образом использовали результаты К.Сегерверга, Р.Гольдвлатта, И.ван Бентема, В.А.Смирнова. При проведении семантического анализа существенное влияние на нас оказали равоты Х.Кампа, А. Прайора, Д. Бердхесса, Е. Д. Смирновой и др.
Апровация равоты . Основные идеи и выводы данного исследования были обсуждены и изложены на теоретическом семинаре кафедры логики философского факультета МГУ , на аспирантском семинаре кафедры логики, на Всесоюзных конференциях по логике, методологии и философии науки (Харьков 1986, Минск 1990), на летней европейской школе по логике, языку и информатике (Лиссабон 1993).
Овьем и структура равоты. Диссертация изложена на 102 страницах и состоит из введения, трех глав и заключения. Список литературы включает 69 источников, из которых 36 на английском языке.