Анатолий Левенчук - Системное мышление – 2022

Этот целый стек/стопку поддерживающих друг друга фундаментальных дисциплин/трансдисциплин мы назовём интеллект-стеком.Равным образом мы будем говорить о фундаментальных мыслительных практиках, которые используют не только понятия из фундаментальных дисциплин (трансдисциплин), но и технологии/инструменты и материалы. В случае трансдисциплин это обычно моделер (из ручки-бумаги или комьютера), а расходным материалом к моделеру идёт кофе для человека-модельера. Другие инструменты в фундаментальных дисциплинах редки, ибо несмотря на практичный характер мышления, интеллекту больше нужно моделировать мир, нежели непосредственно его менять в действии, если речь не идёт всё-таки о переходе к мышлению методом деятельных проб и ошибок (не высказыванием догадок и их критикой, а «активным зондированием», деланием догадок и наблюдением результатов – получилось или нет). В этом случае перехода к прикладной инженерии «пробами и ошибками» в старой или даже новой малоизвестной предметной области для изменения мира задействуется изобилие самого разного инструментария и применяются самые разные исходные материалы: станки, химические реагенты, дрессированные животные, солнечный свет, вода в пруду, часы, балетный станок, квантовый компьютер, и т. д.

Приведём краткое описание фундаментальных дисциплин интеллект-стека в обратном порядке, снизу-вверх, чтобы было понятней, как одни дисциплины пользуются в своих объяснениях понятиями, уже введёнными другими дисциплинами:

• Понятизация учит выделять фигуры из фона и делать их предметами рассмотрения.

• Собранность учит удерживать во внимании «объекты», которые уже обсуждены в понятизации и даёт понятие о сознании.

• Семантика учит отделять физические объекты от математических/абстрактных/ментальных/идеальных, тем самым разделяя объекты и их более и менее формальные описания. Но эти объекты уже могут быть удержаны во внимании.

• Математика учит тому, какие бывают абстрактные объекты и их отношения, какое поведение абстрактных объектов. Но семантика уже сказала про их существование.

• Физика учит поведению физических объектов, которые представлены математическими объектами. Семантика уже рассказала о том, что физические объекты представляются в мышлении ментальными/математическим объектами. Но в том числе в физике затрагивается вопросы физико-математической теории информации: как именно математические объекты представляются в физическом мире («математик и астрофизик – физические объекты»). Именно в физике вводятся понятия системы и многие другие понятия системного подхода.

• Теория понятий учит машинке типов: что все объекты в каком-то смысле подобны друг другу, и это описывается типами. Об объектах мы можем судить по их отношениям друг с другом. Примеры часто встречающихся типов отношений – это классификация, специализация, композиция. Физика (и в ней теория информации) при этом уже сказала, как все эти описания представлены в физическом мире на носителях информации.

• Онтология учит отвечать на вопрос, каким способом мы многоуровнево описываем/моделируем мир: как мы определяем важное и неважное (моделирование), как мы используем модели для ответа на вопросы (интерпретации). Мы разбираемся с мета-моделированием (описания как абстракции получаются не произвольно, но абстрагирование управляется абстракцией более высокого уровня). Модели задействуют понятия (используем теорию понятий) и выражают свойства физического мира. А ещё модели используются для проведения по ним рассуждений, т.е. используются для предсказаний, и мы уже готовы заняться рассуждениями и объяснениями.

• Алгоритмика – это естественная наука, которая обсуждает способы проведения рассуждений с информационными моделями (то есть способы вычислений), которые нам уже известны из онтологии. Эти рассуждения/вычисления идут с объектами в разных по физической природе универсальных вычислителях (мозг, электронный компьютер, квантовый компьютер, оптический компьютер).

• Логика говорит, какие есть способы рассуждений над моделями, чтобы результаты рассуждений (модели) при правильных посылках и правильных правилах рассуждений как-то соответствовали реальному миру. Онтология для этого уже рассказала про то, как мы нарезали мир на объекты, описав эту нарезку какими-то моделями, так что рассуждения работают с моделями, а «работают» – это идут вычисления, мы об этом знаем из алгоритмики.