Falseabilidade

falseabilidade - Wikilingue - Encydia

contiene una lista de fuentes o una única fuente en el fin del texto, pero estas no son citadas en el cuerpo del artículo, lo que compromete la verificabilidade. (desde junio de 2010)
Usted puede mejorar este artículo introduciendo notas de rodapé citando las fuentes, insertándolas en el cuerpo del texto cuando necesario.

La Wikipédia posee lo:
Portal de Filosofía

Falseabilidade (o refutabilidade ) es un concepto importante en la filosofía de la ciencia (epistemologia). Para una asserção ser refutável o falseável, en principio será posible hacer una observación o hacer una experiencia física que intente mostrar que esa asserção es falsa.

Por ejemplo, la asserção "todos los cuervos son negros" podría ser falsificada por la observación de un cuervo rojo. La escuela de pensamiento que coloca la ênfase en la importancia de la Falseabilidade como un principio filosófico es conocida como la Falseabilidade.

Falsear

La falseabilidade fue desarrollada inicialmente por Karl Popper los años 30 del siglo XX. Popper notó que dos tipos de enunciados son de particular valor para los científicos. El primero son enunciados de observaciones, tales como "este cisne es blanco". En la teoría de la lógica llamamos a estos enunciados existenciais singulares, una vez que afirman la existencia de una cosa en particular. Ellos pueden ser analizados en la forma: existe una x que es cisne y es blanco. Falló al verificar gramática (El ejecutable texvc no fue encontrado. Consulte math/README para instrucciones de la configuración.): \left ( \exists x \right ) \left ( Cx \and Bx \right ) \,\!

Donde: C es el predicado Cisne, B es el predicado blanco.

El segundo tipo de enunciado de interés para los científicos categoriza todos los ejemplares de alguna cosa, por ejemplo "todos los cisnes son blancos". En la lógica llamamos a estos enunciados universales. Ellos son normalmente analizados en la forma para todos los x, si x es un cisne entonces x es blanca. Falló al verificar gramática (El ejecutable texvc no fue encontrado. Consulte math/README para instrucciones de la configuración.): \left ( \forall x \right ) \left ( Cx \te lo Bx \right ) \,\!

"Leyes" científicas (más correctamente llamadas teorías) son normalmente tenidas cómo siendo de esta forma. Tal vez la cuestión más difícil en la metodologia científica es, como es que podemos llegar a la teorías partiendo de las observaciones? Como podemos inferir de forma válida un enunciado universal a partir de enunciados existenciais (por muchos que sean)?

La metodologia indutivista suponía que se puede pasar de una serie de enunciados singulares para un enunciado universal. O sea, que se puede pasar de uno "este es un cisne blanco", "allí está otro cisne blanco", y por ahí en delante, para un enunciado universal como "todos los cisnes son blancos". Este método es claramente inválido en lógica, una vez que será siempre posible que exista un cisne no-blanco que por algún motivo que no haya sido observado.

Este era el Problema de la inducción, identificado por David Hume el siglo XVIII y cuya resolución es propuesta por Popper.

Popper defendió que la ciencia no podría ser basada en tal inferencia. Él propuso la falseabilidade como la solución del problema de la inducción. Popper vio que a pesar de un enunciado existencial singular como "este cisne es blanco" no poder ser usado para afirmar un enunciado universal, él puede ser usado para mostrar que un determinado enunciado universal es falso: la observación existencial singular de un cisne negro sirve para mostrar que el enunciado universal "todos los cisnes son blancos" es falso. En lógica llamamos a esto de modus tollens.