Когда писал «учебник» перерывал всякую литературу в поисках примеров, более правильных объяснений и так далее. Почерпнуть в общем-то ничего особого не удалось, но наткнулся на интересное приложение формальной логики (о чем первая глава была): Uncertainty Reduction Theory. Это теория в социологии, в которой из нескольких базовых аксиом выводят теоремы. Выглядит на самом деле не особо внушительно — восемь довольно сложных аксиом и всего 21 довольно тривиальная теорема, но сама попытка похвальна. Когда-нибудь впрочем думаю подобные подходы завоюют довольно широкую нишу в различных нетехнических дисциплинах.
Если кто сталкивался, то было бы интересно посмотреть на другие подобные примеры формализации нетехнических областей именно на уровне аксиом-следствий. Нечто подобное есть в микроэкономике, где рассматриваются предпочтения потребителей и рациональный выбор в условиях неопределенности, но там нет никаких особо интересных результатов и сама формализация не заводит особо далеко (либо я не видел правильных учебников). Если кто сталкивался с подобными формализациями — напишите, было бы интересно почитать.
