Diferencia entre revisiones de «Lógica»

 

Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en definitiva cuando cumple una función de [[eficacia]]. La habilidad de pensar y expresar un argumento así corresponde a la [[retórica]], cuya relación con la verdad es una relación [[probabilidad|probable]].

 

== Sistemas formales ==

 

Mientras que el estudio de la necesidad y la posibilidad seguía siendo importante para los filósofos, no hubo grandes avances en el campo de la lógica hasta las investigaciones de Clarence Irving Lewis en 1918, quien formuló una familia de axiomas. Su obra desencadenó un torrente de nuevos trabajos sobre el tema, ampliando los tipos de modalidad para incluir la lógica deóntica y la lógica epistémica. La obra seminal de Arthur Prior aplicó el mismo lenguaje formal para tratar la lógica temporal. Saul Kripke formuló una teoría semántica de la modalidad que revolucionó la lógica modal y proporcionó una nueva forma de mirar la modalidad que ha impulsado muchas aplicaciones en lingüística computacional y lógica informática.

 

== Metalógica ==