Documentos de Académico
Documentos de Profesional
Documentos de Cultura
[en este contexto, analtico ya no es lo que deca Kant, sino: un enunciado cuyo valor de
verdad puede determinarse a partir del puro conocimiento lgico y el significado de los
trminos que aparecen.]
Pero la cuestin de si son o no analticos es un problema, porque se pone en primer
plano la cuestin de la verdad de los postulados.
Adems, el sistema de Peano no se est comprometiendo con ninguna posicin respecto
de su valor de verdad (como la tienen los platnica, los constructivistas, que se refieren
explcitamente a la naturaleza de los nmeros).
El segundo paso que los logicistas tenan que hacer era mostrar que los postulados
aritmticos, los axiomas aritmticos, expresados en trminos lgicos, se pueden deducir
de sistemas puramente lgicos. As, responderamos a la cuestin de su verdad diciendo
que es una verdad lgica.
Lenguaje formal.
1) ALFABETO
2) REGLAS DE FORMACIN (sintaxis)
3) FRMULAS BIEN FORMADAS
4) REGLAS DE TRANSFORMACIN (o de inferencia)
5) AXIOMAS (axiomas esquema)
6) TEOREMAS
7) DEMOSTRACIONES
8) EXPRESIONES DEFINIDAS (abreviaturas. Por ej: 1 es la abreviatura de 0)
9) SMBOLOS AUXILIARES
Los axiomas constituyen un subconjunto de las frmulas bien formadas que en principio
se eligen arbitrariamente.
Lo de axiomas esquema se propone para el caso de sistemas con infinitos axiomas,
presentados como frmulas con ciertas variables. (como el axiomas de las propiedades
de Peano).
Los teoremas son resultado de la aplicacin de las reglas de transformacin a los
axiomas, en secuencias que se llaman demostraciones o pruebas.
As: una demostracin es una secuencia de frmulas bien formadas tales que cada una
de ellas es o bien un axioma o bien el resultado de la aplicacin de las reglas de
transformacin.
Clusula maximal: cuando tengo todas las reglas de formacin de formulas, voy a decir:
ninguna otra cosa es una frmula bien formada.
Lema y corolario: son tambin teoremas, lo que cambia es cmo aparecen, cmo se
usan o cul es el inters. Lema es una teorema que se prueba para mostrar otro (porque
los teoremas que quiero demostrar tienen que ser de algn modo interesantes) y
corolario un teorema que se sigue de otro.
Las frmulas bien formadas no son proposiciones, pues no se les ha asignado a los
trminos ningn significado. Si opero de esa manera, me mantengo en la dimensin
exclusivamente sintctica y lo que tengo es un sistema que se llama clculo (sistema
puramente formal). En este caso, no se plantea el problema de la verdad.
-Completitud: Un sistema es completo cuando todas las verdades, todo lo que sera
verdad para todos los mbitos a los cuales se aplica el sistema, se podra demostrar. El
sistema es completo porque se pronuncia sobre cada cuestin que se pueda formular en
los trminos del sistema. (un sistema inconsistente es un sistema completo).
T3.
(la axiomtica de la geometra euclideana, tal como es formulada en su poca, podra
decirse que es ms bien una axiomtica intuitiva y no formal). su lgica subyacente
no estaba explicitada.
La utilidad que pueden tener los sistemas axiomticos est vinculada con la posibilidad
de encontrar modelos.
Kant. Juicios analticos o sintticos, a priori o a posteriori.
Hume: crticas a la induccin (al no haber una impresin de la conexin necesaria entre
la denominada causa y el denominado efecto). Es decir, la experiencia no puede
garantizar una regularidad observada.
Kant: postulacin de juicios sintticos a priori. Aumentan el conocimiento y a su vez
son independientes de la experiencia (y por lo tanto pueden ser universales y
necesarios). Lo que sabemos a priori respecto de los objetos de la aritmtica, la
geometra y la fsica, no lo sabemos porque sean caractersticas de los objetos mismos,
sino porque tienen que ver con nuestro modo de conocer el mundo. E y T son las formas
puras de la sensibilidad, es decir, las formas que tenemos de intuir objetos.
Ahora bien, la fundamentacin kantiana de la aritmtica, la geometra y la fsica es tan
rigurosa, tan apodtica, que al aparecer geometras no euclideanas, por ejemplo, se
compromete su propuesta.
A partir de ah, algunos neokantianos quieren reformular la teora, pero caen en el
relativismo. Por otro lado, renace el empirismo de manos de Stuart Mill, en algn caso
incluso radicalizado. Por ejemplo, Hume aceptaba que la matemtica consista en
relaciones de ideas. Para Mill, la lgica y la matemtica (sus leyes) son algo as como
las regularidades ms comunes que pueden presentarse entre los objetos. As, todas las
ciencias seran ciencias fcticas. contrastar con Hempel: La naturaleza de la verdad
matemtica.