Sistemas Axiomticos Formales

Sistemas euclidianos: partir de principios, comunes y especficos, validados por intuicin, y a partir de all obtener sus consecuencias lgicas

SAF Aritmtica: Peano

Construir un sistema aritmtico a partir de ciertos conceptos primitivos (aritmticos: cero, nmero natural y sucesor), y trminos lgicos. Peano propone sus sistema, y el sistema de por s no compromete con ninguna posicin respecto de si tienen valor de verdad, sin lo tienen, si son analticos, sintticos, obtenidos por intuicin (los axiomas). Lo que hizo fue buscar a partir de qu conjunto reducido de frmulas poda demostrar las propiedades conocidas de los nmeros. Nmero natural permaneci como un primitivo definir el concepto de nmero natural. a partir de qu? Dentro de la matemtica no hay nocin ms elemental que la de nmero LOGICISTAS: definir esta nocin a partir de trminos o de nociones lgicas.

Logicismo
Frege pretende reducir los trminos aritmticos, que a su vez eran los trminos primitivos a partir de los cuales se podan definir los dems (en el sistema de Peano), a trminos lgicos. Definir / definicin Definicin: definiendum es la expresin que queremos definir definiens todo lo que uso para definir Logicismo: 1ro: en lugar de tomar los trminos como primitivos, definirlos 2do: definirlos, pero de tal manera que en el definiens no aparezcan si estos trminos obviamenteni otros trminos aritmticos, sino trminos que fueran puramente lgicos. Luego: Lo anterior lo nico que me dice es que yo puedo traducir el lenguaje matemtico a un lenguaje puramente lgico, pero no me dice qu es lo que se afirma o se niega, solo me dice que hay una posibilidad de traduccin. El segundo aspecto sera mostrar que los postulados aritmticos, los axiomas aritmticos, expresados en trminos lgicos, se pueden deducir de sistemas puramente lgicos (finalmente, los axiomas matemticos seran verdades de carcter lgico). SE PRETENDA LA CONSTRUCCIN DE SISTEMAS ABSOLUTAMENTE FORMALIZADOS. Sistemas Axiomticos Formalizados 1. Alfabeto: vocabulario, que tiene que estar claramente explicitado. Va a estar compuesto exclusivamente por los signos y por todos los signos que se van a utilizar en el sistema, son los signos a partir de los cuales se formular todo lo dems. 2. Reglas de formacin: son las reglas segn las cuales se estableces ciertas combinaciones de esos signos, que hace de ellas (combinaciones) propias del sistema 3. Frmulas bien formadas: (FBF) estructuras que podran convertirse en oraciones bien formadas de un lenguaje. 4. Reglas de transformacin: (o de inferencia) las que indican cmo puedo ir operando con las frmulas bien formadas, y en cierto sentido, ir generando ciertas frmulas a partir de otra, en ciertas condiciones.

5. Axiomas: constituyen un subconjunto de frmulas bien formadas, que en principio se eligen arbitrariamente. 6. Teoremas: una vez establecidos los axiomas, a travs de reglas de transformacin se pueden ir generando una sucesin de frmulas bien formadas, que se llaman teoremas. 7. Demostraciones: los teoremas son resultado de la aplicacin de las reglas de transformacin a los axiomas, en secuencias que se llaman demostraciones o pruebas. DEMOSTRACIN: es una secuencia -o serie- de FBF tales que cada una de estas FBF es o bien un axioma, o bien el resultado de la aplicacin de las reglas de transformacin a frmulas precedentes de esa secuencia. EN UNA DEMOSTRACIN VOY A TENER UNA SUCESIN DE FRMULAS, CADA FRMULA TENDR QUE ESTAR JUSTIFICADA O BIEN POR SER UN AXIOMA, O BIEN PORQUE RESULTA DE FRMULAS ANTERIORES EN LA SECUENCIA POR APLICACIN DE LAS REGLAS DE TRANSFORMACIN O REGLAS DE INFERENCIA. AXIOMAS: Un sistema puede tener un numero finito o infinito. Hay una forma de presentar un conjunto infinito de axiomas que es lo que se llaman axiomas esquema, lo que se tiene es una frmula con ciertas variables que pueden ir cambiando a gusto, y entonces eso me genera una lista infinita. Demostracin: es una secuencia de formulas tales que cada una de ellas es o bien un axioma, o bien surge de frmulas anteriores de una regla de transformacin. 8. Expresiones definidas: son una suerte de abreviaturas. (en vez de plantear los nmeros de la sucesin como 0, 0,0... puedo poner 1,2,3...). Las tenemos adems de las expresiones primitivas. 9. Smbolos auximiares: como los parntesis y los corchetes. Hasta aqu las cosas estn presentadas de tal manera que se sealo un lenguaje formalizado de una cierta manera, pero donde en principio no est establecido cul es el significado de las expresiones que aparecen. Para que las FBF sean afirmaciones o proposiciones hay que darle significado a las expresiones. OTRAS CARACTERSTICAS SINTTICAS Consistencia: un sistema consistente es aquel que no resulta contradictorio. Un sistema es consistente si no sucede que dentro de l se puede demostrar un teorema y su negacin (en el caso de sistemas que tienen el signo de la negacin). De otra forma: un sistema es consistente cuando no toda frmula bien formada es teorema. Si dentro de un sistema yo puedo probar una frmula y su negacin, entonces puedo probar cualquiera. Una forma de demostrar que un sistema es consistente es demostrar un teorema T y ver si se demuestra la negacin de T. Otra manera diferente sera mostrar que una cierta frmula no es teorema. Eso significara, de acuerdo a la segunda definicin de consistencia que dimos, que el sistema es consistente. Una frmula que no se puede demostrar, es decir, que no sale de los axiomas, si lo demuestro, entonces el sistema sera consistente. Basta con presentar una frmula que no sea teorema del sistema para mostrar que es consistente. La cuestin de cmo demostrar que la frmula no es teorema es otra historia. Efectividad: Decimos que contamos con un procedimiento efectivo para decidir su una frmula es teorema o no cuando contamos con un procedimiento que, en un nmero finito de pasos, responde por la afirmativa o la negativa a la pregunta. (en el caso del sistema de la lgica preposicional, tenemos el procedimiento de las tablas de verdad)

Completitud: un sistema completo es un conjunto de axiomas que logran capturar todas las verdades que corresponden a los mbitos donde se pueda aplicar este sistema. De otra forma: es un sistema donde todas las verdades, todo lo que sera verdad para todos los mbitos a los cuales se aplica el sistema, se podra demostrar. En los sistemas donde existe la negacin se podra plantear en los siguientes trminos: podramos pensar que un sistema es completo si y solo si para cualquier frmula bien formada se cumple que o bien esa frmula o bien su negacin son teoremas. (si las dos fueran teorema, el sistema sera inconsistente) un sistema inconsistente sera completo. El sistema es completo se pronuncia sobre cada cuestin que se pueda formular en los trminos del sistema. O IDEAL: SISTEMAS CONSISTENTES Y COMPLETOS. Saturacin: (otra caracterizacin de completitud) Un sistema est saturado cuando el resultado de agregar un nuevo axioma que no figuraba tampoco como teorema convierte el sistema en inconsistente. INTERPRETACIN: dar un significado a los trminos. Haciendo corresponder, por un lado, a los smbolos, o bien otros smbolos cuyo significado ya entendemos, o bien correlacionndolos con ciertos objetos. Y por otra parte, tenemos que dar ciertas reglas que me digan no solamente cmo interpretar los smbolos aisladamente, sino en todo caso, cmo interpretar las combinaciones de smbolos. MODELO: Si la interpretacin ha resultado tal que, de acuerdo con esa interpretacin, los axiomas del sistema resultan todos verdaderos, se dice que se ha encontrado un modelo. Nosotros vamos a usar modelo como interpretacin adecuada, en el sentido de interpretacin segn la cual todos los axiomas han resultado verdaderos. SI YO TENGO UN SISTEMA Y ENCUENTRO UN MODELO, HE ENCONTRADO UNA INTERPRETACIN EN LA CUAL TODOS LOS AXIOMAS RESULTAN VERDADEROS, ENTONCES PUEDO DECIR QUE EL SISTEMA ES CONSISTENTE. Si todos los axiomas resultan verdaderos, entonces tambin todos los teoremas resultan verdaderos, porque son consecuencia lgica de los axiomas. Entonces, encontrar un modelo tambin es una manera de probar la consistencia del sistema. El hecho de que no se llegue a una contradiccin no quiere decir que la contradiccin no exista, sino simplemente, que hasta ahora no hemos llegado a ella.