Я очень рад, что Вы глубоко вникаете в сущность вопроса!
Для более детального понимания сущности рекомендую углубиться и познакомиться с темой
умственная логика и работами проф. Rips, L.J , в частности с
From numerical concepts to concepts of number BBS_finalRips.pdf (
пошли изюминки интеллекта).
воля- решение задачи, свобода-начальные условия задачи. В нас начальные условия-аксиомы, правила.
Задача-конкретная модель мышления. Все вместе - математика мышления.
Математически, в частном случае, можно представлять решением динамической стохастической системы задачи преследования с заданными начальными условиями, но в логике сложнее, фигурируют отношения.
Вариант - задача "теория доказательств теорем".
Уже существуют реализованные пакеты. Пакеты Matematica, Maple для математических преобразований (аналитического решение д.у., преобразования интегралов, спец. ф-ии мат. физики и т.д.) - частные примеры. В теории физики, астрономии давно этим пользуются. Для нас - это очевидные вопросы, автоматизацией аналитических преобразований занимаемся давно. Сейчас обобщаем для вышеуказанных задач, распространяем на логические процессы, если популярно. Это требует определенной абстракции подхода. Нас интересуют задачи систем принятия решений, автоматизация обучения, семантический анализ текстов, когнитивная психология и т.п. Очевидно, что с увеличением объема данных для их анализа существенны вопроссы энтропии, различные ассимпотики, которые могут породить логические особенности, но это уже металогика.
Поэтому мы вышли в Inet и в результате имеем, то что имеем.
Интересно получить для некорых задач логики аналогию "метода сеток-метод краевых задач", но об этом мы и не упоминаем, понимая особенности вопроса