Системно-интуитивный уровень образуется вербальными моделями, описаниями. Это характерно в целом для гуманитарных объектов знания, а также для слабо структурированных проблем естественнонаучных дисциплин.
Системно-нормализованный уровень обеспечивается средствами отражения структур знаний с помощью различных схем. Особенно эффективным является использование схем для выражения философского знания, которое в этом случае приобретает конструктивную форму.
Системно-символический уровень обогащен семиотическими средствами в связи с широким развитием информатики, теории искусственного интеллекта, ситуационного управления и другими дисциплинами.
Системно-формализованный уровень представления знаний обеспечивается такими семиотическими средствами, которые ориентированы на оперирование многообразиями с сохранением целостности смысла. В основном это средства выражения понятий с помощью абстракций.
Математике-символические выразительные средства основаны на математическом аппарате. Вместе с тем здесь используются средства естественного языка в рамках принятых образцов корректности выражения математических определений.
Математические формализованные средства основаны на математических дисциплинах высокого уровня абстракций. Это теории родов структур, категорий и др.
Вам наверняка уже понятно, что идеальное положение дел в этом пространстве… отражается биссектрисой.
Пространство подходов к выбору выразительных средств.
Однако наше (и ваше тоже) мышление существенно гибче этой и любых других схем. В ходе познавательного процесса в зависимости от условий его осуществления нам бывают необходимы то одни, то другие «помочи», для выражения своих идей. В этом смысле концептуалист подобен художнику, который в зависимости от открывающейся ему картины подбирает наиболее подходящие выразительные средства. Для легкого воздушного весеннего пейзажа лучше взять акварель. Для бюста грозного вождя – бронзу. Для выражения свободы —… что-то другое.
«Для легкого воздушного весеннего пейзажа лучше взять акварель. Для бюста грозного вождя – бронзу. Для выражения свободы —…что-то другое…».
Эта бесспорная и на первый взгляд простая идея раскрывает назначение и возможности многих известных и разрабатываемых выразительных средств для отражения знаний и идей. Так, например, предметом теории λ-исчислений являются процессы и алгоритмы, исчисление предикатов предназначено для оперирования качествами объектов, нечеткая логика предназначена для оперирования неопределенностями и так далее. Но ни один из этих и многих других аппаратов не предназначен для оперирования многообразиями, которыми по сути являются концептуальные схемы. Что делают в таком случае?
В концептуальных практиках поступают следующим образом.
– Используется произвольный выбор форм экспликации представлений. В каждом случае выбор обусловлен задачей экспликации. Ясно, что не во всех случаях уместны формализмы.
– Вводится шкала усиления «жесткости» экспликации. Обобщенно эту шкалу можно представить в совокупности лингвистической (словами естественного языка), атрибутивной (рисунками, атрибутами), теоретике-множественной (множествами), родоструктурной (родами структур), алгебраической родоструктурной и другими видами экспликации.
Шкала видов экспликации концептуальных схем.
– Отличием концептуальных конструкций как понятий, которыми оперирует мышление, является существование в них структур, жестких каркасов. Поэтому формальный аппарат, предназначенный для оперирования такого рода конструкциями-теориями, должен быть выстроен вокруг идеи выражения и сохранения структур. Таким аппаратом является теория родов структур.[109] Родоструктурная математика (заявленная ее разработчиками как метаматематика) больше других «математик» соответствует требованиям, предъявляемым к формальному аппарату представления и оперирования теориями. В развитом (модифицированном) виде она позволяет производить разнообразные операции над структурами понятий, включая операции их синтеза, порождения, усиления и другие.
Теперь можно подытожить: концептуальное мышление имеет дело со всеми перечисленными видами выразительных средств, соблюдая принцип «уместности» и опираясь чаще всего на «жесткие» формы экспликации.