Necesidad lógica y lógica condicional

Résumé

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.