Deduccin

En lgica, una deduccin es un argumento donde la conclusin se infiere necesariamente de las premisas.1 En su definicin formal, una deduccin es una secuencia finita de frmulas, de las cuales la ltima es designada como la conclusin (la conclusin de la deduccin), y todas las frmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de frmulas previas en la secuencia por medio de reglas de inferencia.1 2 Por ejemplo, la siguiente es una deduccin de la frmula proposicional: en el sistema de la lgica

Se trata de una secuencia de tres frmulas. Si esta secuencia ha de ser una deduccin, entonces la ltima frmula ser la conclusin, es decir la frmula siendo deducida, y las otras dos deben ser, o bien premisas, o bien axiomas, o bien deducciones previas. La primera frmula, es una instancia del esquema de axioma , no es

(en el sistema de Jan ukasiewicz), y por lo tanto es un axioma. La segunda frmula,

un axioma, y tampoco puede ser deducida de la frmula previa, de modo que es una premisa. Para que esta secuencia sea una deduccin, entonces, slo falta que sea posible inferir la ltima frmula a partir de las dos anteriores por medio de una regla de inferencia del sistema. Y en efecto, por medio del modus ponens (la nica regla de inferencia del sistema de ukasiewicz) es posible deducir la ltima frmula a partir de las otras dos. Esta secuencia constituye, por lo tanto, una deduccin.

[editar]Vase

tambin

Demostracin matemtica Validez lgica Consecuencia lgica

[editar]Notas

y referencias

Inductivismo
(Redirigido desde Mtodo lgico inductivo)

El inductivismo o mtodo lgico inductivo es un mtodo cientfico que saca conclusiones generales de algo particular. Este ha sido el mtodo cientfico ms comn, pero tambin han surgido otras escuelas epistemolgicas que han desarrollado otros como el falsacionismo y los paradigmas de Kuhn. El inductivismo se caracteriza por tener 4 etapas bsicas:

Observacin y registro de todos los hechos Anlisis y clasificacin de los hechos Derivacin inductiva de una generalizacin a partir de los hechos Contrastacin

En una primera etapa se deberan observar y registrar todos los hechos y luego analizarlos y clasificarlos ordenadamente. A partir de los datos procesados se deriva una hiptesis que solucione el problema basada en el anlisis lgico de los datos procesados. Esta derivacin de hiptesis se hace siguiendo unrazonamiento inductivo. En la ltima etapa se deduce una implicacin contrastadora de hiptesis. Esta implicacin debera ocurrir en el caso de que la hiptesis sea verdadera, as si se confirma la implicacin contrastadora de hiptesis quedar validada la hiptesis principal.

MTODO DEDUCTIVO VS. MTODO INDUCTIVO

EL MTODO INDUCTIVO Esta metodologa se asocia originariamente a los trabajos de Francis Bacon a comienzos del siglo XVII. En trminos muy generales, consiste en establecer enunciados universales ciertos a partir de la experiencia, esto es, ascender lgicamente a travs del conocimiento cientfico, desde la observacin de los fenmenos o hechos de la realidad a la ley universal que los contiene. Resumiendo las palabras de Mill (1973, las investigaciones cientficas comenzaran con la observacin de los hechos, de forma libre y carente de prejuicios. Con posterioridad -y mediante inferencia- se formulan leyes universales sobre los hechos y por induccin se obtendran afirmaciones an ms generales que reciben el nombre de teoras. Segn este mtodo, se admite que cada conjunto de hechos de la misma naturaleza est regido por una Ley Universal. El objetivo cientfico es enunciar esa Ley Universal partiendo de la observacin de los hechos. Atendiendo a su contenido, los que postulan este mtodo de investigacin distinguen varios tipos de enunciados: Particulares, si se refieren a un hecho concreto. Universales, los derivados del proceso de investigacin y probados empricamente. Observacionales, se refieren a un hecho evidente. Haciendo hincapi en el carcter empirsta de esta metodologa, la secuencia seguida en este proceso de investigacin puede resumirse en los siguientes puntos (Wolfe, 1924, pg. 450): 1. Debe llevarse a cabo una etapa de observacin y registro de los hechos.

2. A continuacin se proceder al anlisis de lo observado, establecindose como consecuencia definiciones claras de cada uno de los conceptos analizados. 3. Con posterioridad, se realizar la clasificacin de los elementos anteriores. 4. La ltima etapa de este mtodo est dedicada a la formulacin de proposiciones cientficas o enunciados universales, inferidos del proceso de investigacin que se ha llevado a cabo. EL MTODO DEDUCTIVO Antes de iniciar unas breves pinceladas obre este mtodo, es interesante resaltar una distincin importante entre deductivismo y deduccin, lo mismo que podra establecerse entre inductivismo e induccin. La deduccin, tanto si es axiomtica como matemtica, puede emplearse de manera que facilite el anlisis estadsitco y el contraste. Sin embargo, el deductivismo implica que la estadstica y el conocimiento emprico es tan transitorio que no vale la pena y que un primer anlisis deductivo puede proporcionar una mejor comprensin de un determinado fenmeno (Pheby, 1988, pg. 14). Las primeras consideraciones del mtodo deductivo podran remontarse a los trabajos de Descartes a comienzos del siglo XVII, en su afn de encontrar un mtodo que proporcionara un mejor conocimiento de las diferentes esferas de actividad. Por consiguiente, los objetivos de Bacon y Descartes eran similares, sin embargo, la forma de conseguirlos era diametralmente opuesta. Descartes utilizaba la deduccin y las matemticas como punto referencial, mientras que Bacon le prestaba muy poca atencin a estos instrumentos. Centrndonos en el deductivismo, se trata de un procedimiento que consiste en desarrollar una teora empezando por formular sus puntos de partida o hiptesis bsicas y deduciendo luego sus consecuencia con la ayuda de las subyacentes teoras formales. Sus partidarios sealan que toda explicacin verdaderamente cientfica tendr la misma estructura lgica, estar basada en una ley universal, junto a sta, aparecen una serie de condicionantes iniciales o premisas, de las cuales se deducen las afirmaciones sobre el fenmeno que se quiere explicar. El argumento deductivo se contrapone al mtodo inductivo, en el sentido de que se sigue un procedimiento de razonamiento inverso. En el mtodo deductivo, se suele decir que se pasa de lo general a lo particular, de forma que partiendo de unos enunciados de carcter universal y utilizando instrumentos cientficos, se infieren enunciados particulares, pudiendo ser axiomtico-deductivo, cuando las premisas de partida estn constituidas por axiomas, es decir, proposiciones no demostrables, o hipotticos-deductivo, si las premisas de partida son hiptesis contrastables. Las leyes universales vendrn dadas por proposiciones del tipo en todos los casos en los que se da el fenmeno A, se da tambin el fenmeno B. Estas leyes tendrn un carcter determinista cuando se refieran a fenmenos >B individuales y carcter estocstico cuando hagan mencin a clases de fenmenos B que se den con una cierta probabilidad. La actuacin seguida por el investigador sera la siguiente: 1. Planteamiento del conjunto axiomtico de partida. El criterio que debe seguirse en esta etapa debe ser el de la sencillez. Los supuestos deben incorporar slo las caractersticas ms importantes de los fenmenos, debiendo ser eliminadas las irrelevantes. Debe existir coherencia entre los postulados, sin que haya contradiccin entre unos y otros. 2. Proceso de deduccin lgica, partiendo siempre de los postulados iniciales, es decir, de la etapa anterior. 3. Enunciado de leyes de carcter general, a los que se llegar partiendo del conjunto axiomtico y a travs del proceso de deduccin.

Del procedimiento lgico se infiere que las explicaciones y predicciones siguen las mismas reglas de deduccin, la nica diferencia est en que la explicacin se produce una vez que ha ocurrido el suceso, mientras que la prediccin tienen un carcter apriorstico. Para citar una causa determinada como explicacin de un fenmeno concreto, hemos de someterlo a una ley universal. En el caso de la prediccin, partimos de una ley universal y de un conjunto de premisas deduciendo de ellos proposiciones acerca del fenmeno desconocido. La idea de la existencia de un paralelismo entre la naturaleza de las explicaciones y de las predicciones ha sido denominada tesis de la simetra. Este concepto ha suscitado numerosas crticas. Se argumenta que la prediccin no tiene por qu implicar explicacin, e incluso que la explicacin no tiene por qu implicar prediccin alguna. Esta conclusin nos parece razonable, en cuanto que para predecir el valor futuro de una variable basndonos en sus valores histricos no es necesario explicar la naturaleza de la misma, basta con aplicar los mtodos estadsticos apropiados. Igualmente, para explicar la naturaleza de la variable no es necesario extrapolar valores futuros. A estos efectos comenta Blaug (1985, pg. 22): Mientras para la prediccin es suficiente con que exista correlacin entre dos variables, par la explicacin es necesario saber acerca de la naturaleza de las variables y de algo que determine cul es la variable causa y cul la variable efecto. Por ltimo, finalizaremos la descripcin del mtodo deductivo afirmando que, dada la dificultad para contrastar empricamente las hiptesis bsicas, se da cada vez un mayor grado de abstraccin de las teoras construidas a partir de este procedimiento, lo que conlleva la construccin de modelos como representacin simplificada de la realidad, con el consiguiente riesgo de separacin entre modelo y realidad. Sin embargo, es preciso sealar, como apunta Pheby (1988, pg. 14), que existe una clara separacin entre deductivismo y los procedimientos de deduccin que habitualmente se emplean en economa. La deduccin, sea axiomtica o matemtica, puede ser empleada para facilitar los anlisis estadsticos y test de hiptesis, en cambio el deductivismo postula que el conocimiento estadstico y emprico es transitorio, un primer anlisis deductivo puede proporcionar mejor comprensin de los fenmenos. DIFERENCIA FUNDAMENTAL ENTRE EL MTODO DEDUCTIVO Y EL MTODO INDUCTIVO La diferencia fundamental entre el mtodo deductivo y el mtodo inductivo es que el primero aspira a demostrar, mediante la lgica pura, la conclusin en su totalidad a partir de unas premisas, de manera que se garantiza la veracidad de las conclusiones, si no se invalida la lgica aplicada. Por el contrario, el mtodo inductivo crea leyes a partir de la observacin de los hechos, mediante la generalizacin del comportamiento observado; en realidad, lo que realiza es una especie de generalizacin, sin que por medio de la lgica pueda conseguir una demostracin de las citadas leyes o conjunto de conclusiones. Dichas conclusiones podran ser falsas y, al mismo tiempo, la aplicacin parcial efectuada de la lgica podra mantener su validez; por eso, el mtodo inductivo necesita una condicin adicional, su aplicacin se considera vlida mientras no se encuentre ningn caso que no cumpla el modelo propuesto. Publicado por alfsanen 06:40