• указание на корреляцию/зависимость, обычно как на физическую связь между какими-то аспектами: «если высота растёт, то давление падает»;
• математическое отношение между числовыми объектами, определяющее их отображение друг на друга/mapping.
Это означает, что часто вместо слова «функция» можно использовать слово «действие», или «роль», или «зависимость» – и разговор от этого станет точнее!
Часто встречающий термин «мета» (meta) используется в шести разных значениях, выражая шесть разных типов отношений32:
• экземпляризация (отношение типа и экземпляра);
• группирование (отношение типа и подтипа), оно же категоризация (философская, а не из теории категорий, термин «категория» любим самыми разными речевыми сообществами, и обозначает в них разное!);
• описание (отношение описания и описываемого объекта);
• применение/стереотип (отношение шаблона и его воплощения);
• варьирование (отношение основной модели и кастомизированной);
• реализация (отношение абстрактного синтаксиса и соответствующего ему выражения).
Поэтому каждый раз, встречая слово «мета» нужно разбираться, что именно из этих шести значений имелось в виду.
Никогда не зацикливайтесь на выбранных другими конкретных словах-терминах, слова как цепочки букв никогда не выражают истину. Каждый раз пытайтесь понять, о чем в действительности идёт речь, какое значение слова имелось в виду в каждом конкретном случае, добирайтесь до концепта. Использование терминов из стандартов не гарантирует однозначного понимания собеседником, но и использование многозначных слов не обязательно ведёт к сложностям.
В этой книге не будет попыток дать точные определения и выбрать правильные термины. Мы постараемся передать понимание наиболее важных понятий и предложить разные слова, которыми их можно обозначать. На вопрос «сколько будет дважды два?» будут приниматься ответы и IV, и 4, и «четыре», и four. Но не нужно обольщаться: ответы «горшок», 5, «per aspera ad astra» – приниматься не будут.
Формальность системного мышления
Знание в отличие от «просто фактов» – это то, что можно использовать в разных ситуациях, что можно взять с собой из проекта в проект. Факты же могут характеризовать конкретные проекты и объекты в них. Знание о метрах как единицах измерения общее для всех проектов. Длина пути в каком-то проекте 14 метров – это нельзя применить к другим проектам, так что это не «знание», это просто «факт».
Логика (правила рассуждений, ведущие к правдоподобным суждениям из правдоподобных посылок) науки и инженерии совсем необязательно булева, она имеет вероятностную компоненту (опираясь при этом на байесово понимание вероятности, а не частотное!), и поэтому может использовать и эвристические («неформальные формализмы», неточные правила) рассуждения33.
Обязательно ли формально (выражено в символической форме, доступной для строгого логического вывода) системное мышление, или оно неформально, т.е. образно и интуитивно?
Главное, что нужно тут обсудить – это наличие и важность полностью неформального, интуитивного и невыразимого словами и иными знаками знания, в том числе знания о системах. Тем более что сегодня такое знание могут иметь не только люди, но и компьютеры, запрограммированные для работы в рамках коннекционистской парадигмы. Современные достижения искусственного интеллекта связаны с развитием именно «компьютерной чуйки» (а не развития логических языков программирования) в рамках машинного обучения в целом и направления глубокого обучения (deep learning) в частности.
В коннекционистской (connectionism) парадигме34 знание представляется существующим не как набор связанных какими-то отношениями понятий, а как распределённое по множеству определённых простых однородных элементов (часто нейронов в нейронных сетях как искусственных, так и естественных).