Un argumento no es válido si la conclusión no se sigue necesariamente de las premisas. Si las premisas son verdaderas o no es irrelevante. También lo es si la conclusión es verdadera o no. La única pregunta que importa es esta: ¿es posible para que las premisas sean verdaderas y la conclusión falsa? Si esto es posible, entonces el argumento no es válido..
El "método de contraejemplo" es una forma poderosa de exponer lo que está mal con un argumento que no es válido. Si queremos proceder metódicamente, hay dos pasos: 1) Aislar la forma del argumento; 2) Construya un argumento con la misma forma que es obviamente inválido. Este es el contraejemplo.
Tomemos un ejemplo de un mal argumento.
Esto simplemente significa reemplazar los términos clave con letras, asegurándose de que lo hagamos de manera consistente. Si hacemos esto obtenemos:
Por ejemplo:
Esto es lo que se llama una "instancia de sustitución" de la forma de argumento presentada en el Paso 1. Hay un número infinito de estos que uno podría imaginar. Cada uno de ellos será inválido ya que la forma del argumento es inválida. Pero para que un contraejemplo sea efectivo, la invalidez debe brillar. Es decir, la verdad de las premisas y la falsedad de la conclusión deben estar fuera de toda duda..
Considere esta instancia de sustitución:
La debilidad de este intento de contraejemplo es que la conclusión no es obviamente falsa. Puede ser falso en este momento, pero uno puede imaginar fácilmente a un campeón olímpico entrando en política.
Aislar la forma del argumento es como reducir un argumento hasta sus huesos: su forma lógica. Cuando hicimos esto arriba, reemplazamos términos específicos como "New Yorker" con letras. Sin embargo, a veces, el argumento se revela mediante el uso de letras para reemplazar oraciones completas o frases similares a oraciones. Considere este argumento, por ejemplo: