Negação Estratificada e um Teorema de Não-Embutimento para Estruturas Lógicas Fracas 2-Categóricas

Este artigo desenvolve uma teoria estratificada da negação para esclarecer as diferenças estruturais entre o reductio ad absurdum na lógica clássica e a negação dialética na filosofia hegeliana. Embora tanto o reductio quanto o raciocínio dialético envolvam contradição, eles operam em níveis lógicos e ontológicos fundamentalmente diferentes. Este trabalho propõe uma estrutura de três níveis consistindo de lógica clássica (L₀), lógica paraconsistente (L₁) e um sistema categórico dialético (L₂). Dentro deste contexto, a contradição funciona, respectivamente, como eliminação (L₀), contenção (L₁) e geração (L₂). O artigo introduz uma reconstrução formal dessas distinções e fornece uma semântica categórica para a negação dialética. Em L₂, a contradição é modelada como um componente estrutural interno (ΔC) de objetos conceituais, e a negação é interpretada como um morfismo que gera transformação conceitual em vez de um operador funcional de verdade. Um resultado central do artigo é um teorema de não-embutimento: não existe um mapeamento preservador de estrutura (funtor) do sistema dialético para a lógica clássica ou paraconsistente que preserve o papel gerador da contradição. Isto estabelece um sentido formal em que a negação dialética é irredutível a estruturas tanto funcionais de verdade quanto paraconsistentes. Ao articular a negação como uma família estratificada de operações em diferentes regimes lógicos, este trabalho busca preencher a lacuna entre a lógica formal e a filosofia dialética. Ele contribui para discussões em andamento na lógica filosófica, lógica não clássica e a interpretação formal das dialéticas hegelianas. ⸻ Este artigo introduz uma estrutura 2-categórica fraca para a negação estratificada através da lógica clássica, lógica paraconsistente e estruturas categóricas superiores. Definimos uma estrutura 2-categórica mínima na qual a negação é representada como um endo-2-funtor dotado de dados de coerência. Dentro deste contexto, estudamos relações estruturais entre sistemas lógicos por meio de mapeamentos funtoriais. O resultado principal é um teorema de não-fatorização que mostra que não existe um 2-funtor estrito preservando a estrutura total de coerência do sistema 2-categórico proposto em modelos categóricos clássicos ou paraconsistentes. A obstrução é estrutural e decorre da incompatibilidade de condições de coerência superiores e não de inconsistência semântica.