La semántica subyacente en la filosofía paraconsistente de da Costa

Presentamos un análisis crítico del cálculo paraconsistente C1 de Newton da Costa. La estrategia considera lo que denominamos categorías semánticas subyacentes a una lógica, a partir de las cuales exploramos una noción de significado más amplia para ésta que la que la semántica formal proporciona. Mediante el examen de las categorías semánticas asociables en principio a este cálculo, y el análisis de una reconstrucción racional de un caso histórico de inconsistencia, argumentamos que existe cierta inadecuación al interior de la estructura semántica de C1, comprendida en el marco más general de significado; y también que existe una inadecuación entre esta estructura semántica general y aquellas categorías semánticas del pensamiento científico que estaría modelando. A partir de todo lo anterior, concluimos un breve argumento en favor de que las contradicciones científicas deberían preferentemente modelarse (en contra, por lo menos, de algunas de las propuestas hegemónicas) como fórmulas necesariamente falsas.