¿Una o varias lógicas?

Abstract

Los sistemas lógicos que difieren de la LC [lógica clásica] pueden agruparse en dos categorías: los llamados sistemas complementarios (o suplementarios) de la LC y los llamados sistemas divergentes (o desviados) de la LC. Se dice que un sistema lógico es complementario de la lógica clásica cuando es una extensión conservadora de la misma, es decir cuando el conjunto de las fuf de la LC está propiamente incluído en el conjunto de las fbf del sistema complementario y cuando el conjunto de los teoremas/inferencias válidas de LC está pro­piamente incluído en el conjunto de teoremas/inferencias válidas del sistema complemen­tario. El cálculo de predicados de la lógica clásica es lUl sistema extendido respecto del cálculo de enunciados; los sistemas modales aléticos, los deónticos, los temporales y más recientemente los sistemas de lógica condicional, intensional y dinámica son ejemplos de lógicas complementarias de la LC.