URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Целищев В.В. Понятие объекта в модальной логике
Id: 109877
 
217 руб.

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

URSS. 2010. 176 с. Мягкая обложка. ISBN 978-5-396-00110-7.

 Аннотация

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

Книга представляет интерес для специалистов в области логики, а также философов, лингвистов и студентов соответствующих специальностей.


 Оглавление

Предисловие
Введение. Указание и сингулярные термины
Глава I. Модальность, объективность и возможные миры
 § 1.Объект в модальной логике
 § 2.Объективность и реализм
 § 3.Возможные миры и объекты
Глава II. Модальности De Re и De Dicto
 § 1.Традиционное различение de dicto и de re модальностей и современная логика
 § 2.Модальность de re. Основные возражения и опровержения
Глава III. Кванторная модальная логика. Возражения и парадоксы
 § 1.Кванторная модальная логика и вызов Куайна
 § 2.Три степени вовлечения в модальность
 § 3.Модальность и эссенциализм
 § 4.Модальные парадоксы
 § 5.Три аспекта проблемы квантификации модальных контекстов и соотношение de re и de dicto модальностей
Глава IV. Общие сущности
 § 1.Эссенциализм: философская доктрина и логическое оформление
 § 2.Эссенциализм и язык кванторной модальной логики
 § 3.Метод А. Шмульяна
 § 4.Отказ от эссенциализма и элиминация de re модальности
Глава V. Индивидные сущности
 § 1.Индивидный эссенциализм
 § 2.Себетождественность
 § 3.Дескрипции и поддельный эссенциализм
 § 4.Собственные имена
Глава VI. Редукция De Re к De Dicto
 § 1.De re модальность без кванторной модальной логики: частичная редукция к de dicto
 § 2.Полная редукция de re к de dicto
 § 3.Частичное совпадение de re и de dicto интерпретаций
Глава VII. Твердые десигнаторы и De Re модальность
 § 1.Указание, собственные имена, твердые десигнаторы
 § 2.Необходимое тождество
 § 3.Сущности и несводимость de re модальности
Глава VIII. Эпистемическая логика
 § 1.De re интерпретация эпистемических контекстов
 § 2.Семантика для пропозициональных установок и эссенциализм
 § 3.Антиэссенциализм в эпистемической логике
 § 4.Пересмотр дихотомии de re/de dicto
Заключение
Литература

 Предисловие

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

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

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

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

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

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

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

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

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

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

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

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

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

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


 Об авторе

Виталий Валентинович ЦЕЛИЩЕВ (род. в 1942 г.)

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

 
© URSS 2016.

Информация о Продавце