Целищев В.В. Понятие объекта в модальной логике 2018 Изд. стереотип.

Оглавление

Предисловие

Исследования по философским проблемам модальной логики представляются в настоящее время весьма актуальными и интересными. Присущая математической логике универсальность применения реализована в модальной логике построением большого числа формальных систем, пригодных для анализа самых различных областей языка науки. Адекватность модальной логики для этих целей обеспечивается гибкостью, богатством выразительных возможностей и широтой концептуальных предпосылок языка с операторами необходимости, возможности и тому подобных понятий.

Философская проблематика в модальной логике представляет сейчас для исследователя значительные трудности. Следуя Я.А.Слинину, отметим некоторые основные причины этого обстоятельства. Во-первых, резкое возрастание числа публикаций по модальной логике делает трудно обозримым описание того, что происходит в модальной логике. Во-вторых, значительное увеличение числа модальных систем усложняет выделение из них основных или базисных в применении к философии. В-третьих, собственно модальная (алетическая) логика окружена теперь семейством синтаксически родственных ей систем логики, включая системы временной, деонтической и эпистемической логики. В настоящее время многие предпочитают все это семейство называть модальной логикой и решать ее проблемы наравне с более общим понятием интенсиональной логики.

Поразительной особенностью подавляющего числа модальных разговоров является то, что модальность приписывается утверждениям, а вопрос об объектах этих утверждений остается за рамками разговора. Между тем объективность модальной логики не может быть полностью объяснена без понятия объекта модального рассуждения. Своеобразие модальной логики позволяет провести в этом отношении аналогию с математикой. Наряду с проблемой истинности утверждений математики не менее важной является проблема существования математических сущностей. В модальной же логике почти все внимание уделено вопросам истинности модальных утверждений, в то время как понятие объекта остается неясным. В традиционной терминологии предпочтение оказывается de dicto интерпретации в ущерб de re интерпретации. Следует отметить, что семантический этап развития модальной логики укрепил эту тенденцию, поскольку как семантика С.Крипке, так и семантика Я.Хинтикки дают объяснение именно de dicto интерпретации.

Между тем проблема объекта модального рассуждения требует своего объяснения и является важной для понимания механизма описания логикой структуры реальности. Существующее положение дел возникло в первую очередь изНза больших концептуальных трудностей, связанных с понятием модального объекта. В логическом аспекте эти трудности проявляются в проблемах, связанных с построением систем кванторной модальной логики, поскольку квантификация предполагает разговор об объектах.

Проблематика квантификации модальных контекстов включает обширнейший круг методов и понятий современной логики и философии языка. В настоящей работе затронуты лишь отдельные вопросы этой проблематики.

Трудно обозримое состояние исследований по модальной логике заостряет проблему выбора такой точки зрения на модальности, которая позволяла бы достаточно ясно осветить комплекс вопросов, связанных с понятием модального объекта. Подобное заострение реализовано в поисках перехода от разговора о модальных утверждениях к разговору о модальных объектах.

Каковы объекты истинных модальных утверждений? Самый общий ответ состоит в указании на их интенсиональную природу. Однако интенсиональных объектов много – их классическим примером являются, в частности, суждение и ему подобные "ментальные" объекты, составляющие часть языка.

Если модальными объектами являются таковые объекты, тогда модальности понимаются как способ, которым нечто мыслится или описывается. Более точно, это выражается в способах указания объекта. Очевидно, что здесь мы имеем дело с модальностью de dicto. В самом деле, речь идет об истинности модальных утверждений.

Если же под объектами модальных утверждений подразумевать объекты не лингвистические, а объекты в традиционном понимании, тогда речь идет не о способе указания. В семантическом плане это означает, что объект указывается сингулярным термином и модальность проявляется в приписывании этому объекту существенных свойств. Тогда это уже модальность de re.

С нашей точки зрения, наименее исследован вопрос о модальных объектах во втором смысле. Дело в том, что семантика для модальной логики, как уже было сказано, эксплицирует понятие de dicto модальностей. Необходимость утверждения есть его истинность во всех возможных мирах. Между тем это вовсе не означает, что разговор в терминах возможных миров не приводит к понятию de re модальностей. Коль скоро в этот разговор входит проблема отождествления одного и того же объекта в различных возможных мирах, мы обязаны говорить об объектах с существенными свойствами.

Таким образом, цель настоящего исследования состоит в рассмотрении взаимоотношений двух интерпретаций модальности – de re и de dicto. Объяснение концепции взаимоотношения, разрабатываемой в данной монографии, требует предварительных объяснений и поэтому приводится в конце гл.III. Здесь же, не формулируя основных положений монографии, сделаем несколько общих замечаний.

Прежде всего, автор отдает себе отчет в том, что поток исследований по избранной им теме растет довольно быстро и изложить проблему в каком-либо полном объеме в высшей степени затруднительно. Кроме того, большая концептуальная сложность материала требует довольно пространных объяснений, полное изложение которых превысило бы разумные размеры монографии. Однако именно эта сложность явилась одним из побудительных мотивов для попытки связно изложить материал, поскольку уже сейчас читателю трудно ориентироваться в калейдоскопе мнений и технических приемов в этом важном разделе логики. Поэтому настоящая работа не претендует ни на полноту, ни на тщательное описание проблем и их решений. Одна из целей монографии заключается в указании направления развития философской проблематики модальной логики.

Далее, монография задумана как философский очерк ряда проблем кванторной модальной логики, в ней не дается строгого описания формализмов, в частности аксиоматических систем модальной логики. Предполагается, что излагаемые философские проблемы свойственны целому ряду формализмов. Кроме того, поскольку экспликация понятия объекта в модальной логике находится еще в стадии становления, многие вопросы вынуждены быть по характеру философскими, и техническое их оформление – дело будущего. Наконец, именно философские вопросы кванторной модальной логики вызвали к ней недавний интерес, и поэтому, с нашей точки зрения, целесообразно отдать предпочтение этим вопросам. Преобладающая часть рассматриваемых в монографии проблем относится к алетическим модальностям, уделяется внимание и эпистемическим модальностям.

Автор благодарит своих коллег А.В.Бессонова и А.Л.Блинова, сделавших ряд ценных замечаний в ходе работы над монографией.

Об авторе

Доктор философских наук, директор Института философии и права Сибирского отделения Российской академии наук (г. Новосибирск, Академгородок). Автор около 15 монографий по философии логики и математики. Перевел с английского несколько важнейших работ философов Англии и Америки.