Observa la siguiente forma lógica, y señala cuál de los argumentos lo instancia:
Todos los A son B. Algún B es C. Por lo tanto, algún A es C.
Algún perro es grande. Todos los chihuahuas son perros. Por lo tanto, algún chihuahua es grande.
Todos los búhos tienen piernas largas. Hedwig tiene poderes mágicos. Por lo tanto, algún búho tiene poderes mágicos.
Todos los barriles de petróleo bajaron de precio. Algo que bajó de precio es un departamento. Por lo tanto, algún barril de petróleo es un departamento.
El método del contraejemplo sirve para....
... demostrar la validez de un argumento.
... demostrar la invalidez de un argumento.
... demostrar cuál es la instancia de una forma lógica.
Una forma lógica valida puede tener una instancia con...
¿En qué consiste el método del contraejemplo?
(i) Identificar la forma lógica de un argumento, (ii) construir una instancia a partir de esa forma lógica, (iii) comparar la(s) premisa(s) y la conclusión de la nueva instancia con la(s) del argumento inicial.
(i) Identificar la forma lógica de un argumento y (ii) construir una instancia a partir de esa forma lógica, con premisa(s) verdadera(s) y conclusión falsa.
(i) Construir una instancia del argumento y (ii) extraer la forma lógica de ambas.
Imagina que construí un contraejemplo a un argumento de modo exitoso. ¿Cuál(es) de los siguientes es inválido:
(i) el argumento del que extraje la forma lógica, (ii) dicha forma lógica, o (iii) el contraejemplo que construí a partir de dicha forma lógica?
Solo (i)
Solo (ii)
Solo (iii)
Solo (ii) y (iii)
(i), (ii) y (iii)
¿Qué distingue a un argumento deductivo de un argumento inductivo?
Es poco probable que la conlusión de un argumento inductivo sea falsa.
La función de las premisas de cada tipo de argumento con respecto a su conclusión es distinta.
Los argumentos inductivos tienen premisas relacionadas a las ciencias naturales.