Fcii Teorias Cientificas 2303122

Tema II: Teoras Cientcas
Adn Sus
Departamento de Lgica, Historia y Filosofa de la Ciencia
2012
Plan
Adn Sus
FC II/Tema II/ Teoras Cientcas
2/1
Cronologa
1920-1940 Crculo de Viena Schlick, Carnap, Neurath 1940-1960 Concepcin Heredada Carnap, Reichenbach, Popper, Hempel, Nagel. 1962 Kuhn, Estructura de las revoluciones cientcas. Concepcin historicista
Lakatos, Feyerabend
Concepcin semntica de las teoras

Suppes, Sneed, Stegmuller
Adn Sus
3/1
Qu son las teoras cientcas?
Son unidades relevantes para entender la prctica cientca, su dinmica, su desarrollo. Son entidades signicativas para los cientcos. Qu se supone que hacen?
Predicen, explican, describen.
Adn Sus
4/1
Qu es una teora?
Una teora es un conjunto de armaciones sobre determinado mbito de la realidad Ejemplos: Mecnica Clsica: armaciones sobre el movimiento de los cuerpos de tamao medio. Temodinmica: Armaciones sobre sistemas que interaccionan intercambiando energa. Gentica Mendeliana: Armaciones sobre la transmisin de rasgos en los seres vivos.
Adn Sus
5/1
Armaciones
Constituyen el cuerpo de la teora: Contenido: Conjunto de todas las armaciones de la teora. Axiomas: Conjunto mnimo de armaciones que contiene toda la informacin de la teora. Son armaciones que la teora toma como primitivas El conjunto de axiomas no es nico Los axiomas deben ser independientes entre s y formar un conjunto completo. Teoremas: Conjunto total de armaciones derivadas No contienen nueva informacin: explicitan la de los axiomas. Son armaciones derivadas siguiendo reglas lgicas.
Adn Sus
6/1
Trminos o Conceptos
Son los constituyentes de las armaciones: capturan entidades de distinto tipo (objetos, propiedades, relaciones). Objetos Trminos singulares (variables, constantes): x, y, . . . , a, b, . . . Propiedades Relatores mondicos: P x Relaciones Relatores, Functores: M xy, f (x). Trminos primitivos: Trminos que por estipulacin se consideran fundamentales Trminos derivados Trminos que se introducen partiendo de los anteriores
Adn Sus
7/1
Trminos o Conceptos
Deniciones Enunciados que permiten introducir los trminos derivados a partir de los trminos primitivos. Tiene la siguiente forma (t1 , . . . , tk trminos ya denidos):
(t(x1 , . . . , xn )) syssdef (t1 , . . . , tk , x1 , . . . , xn ) t =def (t1 , . . . , tk ) trminos singulares t =def (t1 , . . . , tk , x1 . . . , xn ) functores (n 0, K 1)
No son armaciones en el sentido anterior: son meras abreviaturas.

Eliminables No creativas
Adn Sus
8/1
Algunas cuestiones
Las axiomatizaciones tratan de reducir al mnimo los axiomas y trminos primitivos. Las distinciones axioma/teorema, t. primitivo/t. derivado es una distincin de carcter lgico: en principio, no epistemolgica. Esto abre cuestiones fundamentales:
Cmo adquieren signicado los trminos primitivos? Cmo se justican los axiomas?
. . . cuestiones que no pueden responderse atendiendo solo al marco formal.
Adn Sus
9/1
Teora del parentesco

Trminos primitivos C1. Progenitor (relator didico): P C2.Varn (relator mondico): V C3. Hembra (relator mondico): H Axiomas A1. Todo individuo es varn o hembra, y solo una de las dos cosas. A2. Todo individuo tiene al menos un progenitor varn. A3. Todo individuo tiene al menos un progenitor hembra. A4. Todo individuo tiene como mximo dos progenitores. A5. Si un individuo es progenitor de otro, ste no lo es de aqul. Teoremas T1. Todo individuo tiene exactamente dos progenitores. T2. Nadie es su propio progenitor. T3. Para cada individuo existen como mximo dos hembras que son progenitoras de progenitores de dicho individuo.
Adn Sus
10 / 1
Teora del parentesco

Deniciones D1. Padre: x es padre de y syssdef x es progenitor de y y x es varn. D2. Madre: x es madre de y syssdef x es progenitor de y y x es hembra. D3. Her: x es her de y syssdef x e y tienen los mismos progenitores. D4. Hermano: x es hermano de y syssdef x es her de y y x es varn. D5. Hermana: x es hermana de y syssdef x es her de y y x es hembra. D6. Hij: x es hij de y syssdef y es progenitor de x. D6. Hija: . . . D7. Abu: x es abu de y syssdef x es progenitor de algn progenitor de y. Teoremas T4. Todo individuo tiene como mximo dos abuelas. T5. Todo individuo tiene exactamente un padre y una madre. T6. Todo individuo es her de s mismo. T7. Los her son her entre s. T8. Nadie es su propio padre. T9. Si uno es hij de otro, ste no lo es de aqul.
Adn Sus
11 / 1
Modelos
Un modelo es un caso o realizacin de una armacin o un conjunto de ellas.

Es un trozo de realidad (sistema o estructura) constituido por distintas entidades que realiza una teora axiomtica. En el sistema pasa lo que dice la teora: la teora es verdadera en el modelo.
Para que un sistema sea modelo de una teora

es necesario que est constituido por entidades del mismo tipo lgico que los trminos primitivos de la teora (relatores, functores, constantes). es suciente que satisfaga sus axiomas.
Un modelo proporciona una interpretacin de la teora (dota de signicado a sus trminos).
Adn Sus
12 / 1
Un ejemplo
Trminos primitivos C1. M (relator didico) C2. (functor didico) C3. (functor didico) C4. (functor mondico) C5. e (constante individual) Modelos < N, , +, , s, 0 > < Z, , +, , , 0 > < I, , +, , , 0 > < P, |=, , , , c > Axiomas A1. xM x A2. xM y yM z xM z A3. x y = y x A4. x y = y x A5. (x y) z = x (y z) A6. xM x y A7. x yM x A8. x (y z) = (x y) (x z) A9. x e = x A10. x e = e A11. x = x A12. x x = e A13. x x = x A14. (x y) = x y
Adn Sus
13 / 1
De qu hablan las teoras?
Teoras Formales Aquello de lo que habla la teora depende nicamente de los axiomas.
Las entidades aludidas sern cualesquiera que hagan los axiomas verdaderos
Los axiomas denen implcitamente los trminos primitivos.

Convencionalismo: Los axiomas estipulan el signicado Son verdaderso por convencin (Carnap). Formalismo: Los axiomas no son ms que reglas para el manejo de signos y en sentido estricto no son verdaderos ni falsos (Hilbert).
Adn Sus
14 / 1
De qu hablan las teoras?
Teoras Empricas Las teoras empricas tiene la pretensin de hablar del mundo fsico. El signicado de sus trminos no puede venir dado exclusivamente por los axiomas. Cmo debe completarse la teora axiomtica para dar cuenta de esto?
Conexin del formalismo con la experiencia Observacin (directa). La dicultad est en encontrar la manera de articular esto Concepcin Heredada (Empirismo Lgico)
Adn Sus
15 / 1
La conexin emprica
Las teoras empricas son clculos axiomticos interpretados empricamente. Teora emprica = Teora axiomtica + Reglas de correspondencia.
Las reglas de correspondencia conectan las expresiones formales con las situaciones de observacin. Las reglas de correspondencia proporcionan interpretacin emprica al clculo axiomtico.
Tanto el vocabulario como las armaciones tendrn una parte terica y otra observacional.
Adn Sus
16 / 1
Vocabulario
El vocabulario de una teora emprica puede dividirse en: Trminos puramente lgico-matemticos: Vocabulario formal (VF ).
Lgica de Primer Orden. Otros operadores matemticos.
Ejemplos: operador derivada, identidad. Trminos observacionales: VO se reere a entidades directamente observables y a propiedades y relaciones entre ellas tambin directamente observables. Ejemplos: rojo, caliente, ms largo que. Trminos tericos: VT se reere a entidades, propiedades y relaciones no directamente observables. Ejemplos: masa, campo elctrico, neutrino. Vocabulario descriptivo: VD = VO VT
Adn Sus FC II/Tema II/ Teoras Cientcas 17 / 1
Armaciones
Los enunciados de la teora pueden dividirse en: Enunciados (puramente) tericos: VD contiene solo trminos tericos. Expresan el comportamiento de las entidades tericas. Ejemplo: la fuerza gravitatoria es directamente proporcional al producto de las masas. Enunciados observacionales: VD contiene solo trminos observacionales. Pueden expresar situaciones observables particulares o leyes puramente empricas. Ejemplos:
La distancia de la Tierra a la Luna ahora es de 390000 Km. El radio que une un planeta y el sol barre supercies iguales en tiempos iguales.
Reglas de correspondencia: Contienen trminos tericos y observacionales Conectan los trminos tericos con la experiencia proporcionan la interpretacin emprica de los trminos tericos. Ejemplo: F = Gmm d2
Estructura de las teoras empricas
T =< A, R > La teora da cuenta de las observaciones:

(A, R) O
O son generalizaciones empricas. Los hechos se derivan de la teora:

Explica Predice
A veces est implcito que A y R son leyes de la naturaleza:

Generalizaciones universales de validez ilimitada.
Adn Sus
19 / 1
Mecnica Clsica
Deniciones v =def a A=s
ds dt =def dv dt 2
Conceptos Tericos (VT ): masa (mi ), fuerza(fj ) Observacionales (VO ): espacio(s), tiempo(t) Axiomas+Reglas
s fij = mi d 2 dt fij = fji mi m fij = G s2 j dsi mi ( dt ) = cte
2
V = s3 p = mv w = fs P = d=
f A m V
Teoremas
j
fij = 0
dsi dt
=0
d2 s dt2
Teoremas =
Gm s2
Si la nica fuerza actuante es grav:
f = ma f = 0 v = cte
Adn Sus
20 / 1
Reglas de correspondencia
El programa empirista lgico fuerte pretenda eliminar los trminos tericos a favor de los observacionales a travs de las reglas de correspondencia.
Esto impone restricciones en la forma de las reglas de correspondencia: han de ser deniciones explcitas. (t) (o1 , . . . , on ) Todo intento de eliminar los trminos tericos fracas.
La alternativa es ser ms liberal con las reglas de correspondencia.

Los trminos tericos adquieren su signicado tanto de otros trminos tericos (axiomas) como de su conexin con lo observable (reglas). Hay trminos tericos que no estn directamente conectados con trminos observacionales. Problema: axiomas + reglas constituyen el signicado de los trminos tericos, luego son analticamente verdaderos (verdaderos en funcin de las deniciones).
Adn Sus
21 / 1
Distincin terico/observacional
Cmo se puede dar una distincin ntida entre trminos tericos y observacionales?
El fenomenalismo: Los trminos observacionales haran referencia a sensaciones no funciona. La distincin remite en la dicotoma observable/inobservable No hay lmites bien denidos.
La carga terica de los hechos

Duhem-Quine: holismo en la contrastacin emprica Hanson-Popper: En la determinacin de los hechos siempre interviene un conocimiento de fondo. Esto remite al problema epistemolgico de la justicacin del conocimiento emprico.
La base emprica de una teora no tiene por que ser meramente observacional.
Hay que distinguir el mbito de hecho y el mbito de la validez.
Adn Sus
22 / 1
Trminos tericos y observacionales. Problemas

Parece difcil defender que la ciencia sea traducible a un lenguaje sobre sensaciones. Hay que distinguir (Van Fraassen)
En relacin a los trminos de un lenguaje uno debe preguntarse si pueden distinguirse trminos tericos de los no tericos: i.e., si hay un lenguaje puramente no-terico En relacin a las entidades uno debe preguntarse si stas son o no son observables
Hay un amplio consenso en que no se puede diferenciar un lenguaje puramente observacional

Este problema se conoce como Carga Terica de la Observacin.
An as, sigue siendo relevante la diferencia observable/no-observable?
Adn Sus
23 / 1
Observable vs no-observable
Es esta un diferencia relevante para la ciencia? Realista (En contra): No est bien denida.
No pueden establecerse unos lmites claros: hay un continuo que va de lo observable a lo no-observable. Es dependiente de la teora
Es meramente contingente qu sea observable

No hay observables en s. En este sentido, puede ser cambiante La ciencia, entendida como descripcin del mundo, no puede depender del hecho contingente de que los seres humanos tengamos las capacidades que tenemos
Para el realista esto signica que no puede haber conexin entre la distincin y la cuestin de la existencia
Adn Sus
24 / 1
Observable vs no-observable
Es esta un diferencia relevante para la ciencia? Postura anti-realista: No importa que los lmites no sean claros. Lo nico que se necesita es que haya casos que sin duda caigan en uno y otro lado
Observar las lunas de Jpiter Detectar una partcula en una cmara de burbujas
Los actos claros de observacin no son dependientes de la teora cientca. En todo caso lo sern de una eventual teora psicolgica o ciencia cognitiva
La distincin es relativa a las capacidades humanas... pero la ciencia es una empresa humana
El anti-realista puede admitir esto pero defender que la distincin es importante para dirimir la pregunta acerca de los objetivos de la ciencia.
La pregunta relevante es epistemolgica, no ontolgica; qu es necesario creer para aceptar un teora cientca.
Adn Sus
25 / 1
X es observable si hay circunstancias tales que si X est presente para nosotros bajo esas circunstancias, entonces lo observamos.
Adn Sus
26 / 1
La luz no es observable
Adn Sus
27 / 1
Observamos a travs de un microscopio (electrnico)?
Adn Sus
28 / 1
Observar vs. Detectar
Observar, sea lo que sea, est asociado a la presencia de cosas reales.

Observacin es percepcin. No necesita de instrumentos.
Detectar no presupone la creencia acerca de la existencia de un algo

Para detectar usamos instrumentos Los instrumentos generan nuevos fenmenos Para salvar esos fenmenos la teora puede introducir nuevas entidades tericas que son detectadas por los instrumentos.
Adn Sus
29 / 1
Detectar el campo magntico
Adn Sus
30 / 1
La CH no representa bien la estructura de las teoras de verdad
Una teora cientca puede usar muchas medios distintos de representacin

La lgica de primer orden no es un buen lenguaje para capturar esto Incluso si la teora es traducible, perdemos formas expresivas que forman parte de la teora (los cientcos necesitan aprenderlos cuando aprenden la teora). Hay veces que las teoras son incompletas.
Se destacan los patrones nomolgicos frente a los patrones causales. Parece difcil acomodar ciertas estructuras matemticas.
Adn Sus
31 / 1
Crticas generales
Las teoras (as denidas) no son las unidades adecuadas Papel central de las teoras frente a la experimentacin Distincin teora/observacin. Estructura demasiado rgida para acomodar la dinmica cientca. . . . y entender la actividad de los cientcos
Adn Sus
32 / 1
La revuelta historicista
Actores principales: Kuhn, Lakatos, Feyerabend, Laudan Cuestionamiento de la diferencia de la CH entre contexto de descubrimiento y contexto de justicacin.
El contexto de descubrimiento sera mbito de la historia, sociologa . . . La losofa se ocupara del contexto de justicacin.
No se puede hacer losofa de la ciencia sin atender a la dimensin histrica. La preocupacin central de estos lsofos no es estudiar la naturaleza y estructura de las teoras cientcas.
Lo cual no signica que en sus planteamientos no haya tal cosa.
La ruptura con la separacin entre los dos contextos es algo que queda reejado en la conceptualizacin de la estructura de las teoras.
Adn Sus
33 / 1
Ciencia normal/Ciencia revolucionaria

Kuhn distingue dos periodos (modos de hacer) en las ciencias maduras: Ciencia normal Las comunidades de cientcos comparten presupuestos fundamentales relativos a su disciplina: tericos, experimentales, metodolgicos, metafsicos. . . Los canales de comunicacin de la comunidad cfca cohesionan y mantienen los principios compartidos.
Sociedades cfcas, revistas, congresos, libros de texto. Son especialmente importantes las labores de enseanza (adoctrinamiento?) de los nuevos cientcos.
La tarea principal de los cientcos es la resolucin de enigmas.

Los cientcos no se cuestionan los presupuestos fundamentales. Tratan de dar cuenta del mayor nmero posible de fenmenos con los presupuestos y herramientas a su disposicin.
Adn Sus
34 / 1
Ciencia normal/Ciencia revolucionaria

Kuhn distingue dos periodos (modos de hacer) en las ciencias maduras: Ciencia revolucionaria Los periodos de ciencia normal pueden entrar en crisis
Esto suele ser disparado por la presencia de alguna anomala recalcitrante o la acumulacin de anomalas irresueltas. Algunos cientcos pueden empezar a buscar alternativas a las explicaciones normales.
Aparicin/Proliferacin de supuestos alternativos. Suplantacin de los supuestos fundamentals Revolucin cientca. No hay una descripcin meramente lgica (formal) que d cuenta de estos cambios: hay innumerables factores sociolgicos, psicolgicos, etc.
Adn Sus
35 / 1
El concepto de paradigma
Trmino altamente polismico en Structure. En sentido amplio un paradigma es un conjunto de supuestos compartidos por una comunidad que guan su investigacin normal.
La ciencia normal es ciencia basada en un paradigma. El cambio cientco se entiende como cambio de paradigma. En trabajos posteriores (Postscript, 1969) recibe el nombre de matriz disciplinar.
En sentido estrecho: un paradigma es un ejemplar.
Adn Sus
36 / 1
Matriz disciplinar
Pueden distinguirse los siguientes componentes: Generalizaciones simblicas Es el componente formal: suele constar de las leyes cientcas ms generales.
No todas la generalizaciones simblicas son paradigmticas
En s mismas son expresiones carentes de signicado o contenido emprico: quasi-vacas o quasi-tautolgicas. Funcionan como leyes y como deniciones. Deben entenderse como esquemas de generalizacin (ms que como generalizaciones).
Son dotadas de contenido en cada aplicacin.
Por eso, son difcilmente refutables.

Lo que se confronta con la experiencia son las realizaciones particulares.
Algunos ejemplos:
I = V /R f = ma (f toma distintas expresiones en cada aplicacin) R 1 g R = T 2
Matriz disciplinar
Pueden distinguirse los siguientes componentes: Modelos Modelo tiene el sentido de imagen, representacin.
Tratar un sistema como si fuera. . . Suele hacer referencia a los componentes del sistema.
Se pueden distinguir dos sentidos:

Los modelos son analogas, son heursticos. Los modelos son ontolgicos: compromiso metafsico.
Proporcionan explicaciones. Ejemplos: modelo atmico de los gases, modelo planetario del tomo de Bohr, modelos mecnicos del electromagnetismo. Algunos modelos pueden transitar del primer al segundo sentido. No est claro hasta qu punto es esencial que los miembros de la comunidad cientca compartan los modelos.
Adn Sus
38 / 1
Matriz disciplinar
Pueden distinguirse los siguientes componentes: Valores Conjunto de criterios que usa la comunidad cientca para evaluar su propia actividad. Los hay de distintos tipos: simplicidad, precisin, fecundidad, coherencia del aparato terico propio, compatibilidad con otras teoras, utilidad. Pueden ser compartidos por varias comunidades dentro de una misma disciplina. Aunque compartidos por el grupo, los individuos pueden aplicarlos de manera distinta. Juegan un papel fundamental en los momentos de crisis
Qu valores primar o relajar en caso de teoras alternativas.
Hacen que no pueda darse un algoritmo del proceso del cambio cientco
Son la va de entrada de factores externos en la dinmica cientca.
Matriz disciplinar
Ejemplares Son paradigmas en sentido etimolgico. Aplicaciones empricas del aparato formal que son especialmente relevantes y sirven de modelo para otras aplicaciones. Ejemplos: sistema solar para la gravitacin newtoniana, atomo de hidrgeno para la MC, el plano inclinado. . . . Pueden ser partes de la realidad a las que se aplica la teora o ejemplos tipo (idealizados) Mediante los ejemplares se ven nuevas situaciones como otras conocidas y resueltas por la teora. Son la parte del paradigma que dota de contenido emprico a la parte simblica.
Mismo rol que las reglas de correspondencia: contacto con la experiencia.
Estn denidos dentro de un paradigma

No hay experiencias puras. Problema de la inconmesurabilidad: las mismas situaciones se ven de manera diferente en paradigmas diferentes.
Matriz disciplinar
Ejemplares Para Kuhn esta es la parte central y ms novedosa de su propuesta. Estos problemas son despreciados por otras losofas de la ciencia
Lo central sera la teora y las reglas de aplicacin Los problemas seran mera prctica
Segn Kuhn no se ha entendido dnde est el contenido cognitivo de la teora

No se puede aprender una teora cientca sin aprender la resolucin de estos problemas.
Papel central:
Conexin emprica Componente semntico
Adn Sus
41 / 1
Inconmensurabilidad
Los ejemplares hacen que se reconozcan situaciones distintas como similares. Kuhn usa expresiones como el mundo cambia al cambiar el paradigma.
Los estmulos son los mismos pero las sensaciones/percepciones son distintas. Aprender por ejemplares no es equiparable a aplicar ciertas reglas No se trata de procesos deliberativos.
Kuhn ha sido acusado de irracionalismo.

Los defensores de teoras inconmensurables no pueden comunicarse en absoluto. La eleccin de teora se hace por motivos meramente personales o subjetivos.
Adn Sus
42 / 1
Inconmensurabilidad
(K) Defensores de distintas teoras ven de manera diferente ciertas situaciones experimentales. (K) Sus vocabularios tienen trminos comunes, pero los aplican de maneras distintas, su conexin con la experiencia es distinta Comunicacin parcial
La superioridad de una teora no puede ser probada en el debate . . . lo cual no quiere decir que no puedan comunicarse. Forman parte de distintas comunidades lingsticas sin lenguaje comn . . . aunque la traduccin sea muy difcil, es posible: se pueden poner uno en lugar del otro y describir en el lenguaje propio el mundo del otro.
Cada grupo intenta, mediante la persuasin, convencer al otro . . . pero puede haber buenas razones para ser persuadido.
Las razones pueden constar de algunos criterios habituales en losofa de la ciencia Para Kuhn son valores que pueden ser ms o menos relevantes segn la situacin y el grupo.
Relativismo
Muchos crticos acusan a Kuhn de relativista Si los defensores de teoras diferentes son como miembros de comunidades lingsticas distintas, entonces ninguno tienen ms razn que otro. (K) En ciencia esto puede no ser mero relativismo
Es cierto que puede haber distintos valores que intervienen en la eleccin de teora. En las ciencias desarrolladas, la resolucin de problemas es un valor central . . . aunque no siempre se aplica de la misma manera
Metfora evolucionista: Dos teoras cercanas en una misma rama evolutiva pueden compararse en relacin a su capacidad de resolver problemas.
Teoras posteriores son mejores resolviendo problemas en el entorno en el que se aplican.
Niega la idea de progreso como acercamiento a la verdad (progreso ontolgico)

Popper y la Falsacin
Un rasgo esencial de las teoras cientcas es su falsabilidad

Consecuencias empricas de las teoras que, si no se dieran, la refutaran. Esto forma parte del criterio de demarcacin: teoras no refutables no pueden ser cientcas. Pone en cuestin la idea de conrmacin y el mtodo inductivo. La ciencia funciona formulando conjeturas falsables y sometindolas a contrastacin.
Las estrategias immunizadoras son anti-cientcas

El cientco debe hacer todo lo posible para falsar su teora.
La nica lgica cientca es deductiva.
Adn Sus
45 / 1
Contrastacin de teoras
Para contrastar teoras empricamente se necesitan hiptesis auxiliares (H.A.)
T H.A. P P (T H.A.) T H.A.
Ante un resultado adverso, siempre es lgicamente posible modicar (rechazar o introducir) H.A. Se necesita algn criterio para decidir cuando eso es admisible (cientcamente). En la historia de la ciencia hay muchos casos en los que se preserva la teora y se cambia H.A. . . . y funciona. Popper saba todo esto
Adn Sus
46 / 1
El problema de las hiptesis ad hoc

Popper habla de hiptesis ad hoc para identicar modicaciones anticientcas de H.A. Problema: Qu hiptesis son ad hoc? Sentido dbil: Hiptesis diseadas para solucionar discrepancias entre teora y observaciones.
Son anti-cientcas?
Sentido fuerte: Hiptesis que no tienen ms consecuencias observacionales que aquellas que pretendan resolver (no son testables independientemente).
Existen?
Problema: Cmo caracterizar las hiptesis ad hoc en sentido fuerte?

No incremento del contenido emprico.
Adn Sus
47 / 1
El descubrimiento de Neptuno
1840s: Discrepancias entre la trayectoria observada de Urano y la predicha por la teora Newtoniana La teora Newtoniana ha sido falsada?
La H.A. que dice que el inventario de fuerzas sobre Urano es agotado por las inuencias de los planetas interiores es falsa. Hiptesis: existencia de un planeta exterior (Adams, Le Verrier)
. . . Neptuno es observado siguiendo las predicciones Gran xito de la teora Newtoniana!
Adn Sus
48 / 1
Materia Oscura y epiciclos
Sistema geocntrico (s. IV a. C) Discrepancia con observaciones Hiptesis ad hoc (epiciclos): Ajusta bien los datos Sistema alternativo (heliocntrico): Aristarco (s. III a. C.), Coprnico (1543) Es ad hoc porque, por principio (en su marco terico), no tiene consecuencias observables ms all de los movimientos planetarios. Modelo cosmolgico (CDM ) Discrepancia con observaciones Hiptesis ad hoc (materia oscura): Ajusta bien los datos Modelo alternativo: MOND Es ad hoc porque . . .
Adn Sus
49 / 1
La Materia Oscura como hiptesis ad hoc

Discrepancia entre predicciones de la teora de la gravitacin y observaciones Hiptesis 1: Materia Oscura Barinica (presupone que es materia ordinaria y observable) Discrepancia entre predicciones de partes del modelo cosmolgico y observaciones Hiptesis 2: Materia oscura no-barinica (presupone que es observable, aunque elusiva) Discrepancia entre predicciones de partes del modelo cosmolgico y observaciones Hiptesis 3: Materia oscura no pertenece al SM (presupone que es en principio observable, aunque no sepamos cmo. . . no conocemos cmo interacciona).
Observable aqu signica independientemente de sus efectos gravitatorios.
Adn Sus
50 / 1
La Materia Oscura como hiptesis ad hoc

Cada una de las instancias de la hiptesis de la materia oscura es ad hoc solo en sentido dbil La estrategia general es ad hoc en sentido ms fuerte: cada vez que una hiptesis es falsada, podemos reformularla modicando el supuesto acerca del tipo de materia. . . la testabilidad puede ser siempre diferida. Como puede sostenerse una estrategia as? La estrategia general puede verse como una forma de delimitar las caractersticas de la materia oscura El marco terico favorece la direccin de las nuevas hiptesis
Hay buenas razones para creer que hay nueva fsica ms all SM Hay experimentos en marcha que estn buscando trazas de nuevas partculas . . . el contexto favorece la generacin de este tipo de hiptesis ad hoc
Adn Sus
51 / 1
La respuesta de Lakatos
Cuando se contrasta una teora no tenemos una teora enfrentada a los hechos sino teoras con distinto estatuto epistemolgico enfrentadas entre s.
El test emprico desvela la inconsistencia de estas teoras.
La respuesta a una contrastacin negativa: modicar algunas de las teoras de la red que se somete a contrastacin. Qu es lcito modicar ante un resultado negativo?
Adn Sus
52 / 1
La propuesta de Lakatos
Programas de investigacin en lugar de paradigmas.

Son entidades histricas: Sucesin de teoras que comparten ciertas ideas y mtodos bsicos.
Puede haber ms de un programa de investigacin por disciplina en un momento dado. Dinmica cientca gobernada por competicin entre programas. Pretende armonizar Popper y Kuhn Racionalidad en la resistencia al cambio.
Inyectar racionalidad en la perspectiva historicista de Kuhn.
Adn Sus
53 / 1
Los programas de investigacin

Componentes Ncleo:
Conjunto de ideas bsicas esenciales para el programa. Es la parte que da unidad e identidad al programa de investigacin. Es en cierto sentido innegociable.
Cinturon protector:
Conjunto de hiptesis/teoras que permite aplicar el ncleo a los fenmenos. Se les puede aplicar el modus tollens cuando hay contrastacin negativa.
Metodologa asociada: Heurstica negativa:

Reglas que nos dicen qu caminos evitar en la investigacin. Prohibe modicar el ncleo del programa por refutacin.
Heurstica positiva:
Indica los caminos a seguir por la investigacin Cmo modicar las hiptesis que forman parte del cinturn protector.
Los programas de investigacin

Dinmica Progama progresivo:
Expande el nmero de casos al que se aplica. Predice hechos que se constatan despus.
Programa estancado:
No ampla su campo de accin Se limita postdecir hechos de manera ad hoc.
Problema Lakatos no da ninguna regla acerca de qu decisiones son racionales para el cientco. A veces, los programas regresivos se recuperan No parece poder expulsar el componente irracional de la eleccin entre teoras.
Adn Sus
55 / 1
Las teoras empricas como sistemas de modelos

Las teoras se identican con un conjunto de modelos (no con un conjunto de enunciados). Presentar una teora es presentar un conjunto de modelos, no de axiomas.
Las leyes o principios denen la familia de modelos.
La teora identica ciertos datos, fenmenos, experiencias, de los cuales quiere dar cuenta mediante los modelos. La teora necesita cierta armacin que explicite en qu sentido los modelos tericos dan cuenta (representan) los sistemas empricos.
Los sistemas empricos son algunos de los modelos? Los sistemas empricos se aproximan a los modelos? Los sistemas empricos son subsumibles bajo los modelos?
Algunas consecuencias iniciales: La CH ya contiene modelos, pero de forma derivada. El foco est en los modelos: son lo relevante epistmica y ontolgicamente. De esta manera, los modelos sirven para controlar y predecir sistemas reales (si estos son lo sucientemente similares a los modelos).
La importancia de los modelos en ciencia
Los modelos tienen gran importancia en muchos contextos cientcos. Pero modelo no se usa siempre de la misma manera, ni reere lo mismo. Para dar cuenta de los distintos tipos de modelos hay que atender a distintas dimensiones que entran en juego:
Semntica: En qu sentido representan los modelos? Ontolgica: Qu tipo de cosas son los modelos? Epistemolgica: Cmo se aprende con modelos? Teoras y modelos: Cmo se relacionan los modelos con la teora?
Adn Sus
57 / 1
Semntica: Funciones repesentacionales de los modelos

Los modelos pueden ser una representacin de alguna parte del mundo (el sistema target)
Modelos de fenmenos o modelos de datos.
Un modelo puede representar una teora en el sentido de interpretar las leyes y axiomas de esa teora. Representar un fenmeno Dos problemas asociados: En virtud de qu un modelo es representacin de algo?
Modelo y sistema tienen que ser isomorfos (o parcialmente isomorfos). Modelo y sistema tienen que ser similares.
De qu maneras representan los modelos? Distintos estilos de representacin.
Adn Sus
58 / 1

Estilos de representacin: Fenmenos Modelos Icnicos: Replica naturalista del sistema. Ejemplos: modelos a escala, un organismo particular usado para investigar la especie a la que pertence. Modelos Idealizados: Consisten en idealizaciones o simplicaciones de los sistemas empricos. Ejemplos: masas puntuales, planos sin friccin, poblaciones perfectamente aisladas . . . Modelos Analgicos: hay ciertas similitudes relevantes entre el modelos y el sistema.
Puede haber muy distintos tipos de analogas: compartir propiedades, propiedades similares, tener las mismas relaciones. Ejemplos: el modelo atmico de los gases, el cerebro como sistema informtico . . .
Modelos Fenomenolgicos: Representan solo propiedades observables o son independientes de teoras generales.
Adn Sus
59 / 1
Estilos de representacin: Datos Proporcionan versiones corregidas, estructuradas, idealizadas de los datos obtenidos en la observacin. Eliminar errores (reduccin de datos) y ajuste (mediante curvas de datos). Juegan un papel crucial en la contrastacin. Problemas Experimentacin.
Adn Sus
60 / 1
Ontologa: qu son los modelos
Objetos fsicos. Ejemplo: Modelos DNA de Watson y Crick. Objetos ccionales. Ejemplo: tomo de Bohr. Estructuras de la Teora de Conjuntos. Descripciones Ecuaciones
Adn Sus
61 / 1
Teoras y modelos
Desde el punto de vista lgico un modelo es una estructura que hace los enunciados de la teora verdaderos. En ese sentido el modelo interpreta la teora: es un objeto que contiene sus rasgos esenciales. La concepcin semntica adopta esta idea.
Eso signica que la nocin de referencia, hasta cierto punto, es la de modelo como estructura conjuntista. Debe ser matizado: Lo es en su vertiente semntica, aunque vara la permisividad ontolgica: qu, y cmo, puede interpretar la teora.
Lo que parece claro es que el modelo sea independiente de la teora. . . . Esto ha sido criticado.
Adn Sus
62 / 1
Teora para Suppes
Las teoras son conjuntos de modelos determinados por un predicado conjuntista. Los modelos son modelos en sentido de la teora de conjuntos. Ejemplo: x es un sistema de mecnica (newtoniana) de partculas syss existen P, T, s, m, f tales que: x =< P, T, s, m, f > ...
Adn Sus
63 / 1
Teora para Suppes. Las aplicaciones intencionales.

El predicado conjuntista no especica cules son los modelos (o sistemas) a los que la teora emprica se pretende aplicar. La teora dene una clase de modelos pero no nos dice de qu son modelos.
En ese sentido no es correcta ni incorrecta.
Adams: Incorporar los modelos pretendidos: Partes concretas de la realidad que se pretender describir mediante la teora. Con respecto a ellos la teora sera correcta o incorrecta. Problema: Cmo se determinan las aplicaciones pretendidas?
T =< C, I > I C Determinar las aplicaciones tiene un componente sociolgico (que pretende describir la comunidad cientca) y un componente formal (cmo se determinan los parmetros que se corresponden con las componentes del modelo).
Los sistemas empricos (modelos de datos) son subestructuras de los modelos tericos.
Las teoras como deniciones en Giere

Las teoras denen una clase de modelos y postulan su aplicacin a ciertos sistemas reales. Dos componentes:
Clase de modelos Hiptesis conectando esos modelos con sistemas del mundo real.
Nocin amplia de modelo.

No se les atribuye naturaleza matemtica determinada. No parece haber determinacin ontolgica. Aunque en general se entiende un modelo como una entidad abstracta denida por las ecuaciones de la teora.
Hiptesis tericas: enunciados que arma cierto tipo de relacin entre un modelo y un sistema o clase de sistemas.
Relaciones de semejanza cualicada.
Tierra y Luna forman un sistema gravitacional newtoniano: posiciones y velocidades se aproximan a las de un modelo newtoniano de dos partculas.
Hay cierta vaguedad acerca de qu son los modelos y cmo quedan determinados por la teora.

Fcii Teorias Cientificas 2303122

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Fcii Teorias Cientificas 2303122

Uploaded by

Copyright:

Available Formats

Tema II: Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

Concepcin semntica de las teoras

FC II/Tema II/ Teoras Cientcas

Qu son las teoras cientcas?

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

No son armaciones en el sentido anterior: son meras abreviaturas.

FC II/Tema II/ Teoras Cientcas

. . . cuestiones que no pueden responderse atendiendo solo al marco formal.

FC II/Tema II/ Teoras Cientcas

Teora del parentesco

FC II/Tema II/ Teoras Cientcas

Teora del parentesco

FC II/Tema II/ Teoras Cientcas

Un modelo es un caso o realizacin de una armacin o un conjunto de ellas.

Para que un sistema sea modelo de una teora

Un modelo proporciona una interpretacin de la teora (dota de signicado a sus trminos).

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

De qu hablan las teoras?

Los axiomas denen implcitamente los trminos primitivos.

FC II/Tema II/ Teoras Cientcas

De qu hablan las teoras?

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

Estructura de las teoras empricas

T =< A, R > La teora da cuenta de las observaciones:

O son generalizaciones empricas. Los hechos se derivan de la teora:

A veces est implcito que A y R son leyes de la naturaleza:

FC II/Tema II/ Teoras Cientcas

Si la nica fuerza actuante es grav:

FC II/Tema II/ Teoras Cientcas

La alternativa es ser ms liberal con las reglas de correspondencia.

FC II/Tema II/ Teoras Cientcas

La carga terica de los hechos

FC II/Tema II/ Teoras Cientcas

Trminos tericos y observacionales. Problemas

Hay un amplio consenso en que no se puede diferenciar un lenguaje puramente observacional

An as, sigue siendo relevante la diferencia observable/no-observable?

FC II/Tema II/ Teoras Cientcas

Es meramente contingente qu sea observable

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

Observamos a travs de un microscopio (electrnico)?

FC II/Tema II/ Teoras Cientcas

Observar vs. Detectar

Observar, sea lo que sea, est asociado a la presencia de cosas reales.

Detectar no presupone la creencia acerca de la existencia de un algo

FC II/Tema II/ Teoras Cientcas

Detectar el campo magntico

FC II/Tema II/ Teoras Cientcas

La CH no representa bien la estructura de las teoras de verdad

Una teora cientca puede usar muchas medios distintos de representacin

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

FC II/Tema II/ Teoras Cientcas

Ciencia normal/Ciencia revolucionaria

La tarea principal de los cientcos es la resolucin de enigmas.