Se trata de pasar una forma de razonamiento (esquema de argumento) a una forma proposicional (una fórmula). Las premisas se unen entre sí por una conjunción y todas ellas se unen a la conclusión por un condicional. Las premisas forman el antecedente y la conclusión el consecuente.
De esta manera se puede aplicar el método indirecto a los esquemas de argumento, suponiendo todas las premisas verdaderas y la conclusión falsa (es decir, el caso falso de la tabla de verdad del condicional).
Ej. Esquema de argumento:
(p ᴧ q) → (r ᴧ s), ¬ r v ¬ s / ¬ (p ᴧ q)
Fórmula condicional:
(((p ᴧ q) → (r ᴧ s)) ᴧ (¬ r v ¬ s)) → ¬ (p ᴧ q)
Ej. 1 de método indirecto de un esquema de argumento:
1) Premisas verdaderas y conclusión falsa, para comenzar.
2) La conclusión falsa ya nos da el valor de la proposición p. Entonces le asigno ese mismo si aparece de nuevo.
3) Entonces nos queda encontrar el valor de q para poder hacer inválido éste esquema (V/F). Si su negación vale 1, q vale 0. Si q se repite, le asignamos ese mismo valor.
4) Una vez que todos los valores están asignados, a las proposiciones y a las conectivas, corroboramos que nos quedan las premisas verdaderas y la conclusión falsa. El condicional es verdadero con antecedente y consecuentes falsos. Entonces podemos decir que es un esquema Inválido.
Encontramos las premisas verdaderas y la conclusión falsa.
1) Premisas verdaderas y conclusión falsa.
2) Si hay proposiciones negadas, asignamos el valor.
3) Ya tenemos los valores de p y de q entonces los pasamos.
4) Corroboramos. NO todas las premisas quedaron verdaderas, porque el condicional con antecedente verdadero y consecuente falso, es falso. En ese caso marcamos que encontramos una contradicción, entre lo que buscábamos y lo que realmente nos dio. Si NO encontramos el “caso falso” (V/F), podemos decir que no existe, y si no existe es porque el esquema es Válido.
Espero te haya servido ! Saludos
ResponderBorrar