Диссертация (1148869), страница 29
Текст из файла (страница 29)
Караваев строит свои системы деонтической логики илогики принятия решений как агент-ориентированные системы, кроме того онстроит их как временные логики. Чтобы увидеть, как развивается на пути линииБентама и Малли современная деонтическая логика, рассмотрим идеи Э.Ф.Караваева206.Э.Ф. Караваев строит свои системы деонтической логики и логики принятиярешений как временные логики и называет их «гибридными логиками».Используя этот термин, он поясняет его следующим образом: «Следует сказать о«гибридной логике». Этот термин охватывает множество логических систем,которые строятся на основе обычной модальной логики в общем смысле этогослова (в частности, алетической, но также и временной, эпистемической,206Караваев Э.Ф.
Еще раз о трудностях построения деонтической логики // Логические исследования. Вып. 12. –М.: Наука, 2005. – С. 170-181. Караваев Э. Ф. Средства неклассической логики в формализации процедурпланирования деятельности // Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология,социология, психология и право. - 2008.
- Вып. 1. - С. 87-94.161деонтической) посредством добавления к ней некоторых средств, которые, – опять-таки, – обеспечивают увеличение выразительных средств используемогоязыка, т. е. уточнение логической формы наших умозаключений»207.Рассуждая о поведении субъекта, планирующего свою деятельность илидействующего,Э.Ф.Караваевпишет,чтоонолучшеописываетсянаформализованном языке в том случае, если мы можем учесть отношение этогосуъекта к своим действиям. Эти задачи, по словам Э.Ф.
Караваева, решает логикадействия (англ. the modal logic of agency), для которой он использует термин«логика деятельности», считая этот перевод более удачным.В языке логики деятельности имеют место особые модальные операторы,которые обозначаются с помощью знаковой конструкции STIT, – от английскоговыражения «α (an agent) sees to it that A», то есть «α (субъект) стремитсядействовать так, чтобы было A», где A является метабуквой, вместо которойподставляются формулы, описывающие некоторое положение дел.
Как правилоиспользуется сокращение: [α stit: A].М. Перлов и Н. Белнап, по словам Э.Ф Караваева, определяют этотмодальный оператор так: «Тот факт, что в преходящий момент времени имеетместо положение дел, описанное в A, обеспечивается предшествующим выбором,совершенным субъектом α. Именно по тем соображениям, т. е. из-за того, что этотоператориспользуетсядляописанияданногопреходящегорезультатапредшествующих действий субъекта, мы и квалифицируем его как оператордостижения A STIT (A – от английского «achievement»)» 208.Чтобы более полно представить себе содержание оператора A STIT, нужнопредусмотреть возможность учитывать варианты выбора, который совершаетсубъект, и момент преходящего настоящего.
В соответствии с этим базиснаяструктура ветвящегося времени 209 дополняется тремя исходными элементами. В207Караваев Э. Ф. Средства неклассической логики в формализации процедур планирования деятельности //Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право.
2008. - Вып. 1. - С. 89.208Там же. С. 91.209Древовидная временная структура, которую используют в семантических разработках в области временнойлогики.162первую очередь это множество субъектов, совершающих выбор и действия. Далеезадается функция выбора, являющаяся отображением множества пар (субъект,момент времени) на множество «историй», то есть вариантов течения событий,которые представлены ветвями древовидной структуры и которые проходят черезточку,соответствующуюданномумоменту.Наконец,вводитсяпонятиемгновений (здесь Э.Ф.
Караваев использует терминологию Белнапа и Перлова)210,или, как отмечает Э.Ф. Караваев, «одновременных моментов». Это классыэквивалентностей моментов, отстоящие во времени на одинаковый интервал от(преходящего) настоящего, хотя и на разных ветвях временного деревавозможных течений событий.Говоря об условиях истинности формулы [α cstit: A], Э.Ф. Караваевотмечает, что «Условия истинности формулы [α cstit: A] зависят от двух моментоввремени: первыйявляетсятеммоментом,поотношениюккоторомуозначиваются и модальная подформула всей формулы, и подформула A,соответствующая результату действия субъекта, а второй момент является темтребуемым предшествующим моментом выбора или действия, в который иобеспечивается достижение результата»211.Существует также и другая интерпретация оператора деятельности,которую предложил Хорти. При его интерпретации акцент делается наобдумывание действий.
И так как только будущее может являться тем, чтоиспытывает на себе влияние действий или совершаемых субъектом выборов тойили иной из множества имеющихся альтернатив, то вполне естественноприменять оператор к высказываниям о будущих положениях дел. Такимобразом, этот оператор, по словам Э.Ф. Караваева, можно назвать операторомобдумывания. Формулы, которые строятся посредством этого оператора, имеютвид:[αdstit:A],гдеDSTIT(отангл.«deliberate»,обдумывать) является оператором обдумывания.210Belnap N., Perloff M. Seeing to it that: a canonical form for agentives // Theoria. 1988.
Vol. 54. Pp. 175–199.Караваев Э. Ф. Средства неклассической логики в формализации процедур планирования деятельности //Вестник Санкт-Петербургского университета. Сер. 6, Философия, политология, социология, психология и право. 2008. - Вып. 1. - С. 91.211163Далее, разбирая условия истинности формулы [α dstit: A], Э.Ф. Караваевпишет: «В формулировании условий истинности формулы [α dstit: A] намтребуетсятолькоодинмоментвремени, – моментсовершениявыбораальтернативы или действия, т.
е. тот самый момент, в который субъект (посленеобходимого обдумывания) стремится «действовать так, чтобы было A», где, каки в предыдущем случае, A – это метабуква, вместо которой подставляютсяформулы, которые, обозначают высказывания о положениях дел»212.Итак, средства логики деятельности, описанной Э.Ф. Караваевым, даютвозможность уточнить описание планируемого поведения субъекта в ситуациях,которые соответсвуют точкам ветвления древовидной временной структуры.Исходя из того, каково положение дел в определенный момент времени, субъект,обладающий некоторыми знаниями и видящий его определенным образом, делаетшаг в направлении к своей цели. Эти знания изменяются со временем.
Подобнаявременная логика деятельности дает возможность осуществить и временнуюквалификацию нормативных высказываний, что и предлагает Э.Ф. Караваев213.Благодаря средствам «гибридной логики», описываемой Э.Ф. Караваевым, вописании процедуры планирования поведения можно более точно представитьразличные положения дел, с учетом необходимости и случайности, которыеизменяются во времени. Также можно представить информированность икомпетентность субъекта деятельности, учитывая то, что и они могут изменятьсяво времени. То же самое относится ик нормам, которых придерживаетсясубъект, так же с учетом их возможного изменения во времени.Э.Ф. Караваев, строя временную деонтическую логику,предлагаетиспользовать модель времени в виде дискретной, ветвящейся «влево» ибесконечной в обоих направлениях временной структуры ℑb = 〈 T,< 〉, состоящейиз непустого базисного множества «моментов» T = {x, y, z, …} и двухместного212Там же.
С. 92.Караваев Э.Ф. Еще раз о трудностях построения деонтической логики // Логические исследования. Вып. 12. –М.: Наука, 2005. С. 170-181.213164отношения на нем «раньше-позже» <214. Используется символика Э.Ф. Караваева.Из соображений, что заранее ни одно из «возможных будущих» нельзяопределить как действительное, Э.Ф. Караваев использует следующие временныеоператоры215:F’, при этом F’A обозначает, что «необходимо, будет (когда-нибудь) так,что A»;F’’, при этом F’’A обозначает, что «необходимо и притом в определенноевремя («в свой срок») будет так, что A»;G’, при этом G’A обозначает, что «необходимо, всегда будет так, что A»;P, при этом PA обозначает, что «когда-то было так, что A».Далее Э.Ф. Караваевым используются следующие сокращения:Df.g: gA = ˥F’˥A: = возможно , всегда будет так, что А;(31)Df.g’: g’A = ˥F’ ˥A: = возможно, всегда, кроме некоторого времени,(32)будет так, что А;Df.f: fA = ˥G’ ˥A: = возможно, когда-нибудь будет так, что А;(33)Df.H: HA = ˥P ˥A: = всегда было так, что А.(34)Данную систему временной логики Э.Ф.
Караваев называет Kb. Онопределенным образом задает условия истинности овремененных высказываний.Данная система временной логики, как доказывает Э.Ф. Караваев, являетсяполной и разрешимой216.Э.Ф. Караваев предлагает систему деонтической логики, построенную наоснове системы Kb и, таким образом, получающую временную квалификацию. Онвводит в эту систему отношение «исторического тождества»:α ≅t β, если и только если α(t') = β(t') для каждого t'<t, и релятивизируетсядеонтическая альтернативность миров:214Караваев Э.Ф.
Еще раз о трудностях построения деонтической логики // Логические исследования. Вып. 12. –М.: Наука, 2005. С. 172.215Там же. С. 172.216Караваев Э.Ф. Проблемы семантики временной логики // Логика и теория познания. Л.: Изд-во ЛГУ,1990. С.119-128. Караваев Э.Ф. Средства временной логики для представления процесса развития научного знания //Логика и развитие научного знания.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
