paraconsistentes

Las lógicas paraconsistentes, o logicas paraconsistentes, son una familia de logicas no clásicas cuyo objetivo es permitir que un sistema de conocimiento contenga contradicciones sin derivar a partir de ellas cualquier proposición. En la lógica clásica, de A y no A se deduce cualquier B (principio de explosión). En las lógicas paraconsistentes ese principio no se aplica universalmente, de modo que una contradicción no implica automáticamente toda la información.

Entre los enfoques clave se encuentran los sistemas de C_n propuestos por Stanislao da Costa, que violan el principio de explosión. En las décadas de 1970 y 1980, Graham Priest introdujo LP (Logic of Paradox), una lógica que admite ciertas contradicciones como verdaderas. Se han desarrollado otras lógicas, como las lógicas de inconsistencia formal (LFI) de Carnielli y Coniglio, y semánticas que emplean más de dos valores de verdad, a veces con valores como verdadero, falso y ambos al mismo tiempo.

Las lógicas paraconsistentes se aplican en filosofía, informática y representación del conocimiento. Se utilizan para gestionar información conflictiva en bases de datos paraconsistentes, razonamiento automatizado e inteligencia artificial, permitiendo extraer conclusiones útiles sin caer en la trivialidad. Algunas corrientes permiten dialeteas (afirmaciones que son verdaderas y falsas a la vez), mientras otras las excluyen y solo toleran inconsistencias parciales.

Véase también: dialetheismo, LP (Logic of Paradox), LFI (logicas de inconsistencia formal), C_n.