Necesidad lógica y lógica condicional

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

In this paper we characterize Leibniz's idea of necessary truth with the aim of showing how, in the course of the development of logical theory, it has been weakened to the point of becoming just one of the many possible interpretations of the necessity operator. We show that this has happened not only in those classical modal logics with a Kripke semantics, but also in David Lewis' systems for counterfactual conditionals and in Carlos Alchourrón's logics for defeasible conditionals.