Sistemas formais não foram desenhados para decisão sob pressão — foram desenhados para consistência. E, no entanto, é exatamente a disciplina de partir de axiomas explícitos que sobra quando o cenário fica caótico o suficiente para que a intuição pare de ser confiável.
O ruído como sintoma, não como causa
Grande parte do que chamamos de “ruído” numa decisão de alta pressão é, na prática, ausência de um modelo. Sem um conjunto de premissas explícitas para testar cada nova informação, tudo parece igualmente relevante — e nada é.
Aplicação prática
Isso não é abstração gratuita. Um operador que decide sob axiomas explícitos descarta informação mais rápido, porque tem um critério prévio para irrelevância. É o mesmo mecanismo por trás de checklists de cabine e de protocolos de resposta tática.