resumen capitulo 5 6 7 ipc

Capitulo 5

5.1 El lenguaje de una teoría fáctica

Teoría empírica como un conjunto de hipótesis de partida y sus consecuencias lógicas. Una teoría es un sistema de enunciados y un enunciados es una oración declarativa que vincula términos.
Tres tipos de términos en una teoría fáctica:
Términos lógicos: constituyen el vocabulario formal de la teoría, su misión consiste en ser enlacessintácticos. Ej., todos; y; si
Términos observacionales: constituyen el vocabulario que se refiere a entidades, propiedades y relaciones observables. Ej. azul, frio
Términos teóricos: constituyen el vocabulario teórico de la teoría, vocabulario que se refiere a entidades, propiedades y relaciones no directamente observables. Ej. electro, campo eléctrico.
Términos descriptivos o designativos: son losenunciados construidos en el contexto de la teoría contienen tanto términos lógicos como términos no lógicos (son designativos tanto los teóricos como los observacionales)
Enunciados teóricos: contienen vocabulario descriptivo únicamente términos teóricos.
Enunciados observacionales: contienen como vocabulario descriptivo únicamente términos observacionales
Enunciados mixtos: contiene términosteóricos y observacionales. Proporcionan la carga de interpretación empírica, permiten pasar de o observacional a lo teórico y viceversa.
Ninguna teoría es un agregado acumulativo de enunciados, sino que –según el tipo de afirmaciones y el grado de generalidad- se estructura como un sistema que incluye diferentes estratos. La estructura de una teoría “por niveles” se podría comenzar por los enunciadosparticulares más “cercanos”. Se comienza por “enunciados empíricos básicos” no implica necesariamente conferirles el carácter de fundamento sobre y a partir del cual se construye el edilicio de la teoría, denominada inductivismo ingenuo.
Nivel 1- Enunciados empíricos básicos: todos los términos no lógicos que incluyen son empíricos; son enunciados singulares o muéstrales, se habla de una solaentidad o de un conjunto finito de ellas.
Nivel 2- Generalizaciones empíricas: no incluyen términos teóricos; no son afirmaciones singulares ni muestras, sino afirmaciones generales que establecen regularidades o uniformidades en conjuntos amplios
Nivel 3- Enunciados teóricos: contener al menos un término teórico (hipótesis teóricas puras fundamentales)
Una hipótesis científica es un enunciadoconjetural cuyo valor de verdad se ignora
Mientras la hipótesis no sea corroborada o refutada se hallara en “estado de problema”

5.2 Estructura de las teorías empíricas
Las teorías empíricas se caracterizan como cálculos interpretados.
Una teoría axiomática formal puede tener diversas interpretaciones (modelos), siempre que las entidades del modelo satisfagan a los axiomas. Esta condición formal nobasta para considerar como calculo interpretado a una teoría fáctica. Es necesaria una condición empírica, una vinculación con el mundo empírico.
Popper sostenía que los sistemas teóricos deben estar formulados de un modo claro, definido y riguroso que tienda a la forma de un sistema axiomatizado. Concibe al sistema axiomático como un sistema de hipótesis, no debe considerarse a los axiomas comoverdaderos a priori. Si se tratara de axiomas lógicos o matemáticos serian tautologías. En tanto sistema axiomático, un sistema teórico debe cumplir ser consistente e independiente. En cuanto a las relaciones del sistema con el conjunto de la teoría, los axiomas deben ser suficientes y necesarios.
La estructura de una teoría empírica comienza con la formulación de una hipótesis fundamental o departida. La hipótesis de partida funciona como primera premisa a partir de la cual se construirán deducciones para extraer hipótesis derivadas. De las hipótesis derivadas se inferirán las consecuencias observacionales que se someterán a contrastación.
Reconociendo el cálculo interpretado como propio de las teorías científicas fácticas, deben cumplirse estas tres condiciones:
1) No puede haber...