Algunas aplicaciones filosóficas de lógicas multivalentes

Abstract

[ES] Las lógicas multivalentes pueden incluir conectivas no-clásicas que expresen matices veritativos. El desarrollo de la lógica multivalente ha dado lugar a sistemas paraconsistentes donde una oración puede, a la vez, venir afirmada y negada, cuando sea verdadera sólo en parte. Una familia recientemente elaborada de tales lógicas es una herramienta para habérselas con una serie de dificultades filosóficas, como la paradoja zenoniana de la flecha. Esas lógicas tienen algunas afinidades con las lógicas fuzzy iniciadas por Zadeh, pero, a diferencia de ellas, contienen como tautología el principio de tercio excluso.

[EN] Many-Valued logics can harbour nonclassical connectives expressing truth-nuances. The course of development of many-valued logics has given rise to paraconsistent systems wherein a sentence can be both negated and asserted just in case it is only partly true. A recently implemented family of such logics is shown to be a useful tool in coping with a number of philosophical difficulties, such as Zeno’s paradox of the arrow. This family is somehow akin to fuzzy logics initiated by Zadeh, but unlike them it contains as a tautology the principle of excluded middle.