definiciones tema 3

Tema 3. Lógica y argumentación
Definiciones
Argumento: pasaje lingüístico con el que se pretende apoyar la verdad de un enunciado
(conclusión) en la verdad de otro u otros (premisas).
Argumento deductivamente válido: argumento que logra establecer una conexión necesaria
entre la verdad de las premisas y la verdad de la conclusión.
Argumento inductivamente fuerte: argumento que no establece una conexión necesaria entre
la verdad de las premisas y la de la conclusión, pero que sí logra apoyar la verdad de la conclusión
en la de las premisas con un cierto grado de probabilidad.
Relación de consecuencia deductiva (a la que después llamaremos simplemente "relación de
consecuencia"): relación que existe entre las premisas y la conclusión de un argumento
deductivamente válido.
Forma lógica de un argumento: estructura del argumento de la que depende la existencia o no
de una relación de consecuencia.
Constantes lógicas: elementos del lenguaje cuyo significado contribuye a la existencia o no de
una relación de consecuencia.
Argumento sólido (o cogente): argumento deductivamente válido cuyas premisas son todas
verdaderas.
Sistema lógico (deductivo): conjunto de esquemas de argumento válido, organizados de manera
que unos son básicos y otros derivados.
Sistema lógico-formal: sistema lógico que usa un lenguaje formal para representar las formas
de argumento válido y que puede definirse de manera puramente sintáctica, sin hacer referencia a
ningún contenido semántico (a saber: especificando su lenguaje y su mecanismo deductivo).