DEDUCCIN

Si un enunciado p implica lgicamente un enunciado q, entonces q es deducido lgicamente de p Por medio del mtodo deductivo, usado en todas las ciencias, se pueden llevar a cabo pruebas formales (en las que se llega a conclusiones formalmente vlidas).
La deduccin depende de la relacin de implicacin Russell y Whitehead Principia Mathematica

DEDUCCIN
Inferencia deductiva:
Argumento o inferencia en la que, a partir de una serie de premisas, se sigue una determinada conclusin. Cuando hay una relacin de deducibilidad entre conclusin y premisas, la conclusin es descrita como una consecuencia lgica de las premisas

Si todos los As son Bs y todos los Bs son Cs, entonces todos los As son Cs.
* En la inferencia deductiva A, B y C pueden ser cualquier cosa.

Ejemplo: Todos los marcianos son verdes. Mister Green es un marciano. Luego, Mister Green es verde
Chalmers: La gran fuerza de la lgica es su carcter preservador de la verdad en: Qu es esa cosa llamada ciencia? p. 40

INDUCCIN
Inferencia inductiva:
Es una inferencia cuya conclusin no se sigue deductivamente de las premisas, pero de alguna manera es apoyada por stas o hecha plausible a la luz de ellas.
El razonamiento cientfico que va de las observaciones a las teoras es considerado el paradigma de razonamiento Inductivo En La lgica inductiva: Si el hecho de que todos los As observados sean Bs apoya la afirmacin de que todos los As son Bs, eso depende de lo que A y B sean. El filsofo empirista FRANCIS BACON sostuvo que la induccin es el nuevo mtodo de la ciencia

CONCEPCIONES COMUNES DE LA INDUCCIN DAVID HUME: El razonamiento inductivo se basa en el hbito engendrado por la observacin de que ciertos acontecimientos siguen a otros, de modo que puede predecirse que seguir siendo as en el futuro. En el siglo XX proliferan doctrinas sobre el razonamiento inductivo como razonamiento probable

INFERENCIA INDUCTIVA
No todas las generalizaciones a partir de los hechos observables estn justificadas
Ejemplo: Todos los cisnes son blancos es la conclusin de una inferencia inductiva CONDICIONES INFERENCIA INDUCTIVA SATISFACTORIA La base de la generalizacin debe ser grande Problema de la vaguedad de nmero Cuntas observaciones se requiere? Las observaciones se deben repetir en una amplia variedad de condiciones Los resultados observacionales derivados jams deben entrar en contradiccin con la ley universal derivada

PROBLEMAS DE LA INDUCCIN: HUME Y LA FORMULACIN CLSICA

Muchos filsofos han hecho notar que la induccin plantea un problema, cuya exposicin clsica se encuentra en la Investigacin sobre el entendimiento humano de David Hume. Hume: las inferencias que parten de la experiencia suponen como fundamento que el futuro se parecer al pasado. Tal suposicin es una conjetura que no se puede probar. Hume no trata de justificar el razonamiento inductivo, ni sostiene que debamos rechazarlo.

LA INDUCCIN Y SU JUSTIFICACIN
La expectativa de que la llama de fuego produzca calor es como un instinto natural que ningn razonamiento puede producir ni impedir.

Posiciones filosficas frente a la induccin y su justificacin Algunos filsofos rechazan la incredulidad humeana sobre la racionalidad en el proceso de induccin: sostienen que operar con razonamientos inductivos es parte de lo que todos entendemos como racionalidad. Algunos dicen que la induccin est circularmente justificada por sus aciertos pasados y que esa circularidad no es viciosa. Tambin es comn la justificacin pragmtica que sostiene: no que los procedimientos inductivos hayan de conducir a la verdad pero que si hay alguna verdad a conocer, los procedimientos inductivos son el mejor camino para llegar a ella. Popper argumenta que los cientficos no avanzan infiriendo alegremente el curso del futuro a partir de regularidades pasadas, sino proponiendo generalizaciones audaces y tratando luego de falsearlas.

INDUCTIVISMO
Los inductivistas distinguan entre ciencia y pseudociencia (metafsica) aduciendo que las ciencias proceden por va inductiva , a diferencia de las pseudociencias CONTRA EL INDUCTIVISMO KARL POPPER: Retoma el problema de la demarcacin: distinguir entre ciencias empricas y sistemas metafsicos El autntico test para una teora cientfica no es su verificabilidad, sino su posibilidad de ser refutada (falsacin) Hay una asimetra entre verificacin y falsacin: una ley cientfica es falsable aunque no sea verificable (ej. basta observar un cisne negro)

MTODO HIPOTTICO DEDUCTIVO

Hiptesis Idea o conjetura propuesta como posible solucin a un problema, cuya aceptabilidad requiere ser investigada mediante argumentacin o mediante observacin-experimento. Son usadas por todas las personas, desde el detective hasta el metafsico. Forman la base de un influyente mtodo cientfico, el mtodo hipottico deductivo, estrechamente relacionado a la afirmacin de Karl Popper, de que las teoras cientficas son hiptesis empricas y continan conservando su carcter de hiptesis por grande que sea su resistencia a los repetidos intentos de falsearla. Mtodo hipottico-deductivo En la ciencia una teora es un enunciado general o hiptesis a partir del cual pueden ser deducidas inferencias particulares.