Contradiction et vérité

Abstract

La elaboración del sistema de lógica matemática propuesto en esta tesis obedece a una motivación filosófica. Sus ejes son: defensa del realismo metafísico, del racionalismo absoluto y del formalismo. Esa defensa nos lleva a reconocer la existencia de contradicciones verdaderas y a abrazar una lógica paraconsistente (y, más concretamente, contradictorial) que sea, a la vez, una lógica difusa (gradualista, fuzzy), una lógica infinivalente de los grados de verdad o de realidad. El sistema se desarrolla en los dos pisos de cálculo proposicional y cálculo de predicados de primer orden (cuantificacional), junto con esbozos tentativos de teoría de conjuntos. En la última parte se exponen en detalle las motivaciones y posibles aplicaciones filosóficas del sistema lógico en diferentes campos filosóficos, especialmente de filosofía del lenguaje y de teoría del conocimiento.