La negación paraconsistente a la luz del realismo lógico

Resumo

En este artículo se discute el funcionamiento de algunos de los operadores de negación paradigmáticos de la familia de lógicas paraconsistentes a la luz de las posiciones teóricas reunidas bajo la denominación de “realismo lógico”. Se toma el caso de los operadores del sistema LP articulado con la interpretación metafísica dialetheista y el sistema FDE siguiendo la interpretación propuesta por Jc Beall (2016) respectivamente y se contrastan con otros operadores de negación paraconsistente y sus niveles de compromiso metafísico. Mostramos como en el primer caso un compromiso metafísico robusto se acompaña de un protagonismo de una noción sustantiva de la negación lógica en el sistema mientras que, en el último caso, un panorama metafísicamente equilibrado redunda en la desaparición de la negación lógica como noción sustantiva. Finalmente ofrecemos una alternativa intermedia, SF, un sistema no clásico cuatrivaluado, con una negación paraconsistente que en el marco de una concepción realista de la lógica permite mantener un equilibrio metafísico deseable siguiendo el argumento de Beall, pero restaura el papel de la negación como conectivo sustantivo.