¿Hacia un replanteamiento del cálculo proposicional clásico?

Resumo

El cálculo proposicional se basa proposiciones que son tautologías, antilogías y de tipo contingente, construidas con las operaciones de disyunción, conjunción, y negación, así como con el llamado condicional material para trasladar los enunciados condicionales. Con todo ello se obtiene una estructura de álgebra de Boole, que permite equiparar el cálculo proposicional al cálculo algebraico booleano. En parte, la simplificación conceptual que se obtiene resulta de ser el orden parcial del álgebra equivalente a la afirmación del condicional material. Además, con tal metodología cabe ver qué partes del cálculo proposicional clásico pueden trasladarse, aun con limitaciones, a estructuras más débiles y, a la vez, más generales, como son los ortoretículos no booleanos o las álgebras de De Morgan.
El cálculo proposicional trata con la deducción. Por ello, el artículo lo desarrolla a partir de un operador de consecuencias en el sentido de Tarski. Ampliado el modelo deductivo, es fácil ver otras consecuencias que las usualmente consideradas en los textos elementales; en particular, se analizan cuatro esquemas de razonamiento deductivo típicos y, entre ellos, se presta especial atención a los usuales Modus Ponens y Modus Tollens.
En el caso de las estructuras algebraicas de conjuntos ‘borrosos’, ninguna es de álgebra de Boole ni siquiera de orto-retículo y sólo cabe trabajar, en algunos casos, con álgebras de De Morgan-Kleene. Por lo tanto el cálculo proposicional ‘fuzzy’ debe construirse de acuerdo con la estructura algebraica que corresponda en cada caso y una vez elegida como representación del condicional una función que verifique el Modus Ponens (‘condicional borroso’).