Une vie

Мне в высшей степени трудно понять, что же Вы называете формальной логикой. Уж точно не то, что я. (По вполне верной фразе "А то, что мы с вами можем обмениваться знаками, ещё не означает, что мы придаём им один и тот же смысл"). Формальная логика работает везде и всегда, без неё нельзя построить фразу о том, что она не работает. Никакого отношения к несовпадению моделей (которые, безусловно, не совпадают) это не имеет.
Могу также сообщить на всякий случай, что все варианты "нечёткой логики" (fuzzy logic) и квантовой логики на самом деле переводимы на язык обычной формальной логики.