Professional Documents
Culture Documents
deductivo • Si A también B
• Es así que A
• Luego B
• El método inductivo consiste en elaborar una
explicación o descripción general a partir de datos
particulares.
Etapas del
generalmente la estructura “si... entonces” y especifican bajo qué
condiciones se espera que se produzca un resultado o resultados
determinados. En el caso del ejemplo del SIDA, anteriormente citado, la
forma adecuada de formular la hipótesis sería: “Si el agente causal del
método
SIDA destruye a los linfocitos entonces se provocará un deterioro del
sistema inmunológico”.
• Conforme más datos particulares deducidos de la hipótesis no se falsean
por la experimentación, la probabilidad de la hipótesis aumenta Sin
hipotético embargo, en ningún caso es posible establecer su certeza de modo
concluyente porque, siempre puede aparecer una observación que no
confirme la hipótesis. Esta es la característica más importante de las
ciencias empíricas y es que siempre son probabilísticas. El científico
deductivo acumula la mayor cantidad posible de observaciones sobre los casos
particulares para llegar a proponer generalizaciones o leyes de carácter
general a partir de esas observaciones. Sus conclusiones, por tanto, nunca
pueden ser totalmente válidas, sino más o menos probables.
• No obstante, la hipótesis general no puede ser sometida a la verificación
experimental por lo que el científico tiene que deducir de su hipótesis
general un caso concreto que pueda ser comprobado con los datos
empíricos. Es decir, formular subhipótesis a partir de la hipótesis general.
Etapas del • Un ejemplo de hipótesis general podría ser la siguiente: "Sí los individuos
se frustran entonces desarrollan agresividad", los conceptos enunciados
en esta hipótesis (frustración y agresividad) son excesivamente genéricos
por lo que precisa, para que sea operativa, formularlos en términos más
método concretos de tal manera que se puedan medir. De esta forma el contraste
de hipótesis generales se realiza normalmente de un modo indirecto,
mediante la deducción de consecuencias muy concretas, que podemos
verificar.
deductivo
donde estén operacionalizadas las variables (planteadas de tal forma que
puedan ser medidas). Así podríamos decir: “Si se frustra a los sujetos con
tareas que no pueden resolver entonces manifestarán un mayor número
de insultos (agresión verbal) que los sujetos que no tengan que realizar
tareas irresolubles”.
Etapas del III. Verificación o contrastación de la hipótesis
• Una vez formulada la hipótesis y sus
método consecuencias es preciso proceder a su
verificación o contrastación, esto se puede realizar
hipotético a través de diferentes métodos.
deductivo
El método axiomático
• Las ciencias formales son aquellas que no dicen nada de la experiencia de la
realidad por sí mismas.
• Las ciencias formales parten en sus razonamientos deductivos de
AXIOMAS. La palabra “axioma” significa “dignidad” en griego y se llamó
así (Euclides fue el primero en usar en este sentido la palabra) con el fin de
dar a entender que las PROPOSICIONES AXIOMÁTICAS son las más
importantes, las más dignas, las primeras de todas.
El método axiomático
• Un conjunto de axiomas debe cumplir tres requisitos:
• a) Los axiomas deben ser independientes entre sí. Es decir, un axioma no se
puede deducir de otro.
• b) El conjunto de axiomas debe ser consistente. Eso significa que de un
axioma no se puede deducir un teorema que contradiga otro axioma.
• c) El conjunto debe ser completo. Esto significa que podremos saber de
cualquier teorema que se deduce de los axiomas si es verdadero o es falso.
El método axiomático
• LOS TEOREMAS son las proposiciones que se deducen de los axiomas.
Ejemplo: el teorema de Pitágoras: “El cuadrado de la hipotenusa de un
triángulo es igual al cuadrado de los lados del triángulo”.
• Los teoremas se deducen de los axiomas.
El método axiomático
• Un sistema formal se compone de lo siguiente:
• 1. Un conjunto finito de símbolos que se utilizan para la construcción de fórmulas. Es el
alfabeto o vocabulario.
• 2. Una gramática formal, es decir, un mecanismo para la construcción de fórmulas bien
formadas (abreviado: fbf)
• 3. Un conjunto de axiomas que deben ser fórmulas bien formadas.
• 4. Un conjunto de reglas de inferencia (mediante las cuales se obtienen conclusiones en base
a la información conocida)
• 5. Un conjunto de teoremas que incluye todas las fbf que se pueden derivar de los axiomas o
de otros teoremas mediante reglas de inferencia
El método axiomático
• Las propiedades que deben cumplir los sistemas formales son:
• 1. CONSISTENCIA: No ha de ser posible demostrar en él una fórmula y su
negación.
• 2. COMPLETUD: Todas las fórmulas lógicamente válidas (verdaderas bajo
cualquier interpretación) han de ser demostrables a partir de los axiomas y las reglas
de inferencia.
• 3. DECIDIBILIDAD: Un sistema es decidible cuando existe al menos un método
efectivo (un algoritmo) para decidir si una fórmula cualquiera del lenguaje del
sistema es lógicamente válida o no.
El método axiomático