Consistência e Outros Requisitos de uma Teoria Formal no Contexto de Modelos de Multiverso

Resumo O artigo é dedicado ao problema de descrever a realidade na linguagem da matemática e da lógica em conexão com a intuição intelectual. A questão levantada é como os requisitos básicos da teoria matemática e da lógica mudarão se alguns dos modelos de multiverso da física moderna forem tomados como base. A matemática é considerada no contexto de várias abordagens históricas. Mostra-se que alguns dos requisitos bem conhecidos de uma teoria formal (como a consistência) podem começar a desempenhar um papel diferente se a hipótese do multiverso for aceita. No âmbito de teorias baseadas na ideia de mundos múltiplos, a consequência lógica, a lei natural de Duns Scotus, a lei do terceiro excluído e outros fatos bem conhecidos da lógica clássica que em alguns casos causam controvérsia devido à sua inaceitabilidade intuitiva são resolvidos. O artigo discute uma abordagem baseada em lógicas paraconsistentes: tais lógicas podem ser consideradas as primeiras a corresponder às teorias do multiverso.