Интенсиональные основания дескриптивных сред
Строится интенсиональный базис дескриптивных сред. Вскрываются теоретико-множественные и статико-интеграционные предпосылки таких сред. Строятся динамико-статические основания дескриптивных сред....
Gespeichert in:
Datum: | 2006 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | Russian |
Veröffentlicht: |
Інститут програмних систем НАН України
2006
|
Schlagworte: | |
Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/1531 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Zitieren: | Интенсиональные основания дескриптивных сред / И.В Редько // Проблеми програмування. — 2006. — N 2-3. — С. 81-85. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-1531 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-15312008-08-22T12:00:46Z Интенсиональные основания дескриптивных сред Редько, И.В. Теоретичні та методологічні основи програмування Строится интенсиональный базис дескриптивных сред. Вскрываются теоретико-множественные и статико-интеграционные предпосылки таких сред. Строятся динамико-статические основания дескриптивных сред. The intensional basis of the descriptive environments are created. The set-theoretical and static-integral prerequisites of this environments are explained. The dynamic-static foundations of descriptive environments are created. 2006 Article Интенсиональные основания дескриптивных сред / И.В Редько // Проблеми програмування. — 2006. — N 2-3. — С. 81-85. — Бібліогр.: 3 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1531 681.3.06 ru Інститут програмних систем НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Редько, И.В. Интенсиональные основания дескриптивных сред |
description |
Строится интенсиональный базис дескриптивных сред. Вскрываются теоретико-множественные и статико-интеграционные
предпосылки таких сред. Строятся динамико-статические основания дескриптивных сред. |
format |
Article |
author |
Редько, И.В. |
author_facet |
Редько, И.В. |
author_sort |
Редько, И.В. |
title |
Интенсиональные основания дескриптивных сред |
title_short |
Интенсиональные основания дескриптивных сред |
title_full |
Интенсиональные основания дескриптивных сред |
title_fullStr |
Интенсиональные основания дескриптивных сред |
title_full_unstemmed |
Интенсиональные основания дескриптивных сред |
title_sort |
интенсиональные основания дескриптивных сред |
publisher |
Інститут програмних систем НАН України |
publishDate |
2006 |
topic_facet |
Теоретичні та методологічні основи програмування |
url |
http://dspace.nbuv.gov.ua/handle/123456789/1531 |
citation_txt |
Интенсиональные основания дескриптивных сред / И.В Редько // Проблеми програмування. — 2006. — N 2-3. — С. 81-85. — Бібліогр.: 3 назв. — рос. |
work_keys_str_mv |
AT redʹkoiv intensionalʹnyeosnovaniâdeskriptivnyhsred |
first_indexed |
2025-07-02T04:57:02Z |
last_indexed |
2025-07-02T04:57:02Z |
_version_ |
1836509794141208576 |
fulltext |
Теоретичні і методологічні основи програмування
© И.В. Редько, 2006
ISSN 1727-4907. Проблеми програмування. 2006. № 2-3. Спеціальний випуск 81
УДК 681.3.06
ИНТЕНСИОНАЛЬНЫЕ ОСНОВАНИЯ ДЕСКРИПТИВНЫХ СРЕД
И.В Редько
Национальный технический университет Украины "КПИ", факультет электроники
01037, Киев, просп. Победы, 37
тел. 441 1060, smsr@voliacable.com
Строится интенсиональный базис дескриптивных сред. Вскрываются теоретико-множественные и статико-интеграционные
предпосылки таких сред. Строятся динамико-статические основания дескриптивных сред.
The intensional basis of the descriptive environments are created. The set-theoretical and static-integral prerequisites of this envi-
ronments are explained. The dynamic-static foundations of descriptive environments are created.
Цель данной статьи– вскрыть по возможности более глубоко общезначимые (логические) интенсиональ-
ные аспекты дескриптивных сред (ДС). Прагматические основания для такой постановки вопроса состоят в ра-
ссмотрении понятия ДС под углом зрения универсального средства познания сущностей. Обоснование этого
выбора – важнейшая задача в рамках достижения цели. Содержательно ДС – это среды, которые поддерживают
дескриптирование сущностей (объектов, процессов, явлений и др.) в контексте их изучения. При этом дескрип-
тирование сущности понимается как процесс построения ее дескрипции, т.е. адекватного прагматике описания,
понимаемого в широком смысле. Такая ориентированность дескриптирования на прагматику, являясь парадиг-
мным свойством ДС, обусловливает поиск эффективного решения поставленной задачи, прежде всего в интен-
сиональных построений. В первую очередь это касается вскрытия интенсиональных аспектов понятия дескрип-
ции, что означает необходимость дальнейших прагматико-обусловленных его интенсиональных обогащений.
Направление такого обогащения определяет принцип интенсиональности, который обосновывает экспликатив-
ное сведение понятия дескрипции к понятию интенсиональной системы (данное понятие, кратко ИС, как и все
неопределяемые в статье понятия и результаты, понимаются в смысле [1]). Таким образом, дальнейшее обога-
щение понятия дескрипции по необходимости связано с изучением природы ИС. Интенсиональные системы
как среды существования сущностей (ССС) понимаются в самом широком смысле. Они включают как абстрак-
тные, так и конкретные ССС. В частности, и ССС высших типов.
Непосредственно из определения ИС вытекает, что совокупности как мультимножества, тем более прос-
то множества и даже множества высших типов являются интенсиональными системами. Обратное же, конечно,
не верно. Чтобы разобраться в этом более обстоятельно, обратимся к примыкающим к этой области результа-
там. При этом важно изначально подчеркнуть, что толкование всех упомянутых выше понятий не ограничивае-
тся традициями. Это касается даже такого фундаментального понятия, как множество. Известные его понима-
ния принципиально отличны от традиционного и во многих случаях более адекватны нашей цели. Поэтому по-
нятие ИС по меньшей мере должно отражать эту принципиальность. Ввиду этого следует на само понятие
множества как средство интенсионализации ДС посмотреть более внимательно.
Теоретико-множественные предпосылки ДС
Впечатляющие результаты, достигнутые на основе теоретико-множественной платформы (ТМП) приве-
ли к тому, что свойственное ей понимание множества по существу стало отождествляться с общим интуитив-
ным его пониманием. Правда, справедливости ради, необходимо сказать, что различные аксиоматические тео-
рии, строящиеся на концепции множества, допускали определенные различия в трактовках, даже иногда проти-
воречащие друг другу. Однако все такие построения проводились в рамках наиболее простого и ясного пони-
мания множества как собрания отдельно существующих независимых друг от друга элементов, хотя и имею-
щих некоторое общее свойство. Так, Г. Кантор определяет его следующим образом: «множество (set) или сово-
купность (aggregate) – это собрание (collection) определенных и различных объектов нашей интуиции или ин-
теллекта, понимаемое как целое (единое)» ([2], с. 31). Предельно абстрактная трактовка интуитивного понятия
множества делает его сравнительно простым и удобным в изучении. Это вполне согласуется с прагматикой
многих задач и их решений. Но для решения ряда современных проблем, особенно связанных с информатиза-
цией, такая упрощенная трактовка оказывается слишком обременительной. Справедливости ради следует отме-
тить, что еще в начале 20-х годов прошлого столетия один из ведущих логиков С. Лесьневский увидел эту об-
ремененность и построил основания нетрадиционного толкования понятия множества в рамках теории, назван-
ной им мереологией [3]. Развитые в ней идеи могут рассматриваться как первые предпосылки для вскрытия ис-
тинной природы ИС в части существенного обогащения традиционного понимания понятия множества. Чтобы
более обстоятельно разобраться в этих вопросах, проведем сравнительный анализ традиционного и упомянуто-
го нетрадиционного понятия множества.
Теоретичні і методологічні основи програмування
82
Термин «множество» имеет много различных смыслов, обусловленных своими прагматиками. Упомяну-
тые два из них соответственно связаны с так называемым агрегативным (собирательным) и дистрибутивным
(разделительным) пониманиями природы множества. В агрегативном смысле, следуя Лейбницу, множество
объектов – это целостная совокупность, образованная ими, как цепь складывается из звеньев или куча песка из
песчинок. При такой трактовке множество конкретных чувственно воспринимаемых объектов является также
конкретным, доступным восприятию объектом. Когда используют слово «множество» в этом смысле, то выра-
жение « x есть элемент множества A » понимается как синоним « x есть часть множества A ». Когда слово
«множество» употребляется в дистрибутивном смысле, то в этом случае предложение «процессор есть элемент
компьютера» рассматривается как эквивалентное предложению «процессор есть комплектующая компьютера».
О различии обоих этих толкований свидетельствует то, что некоторые предложения, истинные при одном смы-
сле термина «множество», ложны при другом его понимании. Например, если слово «множество» трактуется
агрегативно, то верно, что «третья часть процессора есть элемент множества комплектующих компьютера» по-
тому, что процессор есть часть компьютера. Но если термин «множество» трактуется дистрибутивно, то утвер-
ждение «третья часть процессора есть элемент множества комплектующих компьютера» неверно, так как тре-
тья часть процессора не является комплектующей. Легко понять, что в традиционной теории множеств термин
«множество» употребляется не в агрегативном, а в дистрибутивном смысле, и, таким образом, отношение эле-
мента к множеству не понимается здесь как отношение части и целого. Это последнее отношение имеет другие
основные свойства (проявления), например оно транзитивно, в то время, как закон транзитивности не имеет
места для отношения принадлежности ∈ . В этом не трудно убедиться на следующем примере. Из формул
}}{{}},{{}{},{ ∅∈∅∅∈∅∅∈∅ первые две истинны, а третья (эквивалентная формуле }{∅=∅ ) ложна.
Как заметил Б. Рассел в своей известной работе по философии математики, если бы мы множества понимали
как агрегаты, то невозможно было бы понять, как может существовать такое множество, как пустое множество,
которое вообще не имеет ни одного элемента и которое нельзя рассматривать в качестве агрегата, трудно было
бы также понять, почему множество, имеющее лишь один элемент, не тождественно этому элементу.
У.О. Куайн в работе «From a Logical Point of View» отмечает, что трактовка множеств как абстрактных
объектов, иногда затемняется рассуждением о множествах как агрегатах или собраниях, вследствие чего, на-
пример, множество камней уподобляется груде камней. Груда в действительности является конкретным пред-
метом, столь же конкретным, как и камни, образующие груду; но множество камней в груде нельзя отождеств-
лять с этой грудой. Ведь если бы это было так, то и другое множество можно было бы отождествить с этой же
грудой, а именно множество молекул в данной груде камней с самой грудой. Но по существу эти множества
следует различать. Поэтому, согласно У.О. Куайну множества являются абстрактными предметами.
В связи с приведенной точкой зрения У.О. Куайна важно заметить, что она повсеместно явно или неявно
рассматривается как единственно возможная. С одной стороны, это очень хорошо, так как этим по существу
акцентируется внимание на универсальной значимости дистрибутивной (традиционной) теории множеств. Но,
с другой стороны, как нам представляется, и не менее плохо, так как абсолютизируется дистрибутивная точка
зрения на интуитивное понятие множества. Последняя же в рамках современных реалий является излишне об-
ременительной. В частности, этим неявно отвергается нетрадиционный подход С. Лесьневского, в то время, как
все говорит о том, что он в современных условиях не только не должен быть отброшен как «затемняющий рас-
суждением о множествах как агрегатах», а, наоборот, следует далее развить как принципиально новый агрегат-
ный подход, естественным образом взаимодополняющий дистрибутивный.
Из проведенного выше анализа вытекает, что понятие ИС в принципе не может быть эксплицировано в
рамках традиционной ТМП. Это невозможно сделать и на базе мереологической платформы С. Лесьневского.
Не решает данную проблему и естественное объединение этих взаимодополняющих платформ. Более того, это
нельзя осуществить в рамках любых других платформ, базирующихся на любых понятиях множества как ста-
тических сущностях. Дело в том, что проявление как сущность не является прагматико-обусловленной произ-
водной никакой другой сущности, отличной от нее самой. В этом смысле оно как понятие самодостаточно. На-
оборот, сущность типа проявления «проливает свет» на другие сущности, которые проявляет. В этом смысле
именно последние сущности не являются самодостаточными в познании, так как без проявлений они не сущес-
твуют в контексте изучения, а являются здесь сущностями самими по себе.
Из сказанного следует, что прагматико-обусловленные свойства, отношения, включая свойства и отно-
шения высшего порядка, – это частные виды рода проявлений. В частности, широко распространенные и весь-
ма упрощенные, идущие от Г. Фреге, трактовки свойства как унарного предиката и отношения как n -местного
предиката в рамках нашей прагматики являются очень частными, обремененными спецификой видами прояв-
лений. Обремененность их является прямым следствием отмеченной выше обременительности толкования са-
мих множеств как статических сущностей. В этом и сила и слабость традиционных трактовок понятий свойства
и множества. Сила известна. Это относительная простота и, как следствие ее, продвинутость в изучении, при-
менении и т.п. Слабость же выражается, в частности, в том, что свойство и отношение в каждом конкретном
случае «жестко» связаны лишь с актуальными сущностями, которые либо обладают этим конкретным свойст-
вом, либо находятся в упомянутом отношении. Это существенное ограничение, и следствием его является, на-
пример, некорректность постановки в рамках этого понимания задач типа поиска или продуцирования сущнос-
тей, обладающих тем или иным свойством или находящихся в том или ином отношении с другими сущностями.
Ведь они уже изначально даны лишь как актуальные (статические) сущности. Однако современной прагматике,
Теоретичні і методологічні основи програмування
83
особенно той, которая связана с информатикой, в первую очередь свойственны именно такие задачи. Это про-
является уже на самых простых и прозрачных примерах. В частности, программирование сплошь и рядом свя-
зано с задачами, в которых известны лишь законы, правила порождения сущностей, понимаемые в широком
смысле. Иными словами, сущности заданы лишь потенциально (косвенно), а не актуально (непосредственно).
Подтверждением этого является практика программирования, где все большее применение находит аппарат
инкапсуляции, являющийся фактически средством вовлечения в рассмотрение таких задач только соответству-
ющих законов и правил, при этом освобождая его от обременительной специфики непосредственной проявимо-
сти сущностей. Указанная слабость свойств и отношений наследуется их дескрипциями. Учитывая же хорошо
известный факт, что не столько важны сущности, сколько важны свойства и отношения, в которых они находя-
тся, напрашивается вывод о том, что и традиционные дескрипции самих сущностей тоже наследуют эту слабо-
сть. Это означает, что содержание термина «дескрипция» как традиционное (базирующееся на понятиях свойс-
тва, отношения) описание нуждается в серьезном обогащении в первую очередь ввиду положения о взаимодо-
полнительности, за счет вовлечения сюда понятия проявления (не обязательно непосредственного). Тем более
проявление является естественным прагматико-мотивированным развитием понятий свойства и отношения.
Основной вывод, который уже можно сделать из изложенной выше прагматической аргументации состо-
ит в том, что традиционная ТМП в принципе не может служить адекватным интенсиональным базисом деск-
риптирования хотя бы потому, что не поддерживает в должной мере его эпистемологические основания. По
этой же причине не может в качестве такого базиса выступать и мереологическая платформа С. Лесьневского,
основу которой составляют его перспективные идеи, развитые еще на заре серьезного анализа теоретико-
множественных оснований науки, и прежде всего математики и логики. По вышеизложенным причинам не спа-
сают положения и естественные объединения этих подходов. Ведь они, как следует из вышесказанного, не вы-
водят за рамки статических ДС. Условимся именовать последние множественными средами (МС). Принимая
во внимание важность факта несводимости ДС к МС, сформулируем его в виде тезиса.
Тезис 1. Дескриптивные среды не сводятся к множественным средам.
Теоретико-множественными предпосылками не исчерпываются достижения в области интенсионализа-
ции ДС. Особое место среди них занимают попытки интеграции результатов, достигнутых в двух основных
направлениях. Одно из них восходит к мереологической системе С. Лесьневского, а другое – к типизации объ-
ектов. Однако, как увидим ниже, и на этом пути положительный результат в принципе не достижим. Чтобы
убедиться в справедливости этого, следует по меньшей мере провести более обстоятельный анализ статико-
интеграционных предпосылок.
Статико-интеграционные предпосылки ДС
Важные основания для мотивации справедливости этого вывода были получены в работах известных
специалистов в области логики и математики. Поэтому, думается, что проведенный ниже нами краткий дескри-
птологический анализ достижений в этом направлении сделает построение интенсиональных оснований де-
скриптирования более убедительным.
Начнем с системы С. Лесьневского. Она включает его теорию семантических категорий и онтологию.
Последняя базируется на прототетике (обобщенном пропозициональном исчислении, включающем кванторы
для переменных высказываний) и служит основой уже упоминавшейся мереологии, рассматривающей отноше-
ние части и целого. Здесь онтологией С. Лесьневский именует ту часть своей системы, которая имеет дело с
логикой связки «есть». Хотя эта теория действительно рассматривает в некотором смысле «общее свойство бы-
тия», термин «онтология» по существу не несет онтологического статуса, уже упоминавшегося выше. Поэтому
некоторые авторы, желая явным образом предостеречь от таких побочных толкований, предпочитают термин
«исчисление имен» (calculus of names). Так поступает, например, один из известных последователей
С. Лесьневского Т. Котарбиньский. Нам представляется, что предостеречь от упомянутых толкований очень
важно, но не таким образом. Ведь в исчислении имен доминирует синтаксис. Семантика задается индукцией по
синтаксическим структурам. Сам С. Лесьневский постоянно акцентировал внимание на доминировании семан-
тических структур, которые индуктивно облекаются в соответствующие им синтаксические формы. Чтобы убе-
диться в справедливости этого, достаточно процитировать самого С. Лесьневского: «…в 1920 г. … я решился
на введение в свою научную практику некоего «символического» языка, основывающегося на формулах, пост-
роенных «математическими логиками»... . Языковая операция, которую я таким образом на себе произвел, …
была … подготовлена периодом критического недоверия, длиной в несколько лет, по отношению к основным
формулам «математической логики» в связи с … вопросом смысла этих формул – периодом, который я завер-
шил … наблюдением, сделанным в отношении системы гг. Уайтхеда и Рассела, …, что «формулы так называе-
мой теории дедукции становятся понятными формулами, если мы игнорируем знаки утверждения, и начинают
«сосуществовать», если непротиворечиво интерпретировать высказывания типа "","","~" qpqpp ⊃∨ и
т.д., встречающиеся там, с помощью соответствующих высказываний типа “не p ”, “ p или q ”, “ если p то
q ” и т.д., дополненных на случай возможных недоразумений подходящими скобками, но ни в коем случае –
вопреки замечаниям авторов – недопустимо прочтение приведенных примеров при помощи высказываний, от-
носящихся к высказываниям же и утверждающих некие отношения, например отношение “импликации” между
высказываниями», а также, связанными с этим наблюдением, усвоением с содержательной точки зрения элеме-
нтов “теории дедукции”, интерпретированной именно подобным образом» [3, с. 262].
Теоретичні і методологічні основи програмування
84
По сравнению с прототетикой в онтологии имеется в точности один новый первоначальный термин, одна
новая аксиома и несколько дополнительных правил вывода. Этот первоначальный термин – «∈» интерпрети-
руется как аналог частиц обычных естественных языков – «есть», а не в качестве традиционного отношения
принадлежности. Многие логики подчеркивают неоднозначность смысла этой связки. Она употребляется и для
обозначения отношения принадлежности множеству, и для отношения включения в него, и для отношения то-
ждества, и т.п. Особенно обстоятельно анализирует это и настойчиво подчеркивает неоднозначность тот же
самый Т. Котарбиньский. С. Лесьневский исходит из противоположной концепции. Нам представляется, что
эти точки зрения – крайности. Действительно, упомянутая неоднозначность имеет место. Но и смысл, придава-
емый этой связке С. Лесьневским, не есть просто одним из многих. Он прагматически очень важен, так как до-
вольно адекватно, хотя и не исчерпывающе, эксплицирует фундаментальнейшее отношение целого и части.
Многочисленные последователи С. Лесьневского, наиболее известные из которых К. Айдукевич,
Т. Котарбиньский и А. Тарский, существенным образом обогатили его систему. Однако и в обогащенном виде
они оставались статическими. А значит, не могут выступать в качестве интенсиональных оснований дескрип-
тивных сред.
Серьезными предпосылками для создания таких оснований могут служить работы по типизации объек-
тов. Концепции такой типизации можно увидеть уже у Аристотеля. Существенные продвижения в этой про-
блематике можно найти у Э. Шредера и особенно в сочинениях Г. Фреге. Наибольшую известность в этом на-
правлении получили работы Б. Рассела. Однако его никогда в полной мере не удовлетворяла онтологическая
сторона введенной им типизации, получившей название разветвленной теории типов, хотя он и утверждал, что
без какой-либо иерархии все-таки не обойтись. В одной из своих последних работ он даже указал, что его опре-
деление типов было ошибочным, так как прежде он различал типы сущностей, тогда как правильнее было бы
проводить это по отношению к символам. Ввиду сказанного об отношении семантико-синтаксического и син-
тактико-семантического подходов это было, как нам видится, несколько непоследовательным. К сегодняшнему
времени и в этом направлении получены многочисленные результаты. Наиболее близкое отношение к вопросам
создания интенсиональнх оснований дескриптивных сред имеют исследования Л. Хвистека по развиваемой им
так называемой инвертированной разветвленной теории типов. Присоединяя к ней некоторый вариант аксиомы
сводимости, он получает чистую теорию типов, для которой легко доказывается непротиворечивость. Однако и
они всего лишь предпосылки для создания требуемого базиса, так как остаются в рамках статических сущнос-
тей (данностей).
Подводя итог сказанному, можно сделать вывод, что и упоминавшаяся ранее интеграция подходов
С. Лесьневского и типизации объектов в принципе не может служить адекватным интенсиональным базисом
дескриптирования, в первую очередь благодаря своей ориентированности на статику, что означает замкнутость
таких построений в рамках статических ДС. Чтобы явным образом отразить статическую ориентированность
таких сред, с одной стороны, и их интеграционную природу – с другой, условимся именовать последние ста-
тико-интеграционными или кратко −S интеграционными средами. Учитывая важность несводимости ДС к
−S интеграционным средам, сформулируем его в виде тезиса.
Тезис 2. Дескриптивные среды не сводятся к −S интеграционным средам.
Из прагматико-обусловленных доказательств тезисов 1 и 2 вытекает, что вскрытые в них несводимости
являются следствием статической природы рассмотрений. Причиной же является игнорирование в построениях
динамико-статических проявлений изучаемых сущностей. Конкретно это выражается в игнорировании как в
целом основополагающего эпистемологического положения о взаимодополнительности актуальных и потенци-
альных сущностей, так и в частности методологических принципов интенсиональности и аппликативности.
Чтобы сделать рассмотрения ДС адекватным целевой прагматике, необходимо более обстоятельно рассмотреть
их динамико-статические основания.
Динамико-статические основания ДС
Отправным пунктом любого дескриптологического исследования, как известно, является проявление, а
его квинтэссенцией – дескрипция как прагматико-обусловленная точка зрения на него. Традиционная точка
зрения на понятие проявления как свойства, отношения, производных от них понятий, являвшаяся прагматико-
обусловленной, образно говоря, вчера, сегодня стала, с одной стороны, излишне конкретной, а с другой – сли-
шком абстрактной, значит, перестала быть прагматико-обусловленной. Природа проявления, поддерживающего
описания (дескрипции) существенно богаче как традиционных понятий, так и производных от них. Наоборот,
последние есть только отдельными видами рода таких проявлений. Основной причиной неадекватности тради-
ционных платформ, как было уже отмечено, является статичность их понятийной базы, выражающаяся в необ-
ходимости лишь актуального (исключающего потенциальность) задания конкретных экземпляров традицион-
ных понятий. Этим из рассмотрений изгоняется вся присущая понятию проявления динамика. До поры до вре-
мени это было прагматико-обусловленным и поэтому составляло силу подхода. Просто природа задач была
такой, что не требовала принципиального вовлечения в рассмотрение динамики. Однако как только необходи-
мость такого вовлечения стала актуальной, это связано главным образом с развитием информатики, сразу же
проявилась вся обременительность статичности традиционных платформ. Ведь в них полностью выхолащива-
лась динамико-статическая природа проявления, предполагающая наличие по крайней мере двух типов абстра-
Теоретичні і методологічні основи програмування
85
кции рассмотрения этого понятия, вообще говоря, не сводящихся друг к другу. Это понимание проявления, во-
первых, как процесса и, во-вторых, как результата этого процесса. Оба эти типа абстракции подменялись од-
ним, принципиально отличным от них типом, поддерживающим рассмотрение актуально (статично) заданных
свойств, отношений и т.д. как частных случаев проявлений. При этом, очевидно, что такая замена явилась в
свою очередь результатом существенной конкретизации понятия проявления, практически выразившейся в по-
дмене динамики процесса проявления его результатом. Неадекватность такой специализации природе рассмот-
рения выразилась в последствиях двоякого рода. Во-первых, это выведение за рамки исследования прагматиче-
ски важных классов задач. Во-вторых, принципиальная необратимость этой конкретизации, лишающая смысла
постановку вопроса о поддержании в рамках данного типа абстракции динамики проявлений. Ведь речь идет
именно об изгнании динамики, хотя, конечно, более естественно было бы ставить вопрос, например, о ее инка-
псуляции, своеобразном «предельном переходе» и т.п. Это обеспечивало бы возможность непротиворечивого
рассмотрения как внутренних, так и внешних свойств изучаемых сущностей, в том числе и проявлений как
производных их генезиса. В частности, позволило бы неэклектично вовлекать в рассмотрения лишь те из них,
которые индуцированы генетической прагматикой. Поэтому вовлечение генезиса сущностей в качестве пред-
мета изучения является прагматико-мотивированным.
Из сказанного следует, что динамико-статическая природа понятия проявления является системообразу-
ющим началом интенсионального изучения ДС. Индивидуализация упомянутых двух типов абстракции расс-
мотрений в контексте положения о взаимодополнительности является определяющим прагматико-
обусловленным обогащением концепции как в целом ДС, так в частности и интенсиональных сред. В этой свя-
зи имеются достаточные основания для индивидуализации интенсиональных сред, поддерживающих динами-
ко-статическое взаимодополнение. Условимся называть их динамико-статическими интенсиональными де-
скриптивными средами, кратко DS –интенсиональными средами.
Ввиду сказанного справедливо следующее утверждение.
Утверждение 1. Интенсиональные среды экспликативно сводимы к DS –интенсиональным средам.
Непосредственно из этого утверждения и принципа интенсиональности вытекает справедливость следу-
ющего тезиса.
Тезис DS –интенсиональности. Дескриптивные среды экспликативно сводимы к DS -
интенсиональным средам.
В заключение заметим, что обогащение дескриптивных сред этим тезисом позволяет на основе методо-
логического тезиса о полноте обогатить их универсальной совокупностью экспликативных сводимостей одних
типов ДС к другим. В этом смысле тезис DS -интенсиональности может рассматриваться в качестве основания
всевозможных интенсионализаций ДС. Особую роль среди таких интенсионализаций играет факт сводимости
аппликативных сред к DS -аппликативным средам, как таким, которые поддерживают динамико-статическое
взаимодополнение. Учитывая эту особенность сформулируем его в виде утверждения.
Утверждение 2. Аппликативные среды экспликативно сводимы к DS -аппликативным средам.
Непосредственно из этого утверждения и принципов интенсиональности и аппликативности вытекает
справедливость следующего тезиса.
Тезис DS -аппликативности. Дескриптивные среды экспликативно сводимы к DS -аппликативным
средам.
1. Редько В.Н., Редько И.В., Гришко Н.В. Дескриптивные системы: концептуальный базис // Тр. настоящей конференции, 2006.
2. Френкель А., Бар-Хиллел И. Основания теории множеств. – М.: Мир.– 1966. - 555 с.
3. Лесьневский С. Об основаниях математики // Философия и логика Львовско-Варшавской школы. – М.: Рос. полит. энциклопедия,
1999. – 408 с.
|