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

Lorenzo Peña «NUEVOS AVANCES EN LA ARTICULACIÓN Y EN LAS APLICACIONES DE LÓGICAS ALÉTICAS» publicado en Lenguajes naturales y lenguajes formales VII comp. por Carlos Martín Vide Barcelona: PPU (Promociones y Publicaciones Universitarias) 1992 págªs 209-220. ISBN 84-7665-988-1 NUEVOS AVANCES EN LA ARTICULACIÓN Y EN LAS APLICACIONES DE LÓGICAS ALÉTICAS Lorenzo Peña Instituto de Filosofía del CSIC New Advances in the Implementation and Applications of Truth Logics 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. Sumario 1.— El enfoque de los “estados” en [TCC] 2.— Concepto fuerte y concepto débil del operador de verdad 3.— El desarrollo ulterior de LT 4.— ¿Es LT una lógica paraconsistente? 5.— Discusión de algunas críticas dirigidas el tratamiento de von Wright Llámanse lógicas aléticas (en inglés Truth Logics) a aquellos sistemas lógicos que contienen un operador especial, ‘T’, dotado de ciertas características que lo aproximen a la teorematicidad del esquema T de Tarski. En términos de lógica algebraica, será [lo correspondiente a] un operador topológico aditivo.