INDUCCION Y VERIFICACION

INDUCCIN
Mtodo de conocimiento que permite obtener por generalizacin un enunciado general a partir
de enunciados que describen casos particulares. La induccin se considera completa cuando se
han observado todos los casos particulares, por lo que la generalizacin a la que da lugar se
considera vlida

Las tesis de Carnap fueron modificndose con el transcurrir del tiempo; pas de posiciones
verificacionistas a en 1936, admitir la confirmabilidad como criterio, y desde 1949, desarroll su
teora del grado de confirmacin que sirvi para acercar las posiciones del positivismo lgico con
la lgica probabilitaria.

Segn Carnap la confirmacin de un enunciado es estrictamente lgica.

"Si en un momento dado disponemos de una serie de datos Oi obtenidos por observacin y de
una serie de hiptesis que explican esos datos Hj a continuacin hemos de determinar la
probabilidad de cada una de las hiptesis Hj con respecto a las observaciones con las que se
cuenta en un momento dado".

El uso de la lgica probabilstica permite escoger la opcin de mayor grado de probabilidad. De

este modo naci el concepto de "grado de confirmacin". Este concepto est alejado del inicial
concepto de verificacin. El empirismo lgico acab confluyendo en la afirmacin de la
induccin como mtodo principal de las ciencias empricas. La evolucin del inductivismo se
denota en la definicin sintctica de la nocin de confirmacin. Todo ello dio lugar a un amplio
campo en el inductivismo al que contribuyeron adems Kemeny, Bar Hillel, Hintikka, Kuipers.

Por otro lado se iniciaban las crticas y sus consecuentes (y consustancialmente distintas
metodologas cientficas. (Popper y el falsacionismo).

JORGE

3.- Paradojas de la confirmacin.

Estas paradojas (la de los cuervos y la del verzul) estn tan tratadas que se ha llegado a plantear
que el "verzul" sera un predicado enraizado.

4.- Nociones mtricas y no mtricas del grado de confirmacin.

Una de las consideraciones (posibilidad de ofrecer una nocin mtrica de confirmacin) es

tratada por Hempel. Putnam afirma que no todo mtodo inductivo pueda representarse en una
funcin cientfica.

5.- Objeciones a la nocin de confirmacin. Popper y Feyerabend.

Popper objeta que la ciencia no pretende hiptesis confirmadas puesto que, el grado de
confirmacin de las leyes universales sera 0. Feyerabend critica las condiciones de Hempel para
la definicin de confirmacin por restrictivas.
MICHE

VERIFICACIN
Comprobacin de la validez de un enunciado recurriendo a la experiencia. El principio de
verificacin es el criterio de validacin de enunciados propuesto por el positivismo lgico
(crculo de Viena): un enunciado slo tiene significado cognitivo si su verdad o falsedad puede
ser comprobada mediante observaciones empricas.

Verificar una proposicin es comprobar que las cosas son como en la proposicin se dice que
son, por lo tanto comprobar su verdad. Nos podra parecer que el modo de comprobar la verdad
de una proposicin ha de ser distinto en funcin de la realidad a la que se refiere, por ejemplo,
que una proposicin referida a un hecho histrico no se comprobar de la misma forma que una
proposicin matemtica o una proposicin de la biologa, o una proposicin que describe si un
alimento est bien o mal cocinado, o una proposicin relativa a una sentencia judicial,...; sin
embargo, muchos filsofos han credo que es posible establecer uno o unos pocos mtodos de
verificacin que puedan servir para comprobar la validez (la verdad) de todas nuestras
proposiciones. Esto es precisamente lo que crey el neopositivismo. Para el neopositivismo slo
son legtimas dos estrategias para comprobar la verdad de una proposicin

la justificacin puramente formal, vlida en las ciencias formales (lgica y matemtica);

para comprobar una proposicin lgica o matemtica no nos hace falta acudir a la
experiencia, nos basta que sea fiel o se acomode a las leyes de la lgica o de la
matemtica;

la justificacin emprica: aquellas proposiciones que se refieren al mundo real, que

aspiran a darnos informacin acerca de la realidad, se han de verificar, y verificar
precisamente mediante la observacin emprica, mediante la percepcin.

- David Hume
- Emmanuel Kant
- Saint Simon
- John Stuart Mill
- Herbert Spencer
-Ernest Mach
Saint Simon
John Stuart Mill

KEVIN
1.- Verificacin.

En el positivismo lgico los criterios de verificabilidad y confirmabilidad, son a la vez criterios de

significado y demarcacin entre ciencia y no ciencia, adems de ser criterios de aceptabilidad.
Segn esto, sera cientfico un enunciado que pudiese ser verificado en funcin de los indicios
observacionales. Los enunciados universales no pueden ser verificados de este modo por lo que
se opt por el criterio de confirmabilidad.

La verificacin es una prueba que no ha de realizarse en expresiones que no sean frmulas de

lgica y matemticas.

La dependencia lgica entre enunciados cientficos y proposiciones elementales (protocolares

del C.V) establecida por Wittgenstein se revel como excesivamente estricta. No es posible
derivar de los enunciados atmicos las leyes generales. Esto se debe a que no pueden ser
verificados directamente a travs de la empiria. La nica forma de verificar una ley general es a
travs de sus consecuencias empricas. (Caso de Neptuno y Plutn).

ANA

La definicin de Kraft de verificacin es la que sigue:

"comprobar la conformidad de un hecho predicho con uno observado".

El mtodo de verificacin puede incurrir en un crculo vicioso (demostracin de los tomos, etc.,
ya que determinados conceptos tericos slo son traducibles).

Desde el mismo Crculo De Viena surgieron objeciones.

Por otro lado la verificacin y la confirmacin estn unidas a la teora de la verdad.

Concepcin clsica(Parmnides, Aristteles):

Adecuacin entre el decir y el ser.

Concepcin del empirismo lgico: Adecuacin entre lo que se dice y los hechos.

La respuesta de los empiristas segua adaptado a la "adequatio" tradicional, con lo cual el

concepto sufri modificaciones. En etapas posteriores del Crculo de Viena, se diferencia entre
verificacin y verificabilidad, con lo que quedaba tambin matizado el criterio inicial de
cientificidad.

Las criticas y modificaciones que realizaron Slick, Carnap, Ayer, inician un nuevo concepto de
verificacin, el probabilstico.

2.- Condiciones de una definicin de confirmacin.

Se trata de un estudio de Hempel en torno a la caracterizacin del concepto de confirmacin.

Feyerabend critica las condiciones de Hempel para la definicin de confirmacin por restrictivas.

DANI