La noción de validez es una propiedad de una forma de razonamiento. La forma es la estructura interna de un razonamiento, y como tal no debe ser confundida con el razonamiento mismo, que está constituido por oraciones con significado susceptibles de ser verdaderas o falsas.
Ejemplo:
Todos los bonaerenses son argentinos
Todos los argentinos son americanos
____________________________ (leemos por lo tanto)
Todos los bonaerenses son americanos
Es un razonamiento cuya forma o estructura es la siguiente:
Todo A es B
Todo B es C
__________
Todo A es C
Esta forma de razonamiento es una especie de molde o estructura común a infinitos potenciales razonamientos. Y ella es válida o no lo es.
¿Qué significa que esta forma es válida?
Damos dos definiciones de validez:
a) En una forma de razonamiento válida si las premisas son verdaderas la conclusión es necesariamente verdadera.
b) En una forma de razonamiento válida no puede ocurrir que las premisas sean verdaderas y la conclusión falsa.
Estas dos definiciones dicen lo mismo. Observemos la primera: ella es de caracter condicional, establece que si se da una cierta condición (la verdad de las premisas) se dará la verdad de la conclusión con toda certeza.
Esto es la base de la lógica deductiva y veamos que implica esta definición a):
Implica (cuando la forma de razonamiento es válida) que:
1) si la conclusión es falsa las premisas también lo son.
2) si la conclusión es verdadera no puede saberse como son las premisas
3) si las premisas son falsas no puede saberse como es la conclusión
4) si las premisas son verdaderas la conclusión también es verdadera
No implica ( o sea que las siguientes afirmaciones son falsas) que:
5) si la conclusión es verdadera las premisas también lo son
6) si la conclusión es falsa no puede saberse como son las premisas
7) si las premisas son falsas la conculusión es falsa
8) cuando una forma de razonamiento es válida las premisas son verdaderas y la conclusión es verdadera
9) cuando una forma de razonamiento es inválida las premisas y la conclusión son falsas.
La validez es una propiedad formal de la estructura de un razonamiento, y por tanto si un razonamiento tiene la forma señalada arriba y sus premisas y su conclusión son falsas sigue siendo verdad que su forma es válida.