The Logic of Action as a Tool for Analyzing and Solving Philosophical Problems.pdf Логика - это инструмент философского знания Заявления специалистов в области философии о том, что логика является инструментом, позволяющим формулировать новые вопросы относительно того или иного предмета, вносить ясность в обсуждаемые проблемы и даже решать их, являются общим местом как вводных курсов по логике и философии и энциклопедических статей, так и специальных работ. Инструментальный характер логики в самом деле не вызывает сомнений, если речь идет, например, о традиционной логике как дисциплине и такой сфере профессиональной деятельности, как, например, юриспруденция. Однако в том случае, когда речь заходит об использовании специалистами-философами классических и неклассических логических теорий, например модальной логики, то их инструментальный, прикладной и эвристический характер уже не так очевиден. В качестве примера, демонстрирующего саму возможность и удобство такого использования логических теорий, мы сошлемся на знаменитый онтологический аргумент Алвина Плантинга, в основе которого лежат аксиомы модальной логики S5 [1]. Широкая дискуссия, которая развернулась в среде специалистов, занятых философией религии, в связи с результатом Плантин-га, говорит о том, что если подобное применение одной из логических теорий и не решает существующие философские проблемы, то, по крайней мере, рождает новые, что в данном случае не следует расценивать с практической точки зрения, т.е. в отрицательном ключе. Что же касается не столь провокационных примеров использования логических теорий, то здесь сами философы не столько демонстрируют весь потенциал названного инструмента, сколько, напротив, прячутся за общими фразами или, под видом дискуссий об использовании логического знания в области философии, говорят о дру- Логика действий как инструмент для анализа и решения философских проблем 17 гом. Так, например, Rod Girle в книге «Modal Logics and Philosophy.» [2], вопреки обещающему названию, во второй части, которая посвящена приложениям логики к областям философии, дает обзор современных логик (классической, модальной, темпоральной, динамической, эпистемической, деонтической) точно так же, как это делают большинство стандартных логических учебников, где ни о каком специальном применении рассматриваемых логических теорий речи не идет. Подобным образом действует автор книги ««Modal Logic for Philosophers» [3], которая также содержит лишь описание нескольких нормальных систем модальной логики и никаких инструкций о том, как работать с этими системами, т.е. как их применять. Это замечание справедливо и в отношении логики действия - направления, нацеленного, как об этом говорит Стэнфордская философская энциклопедия, на изучение философских аспектов действий формальными средствами [4]. Кроме того, если взглянуть на любую из логических статей последних лет (и статьи по логике действий здесь не являются исключением, см., например: [5, 6]) то можно обнаружить, что почти все эти тексты на три четверти состоят из описания теорий и на одну четверть из выяснения того, что можно созданными средствами утверждать содержательного о том или ином предмете. Все это вызывает рост разобщения специалистов в области логики и философии, отечественные философские журналы, публикующие статьи по логике и философии, все чаще принимают лишь те работы, где не допускается сколь бы то ни было громоздких формальных построений, а сами логики замыкаются в своих «чистых» логических исследованиях, считая, что все существенное о философских вопросах скажут в других, не сугубо логических журналах и без их участия. Этим текстом мы хотим показать, что если не вся логика, то, по крайней мере, ее часть, а именно, - логика действий, была и остается отраслью философского знания, что она обладает потенциалом, который позволяет ей формулировать нетривиальные утверждения, имеющие отношение к исконным философским вопросам, и что перечень этих утверждений можно множить, если научиться правильно использовать те инструменты, которые она предлагает. Мы также надеемся, что эта статья послужит толчком для специали-стов-логиков выступить в печати с аналогичными утверждениями об эффективности и удобстве использования их логик в области философии. Тем самым тезис о логике как инструменте философского знания получит как бы индуктивное обоснование, в то время как эта статья сегодня даст ему обоснование через пример. Какие инструменты предлагает логика действий? Логика действий существует сразу в нескольких вариантах: как формализованная теория с креном в сторону семантических и собственно философских исследований [7-10]; как формальная теория с приоритетом логикоматематических штудий, в которых философские задачи, например в области приложения логики действий к вопросам этики, отходят на второй план [1114]. На сегодняшний день логика действий располагает несколькими семантиками: классической и упрощенной семантиками ветвящегося времени, разработанными пионерами этого направления - Дж. Хорти и Н. Белнапом, -семантикой, основанной на модельных структурах Крипке, и семантикой для последующих состояний (так называемой NEXT-семантикой). Классическая Г.В. Карпов 18 семантика является самой старой и самой мощной из всех: ее выразительных средств достаточно для того, чтобы интерпретировать описательные предложения, выражающие самые разнообразные смысловые оттенки совершаемых агентами действий. Упрощенная семантика используется преимущественно тогда, когда не возникает необходимости в интерпретации предложений, описывающих стратегические действия, когда решение о действии и последствие действия отставали бы друг от друга во времени. Семантика, в основе которой лежат структуры Крипке, служит средством теоретико-игровой интерпретации логики действия, что, в свою очередь, составляет часть программы по поиску оснований, которые бы позволили объединить ее с другими логиками, где задаются и решаются сходные вопросы - прежде всего с пропозициональной динамической логикой (см.: [15]). Семантика для последующих состояний используется специально для удобства интерпретации предложений, описывающих различные по своему виду стратегические действия агентов (см.: [16]). BT + AC + I1 - классическая семантика логики действий. В ее основе лежит древовидная структура2, объединяющая множество моментов T = {m1, m2, ..., mn}, которые находятся в отношении частичного порядка

Скачать электронную версию публикации