Lógica formal: fundamentos, validez y lenguaje formal
La lógica
La lógica es la teoría general de la argumentación. Entendemos por teoría un conjunto de enunciados supuestamente verdaderos sobre un objeto, algo que se analiza a partir de un conjunto de procedimientos y de los derivados de un conjunto de hipótesis.
Funciones del lenguaje
El lenguaje puede cumplir distintas funciones: exclamativa, descriptiva y representativa. Esta última es la que interesa en lógica.
Determinación de la inferencia lógica
En lógica interesan las argumentaciones cuya falsedad es imposible, es decir, aquellas que son necesariamente válidas. Una argumentación es lógicamente válida si las premisas implican necesariamente la conclusión. Una argumentación no es válida desde el punto de vista de la lógica...