Filo ciencias

T1. Axiomtica clsica. Geometra euclideana. Geometras alternativas.

T2.
Peano. Formalizacin / axiomatizacin de la matemtica.
Trminos primitivos: nmero natural, 0, sucesor, y trminos lgicos, que toma de los
desarrollos en lgica que se empezaron a dar en el sXIX.
-0 es un nmero.
-Todo nmero tiene un sucesor.
-Si dos nmeros tienen el mismo sucesor, son el mismo nmero.
-0 no es el sucesor de ninguno.
-Principio de induccin matemtica:
-Si n tiene la propiedad P, entonces n la tiene. Y
-si 0 tiene la propiedad P
/Todo n tiene P.

[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).

Los logicistas (Russell, Frege) no consideraron esos trminos (nmero, sucesor, 0)

como primitivos, y los definieron a partir de la lgica estndar de su poca (Lgica de
predicados)

Definicin explcita: definiendum (0) y definiens (= df (Ex) Ax) no existe un x tal

que x tenga A.

Definiciones contextuales: en vez de definir el trmino, defino una expresin ms larga

en la cual est incluido el trmino que quiero definir (como cuando defino paralela
explicando qu quiero decir cuando digo que A es paralela de B).

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.

Consistencia: es la propiedad ms importante que se supone debe presentar un sistema.

Significa que no resulta contradictorio. Pero que definirlo de este modo, tengo que tener
la negacin (pues contradiccin es P . P). Ms generalmente, un sistema es consistente
cuando no toda frmula bien formada es teorema.
Se quiere evitar la contradiccin para garantizar la propiedad principal de un sistema
deductivo: conservar la transmisin de verdad de las premisas a la conclusin.

-Efectividad: un procedimiento es efectivo si sirve para decidir si una frmula es

teorema o no. Por ejemplo, en lgica proposicional, las tablas de 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).

-Saturacin: Un sistema est saturado cuando el resultado de agregar un nuevo axioma

que no figuraba como teorema convierte el sistema en inconsistente.
(si ya estaban dichas todas las verdades, la prxima frmula bien formada no lo es).

Interpretacin: dar significado a los trminos.

Si la interpretacin ha resultado tal que los axiomas del sistema resultan todos
verdaderos, se dice que se ha encontrado un modelo.
(no se va a considerar, como alguno hacen, modelo a toda interpretacin).
Adems, si encontr modelo, puedo decir que el sistema es consistente.
La interpretacin de un sistema puede ser a su vez otro sistema. En tal caso, se habla de
consistencia relativa. Por ejemplo, las geometras no euclideanas, cuando surgieron.
En un sistema axiomtico se busca la economa de los axiomas, pero tambin su
simplicidad (porque podra poner en conjuncin todos los axiomas y tener uno solo,
pero sera complicar su aplicacin subsiguiente).

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.

[Puede aceptarse una geometra no euclideana en el planteo kantiano?: creo que s: la

geometra depende de la forma pura de inuitcin externa, el espacio. Los objetos los
intuimos segn ese espacio. Ahora bien, este tipo de intuicin est acotada a la magnitud
de objetos que podemos intuir. Si a niveles astronmicos debemos utilizar otra
geometra]