Целищев В.В. Философские проблемы семантики возможных миров Изд. стереотип.

Оглавление

Предисловие

Развитие модальной логики связано в первую очередь с философскими проблемами, поскольку модальные понятия со времени Аристотеля использовались для анализа философских представлений. Построение формализующих модальности исчислений, начатое Д.К.Льюисом, дало (Многие важные результаты. Существенным этапом этого развития явилось создание систем кванторной модальной логики. Возражения В.Куайна против квантификации модальных контекстов положили начало обширной полемике о природе модальных понятий и способов описания реальности языком. Формальная удовлетворительность логических исчислений модальных понятий была доказана построением семантик для модальных логик в работах С.Крипке, С.Кангера, Я.Хинтикки. Используемые при этом методы известны под названием семантики возможных миров, поскольку в их основу положена принадлежащая Г.Лейбницу идея о необходимости как истинности во всех возможных мирах. Однако и семантика возможных миров не только не разрешила многих философских трудностей, но даже поставила ряд новых проблем. Поэтому анализ философских проблем, связанных с семантикой возможных миров, представляется весьма актуальным.

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

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

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

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

Параграфы 1 и 3 главы II написаны совместно с А.В.Бессоновым.

Об авторе

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