Velorios, vestidos negros y lógica paraconsistente

Funerals, black dresses and paraconsistent logic

En este artículo, después de realizar una introducción formal a la lógica paraconsistente cuyo objeto es responder a las dudas y cuestionamientos formales más inmediatos que se dan en este tipo de sistemas, realizamos un estudio sobre los criterios de valoración que se utilizan al comparar distintas lógicas, dentro de los cuales nos ocupamos principalmente de las concepciones descriptiva y normativa. A partir de este estudio mostramos que bajo estos criterios de valoración la lógica paraconsistente no difiere del resto de sistemas formales, ya que las críticas que se realizan en su contra son extensibles a las demás lógicas. Por último, explicamos por qué perdura la preferencia por sistemas formales clásicos y discutimos el papel que podría jugar el pragmatismo en la asignación de valor a sistemas formales.

In this paper, after presenting a formal introduction to paraconsistent logic, which intends to answer the basic formal questions and critiques that are given in this kind of systems, we discuss the value-criteria thar are used for comparing different logics, among which we focus mainly on the normative and descriptive conceptions. Furthermore, we explain how those criteria do not establish any difference between paraconsistency and other formal systems, by showing that the critiques that are inflicted upon paraconsistency can be stated against the other logics as well. Finally, we explain why a preference for classical formal systems still remains, and we consider which role pragmatism could play assigning a value to formal systems.