Escolar Documentos
Profissional Documentos
Cultura Documentos
Leccin 2
Podemos clasificar a los enunciados en tres:
1. Segn las expresiones lgicas que aparezcan o no. (y, o,
entonces, pero, no,...)
Oraciones Simples: expresan una solo proposicin. (La
mesa es blanca)
Oraciones Complejas: expresan 2 o ms proposiciones,
contienen las expresiones lgicas. Dentro de ellas estn las
conjunciones, las disyunciones y los condicionales.
Conjunciones: combinacin de 2 o mas proposiciones, las cuales se
unen por las expresiones lgicas y, pero, aunque y sin embargo.
Los conyuntos son cada una de las proposiciones unidas por la
conjuncin. (Llueve y hace fro)
A B AyB
V V V
V F F
F V F
F F F
Disyunciones: combinan 2 o ms proposiciones, se diferencian de las conjunciones
porque no se afirma que las proposiciones sean ciertas sino que aunque sea una de ellas
lo es.
Inclusiva: no excluye ninguna de las dos proposiciones ni se compromete con una, utiliza
las expresiones lgica y y o. (Voy al cine o al teatro)
A B AoB
V V V
V F V
F V V
F F F
Exclusiva: se afirma que una de las proposiciones sea cierta pero se excluye que ambas lo
sean, utiliza la expresin lgica o bien (Los beatles son ingleses o bien dinamarqueses),
tambin se utiliza o si son cosas que nos se pueden dar al mismo tiempo (Respiro o
estoy muerto).
A B A o bien B
V V F
V F V
F V V
F F F
A B Si A entonces B
V V V
V F F
F V V
F F V
A B Solo si A, B
V V V
V F V
F V F
F F V
A B A si y slo si B
V V V
V F F
F V F
F F V
Negacin: No, Es falso que, No es cierto que, se utilizan prefijos negativos como
In-, Des-. Se invierte el valor de verdad de la proposicin. (No llueve)
Si lo que se niega es verdadero la oracin es verdadera, si se da lo contrario la oracin es
falsa.
Leccin 3 y 4
Evaluacin de argumentos: determinar si es bueno o malo o que tan bueno o que tan
malo es. Al argumento amos por supuestos ciertos elementos (premisas)e inferimos una
conclusin. Hay ciertos casos en que las premisas ofrecen razones a favor de la
conclusin pero resultan cuestionables. Los argumentos se dividen en vlidos e invlidos.
Los argumentos invlidos no ofrecen razones que logran establecer de
modo definitivo la conclusin, si ofrecen algn tipo de razn a favor de ella. Se permite
que las premisas sean verdaderas y la conclusin falsa. A estos argumentos se les
puede dar contraejemplos,un ejemplo de argumento con dicha estructura que conduzca
de premisas verdaderas y a una conclusin falsa. Dentro de stos se encuentran las
falacias y los argumentos inductivos dentro de los cuales se encuentran los
argumentos por analoga, por enumeracin incompleta y por silogismo inductivo.
Las falacias son argumentos que tienen la intencin de engaar, se hacen pasar por el
Modus ponens y el Modus Tollens.
1. Falacia por afirmacin del consecuente, el consecuente se puede dar por otra cosa no
necesariamente el antecedente planteado.
Si A entonces B
B
--------------------
A
2. Falacia por negacin del antecedente, el consecuente se puede dar aunque el
antecedente no se de.
Si A entonces B
No A
--------------------
No B
Argumentos inductivos: la verdad de sus premisas no afirma la conclusin. Si las
premisas son verdaderas tiene ms probabilidades, cuantas ms probabilidades ms
cierto o menos cierto ser el argumento. La conclusin amplia. No hay un criterio para
determinar cundo un argumento es mejor, no tiene que ver con la estructura lgica ya que
lgicamente son invlidos. La evaluacin de estos depende de qu tipo de argumento
invlido sea.
Argumentos por enumeracin incompleta:se parte en las premisas de una serie de casos
observados y se generaliza en su conclusin para casos que van ms all de la evidencia
disponible.
x1 es Z
x2 es Z
x3 es Z
---------------------------------------
Por lo tanto, todos los x son Z
Silogismo Si A entonces B
hipottico Si B entonces C
---------------------
Si A entonces C
Simplificacin AyB
-------
A
Adicin A
B
-------
AyB
Silogismo AoB
disyuntivo No A
-------
B
Una deduccin o prueba directa es una secuencia de oraciones que parten de supuestos
o premisas, y donde cada una de las lneas o pasos siguientes se obtiene aplicando
alguna de las reglas a algunas de las lneas anteriores, para ir llegando a conclusiones
parciales, donde la ltima es la conclusin.
En las pruebas indirectas o pruebas por absurdo se parte de unas premisas y se quiere
llegar a una supuesta conclusin. Para esto se parte de suponer que aquello que se quera
probar es falso y se intenta a arribar a una contradiccin a partir de las reglas de
inferencia. Si se obtiene una contradiccin se afirma que el supuesto provisional del que se
parti es falso.
Geometria griega
Siglo VII : comienza a desarrollarse una forma peculiar de pensamiento
para tratar de explicar los fenmenos de la naturaleza .
En este contexto surgieron algunos pensadores como Tales de Mileto ,
Anaximandro y Anaximenes , los cuales reconocieron la importancia de
la teora como organizadora de la practica . Esto significa que los
conocimientos practicos , basados en la experiencia , tenan que poder
explicarse a partir de nociones teoricas .
Tales de Mileto , fue uno de los primeros matematicos y astrnomos
griegos , y uno de los primeros en utilizar mtodos deductivos en la
geometra .
Su principal contribucin no fue la resolucin de los problemas
geomtricos, si no el tratamiento general de esos problemas . Esto
peritio formular y aplicar propiedades de carcter general , dndoles
mas importancia a los mtodos involucrados en la resolucin de
problemas que a la soluciones particulares.
Euclides y la Geometria
Euclides logro sistematizar una serie de conocimientos geomtricos
cuya finalidad inmediata no era la resolucin de problemas concretos ,
a la manera de los egipcios y babilonios . cuando hablamos de
sistematizar , nos referimos a la circusntancia de que los enunciados
se presentan articulados , organizados etc .
Entre las obras de Euclides, se encuentra ELEMENTOS , donde
sistematiza toda la matematica . En uno de sus libros , establece
enunciados que son suposiciones que se aceptan sin demostracin y
que constituyen los principios a travs de los cuales va a poder
demostrar los siguientes enunciados del sistema y los llama :
POSTULADOS : (axiomas ) son aquellos que refieren a una ciencia en
particular
NOCIONES COMUNES _ hacen referencia a cuestiones generales que
pueden aplicarse tanto a la geometra como a otros mbitos .
Luego incluye las DEFINICIONES , aqu , pretende definir todos los
trminos con los que trabaja , su intencin fue dar descripciones
someras de los objetos con los que trata la geometra para evitar que
en las demostraciones se deslizaran errores causados por la vaguedad
de los terminso usados .
A partir de los postulados y las nociones comunes , Euclides obtiene
deductivamente una serie de enunciados llamados proposiciones o
teoremas . Como los postulados y las nociones comunes se consideran
enunciados verdaderos y proposiciones , se obtienen deductivamente
a partir de ellos , resultan enunciados verdaderos y tiene la formula de
enunciados universales .
El problema del quinto postulado
La aparente falta de evidencia de la formulacin original del quinto
postulado hizo que los gemetras posteriores a la poca de Euclides
sospecharan que el postulado era en realidad un teorema . A lo largo
de los siglos , se adverta que no se haba partido solo de los primeros
cuatro postulados , si no que se haba utilizado tambin otro enunciado
que resultaba equivalente al quinto postulado .
Perspectiva contempornea
Los axiomas son los enunciados que se aceptan sin demostracin y
constituyen los puntos de partida de las demostraciones , ya no se
exige que los axiomas sean verdades evidentes ; solo se trata de
enunciados que se acepta tomas como puntos de partida . El nuevo
enfoque formal con que se aborda la formulacin de los sistemas
axiomaticos hace que pierda sentido la exigencia respecto a la verdad
de los axiomas .
La Revolucin Darwiniana
Se identifican cuatro fuentes de informacin clave que influyeron en el
pensamiento de Darwin:
1. la propuesta geolgica de Lyell
2. sus propias investigaciones en las islas Galpagos
3. la cra de animales
4. el aporte de Malthus a la economa poltica
Charles Lyell (1797 - 1875) es propulsor de una metodologa que
Darwin asumira: el ACTUALISMO y el UNIFORMISMO. El actualismo
refera a los fenmenos geolgicos del pasado que deban ser
explicados en funcin del mismo tipo de causas que pueden
observarse en la actualidad. El uniformismo refera a los fenmenos
geolgicos del pasado que no seran slo del mismo tipo que los
actuales; las causas de antes no eran ms violentas que las actuales.
Segn Lyell, los accidentes geogrficos (como la cordillera de los
Andes) no se haban formado como resultado de una nica catstrofe
sino que haban ido ascendiendo gradualmente en el transcurso de un
extenso perodo de tiempo. Los accidentes geogrficos slo podan ser
explicados apelando a causas que todava hoy actan (erosin,
terremotos, etc.). Las explicaciones de Lyell utilizaban como factor
explicativo la apelacin a cantidades enormes de tiempo. Esto
implicaba una necesidad de los organismos a cambiar para no perecer:
Darwin juzg necesario explicar la distribucin y las adaptaciones de
animales y plantas en trminos lyellianos: la situacin actual haba de
ser el resultado de cambios lentos producidos por causas naturales.
Las especies deban o emigrar en busca de condiciones en las que
sobrevivir o extinguirse de manera gradual, si la geologa modifica
continuamente.
En cuanto a sus observaciones, tuvo que ver su paso por la Patagonia
Argentina y su expedicin en las islas Galpagos. En las costas de
Punta Alta (Buenos Aires) encontr fsiles de roedores enormes que
claramente se encontraban relacionados con los roedores actuales. En
las islas Galpagos, pudo observar que las diferentes islas tenan
distintos tipos de pinzones con diversas caractersticas (por ejemplo,
mostraban picos muy diferentes, adaptados a distintas maneras de
bsqueda de alimentos, etc.). A la vuelta de su viaje convers con un
ornitlogo acerca de esto y l le dijo que cada variedad de pinzn
deba ser considerada para una especie diferente. Por eso Darwin
reflexion que no se poda atribuir a Dios una creacin de distintas
variantes de pinzones de manera independiente, sobre todo
considerando que las islas eran de reciente formacin, lo ms lgico
era pensar que emigraron desde Sudamrica y para adaptarse al
nuevo entorno, cambiaron. Darwin aceptaba las primeras dos leyes de
Lamarck pero crea que la capacidad explicativa de stas era muy
limitada ya que slo se aplicaban cuando la modificacin del organismo
era dependiente del uso y desuso. Para explicar la modificacin de las
especies, Darwin se vio influenciado por la cra de animales y la teora
de Malthus.
La cra de animales le permiti observar el fenmeno de la variabilidad
y la seleccin artificial, realizada por los criadores. Gracias a la cra de
animales pudo constatar que en todas las poblaciones es posible hallar
diferencias individuales, es decir, que ningn organismo es idntico a
otro.
La teora de Malthus le permiti atender a la disparidad existente entre
la cantidad de individuos y la cantidad de recursos disponibles para la
supervivencia. La tesis de Malthus, segn la cual la capacidad que
tiene una poblacin para reproducirse siempre es superior a las
provisiones de alimentos disponibles, le permiti atender a la lucha por
la existencia que tales recursos limitados propiciaba.
Darwin propuso que la variabilidad poda dar ventaja a algunos
individuos en la lucha por los recursos necesarios para la
supervivencia, as solo sobreviviran aquellos individuos que posean
los rasgos que permitieran aceptar esos recursos. Este proceso Darwin
lo llam SELECCIN NATURAL, en analoga con la seleccin artificial.
Este proceso sera el responsable de modificar rganos y hbitos
dando lugar a la aparicin de nuevas especies. Darwin mostr la
seleccin natural apelando al cuello de la jirafa. Puede entenderse a la
seleccin natural como un mecanismo capaz de perfeccionar las
estructuras biolgicas adaptndolas al entorno, incesantemente. La
seleccin natural es capaz de explicar las adaptaciones y la diversidad.
Puede pensarse que la seleccin natural constituye el relojero del que
hablaba Paley para explicar las adaptaciones, pero la seleccin es un
"relojero ciego", ya que no tiene propsito alguno, es una fuerza fsica
de la naturaleza, es inconsciente y automtica. La direccin en la que
la seleccin conduce a la evolucin de las diferentes poblaciones de
organismos depende de contingencias en el medio ambiente. Esta es
una de las principales diferencias entre Darwin y Lamarck: la
complejidad aumenta a medida que avanza la evolucin y su inicio en
la vida es simple... no como crea Lamarck, de lo ms simple a lo ms
complejo. La complejidad aumenta debido a las condiciones iniciales.
Por otra parte, la seleccin natural acta sobre variaciones llamadas
"aleatorias". No es necesario que las variaciones aparezcan porque
podran ser tiles para el organismo en el que se manifiestan. La
seleccin opera sobre las variaciones disponibles.
Otra caracterstica del Darwinismo, independiente de la seleccin
natural, es la TEORA DEL ANCESTRO COMN. Segn esta
teoratoda la vida que existe en la actualidad tiene su origen en uno o
unos pocos progenitores originarios. La evidencia de esto segn
Darwin est en aquellos rasgos no adaptativos que pueden hallarse en
ciertas especies (que han permanecido). As, segn Sober (2009),
podemos describir a la teora darwiniana como ancestro comn ms
seleccin natural. La primera puede explicar por qu los seres vivos
pueden ser agrupados en gneros y especies. As, el sistema de
Linneo que permita agrupar en variedades, especies, gneros,
familias, etc., era bajo la perspectiva darwiniana de RBOL
GENEALGICO. La teora del ancestro comn permite explicar
tambin las homologas descubiertas por Owen. Dadas dos especies,
cuanto ms recientemente compartan un antecesor comn, ms
estrechamente emparentadas estarn y por lo tanto compartirn ms
rasgos. Las homologas, en realidad, constituyen rasgos similares por
haber evolucionado de un mismo rasgo posedo por un antecesor
comn.
Positivismo lgico
-El positivismo lgico surgi en Europa a partir de la conformacin del Crculo de Viena
a comienzos del siglo XX.
-Los datos observacionales eran considerados como la base para confirmar
inductivamente las hiptesis generales. Esta fue la estrategia propuesta por el
inductivismo crtico de Hempel y Carnap.
-El resultado favorable de una contrastacin no permite inferir con certeza deductiva la
verdad de la hiptesis, pues cada contrastacin favorable se construye con la
estructura de una falacia de afirmacin del consecuente y porque nunca pueden
revisarse todos los casos mencionados por una hiptesis universal, puede, todava,
aparecer un caso refutatorio.
-Hempel y Carnap: aunque no se puedan ser probadas concluyentemente, las
hiptesis pueden ser confirmadas, con un cierto grado de probabilidad o apoyo
inductivo, de acuerdo a los nmeros de casos favorables hallados.
-Los confirmacionistas (inductivos crticos) se pronunciaron en contra de un creencia:
la que dice que en la instancia en que se busca producir una respuesta para el
problema cientfico que se investiga (instancia que se conoce como" contexto de
descubrimiento). Ellos daban dos casos para explicar por qu rechazaron esa idea: la
que dice que para hacer observaciones es necesario contar con un criterio que nos
determine qu es lo que ser relevante observar (las hiptesis no se derivan de las
observaciones, pero dependen de ellas) y la otra es que si las hiptesis se derivan a
partir de enunciados observacionales que dan cuenta de casos particulares
constatados, no existiran hiptesis con trminos tericos.
- Induccin: determinar el grado de probabilidad o apoyo emprico que cada nuevo
caso particular favorable permite asignarle a la hiptesis de la investigacin. As, cada
nueva confirmacin incrementar (en ausencia de refutaciones) el grado de
probabilidad de la hiptesis puesta a prueba
-Luego de ser contrastadas, las hiptesis podan ser empleadas como leyes para
explicar y predecir fenmenos, de acuerdo con su alto grado de confiabilidad
proveniente de las sucesivas confirmaciones.
-El desarrollo cientfico era considerado como un proceso acumulativo para los
positivistas lgicos.
-Un criterio de demarcacin para los positivistas: el requisito de traducibilidad a un
lenguaje observacional.
-El anlisis lgico permita determinar con precisin si un enunciado perteneca a la
ciencia formal (es decir, si era un enunciado lgicamente verdadero y sin contenido
emprico8) o si perteneca a la ciencia fctica (en cuyo caso deba poseer contenido
descriptivo acerca del mundo). La filosofa deba dedicarse, de acuerdo con esta
perspectiva, al anlisis lgico del lenguaje cientfico para dictaminar si las afirmaciones
que se formulaban con pretensin cognoscitiva pertenecan al primero o al segundo
tipo de ciencia, y a descartar como metafsica a cualquier otra expresin que se
propusiera.
-El criterio de demarcacin del positivismo lgico cumpla dos funciones: determinar si
una afirmacin perteneca o no a la ciencia, pero a la vez se aplicaba para indicar si
dicha afirmacin tena sentido o careca de l. *Para que un enunciado tuviera
significado (o lo que es lo mismo: tuviera contenido emprico), deba ser traducible al
lenguaje observacional.
Enunciado con significado > Puede ser traducido al lenguaje
observacional
-La base emprica de las teoras es formada por un conjunto de afirmaciones
empricas bsicas.
Efectivamente, de acuerdo con el positivismo lgico, las
afirmaciones metafsicas eran sinsentidos, como tales, no
expresaban proposicin alguna y, por lo tanto, no eran posible
predicar de ellas verdad o falsedad. De acuerdo con esta
corriente, las hiptesis empricas no pueden verificarse, pero esto
no es razn para rechazarlas. El problema con las afirmaciones
metafsicas no es que no se pueda probar concluyentemente su
verdad sino que no pueden ser sometidas a prueba.Lo que
diferenciaba a los enunciados tericos de los metafsicos era que,
mientras los enunciados tericos (aun los puros) podan (y
deban) ser traducibles a afirmaciones empricas bsicas que
expresaran las propiedades y relaciones observables entre los
objetos materiales; las afirmaciones metafsicas no podan serlo
(pues contenan trminos metafsicos como "Ser", "esencia", etc.)
y deban ser excluidas del mbito del conocimiento.
-Un rasgo principal del Crculo de Viena fue su objetivo de alcanzar la construccin
de una ciencia unificada. Cmo? Llevando adelante el planteo: un lenguaje
observacional autnomo al que pudieran ser traducidas las teoras de todas
disciplinas, incluso las sociales. *El anlisis lgico al material emprico.
O sea, el significado de todo concepto, sin importar a qu rama de la ciencia
pertenezca, debe ser reducido a otros conceptos, hasta llegar a los conceptos de nivel
ms bajo, con todos los trminos no lgicos formados por trminos observacionales.
-Posicin del positivismo lgico acerca del cambio y progreso de la ciencia:El
desarrollo cientfico fue visto como un proceso acumulativo en el que las teoras
reciben justificacin inductiva confirmatoria que les confiere un alto grado de
probabilidad. Las teoras as confirmadas se van complejizando y se va extendiendo su
mbito de aplicacin, ya que logran cubrir ms y ms fenmenos observables. Las
nuevas teoras, ms amplias y generales, incluyen los logros de las anteriores en tanto
que conservan el contenido no refutado de estas. Esta nocin de progreso lineal y
acumulativo supona que en el pasaje desde una teora hacia otra ms inclusiva, los
trminos presentes en los enunciados componentes conservaran inalterado su
significado o podan ser traducibles recurriendo al lenguaje observacional neutral.
Los partidarios del positivismo lgico asignaron a los argumentos inductivos un
papel central en la investigacin y, por ello, si dedicaron a hallar un modo de
legitimar el empleo de la induccin en las investigaciones cientficas.
Falsacionismo
-Popper tom como punto de partida la negacin de cualquier aplicacin de las
inferencias inductivas a la investigacin cientfica. Se posicion en contra al
pensamiento positivista, o sea, rechaz sus criterios de demarcacin y propuso su
propio: la falsabilidad. Tambin conceptu el proceso de contrastacin de hiptesis
con el empleo de inferencias exclusivamente deductivas. l analiz la estrategia de los
inductivistas de postular un principio de induccin.
-El principio de induccin era: agregarle a toda la inferencia inductiva un enunciado
especial que justificara el pasaje desde de las premisas hacia la conclusin. Ese
enunciado general sostendra que los casos futuros siempre son como los ya
observados, que la naturaleza es constante, etctera. El principio sera una especie de
garanta para legitimar toda inferencia inductiva.
Problema: ningn enunciado puede tomarse dogmticamente, tal principio debera
justificarse y, tal como seala Popper, esto no es posible pues ni la lgica ni la
experiencia nos ofrecen recursos para ello. No es un enunciado tautolgico, por lo
tanto, no podemos justificarlo como verdadero. Y tampoco puede justificarse por la
experiencia, pues al ser un enunciado universal, nunca nadie ira conseguir hallar
todos los casos particulares favorables que lo verificaran.
*De acuerdo con el criterio positivista, por ejemplo, el enunciado Todos los metales se
dilatan con el calor puede ser traducido a una expresin equivalente consistente en
una cadena de enunciados singulares observacionales referidos a mediciones de
casos particulares en los que se registra el volumen y la temperatura del metal. En tal
sentido, de acuerdo con el criterio positivista, el enunciado propuesto es una legtima
hiptesis emprica, pues es reducible al lenguaje observacional y, por lo tanto, es
verificable o confirmable a partir de la experiencia (ntese que en ambos casos la
justificacin es inductiva).
-Pero, como Popper rechaz la idea de un principio de induccin, tambin rechaz el
criterio de demarcacin de los positivistas.
-Popper considera un error del positivismo decir que los enunciados que no son
cientficos no tengan significado, pues existen otros tipos de afirmaciones- religiosas,
artsticas, referidas a la tica y a la metafsica, p. ej.- que no poseen contenido
emprico pero s pueden tener sentido y expresar proposiciones.
-El criterio de demarcacin alternativo propuesto por Popper es una condicin para
determinar el carcter emprico de una hiptesis. l sostiene que para un enunciado
sea cientfico tiene que ser falsable, o sea, una hiptesis es falsable cuando pueden
formularse contra ella enunciados bsicos que funcionen como falsadores potenciales.
-Pero qu es un falsador potencial? Es un enunciado emprico bsico, se trata de una
afirmacin singular, existencial y observacional. Describe un fenmeno observable
que, de constatarse, refutara la hiptesis bajo contrastacin. Debe tratarse de un
enunciado lgicamente posible, no puede ser contradictorio.
Supongamos que se nos propone como hiptesis la siguiente afirmacin:
Todos los mamferos viven en la superficie terrestre.
Podramos formular como enunciado bsico falsador potencial el siguiente:
Hay un animal que es mamfero y vive bajo el agua del mar, en el lugar L en el
momento M.
Entre la hiptesis y el enunciado bsico falsador potencial debe existir una relacin
lgica denominada incompatibilidad o contrariedad que determina que no es posible
que ambos enunciados sean verdaderos. Como podr observarse, este es el caso de
los dos enunciados recin mencionados, pues no es posible que ambos sean
verdaderos.
-La mera formulacin de un enunciado bsico falsador potencial no determina nada
acerca de si las hiptesis es falsa o no, pero s nos indica que pertenece al mbito de
la ciencia emprica, es decir, que es falsable.
-Las denominadas leyes probabilsticas, en consecuencia, son infalsables, y por ello
Popper no las considera conocimiento emprico. El propsito de Popper es
simplemente distinguir aquellos enunciados que forman parte de la ciencia emprica de
los que no forman parte de ella.
- De acuerdo con Popper, las mejores hiptesis son aquellas que son ms falsables;
esto es, aquellas que afirman ms o empleando sus palabras las que ms prohben.
-Contrastacin deductiva: la metodologa popperiana prescribe a los cientficos un
procedimiento especial para la contrastacin: no se trata de buscar casos favorables,
como suceda en el marco de las posiciones inductivistas, sino de intentar refutar la
propia hiptesis a partir de la corrobacin de sus enunciados falsadores potenciales.
-Al contrastar una hiptesis los cientficos deberan, segn Popper, usar el Modus
Tollens. Al no conseguir aplicar el Modus Tollens por solo hallar enunciados empricos
bsicos que afirman lo mismo que dice la hiptesis, no se puede, todava, decir que
este est verificado, sino que fue corroborado, i.e., que la verdad de la hiptesis es
aceptable hasta que lleguen a un enunciado emprico bsico falsador potencial
verdadero. Al encontrar casos favorables por deduccin, Popper dice que no hemos
confirmado ni verificado la verdad de la hiptesis, sino que hemos corroborado su
verdad. Popper es completamente contra la idea de la hiptesis ad hoc.
-Todos los enunciados cientficos son para Popper provisorios, falibles,
hipotticos
-Por lo tanto: no es posible probar la verdad de las teoras; solamente es posible
probar su falsedad. Solo puede llegarse a la corroboracin de las hiptesis, puesto que
la prueba de la verdad no es accesible a la ciencia. Las hiptesis corroboradas se
incorporan al corpus del conocimiento cientfico, pero nunca de manera definitiva. Todo
ello no impide sostener que la ciencia progrese. De acuerdo con Popper, el progreso
cientfico existe, y consiste nada menos que en el acercamiento a la verdad (aunque
ella sea inalcanzable). Claro que no se tratar de un acercamiento acumulativo, en el
que se incrementa la probabilidad a travs de la induccin como sostuvo el
confirmacionismo. Se trata ahora de un avance hacia la verdad mediante la
eliminacin de teoras falsas. Y en la medida en que nos alejamos de los errores, al
descartar teoras refutadas, estaremos ms cerca de la verdad, pese a que no
podamos acceder jams a ella.
Leccion 10 y 11
3.1 Fundacionismo
Fundacionistas eran las posiciones que consideran que existe la
posibilidad de establecer la verdad de los enunciados bsicos a travs
de la experiencia. Esto brindara una base emprica fuerte que podra
servir para confirmar o corroborar, y refutar hiptesis y teoras
cientficas.
La posicin fundacionista ms simple consiste en sostener que los
enunciados bsicos, por ser singulares y (tericos), pueden ser
verificados o refutados en un nmero no muy grande de
observaciones. Las crticas a esta idea son conocidas, como crticas a
la distincin terico/observacional o, como la tesis de la carga terica
de la observacin. Es necesario separarlas en dos crticas distintas:
3.4 Consecuencias
Como la observacin misma no es del todo fiable, muchos consideran
que las consecuencias observacionales no pueden ser verificadas, sin
lugar a dudas, que sean verdaderas o falsas. Esto no invalida todo el
anlisis de la contrastacin de hiptesis. Pero habilita otro modo de
defender la hiptesis principal sometida a contrastacin, diferente de la
introduccin a hiptesis ad hoc que culpen a las condiciones iniciales o
a las hiptesis auxiliares. Es posible retener la hiptesis, en un caso de
una prediccin que no se cumple, dudando del enunciado bsico.
Popper sostena que no es posible describir la observacin sin
trascenderla.
4 Concepcin kuhniana de la ciencia
Inconsumerabilidad y progreso
Diferencias que puede haber entre paradigmas segn Kuhn:
Cada paradigma puede considerar al mundo constituido por
entidades distintas.
4.3. Influencias
La estructura de las revoluciones cientficas ha sido el ms influyente
de los escritos que surgieron del mbito de la filosofa de la ciencia.
Esto se explica por el desplazamiento conceptual que ha sufrido el
concepto de paradigma. En el lenguaje natural originalmente un caso
paradigmtico de una clase es un caso representativo de la misma.
Actualmente, el trmino paradigma es utilizado en el lenguaje natural
como constelacin de creencias compartidas.
Por qu este libro de Kuhn fue tan influyente? Antes que Kuhn,
muchos fenmenos de la historia de la ciencia carecan de nombres y
conceptos para ser claramente comprendidos.
Por otro lado, la historia de cmo los cientficos cambian de creencias
cmo nosotros en la vida cotidiana cambiamos de creencias.
5. El problema de la teoricidad
La distincin entre trminos observacionales y tericos se haca en
base a la observabilidad directa o no de las entidades a las que los
trminos refieren. Segn los defensores de la carga terica de la
observacin esta distincin es imposible en estos trminos, puesto que
la observacin est cargada de teora. Kuhn, influenciado por estos
crticos, dej de lado la reflexin con respecto a posibles distinciones
entre los conceptos de una teora.
Detrs de la distincin terico/observacional existen dos distinciones
mezcladas. La terico / no terico, por un lado, y la observacional/no
observacional. Surga entonces el problema de caracterizar la
teoricidad independientemente de la observabilidad.
Hempel, escribi un artculo sealando todos los problemas de la
Concepcin heredada que el mismo haba defendido tiempo atrs.