Без заголовка

Нет, совсем не так, внутренняя непротиворечивость не достаточное условие для полезной модели (важна ж полезность, а не "правда"). Как сопоставляют формальные теории жизни -- это дискуссия о методе, о ней достаточно написано. У меня этот вопрос и десяток лет назад поднимался, https://ailev.livejournal.com/924734.html -- с тех пор много чего прошло, в том числе появилось (это уже в 21 веке) понимание, что наука устроена на байесовской логике, https://ailev.livejournal.com/1311261.html Поэтому пример с Мизесом не провал. Провал в понимании читающего -- да, если брать этот пример без контекста и не в рамках SoTA про теории и их связь с окружающим миром. Наука уже давно не ищёт "правду" или "истину" или "объективность" или что-то типа этого. Вот и праксеология ничего такого не ищет )))