Второй уровень формализации состоит в том, что Теория (в теоретико-множественном понимании имеется в виду множество формул F такое, что с их помощью можно делать высказывания относительно моделей, причем любое из этих высказываний будет либо истинно, либо ложно) выражается на эксплицитно формулируемом языке. В нашем исследовании второй уровень формализации используется при обнаружении дискретных элементов картины мира в текстах, исходя из формализмов первого уровня. Для этого используется известный логический инструмент «машина с Оракулом». Он позволяет задавать вопросы: «Допустимо ли это значение?». Процесс деятельности Оракула никак не описан, формализованы лишь вопросы, которые разрешается ему задавать, а также допустимые ответы. Функция, реализуемая такой логической машиной, называется «вычислимой относительно Оракула». Другими словами, с помощью этого логического инструмента можно давать точные описания, «формализованные относительно» понятий, не сформулированных точно, отграничив лишь понятия формальные от понятий, заданных с помощью «Оракула». Ю. Шредер, сокращенными формулировками которого мы воспользовались, рассматривает всю систему формализаций В.Проппа в его решениях «Морфологии волшебной сказки» как последовательное использование логической «машины с Оракулом».

4. Принцип междисциплинарности.

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

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

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

Испытуемыми выступили учащиеся различных школ г. Москвы, студенты, магистранты, аспиранты и научные сотрудники РГГУ и других московских ВУЗов. Всего в эмпирических и экспериментальных исследованиях приняло участие более 650 человек и было исследовано более 3 тыс. текстов.