Если вы попали в речевое сообщество «процессного подхода», смело используйте слово «процесс» вместо слова «практика» – но знайте, что при этом вы теряете информацию по различению процессов и практик, и речь ваша будет время от времени вызывать недоумение.
Очень часто за одним и тем же термином даже в одном речевом сообществе оказывается закреплено множество разных значений, поэтому уточнить значение даже очень распространённого термина никогда не бывает лишним.
Например, Andries van Renssen выделил35 следующие часто используемые значения для термина «функция» (function):
• подтип активности (поведения), процесса или события;
• некая сущность, находящаяся в определённой роли или сделанная для определённой роли;
• сама роль сущности (обычно это роль физической вещи), участвующей в активности (поведении) [Играемая роль и сущность, играющая роль – это разное! Роль – Гамлет, сущность – Высоцкий];
• указание на корреляцию, обычно как на физическую связь между какими-то аспектами: «если высота растёт, то давление падает»;
• математическое отношение между числовыми объектами, определяющее их отображение друг на друга/mapping.
Ещё один пример – что может подразумеваться под часто встречающимся в информационном моделировании отношением «мета»? При обсуждении одного из языков моделирования данных (MOF, meta-object facility) было обнаружено, что слово «мета» (meta) используется в шести разных значениях, выражая шесть разных типов отношений36:
• экземпляризация (отношение типа и экземпляра);
• группирование (отношение типа и подтипа), оно же категоризация (философская, а не из теории категорий, термин «категория» любим самыми разными речевыми сообществами, и обозначает в них разное!);
• описание (отношение описания и описываемого объекта);
• применение/стереотип (отношение шаблона и его воплощения);
• варьирование (отношение основной модели и кастомизированной);
• реализация (отношение абстрактного синтаксиса и соответствующего ему выражения).
Поэтому каждый раз, встречая слово «мета» нужно разбираться, что именно из этих шести значений имелось в виду. Так что никогда не зацикливайтесь на выбранных другими конкретных словах-терминах, слова как цепочки букв никогда не выражают всю истину. Каждый раз пытайтесь понять, о чем в действительности идёт речь, какое значение слова имелось в виду в каждом конкретном случае. Использование терминов из стандартов не гарантирует однозначного понимания собеседником, но и использование многозначных слов не обязательно ведёт к сложностям.
В этой книге не будет попыток дать точные определения и выбрать правильные термины. Мы постараемся передать понимание наиболее важных понятий и предложить разные слова, которыми их можно обозначать. На вопрос «сколько будет дважды два» будут приниматься ответы и IV, и 4, и «четыре», и four. Но не нужно обольщаться: ответы «горшок», 5, «per aspera ad astra» – приниматься не будут.
Формы мышления
Эпистемология37 – это наука, отвечающая на вопрос «что вы знаете» (по-русски при этом часто говорят о гносеологии, «теории познания», с упором на «как вы узнали то, что вы знаете»), в ней анализируется природа и возможности знания и познания, его границы и условия достоверности, отношение знания к реальности.
Знание в отличие от «просто фактов» – это то, что можно использовать в разных ситуациях, что можно взять с собой из проекта в проект. Факты же могут характеризовать конкретные проекты и объекты в них. Знание о метрах как единицах измерения общее для всех проектов. Длина пути в каком-то проекте 14 метров – это нельзя применить к другим проектам, так что это не «знание», это просто «факт».
Мышление о мире с необходимостью включает в себя знание об объектах мира – эпистемология обсуждает, как это знание можно получить и насколько этому знанию можно верить, а онтология что-то может сказать о том, каковы эти объекты. Логика затем помогает как-то оперировать с этим знанием – и помним, что логика науки и инженерии совсем необязательно булева, она имеет вероятностную компоненту (опираясь при этом на байесово понимание вероятности, а не частотное!), и поэтому может использовать и эвристические («неформальные формализмы», неточные правила) рассуждения38.
Тем самым мы должны ещё задать вопрос: как мы получили знание о системах, обязательно ли это знание формально (выражено в символической форме, доступной для строгого логического вывода), или оно неформально, т.е. образно и интуитивно? Получено ли это знание умозрительно, только в результате размышлений, или были проведены какие-то эксперименты и знание обобщает их результаты? Эпистемология не так популярна, как онтология, но когда речь заходит об обучении каким-то знаниям, без неё не обойтись.