Когда мы говорим о логике, мы редко задумываемся о том, что это вообще такое. Логика для нас — это просто способ правильно мыслить, нечто само собой разумеющееся, фундамент, на котором держится не только наука, но и всякое нормальное общение. Нас учили, что вещь равна себе самой, что нельзя одновременно утверждать и отрицать одно и то же, что любое высказывание либо истинно, либо ложно — и эти правила кажутся настолько естественными, что их трудно поставить под сомнение.
Однако история науки и культуры последнего столетия показывает, что эта картина мира — лишь одна из возможных. Квантовая механика описывает частицы, которые находятся в суперпозиции состояний, и это не нарушение законов физики, а их фундаментальное свойство. Искусственный интеллект принимает решения, логику которых мы не всегда можем проследить, но это не делает их ошибочными — просто она устроена иначе. А сконструированные языки вроде токипоны демонстрируют, как можно мыслить вообще без привычных нам абстракций и категорий. Все эти феномены указывают на существование пространства возможных логик, при чём оно гораздо обширнее, чем мы привыкли думать. И если раньше мы главным образом пытались понять, какая логика истинна, то сегодня становится важным осознание того, как нам ориентироваться в этом множестве? Как сравнивать разные логические системы между собой? Как понимать, что именно в них устроено по-другому? И, возможно, самое интересное — как создавать новые логики под конкретные задачи, под новые типы реальности?
Ответом на этот запрос стала Таксономия чуждых логик — система, которую я разрабатывала в последние годы в рамках более обширного проекта Трансабсолютной Метаонтологии. ТЧЛ представляет собой рабочий инструмент, язык, на котором можно описать любую формальную систему, будь то научная теория, архитектура искусственного интеллекта, грамматика языка или даже внутренний мир человека, живущего в иной онтологии.
В этой статье я расскажу, как устроена ТЧЛ версии 2.1.1, как с её помощью можно диагностировать уже существующие логики и, что важнее, конструировать новые. И покажу на конкретных примерах, как этот инструмент работает.
