Nuevos avances en la articulación y en las aplicaciones de lógicas aléticas

Abstract

[ES] Las lógicas de la verdad de Von Wright gozan de fuertes motivaciones filosóficas y son atractivas desde la teoría de modelos. Carecen de base algunas objeciones que se les han dirigido. Pero la afirmación de von Wright de que una de esas lógicas es paraconsistente es errónea, ya que, a diferencia de los sistemas paraconsistentes, esas lógicas de la verdad entonizan la regla de Cornubia, a saber: de p, no-p, se sigue q.

Esbozo una lógica veritativa alternativa que sí es paraconsistente.

[EN] Von Wright’s Truth Logics are are shown to enjoy strong philosophical motivations and to possess attractive model-theoretic qualities. Some objetions levelled at them are unwarranted. Nonetheless, von Wright’s claim that one of his truth logics is a paraconsistent one is found fault with, since, unlike paraconsistent systems, all those truth logics enforce Cornubia’s rule (namely: p, ~p ├ q). Alternative truth logics are briefly sketched.