Professional Documents
Culture Documents
Para demostrar que no todas las teorías a las que normalmente nos
referimos como científicas admiten la reformulación canoníca requerida por
la Concepción Heredada , será suficiente mostrar que algunas de estas
teorías no pueden axiomatizarse fructíferamente.
Está claro que las interconexiones sistemáticas entre los conceptos que
aparecen en cualquiera de las siguientes teorías son actualmente
insuficientemente conocidas o entendidas como para admitir una
axiomatización fructífera: la teoría de Hebb del sistema nervioso central, la
teoría de la evolución de Darwin, la teoría sobre el origen del universo de
Hoyle, etc. Llegamos entonces a la conclusión de que un amplio número de
teorías que normalmente se suponen científicas no admiten la
reformulación axiomática canoníca requerida por la Concepción Heredada ,
por la sencilla razón de que actualmente no admiten ninguna
axiomatización fructífera.
Eston no equivale a decir que su verdad ofalsedad depende del modo de ser
del mundo, se requiere esto, per ademas debe de ser posible, al menos en
principio, determinar que sean esta verdad ofalsedad. Al prponer la
disnticion analitico-sintetico, lo que carnap quier edecri es que todo
enunciado cognitivamete significativo es o bienanalitico o bien sintético.
Así pues, hay una amplia clase deenuncdos, incluidos la mayoria de los
priciios, definiciones, y leyes de la cienciamas desarrolalda,que no son ni
anliticos ni sinteticos. Esto no euivale a decir, que no haya enuciados
analiticos o que no haya enunciados sintetiicos. Putnam concliuye su
articulo ahondando mas en lanaturaleza delos enunciados analtiicos y enlas
razones para introducirlos, presentando un criterio de anliticidad y
concluyendo que las razones para mantenerlos en un lenguaje natural es
que no hay razón para no hacerlo, ya que no tieen ninguna consecuencia
sistematica y si tienen, en cambio, la ventaja de permitirno emplear paraes
de expresiones intercambialbels.
Vamos a ocnsiderar una replica que sea ha dad tanto a putna coo a quines.
Maxwell mantien que enunciados analiticos son aquellos que en una
rzonable reconstrucicon racional podrain afirmarse de forma incondicional,
como tales, estan desprovistos de contenio factico. Masxwell pone den claro
que esto shace de la naliticidad algo dependiente del contexto,en el sentido
de que un ununciado que es analítico en un contexto puede ser sitnetico en
otro.
Antes de que se den las reglas C Lt, junto con los postulados T y las reglas
de deduccion, es un caluculo sn interpretar’
Nagel:
Son muchos los distintos sentidos que s epueden dar a l modelo , uo deellos
es elde ientperetacno sematica de una eoria tal que los teoiremas d e la
msm resulten verdaderos en esa inepretacon. Este esel sentido en que
hemos estado empleando hasta ahora la palabra modelo, denominare a
esto smodelos, modelos matematicos. Un segundo sentido de modelo es el
de mlodelo a escal como el del modelo de avion, ,el de tunel aerodinamico,
etc. Es centroal a esta nocion la idea de ue un modelo es un modelo de
alguna cosa o tipo d ecosa y de que fuciona como u nicono de aquello que
modela. A estos los llamremos modelos iconicos.
Hesse subraya que esots modelos deben ser modelos iconicos de lso
fenomenos a que se refiere la teoría.
1. PROBLEMAS DE FORMALIZACON