Можно сказать и так: аксиоматизация – это установление свойств родового отношения, определяемых особенностями предметной области.
Аксиомы – это атрибут особенного, аксиоматического способа определения понятий. После установления аксиом появляется возможность выводить из концептуальной схемы следствия, которые не конфликтуют с содержанием предметной области, не противоречат исходным утверждениям о ней. Получается, что аксиоматизация обслуживает задачу формальной выводимости знаний из некоей теории. Постулирование аксиом – это процесс построения аксиоматической теории, в ходе которого формально ограничивается ее содержание.
Наряду с постулированием родовых отношений между базисными множествами постулирование аксиом представляет собой тот самый «прожекторный» тип порождения знания о реальности, о котором писал К. Поппер [104] . Мы говорим с Вами о воплощении гипотетико-дедуктивного способа постижения реальности.
1. О схемах и схематизации. В каком смысле стоит понимать продукты концептуализации как схемы, концептуальные схемы? Дело в том, что любая схема (в отличие, например, от системы) есть лишь некий способ упорядочивания информации. Когда Вас кто-то попросит объяснить, например, маршрут движения из Москвы в деревню Балуево, то Вы начнете скорее всего рисовать на листке: вот Москва, потом Ленинградское шоссе, по прямой до Валдая, потом поворот налево и все время ехать по «главной» до деревни Никольское; третий двор налево – это дом Ивана Ивановича; на берегу озера у него во дворе лежит лодка, в сарае – мотор к лодке; на моторке между островами плыть примерно минут сорок… Так получится схема… проезда. Поскольку концептуальная схема задает некий порядок между понятиями и отношениями, то она тоже схема. Но концептуальная схема как продукт концептуализации – это еще и результат соединения бессодержательных понятийных конструкций (концептов) с некими предметными областями. В этом смысле она – весьма странная схема. В ней смысловые «маршруты» обозначаются понятиями и отношениями, а детали – аксиомами. Всеми этими «значками» задается своего рода «оболочка» для содержания предметной области. Наполнение этой «оболочки» содержанием происходит при интерпретации концептуальной схемы в виде соединения «пустого» тела с предметной областью, с реальностью. Можно говорить, что любая концептуальная схема есть сконструированная, заготовленная система знаний о предметной области. Вполне определенно об этом писал Г. Шпет:
