A priori

Hay 2 maneras en que una proposicin puede tener sentido: hablando acerca del mundo y por
tanto teniendo condiciones de verificacin emprica bien determinadas, o no hablando acerca
del mundo. Hemos visto que los enunciados acerca del mundo -sintticos-, para los empiristas
lgicos, slo podan ser a posteriori, es decir, slo comprobables empricamente. Pero tambin
hay otra manera de conocer algo: a priori.
S que 22 es 4, siempre, y no tengo -aunque puedo hacerlo, claro- que contar con mis dedos
o encerrarme en el laboratorio para saberlo: lo s solamente calculando. De la misma manera,
s que ningn soltero est casado, y sin necesidad de recurrir a un experimento. Tambin s
que, por modus ponens, puedo deducir la proposicin 'y' dadas dos premisas: si 'x', entonces
'y', y es el caso que 'x'. Para esto tampoco necesito ninguna experimentacin, no necesito
recurrir al mundo. Conozco esto de manera a priori, sin experiencia. Pero, como lo conozco sin
necesidad de experiencia, entonces ni el modus ponens, ni la multiplicacin de 2 por 2, ni la
soltera de los no casados me dicen algo sobre el mundo. Cmo iban a hacerlo, si puedo
conocerlos sin experiencias empricas? Y como no me dicen nada sobre el mundo, entonces
son proposiciones analticas, que son verdaderas slo en virtud del significado, y de las reglas
estipuladas. "Todo soltero es no casado" es verdadero porque ser soltero significa no estar
casado. 22=4 es verdadero por los usos estipulados que les damos a los signos '' e ' = ',
adems de las reglas que seguimos al darles ese uso, y los significados que les damos a los
signos 2 y 4. [(P-->Q)&P]-->Q es verdadero tambin porque as funciona nuestro lenguaje, y
porque as hemos dicho que funcionan los signos & y --> y las metavariables P y Q.
Por esto, todas las verdades a priori son, para los empiristas lgicos, analticas. Y como son a
priori deben ser necesarias. Recordemos que las proposiciones sintticas son aqullas cuyo
valor de verdad depende de los hechos en el mundo. Y por esto son contingentes: pueden o
podran no haber sucedido o no suceder. Yo podra no estar redactando este artculo (pues
podra estar estudiando para el examen), t podras no estar leyendo esto, hoy puede llover,
Scrates podra no haber nacido, es posible que maana muera el presidente de la nacin.
Ahora, hemos dicho que los analticos son verdaderos no en funcin del mundo, sino en
funcin del significado y las reglas. '21=1' siempre va a ser verdadero, claro, siempre que
hayan tales significados y reglas. Pero si, en otro lenguaje, 'chango' fuera lo que nosotros
entendemos por '2'; 'perro' lo que nosotros por '1'; 'corre' por '-'; y 'tira de materias' por =';
entonces 'chango corre perro tira de materias perro' seguira siendo verdadero, puesto que no
han variado las reglas de la 'operacin' sino un cambio (renombramiento) en las variables
involucradas.
Esto nos dice por qu todos los enunciados que son analticos son a priori, y tambin
necesariamente verdaderos. Cuando a una proposicin o conjunto de proposiciones se les
hace una tabla de verdad, y resulta que tal proposicin es verdadera en todos los casos,
decimos que esa proposicin es tautolgica. Esto sucede con las proposiciones analticas, y
justo por eso decimos que son necesarias. Para los positivistas lgicos, entonces (siguiendo al
primer Wittgenstein), todos los enunciados analticos son tautologas, es decir, que son siempre
verdaderas. (Los enunciados que son siempre falsos se llaman autocontradictorios)

Unificacin de la ciencia
Recordemos que un enunciado en el lenguaje fsico puede reducirse a otro en el lenguaje
sensorial: "ah hay un mesa" puede reducirse a algo as como "en tal lugar y en tal momento,
percibo color caf, forma rectangular...", etctera. Y estos enunciados seran la base de nuestro
conocimiento.
Siendo esto as, entonces el proyecto empirista pareca posible: reducir toda la ciencia natural
a enunciados protocolares. Carnap introduce -poco despus y frente a los problemas que esto
implicaba- adems de experiencia sensorial, lgica y teora de conjuntos.
Russel y Whitehead ya haban iniciado la tarea de la reduccin de la matemtica a la lgica. Si
podamos hacer esta reduccin, los grandes teoremas y las enormes demostraciones
resultaran ms claras, pues conoceramos los fundamentos. De igual manera, las teoras en
las ciencias naturales seran ms claras y ms seguras conociendo en qu estaban fundadas:
en qu enunciados protocolares.
Y como toda iba a ser reducido a enunciados protocolares, entonces la ciencia natural sera
vista como un extenso conjunto de tales enunciados.
TEORICO OBSERVACIONAL
La concepcin heredada, asentada en la dicotoma observacional-terico, consista en sostener
que "los trminos de observacin se aplican a lo que podra llamarse cosas pblicamente
observables, y significan las cualidades observables de estas cosas, mientras que los trminos
tericos corresponden a las restantes cualidades y a cosas inobservables".[5] La imbricacin
entre trminos observacionales y trminos tericos genera un sistema axiomtico "que,
inicialmente, puede pensarse que no est interpretado, y que adquiere un 'significado emprico'
como resultado de la especificacin del significado de los trminos de observacin
solamente".[6] El debate de fondo era, por tanto, y aunque suene paradjico, si la observacin
permanece o no "cargada de teora"
VERIFICACIONISMO, FISICALISMO, EMPIRISMO,

LAS TEORIAS CIENTIFICAS COMO CALCULOS AXIOMATICOS A LOS QUE SE DA UNA
INTERPRETACION OBSERVACIONAL PARCIAL POR MEDIOS DE REGLAS DE
CORRESPONDENCIA
EXISTENCIA DE BASE EMPIRICA U OBSERVACIONAL COMUN TEORICAMENTE NEUTRA.
PRODUCTO DE UNA EXPERIENCIA NEUTRA. SE CRITICA HAY CARGA TEORICA EN LA
OBS. LA OBSERVACION ES SOLO POSIBLE SI HAY PRESUPOSICION TEORICA. LA OBS
ES TEORIA CARGADA. LA EVIDENCIA CAMIA CON LA TEORIA, SE VE LO QUE UNO
QUIERE. NUEVO EXPERIMENTALISMO.
TEORIAS CIENT COMO COSMOVISIONES WWLTANSCHAUNG. SIST CONCEPTUALES.
LAS TEO NO SON DESCRIPCIONES DE LO OBSERVABLE, SON INTRUMENTO PARA
REALIZAR PREDICCIONES SOBRE EL MUNDO OBSERV.
LA FUNCION DE LA CIENCIA ES DAR EXPLICACIONES DE REGULARIDADES
CONOCIDAS. TERMINOS TEORICOS DEPENDE DE LA TEORIA.

VERSION INICAL
El resultado final es la versin inicial de la Concepcin heredada: una teora cientfica
debe ser axiomatizada segn la lgica matemtica (clculo de predicados de primer orden +
identidad). Los trminos de la axiomatizacin deben dividirse en tres clases:
1) trminos lgicos y trminos matemticos,
2) trminos tericos
3) trminos observacionales que interpretan los fenmenos.
Los axiomas de la teora son formulaciones de leyes cientficas y especifican las
relaciones que mantienen los trminos tericos. Los trminos tericos son abreviaciones de las
descripciones fenomnicas.

II. Reglas de correspondencia
La concepcin heredada concibe las teoras como construcciones axiomticas formuladas
en una lgica matemtica condicionada por:
I.- La lgica matemtica, que es en la cul est formulada la teora de primer orden y con
identidad (L)
II.- Los trminos de L no lgicos o constantes se subdividen en tres clases disjuntas
llamadas vocabularios. Son los vocabularios lgico (constantes lgicas y trminos
matemticos), v. observacional (contiene trminos observacionales V0 y el vocabulario terico
(trminos tericos). (Vl, V0 ,Vt )
III.- Los trminos del vocabulario terico se corresponden a los objetos fsicos, sus
caractersticas -observables-.
Se trata de una clusula no inicial. La interpretacin semntica no fue necesaria para
Carnap, Whitehead o Russell (entre 1910-1913 la Concepcin heredada ya se hallaba
configurada). Esta clusula fue aadida a partir de Godel (1931/1934) y Tarsky (1936).
IV.- Hay un conjunto de postulados tericos T, cuyos nicos trminos no lgicos
pertenecen al vocabulario terico. Los trminos de Vt deben ser definidos explcitamente en el
vocabulario observacional (V0 ) mediante Reglas de Correspondencia (C). Para cada trmino
"F" de Vt debe haber una definicin con esta forma (x)(Fx=Ox) donde "Ox" es una expresin de
L que contiene smbolos solamente de V0 y posiblemente del vocabulario lgico.
COROLARIO (V): Todos los trminos tericos son cognitivamente significativos en el
sentido de que cada uno de ellos satisface el criterio verificacionista de significado.
El conjunto de axiomas T es el conjunto de leyes tericas de la teora.
El conjunto de Reglas de correspondencia C estipula las aplicaciones permisibles (de la
teora a los fenmenos).
La teora es la conjuncin de T y C (TC).
CAMBIOS EN LA 1 3 Y 5
E. La versin final de la CH.
Cuando se incorporan a una interpretacin coherente las modificaciones de (I) a (V)
1) Existe un lenguaje de primer orden, L en trminos del cual se formula la teora, y
un clculo lgico K, definido en trminos de L.
2) Las constantes primitivas, no lgicas o descriptivas de L, se dividen en dos cases
disjuntas:
Vo, que contiene slo los trminos de observacin;
Vt, que contiene los trminos no observacionales o tericos;
Vo debe contener al menos una constante individual.
3) El lenguaje L se divide en los siguientes sublenguajes, y el clculo K se divide en
los siguientes subclculos:
a) El lenguaje de observacin, Lo, es un sublenguaje de L que no
contiene cuantificadores ni operadores modales, y contiene
trminos de Vo, pero ninguno de Vt. El clculo asociado Ko es la
restriccin de K a Lo y debe ser tal que todo trmino no-Vo (esto
es no primitivo) de Lo est explcitamente definido en Ko,
adems de esto, Ko debe admitir al menos un modelo finito.
b) El lenguaje observacional amplicado lgicamente, Lo, no
contiene trminos Vt y puede considerarse que est formado a
partir de Lo, aadindole los cuantificadores, etc, de L. Su
clculo asociado Koes la restriccin de K a Lo.
c) El lenguaje terico, Lt, es le sublenguaje de L que no contiene
trminos Vo; su clculo asociado a Kt, es la resticcin de K a Lt.
4) Lo y sus clculos asociados reciben una interpretacin semntica que satisface
las siguientes condiciones:
a) El dominio de interpretacin consta de acontecimientos, cosas
o momentos concretos y observables; las relaciones y
propiedades de la interpretacin deben ser directamente
observables.
b) El valor de cada variable de Lo debe asignarse mediante una
expresin de Lo.
5) Una interpretacin parcial de los trminos tericos y de los enunciados de L que
los contienen se consigue mediante las dos clases de postulados siguientes: los
postulados tericos T en que slo aparecen los trminos de Vt, y las reglas de
correspondencia o postulados C, que son enunciados mixtos. Las reglas de
correspondencia C deben satisfacer las siguientes condiciones:
a) El conjunto de reglas C debe ser finito.
b) C debe ser lgicamente compatible con T.
c) C no contiene trminos extralgicos que no pertenezcan a Vo o
Vt.
d) Cada regla de C debe contener, esencial o no vacuamente, al
menos un trmino Vo y al menos otro Vt.

Crticas al positivismo lgico
Ludwig Wittgenstein en sus Investigaciones filosficas, Popper en La lgica de la investigacin
cientfica, Quine en Desde un punto de vista lgico y otros, hicieron crticas a los postulados
fundamentales del empirismo lgico. De hecho, nunca hubo un acuerdo unnime dentro
del Crculo de Viena.
[cita requerida]

Hempel (en "Problemas y cambios en el criterio empirista del significado") hizo crticas
al verificacionismo de Ayer.
Popper critic la idea de la induccin partiendo de la aplicacin de la lgica formal. Segn
Popper, es invlido extraer enunciados generales a partir de enunciados particulares; es decir,
es errneo en trminos lgicos, concluir del enunciado: algunos X se comportan de manera Z,
el enunciado: todos los X se comportan de manera Z. Adems, critica el verificacionismo, ya
que en una teora debe ser posible verificar todos los postulados para decir que es verdadera,
lo cual es imposible. Ms bien, se debera concluir que la teora es falsa si una de sus
predicciones es falsa (Falsacionismo de Popper).
Entre otros importantes crticos del positivismo lgico estn Imre Lakatos , quien desarroll
el Falsacionismo sofisticado en los programas de investigacin, Thomas S. Kuhn con su visin
relativista, histrica y sociolgica de la ciencia, con el principal aporte del trmino Paradigma y
las Revoluciones cientficas y Paul Feyerabend quien plantea que no existen criterios nicos de
juicio y que promueve el Anarquismo Metodolgico como una visin de ciencia ms abierta y
fructfera. Adems, hace una apuesta por otros tipos de conocimiento, fuera del conocimiento
cientfico, como es el conocimiento del psicoanlisis o de la brujera
[cita requerida]
.
Entre los crticos de origen hispanoamericanos del empirismo lgico destaca por la originalidad
y envergadura de su propuesta alternativa el argentino Mario Bunge, quien a pesar de
preconizar la potencia del anlisis filosfico formal, se distancia del empirismo lgico por su
denodada defensa de la metafsica (que identifica con la ontologa) y por su realismo integral.
El empirismo lgico como no cognitivamente significativo segn sus propios criterios
Ha sido sealado por pensadores como, por ejemplo, el fsico David Deutsch,
2
que el
empirismo lgico encierra un conflicto inmediato con sus propios trminos. Esto es debido a
que la frase que define el positivismo lgico es la siguiente: "un enunciado es
cognitivamente significativo slo si, o posee un mtodo de verificacin emprica o es analtico".
Ahora bien, este enunciado encerrado entre comillas no sera segn el propio criterio contenido
en l un enunciado cognitivamente significativo, dado que ni puede ser verificado
empricamente (pues no se presta a comprobacin experimental), ni es analtico (puesto que
no se trata de un enunciado propio del razonamiento matemtico).
Crticas a la concepcin heredada

Algunos de los ataques ms fuertes e influyentes a la Concepcin Heredada han estado
dirigidos contra su dependencia de la distincin terico-observacional. Estos ataques
han sido de tres clases:
Intentos de demostrar que la distincin analtico-sinttico es insostenible y, dado
que la Concepcin Heredada incorpora esta distincin, es insostenible en tanto
que la refleja en su empleo de la distincin terico-observacional
Intentos de mostrar que la distincin terico-observacional no puede
establecerse en los lenguajes cientficos
Intentos de establecer tipos de observacin que sean incompatibles con la
distincin terico-observacional.
Como la Concepcin Heredada entraa la distincin analtico-sinttico, si esta
distincin es insostenible para los lenguajes cientficos, la Concepcin Heredada
tambin debe de serlo.
Carnap (1936-
37), en donde establece el requisito de que los trminos observacionales se refieran a
cosas directamente observables y la prueba de que son directamente observables estriba
aqu en que la verdad de los enunciados. Achinstein concluye, que no se puede establecer la
distincin entre trminos tericos y
observacionales del modo en que Carnap y otros representantes de la Concepcin
Heredada han indicado.