Эмпирический опыт и формы его концептуализации 9 страница

14См.: Гусев С. С. Наука и метафора. Л., 1984; Кулиев Г. Г. Метафора и научное познание. Баку, 1987; Metaphor: Problem and Perspectives. Brigton, 1982; Quine W. ν. Ο. Word and Object.

 

так же как и к отсутствию этого знания. И в том и в другом случае осмысление просто не может возникнуть. Оно суть ориентация и «наведение» мысли в процессе диалогического столкновения смысловых структур.

Что же обозначают уподобляющие и аналитически истинные метафоры, «зашнуровывающие» поле осмысленного неизвестного? Что гарантирует предметность и содержательность осмысленного знания? Меняется ли при отождествлении нетождественного предметное содержание знания и если меняется, то в чем это выражается?

Конструкты, модели и сущность. Решение проблемы, как представляется, связано с конструктивным характером человеческого познания, оперирующего своим предметом как некоторым конструктом, познание которого заключается в осознании его «сделанности». Именно такие конструкты — модели — выступают представлением о «скрытом схематизме» (Ф. Бэкон) явления, о его существенных свойствах и отношениях. Именно в конструктах и моделях выражается абстрагирующая роль сознания в плане выделения свойств, существенных в определенных отношениях.

Адекватность познания действительности достигается не столько за счет описаний, «прикалывающих» знание к миру реальности, сколько за счет построения моделей (реальных и концептуальных) — они-то и подлежат описанию. Например, различия формализма и конструктивизма в основаниях математики заключаются именно в различиях установки либо на построение математических структур (конструктивизм), либо на их непротиворечивое описание (формализм).

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

 

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

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

Нормативно-ценностный синтез знания. Существенность и необходимость. Соотношение нормативного и описательного указания сущности позволяет пролить дополнительный свет на традиционные и даже классические проблемы философии. Так, конструктивный (модельный) характер значения аналитически истинной метафоры позволяет выявить рациональное зерно в кантовской идее ноумена — внеопытном представлении об умопостигаемой сущности «вещи в себе». С этих позиций ноумен — не что иное, как модельное представление

 

о познавательном объекте, его реконструкция сознанием. Однако, что составляет основу априорного созерцания и синтетического знания о нем? Априорное созерцание и синтетическое априорное знание предполагают возможность созерцания вне и до чувственного опыта, т. е. возможность мысленного эксперимента с конструктами (ноуменами — в терминологии И. Канта). Такую возможность и дает аналитически истинная метафора типа «Н^О — вода», когда субъект априорно «созерцает» воду именно как Н2О, вещество, молекулы которого состоят из двух атомов водорода и одного атома кислорода. Аналогично с помощью таких же аналитически истинных уподоблений теплота воспринимается как движение молекул, имеющее различную скорость.

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

Осмысленное знание — это знание не только истинное, знание о сущем. Оно является также знанием о должном, необходимом, включая в себя представления о цели как нормативном образе желаемого будущего, определяющем существенность истинного знания для конкретных практических целей. В этом плане логическая семантика (и теория смысла как ее составляющая) не может ограничиваться рассмотрением механизма установления истинности знания в духе двуплоскостной семантики А. Тарского. Принципиально важным оказывается учет промежуточного звена концептуализирующей деятельности сознания при осмыслении действительности.

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

 

явных и неявных, в том числе и крайне сложно опосредованных целей, задающих контекст смысловых связей и ассоциаций.

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

и онтологизации смысла в виде 16 Между тем понятие необходимости

Основания такого рассмотрения носят не столько логический, сколько семантический характер. Но логическая семантика как «логика содержания» должна предшествовать «логике объема» понятий. Как показывает опыт, обоснование и философское осмысление модальной логики на путях обычной («объемной») логики и референциальной (указательной) семантики затруднены. В лучшем случае оно дает сведение смысловых отношений к указательным, а смыслового значения — к предметному, что в конечном счете сводит понятие необходимости к идее всеобщности указания себе-тождественной вещи15 «возможного индивида».

 

13Sa]mon N. U. Reference and Essence. Oxford, 1982. 18 Б е с с о н о в А. В. Предметная область в логической Новосибирск, 1985.

 

 

мант:

семантике.

 

 

и связанные с ним понятия «сущность» и * существенное свойство» имеют важный деятельностный аспект: необходимость и существенность познаваемых свойств и отношений для целей практической деятельности: необходимое — это не только и не столько «везде и всегда сущее», но и необходимое для достижения определенных целей — то, без чего не обойтись.

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

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

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

 

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

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

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

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

17Фи лософи я. Логика. Язык. М., 1987. /'

18Саймон Г. Науки об искусственном. М., 1972. /^

 

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

Познание предмета связано с раскрытием его объективных свойств, его сущности, что обусловливает характер и содержание полученного знания. Именно раскрытие сущности предмета определяет осознание его «сделанности» как центрального момента познания и осмысления. Только следуя логике этой сущности, человеческое сознание способно к формированию идеи — наиболее зрелой и развитой формы осмысления, в которой соединяются в едином интегральном синтезе знание, представление об идеальном (нормативном) образце и программа его реализации.19 Идея сущности предстает как синтез знания истины, должного и возможного.

Но какова логическая природа этого синтеза? Являются ли отношения указанных сторон осмысленного знания логическими? Если нет, то анализ творческой деятельности, аргументация, управление и планирование и ряд других сфер научной и практической деятельности лишаются логических оснований. Если да, то каков может быть аппарат такого анализа? Достаточен для этих целей аппарат обычной логики или необходимо построение специальных формализмов? И самое главное — каковы семантические основания логического анализа указанного синтеза. Разумеется, привлекательным выглядит тезис, что логика может быть использована не только для выяснения того, что имеет место, но и для указания того, что мы должны делать, однако его правомерность должна быть обоснована и раскрыта.

Истинность, целесообразность и осуществимость: логика существенности. Трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции, связанной либо с обобщением понятия следования, основанного на традиционной

19Тул ьч и не кий Г. Л. Проблема осмысления действительности. Л., 1986.

 

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

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

быть истинным, а стремление — правильным; в этом случае

on и «суждение утверждает то же, что преследует стремление».

Оценочные и нормативные суждения выступают как истинные или ложные в силу их соответствия или несоот-

20Аристотелъ. Соч. Т. 1. С. 173-174.

 

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

Цели как вид знания оцениваются не с точки зрения их истинности или ложности как соответствия или несоответствия объективной реальности, а с точки зрения их правильности или неправильности, т. е. соответствия или несоответствия социально и интерсубъективно значимым образцам. Любая оценка означает наличие у предмета свойств, приближающих его к некоторому нормативному образцу. Так, выражение «хорошая земля» выражает способность почвы давать высокий урожай, «хороший друг» — свойства человека, на которого можно положиться. Значение оборота «хороший» сливается со значением оборота «соответствующий достижению такой-то цели» или «соответствующий такому-то образцу или стандарту». Во всех этих случаях речь идет о соответствии определенного типа. Но если истинность — установление соответствия сущему, то нормативно-ценностная оценка есть установление соответствия потребностям и целям социального субъекта, т. е. должному, необходимому.

Так же как истина является металредикатом, применимым к любому знанию, соответствующему реальности, и выражает общую семантическую схему этого соответствия, так и оценочное выражение «хороший» является, по сути дела, «омонимом» (Аристотель), «псевдопредикатом» (Е. Холл), «метапредикатом» (Дж. Мур), «универсальным аксиологическим квантором» (Р. Гартман). Конкретный ответ на вопрос: «Что есть добро (хороший)?», как и на вопрос: «Что есть истина?», зависит от предмета анализа и выбора методологии.

Указание целевого (нормативно-ценностного) соответствия по своему семантическому содержанию и механизму анало-

21Бакурадзе О. Я. Истина и ценность // Вопросы философии. 1966. № 7. С. 45-48.

 

гично установлению истинности, что также является морфо-логичным и предикативным, поскольку свойства цели (образца, стандарта) могут описываться вполне определенными предикатами. Так, о конкретном тоже можно говорить как о «хорошем» тогда и только тогда, когда оно имеет характеристики, требуемые стандартом и, главное, этим стандартом заданные. Семантика и описания, и оценки связана с отсылкой к некоторым образцам, имеющим нормативный характер. Для описаний это соответствие предметному значению, задаваемое с помощью единства описательной и' нормативно-указательной идентификации. Например, «красный автомобиль» истинно тогда и только тогда, когда цвет описываемого автомобиля соответствует традициям именования его как красного. Для оценок — это также соответствие нормативному образцу: «хороший автомобиль» истинно тогда и только тогда, когда автомобиль обладает определенным набором свойств.

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

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

Однако в какой бы степени ни соответствовала идея целями и потребностям, как бы юна ни была в этом плане «xoponia»,

 

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

Правомерной постановкой вопроса о логико-семантической природе синтеза осмысленного знания представляется не сведение друг к другу различных видов семантического соответствия, а их совмещение в едином семантическом схематизме. Следует различать как минимум три вида семантического соответствия:

1. Адекватность целям, которая оценивается как соответ

ствие данного описания описанию желаемого результата,

нормативного образа (нормативно-ценностная оценка и соот

ветствие).

2. Адекватность реальности как истинность или ложность

описания (истинностная оценка и соответствие).

3. Адекватность имеющимся средствам и возможностям

(оценка на реализуемость).

В принципе, можно выделить также четвертый вид соответствия — установление адекватности реализованной идеи предполагавшейся ценностной форме (результативная оценка).

Каждый из видов семантического соответствия (оценивания) соотносит знание, содержащееся в идее, с различными видами реальности. Для анализа этих соответствий вполне применим (с несущественными модификациями) обычный семантический аппарат в духе теории А. Тарского или ее развития С. Крипке и в «рефлексивной» семантике.22 Различие — в характере действительности, соответствие с

22Тульчинский Г. Л. «Новые» теории истины и «ааивная» семантика.

 

 

 

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

Каждый из семантических аспектов (соответствий) идеи может быть связан со стадиями зрелости и воплощения идеи:

1. Формирование цели как образа желаемого результата

есть этап осознания потребности и формирования представ

ления о должном и необходимом. Однако должное и

необходимое может быть и принципиально не осуществимым

в действительности (как это может быть в случае со

сказочными образами ковра-самолета, скатерти-самобранки и

т. п.).

2. Установление принципиальной (потенциальной) осуще

ствимости цели на основе объективного истинного знания.

Однако истинное знание может быть еще нереализуемым,

поскольку средства его воплощения еще не созданы в силу

низкого уровня развития производственных сил. Это уровень

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

научной фантастики основан на таком знании потенциальной

осуществимости.

3. Установление путей и средств реализации идеи.

Предложенная семантическая трактовка знания одновре

менно в модусах истинности (потенциальной осуществимости),

практической целесообразности и фактической реализуемости

есть, по сути дела, переход от двумерной, «плоскостной»

семантики, рассматривающей знание только в терминах

«истинно» -•- «ложно», к семантике «стереоскопической».

Семантическое обоснование практического рассуждения и

содержание идеи сущности «стереоскопичны» в том смысле,

что задаются не одной, а как минимум — тремя проекциями,

каждая из которых есть установление определенного вида

соответствия (оценки)., ^/

 

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

Предложенный подход оставляет анализ в рамках семантики, что, однако, не исключает возможность специальных прагматических построений, примером которых могут служить концепции Р. Монтегю и Р. Столнейкера.23 Если в концепции Монтегю прагматический контекст совместно с системой «возможных миров» детерминирует значение ис-

28Монтегю Р. Прагматика // Семантика модальных и интенсиональных логик. М., 1981; Столнейкер Р. С. Прагматика // Новое в зарубежной лингвистике. Вып. 16. Лингвистическая прагматика. М., 1985.

 

тинности утверждений, то, согласно Столнейкеру, эта детерминация поэтапна: прагматический контекст определяет концептуальные системы, а те уже имеют определенные значения истинности или ложности. По крайней мере представляется заслуживающим внимания отнесение Монтегю понятия «смысл» к сфере прагматики, а не семантики, которую он связывает исключительно с понятиями истинности и выполнимости.

Логический анализ и синтез существенного знания на подобной семантической основе в принципе может осуществляться двумя способами. Так, каждое соответствие может рассматриваться как введение некоторого оператора над описанием. Пусть Т — оператор соответствия реальности, G — оператор соответствия целям, a R — оператор соответствия практическим возможностям. Тогда выражение TGR ρ будет означать не только истинность Р, но и его целесообразность и практическую реализуемость. Каждый оператор дает выражению соответствующую модальную квалификацию, поэтому логический анализ и синтез идеи в этом случае может строиться на основе комбинирования модальных операторов. С точки зрения семантики «возможных миров» это означает, что операторы Т, G, R и вводят соответствующие каждому из них системы описания состояния («возможные миры»). Знание, представленное в каждой из этих систем, выражает соответствующие составляющие содержания идеи. Последняя предстает как инвариант преобразований систем описаний состояния, вводимых модальными операторами. Такой подход можно назвать «модальным». Он делает акцент на формальной стороне дела и предполагает построение специальных логических систем, исследующих отношения между модальными операторами, и последующую семантическую интерпретацию этих систем.

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

 

т. е. содержания идеи, программы и т. п., вполне достаточен обычный аппарат логики предикатов.

Если допустить возможность противоречивых описаний состояния («невозможных возможных миров»), то логический переход от целей к средствам аналогичен релевантному следованию, когда импликация А —> В приемлема, если мы используем именно А для достижения В. Более естественным, однако, является использование обычной логической дедукции в ее стандартном выражении или с некоторыми модификациями, например в духе теории резолюции.24 Возможна также интерпретация построения и анализа в рамках теоретико-игровой семантики, когда анализ рассматривается в виде диалогической игры, участники которой защищают или оспаривают некий тезис.