Industrias basicas e intermedias
Está lloviendo y es de día.
Por lo tanto, está lloviendo.
La obvia validez de este argumento no se debe al significado de las expresiones «está lloviendo» y «es de día»,porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:
Está nevando y hace frío.
Por lo tanto, está nevando.
En cambio, la clave del argumento reside en laexpresión «y». Si esta expresión se cambia por otra, entonces el argumento deja de ser tan obviamente válido:
Ni está nevando ni hace frío.
Por lo tanto, está nevando.
Las expresiones de las quedepende la validez de los argumentos se llaman constantes lógicas, y la lógica las estudia mediante sistemas formales.31 Dentro de cada sistema formal, la relación de consecuencia lógica puededefinirse de manera precisa, generalmente por medio de teoría de modelos o por medio de teoría de la demostración.
Otros temas que caen bajo el dominio de la lógica son las falacias y las paradojas.
Regístrate para leer el documento completo.