soledad

En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.1 Lo que ha permitido un campo de aplicaciónfundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,2 mantuvo siempre una relación con los argumentosdel lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.3
Hoy, tras los progresos científicosrelativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje,4 tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado laslimitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.5


Regla de inferencia:
En lógica, una regla de inferencia es un esquema paraconstruir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
La lógica aristotélica es la tradiciónlógica basada en el trabajo del filósofo griego Aristóteles, primer pensador en formalizar el sistema lógico de tal manera que sus propuestas han trascendido hasta nuestros días. Aristóteles planteó susideas en varias obras, reunidas posteriormente bajo el nombre de Organon (órgano, herramienta), para difundir sus conocimientos sobre las leyes del razonamiento, argumentando que estas eran vitales paraadentrarse en el mundo de la filosofía.

El estoicismo es uno de los movimientos filosóficos que, dentro del periodo helenístico, adquirió mayor importancia y difusión. Fundado por Zenón de Citioen el 301 a. C., adquirió gran difusión por todo el mundo greco-romano, gozando de especial popularidad entre las élites romanas. Su período de preeminencia va del siglo III a. C. hasta finales del...