Capitulo 3: Aristóteles y la axiomáticaclásica

Aristóteles concibe a la geómetra de una manera diferente a Platón, ya que este forma
parte de la tradiciónpitagórica, al contrario, Aristóteles no acenta la existencia de un
“segundo mundo”, para él, el espacio geométrico es real. Afirma que el espacio y sus
puntos son reales al igual que lo que percibimos, y estos están en cierta relación con los
cuerpos, Aristóteles plantea a la geometría, al igual que a la física, como un estudio
sobre la realidad.

La diferencia entre las Ideas de Platón y los conceptos de Aristóteles son que, las Ideas
para Platónestánontológicamente constituidas por objetos del segundo mundo, que
existen con total independencia del mundo corpóreo. En cambio, para Aristóteles, los
conceptos resultan de tener en cuenta aspectos de las cosas del mundo corpóreo de
Platón, el cual es el único que existe para Aristóteles. Hay ideas, como por ejemplo el
“azul” a través de una abstracción de accidentes desde las entidades.

Método demostrativo Aristotélico

Aristóteles da como supuesto: (1)Una ciencia C (la geometría) trata de un género

determinado de objetos.

En el caso de la geometría, C se ocupa de figuras geométricas. Para Aristóteles, las

figuras no intervienen en la investigacióncientífica si se las entiende como sinónimos de
“dibujos” ya que no se razona acerca de ellos. Las figuras son: peculiares porciones del
espacio.

Según Aristóteles una ciencia empieza a ser definida por un tipo de entidades a las
cuales dirige su atención el científico. Así, toma como idea central, la de disciplina, por
lo que el conocimiento se divide en disciplinas distintas. Aristóteles afirma que hay
tanta diferencia entre disciplinas distintas que no habría que confundir lo que se afirma
en una con lo que se afirma en otra. Por lo que la ciencia se conforma a través de la
delimitación del género de objeto de que se trate.

(2) La ciencia C consiste en afirmaciones acerca de tales objetos.

Aristóteles parece caracterizar a la ciencia como el producto de la práctica que se realiza

para resolver los problemas. La ciencia entraña un lenguaje.

(3) Las afirmaciones de C son verdaderas.

(4)Las afirmaciones de C son generales.

(5) Las afirmaciones de C son necesarias.

Aristóteles dice que en un texto de geometria no puede haber afirmaciones falsas, ni

particulares, osea, de un solo triangulo, tienen que ser generales, de todos los triangulos,
de todos los cuadrados o de todas las paralelas. Y tampoco tienen que ser suficientes.
Con que tienen que ser necesarias se refiere a que tales afirmaciones no puede ser de
otra maner, deben ser asi.

(6) Las consecuencias lógicas de las afirmaciones de C tambienpertecenen a C.

Para Aristoteles tiene que haber algun fundamento capaz de permitirnos verificar al
menos algunas proposiciones de la ciencia y desde alli si tendriamos un sosten para
obtener por deduccion las restantes, no puede ser un circulo vicioso. Tiene que haber
unas pocas proposiciones que no necesitan ser justificadas a partir de otras verdades
porque su simplicidad las hace evidentes.

(7) (a) Existe un numero finito de afirmaciones de C que se aceptan de por sí, llamados
principios (b) las demás afirmaciones aceptadas, los teoremas, se deducen de aquellas.

Hay distintas clases de principios, se encuentras los axiomas, verdades que se auto
justifican por su propia evidencia. Luego, una demostración es una clase especial de
deducción que se realiza a partir de axiomas y cuya conclusión es un teorema.

(8) Los términos de C se clasifican en dos tipos (a) términos primitivos, que se
comprenden de por si y que existen en número finito, y (b) términos definidos que se
definen a partir de los primitivos.

Se refiere al vocabulario presente en una ciencia determinada. Si se pretendiesen definir

todos los términos, tendríamos regresos al infinito, por lo cual estipula la existencia de
términos no definidos, los primitivos que conforman la base para definir otros, los
definidos.

(9) Para cada género de objetos hay a lo sumo una ciencia que se trata acerca de ellos.

(10) Las ciencias se jerarquizan en un orden que podemos llamar metodológico.

Aristóteles piensa en dos tipos de puntos de partida de una ciencia, los axiomas y las
tesis, que constan de postulados definiciones e hipótesis.

Principios Axiomas

Tesis Postulados

Definiciones

Hipótesis
Los axiomas son enunciados que por su evidencia exhiben su verdad y se refieren a un
topo de verdad necesariamente admitida en todas las disciplinas.

Las tesis son principios aplicables exclusivamente a la disciplina de la que nos estamos
ocupando. Los postulados son aquellos enunciados que admitimos como verdaderos
porque sin ellos el resto de la ciencia no podria ser construida. Son verdades menos
evidentes referentes a una disciplina pero que debemos aceptar.

Con respecto a las definiciones, hay dos tipos, la definición real, la cual es siempre la
definición de una entidad y consiste en señalar cuál es su esencia, mientras que la
definición nominalse refiere a cuál es el significado con que nosotros utilizamos un
término o palabra. Y por último las hipótesis que son enunciados que afirman la
existencia de algo.

Capítulo 4: La geometría de Euclides-Hilbert

En su más importante libro, Los elementos, Euclides no respeta por completo la
metodologíaaristotélica. Una diferencia es que Euclides pretende definir todos los
términos, en la metodologíaeuclidiana no hay términos primitivos.

Las afirmaciones que Euclides llama postulados son suposiciones que debemos aceptar
sin demostracion y que conciernen a la geometria misma, por lo que equivalen a los
axiomas de Aristoteles.Son cinco afirmaciones las del primer libro. La primera se
refiere a la determinacion de la recta por dos puntos, el segundo admite que es posible
prolongar indefinidamente la recta. En el tercero se declara la existencia de
circunferencias de cualquier centro y de cualquier radio, en el cuarto se refiere a la
igualdad de todos los angulos rectos y el quinto.

Euclides menciona la prolongacion de la recta, lo que hace pensar que los griegos no
concibieron a la recta como una entidad acabada sino contruible por prolongaciones
sucesivas.

Ademas, en los Elementos estan las nociones comunes que se aplican a todas las
disciplinas. A partir de alli Euclides no demustra teoremas sino que establece
proposiciones. Estas proposiciones son una mezcla de problemas y al mismo tiempo
tesis afirmativas.

Asi, los puntos de partida de los razonamientos de Euclides constan de definiciones,

postulados o axiomas y nociones comunes.

Hilbert reformula la geometriaeuclideana y la formaliza adecuadamente, asi, obtiene

cinco grupos de axiomas: ocho en el primero, cuatro en el segundo, cinco en el tercero,
uno en el cuarto y dos en el quinto. Veinte axiomas en total. El primer grupo son los
axiomas de enlace, donde se intenta vincular puntos, rectas y planos. Hilbert aclara los
terminos primitivos que utiliza los cuales son: “punto”, “recta”, “plano”, “entre” y
“congruente”, el sexto al cual llama “corresponderse mutuamente”. El primer axioma de
enlace es: dados dos puntos A y B existe una recta que pasa por ellos. El segundo es:
dados puntos A y B, la recta que pasa por ellos es unica. Luego, los demas axiomas de
este grupo son analogos.

El segundo grupo de axiomas es el de axiomas de ordenacion. Estos tomas “entre”

como relacion primitiva entre puntos. Permiten introducir un orden lineal en la recta que
corresponde a la nocion de “ir de izquiera a derecha”. Hilbert ofrece la definicion de
“segmento”: dados dos puntos A y B de una recta, el segmento AB esta formado por
todos los puntos que se hallan entre A y B. Asi, afirma el axioma de la prolongacion de
un segmento, el cual afirma que “dado un segmento cualquiera AC, existe un punto B
tal que C esta entre A y B. En el tercer axioma se dice que “de tres puntos cualesquiera
de una recta no hay mas que uno situado entre los otros dos. El cuarto afirma “si en un
plano tenemos tres puntos A, B y C no alineados y una recta que tiene un punto en
comun con la recta BC en un punto D ubicado entre B y C, forzosamente debe ocurrir
que: o la recta pasa por A o por un punto entre A y C o por un punto entre B y A”.

El tercer grupo de axiomas, los axiomas de congruencia, el primer axioma dice: “si
tenemos una semirrecta de origen A y un segmento cualquiera MN, existe un punto B y
solo uno en la semirrecta considerada tal que AB es congruente con MN”.

El quinto grupo de axiomas se refiere a cuestiones de continuidad. El primer axioma es

el llamada axioma de Arquimedes: “si tenemos dos segmentos AB y CD en la
semirrecta que parte de C y pasa por D, entocnes existe un numero natural n tal que,
aplicando el postulado de tranporte de segmentos n veces a CD, el segmento resultante
es mayor que AB”. El segundo axioma, el axioma de plenitud, dice que “el sistema de
puntos de una recta es tal que no se lo puede ampliar con el agregado de nuevos puntos
de modo que se sigan cumpliendo los axiomas anteriores”.

Por ultimo el cuarto grupo de axiomas, constituido por un solo axioma, el cual le
llaman el quinto postulado de Euclides afirma que “por un punto exterior a una recta
pasa una y solo una paralela a la recta dada”.

Capitulo 5: El surgimiento de las geometrias no euclideanas.

El quinto postulado de Euclides carece de la simplicidad de los cuatro anteriores, y
ademas Euclides solo lo utiliza explicitamente en el teorema 29, en el que afirma que si
dos rectas paralelas son cortadas por una transversal, son iguales los angulos internos
y tambien lo son los correspondientes, mientras que los internos de un mismo lado
suman dos rectos.

Ya que al quinto postulado se lo necesita para construir la geometria, no estariamos en

presencia aquí de un postulado sino de un teorema. Asi, es posible demostrarlo a partir
de los postulados 1, 2, 3 y 4?
El matematicoSaccheri afirma haber demostrado el quinto postulado a partir de los
anteriores. Su idea fue tratar de demostrar el quinto postulado utilizando un
razonamiento por el absurdo. Asi, si aceptamos como verdaderos los postulados 1, 2, 3,
4 y la negacion de 5 y alliobtuviesemos una contradiccion, ello significaria que el 5to
postulado debe ser verdadero, lo que haria que se tenga que afirmar que el quinto se
deduce de los anteriores, por lo cual es un teorema. La contradiccionconsistia en la
obtencion de la nagacion de alguno de los 4 postulados o de la negacion de la negacion
del 5, osea, la afirmacion del 5. De esta manera el matematico crea el Cuadrilatero de
Sacchieri.

Este cuadrilatero ABCD tiene 3 enunciados. El primero dice que Los triangulos MDA y
MCB son iguales. Asi, por construccion, los angulos A y B son rectos, y ademas AM =
MB y AD = BC. El segundo dice que los triangulos MM’D y MM’C son iguales. Por
construccion, DM’ = M’C, MM’ es comun y DM = MC por la igualdad de triangulos
demostrada en [1]. Y el tercero dice que de las igualdades de triangulos señaladas en [1]
y [2] resulta que la suma de los angulosalfa y beta es igual a la suma de alfa’ y beta’;
por tanto, son iguales los angulos D y C.

Ninguno de estos enunciados utiliza el postulado 5. Al probar la igualdad de los angulos

C y D, Sacchieri tratara de probar que en cualquiera de los casos, sean agudos, obtusos
o rectos, se arribara a una contradiccion.

En el caso de que sean rectos, se demuestra la verdad del quinto postulado, por lo que se
llega a una contradiccion.

En el caso de que sean obtusos, se llega a la negacion del postulado 2, asi, este
postulado seria verdadero y falso, osea que se llegaria al absurdo.

En el caso de que sean agudos, no logra arribar a ninguna contradiccion, osea que se
podia deducir una serie de enunciados que se fundan en los postulados 1, 2, 3, 4 y la
negacion del 5 sin que se condujece a contradicciones.Asi, Sacchieripodria haber sido el
primer creador de una geometria no euclideana.

Gauss, Bolyai y Lobachevskycrearian la primera geometria no euclideana de la historia,

la llamada hiperbolica, que se corresoponde con la suposicion de los angulos agudos de
Sacchieri.

Entrando al pensamiento de Kant, este acpeta la intuicion, como fuente de conocimiento

matematico. Pero este filosofo dice que los objetos matematicos, corresponden a
construcciones de carácter psicologico de los que disponemos por nuestra naturaleza,
como instrumentos para poder imponer orden y sistematicidad a los fenomenos y tratar
biologicamente con ellos. Para Kant la geometria es una forma de sistematizar los
fenomenos. Los verdaderos objetos realos, los noumenos, son para Kant incognosibles,
porque la unicainformacion que tenemos son los fenomenos mismos, que son
manifestaciones indirectas de los verdaderos objetos.
Para Kant los objetos fisicos no corresponden a nada externo al sujeto cognoscente, sino
que son construcciones realizadas por nosotros a partir de los fenomenos que
percibimos.

Kant distingue entre proposiciones analiticas y sinteticas. Las proposiciones de la

ciencia de las cuales queremos dar cuenra se dividen en tre aquellas cuya verdad es
necesaria por razones liguisticas o conceptuales ligadas a la definicion de los conceptos
que usamos (analiticas) y otras que relacionan entidades que no estan en si mismo
relacionadas y tienen contenido factico (sinteticas). Por otra parte, las verdades
matematicas se nos imponen con una fuerza que no poseen las verdades cuya fuente se
encuentra en la experiencia, lo que son las verdades a priori, diferentes de las verdades
a posteriori, que solo la experiencia permite obtener. Las verdades a priori se originan
en la estructura de nuestro aparato psiquico como condicionpreimpuesta para la
sistematizacion de nuestras percepciones de los genomenos. Asi, hay cuatro clases de
proposiciones, analiticasa priori, analiticasa posteriori, sinteticas a priori y sinteticasa
posteriori. De los cuales unicamente se pueden sar los analiticosa priori y los
sinteticosa posteriori.

Siguiendo con las geometrias no euclideanas, a partir de la afirmacion de los primeros

cuatro postulados y la negacion del quinto, Gauss, Bolyai y Lobachevsky crearon una
geometria en la que: por un punto exterior a una recta pasa mas de una paralela a dicha
recta, y se puede demostrar que ello lleva a la existencia de infinitas paralelas a la recta.
En contraposicion a esta geometria no euclideana, tambienesta la geometria no
euclideana de Riemman, la cual se denomina eliptica. En ella la suma de los angulos de
un triangulo es mayor que dos rectos y la razon entre el perimetro de una circunferencia
y su diametro es menor que pi. La “recta” en esta geometria, es cerrada, ilimitada pero
finita.

La geometriaeuclideatrataria acerca de una ontologia regional, en tanto que la

hiperbolicay la eliptica, definirianontologias regionales distintas. La diferencia es que la
euclideatendria relaciones con lo concreto, mientras que las ontologias regionales
descubiertas por los creadores de las dos geometrias no euclideasimplicarian una
curiosidad para los interesados en construir un juego formal.

Capítulo 6: Los sistemas axiomáticos formales

Los sistemas axiomaticosestan conformados por cuasiproposiciones1 (o funciones
proposicionales) las cuales no son proposiciones ya que no tienen terminos primitivos
que designan ninguna entidad y ademas, no afirman ni niegan nada, solo son
combinaciones de expresiones. Ademas, los sistemas axiomaticosestan conformados por

1
De estas se desprenden los axiomas y los teoremas. Osea, todo axioma es un teorema y todo axioma y
teorema es una cuasiproposicion. Cabe aclarar tambien que los axiomas elegidos para un SAF son
designados por convencion, pero tienen que estar bien formados y no contradecirse.
terminos no logicos, los cuales son los terminos primitivos2, los cuales no designan
nada, bajo los cuales se forman las proposiciones, y los terminos definidos, que se
refieren a una combinacion de terminos primitivos y se definen según las reglas de
definicion proporcionadas por la logica presupuesta. Estos solo tienen definicion si los
TP la tienen. Ademas de los terminos no logicos, los SAF estan conformados por
terminoslogicos, los cuales son las reglas de formacion y las reglas de induccion.

Existen cinco definiciones de la palabra “formal”

1) El empleo de los signos simples en lugar de expresiones del lenguaje ordinario.

2) La nocion utilizada por Aristoteles, el cual es una forma de razonamiento
correcta, osea, la palabra formal esta aplicada al analisis de esquemas.
3) La posibilidad de construir un orden deductivo jerarquico para las afirmaciones
concretas de determinadas disciplinas facticas.
4) No tenemos en cuenta el significado de los simbolos que empleamos y
privilegiamos los aspectos sintacticos de los signos. (se relaciona con los SAF)
5) La aceptacion de entidades que no son espaciotemporales.

Un SAF siempre tiene que indicar que logica va a usar como logia presupuesta (la cual
tiene sus propios terminos). Se trata de señalar con que categorias se va a trabajar, según
la logica elegida. Ademas, en la logica presupuesta deben ser explicitadas las nociones
logicas que van a ser utilizadas y habra que contar con una morfologia, descrita por
medio de reglas morfologicas que permiten decidir si una expresion se ha construido
correctamente o no. Estas reglas establecen que tipo de combinaciones entre simbolos
son validas, lo cual permite conformar las cuasiproposiciones.

Tambienhabra reglas de deduccion, las cuales permiten deducir cuasiproposiciones a

partir de otras cuasiporposiciones; finalmente se deben tener en cuenta las reglas de
definicion las cuales permiten obtener nuevos vocablos.

Cada SAF tiene su propio vocabulario, el cual esta constituido por los terminoslogicos
presupuestos y los terminosespecificos del SAF (TP y TD). Los terminos primitivos
tienen que: carecer de significado y tener una categoria asignada, osea, se tiene que
especificar si de habla de individuos, de propiedades, etc. Asi, las reglas morfologicas
nos permiten utilizando los terminoslogicos y los no logicos formar las
cuasiproposiciones.

Axiomas: son un conjunto de cuasiproposiciones elegidos arbitrariamente. A los SAF se

los puede interpretar, dandoles contenido semantico y asi dan referencia a un sector de
la realidad.

Sistemas sintacticos: estan constituidos por signos que no tienen ninguna significacion
ni categoria. Los componentes de este sistema son los signos, las expresiones y las
expresiones bien formadas. Lo que hace que un SAF no sea un sistema sintactico, es

2
Los terminos primitivos son tanto constantes de individuo (a, b, c, d) como variables de individuo (x, y,
z) y Las relaciones que hay entre ellos ,osea, constantes de predicado de grado z (Rxy).
que las reglas de transformacion son reglas de deduccionlogica. Un sistema axiomatico
es un caso particular de sistema sintactico, en el cual ni los termino primitivos ni las
cuasiproposiciones tienen significacion.

Por otro lado, semanticamente un SAF puede tener una interpretacion. Esto se refiere a
la asignacion de significado a aquello que no lo poseia. Una interpretacion de un SAF es
un diccionario con dos columnas, la izquierda es una lista de terminos primitivos del
sistema axiomatico y la de la derecha indica el significado que se le dan a los terminos
de la primera columna. El diccionario convierte al SAF en un lenguaje comunitactivo
con el cual podemos hablar acerca del mundo por medio de afirmaciones. Los axiomas
de un SAF que son cuasiproposiciones, con una interpretacion se convierten en
proposiciones. Asi, el SAF se convierte en un sistema axiomatico interpretado que tiene
contenido semantico. Ademas, cuando los axiomas de un SAF (y por lo tanto sus
teoremas) se transforman con una determinada interpretación, esta pasa a ser un modelo
del sistema, o sea, una “interpretación correcta”.

Se tiene que aclarar una diferencia en el concepto de modelos entre las ciencias fácticas
y los sistemas axiomáticos de la matemática. En los primeros, siempre se le deben hacer
recortes, dejando fuera algunos factores suponiendo que no son relevantes. A estos
recortes se les llama “modelos de la entidad real”.

Tambien se puede aclarar la diferencia entre matematica pura (conformacion de un

SAF) y matematica aplicada (sistema axiomatico interpretado).

El estudio de un sistema axiomatico ofrece un metaconocimiento, osea, se ocupa de la

ciencia misma vista desde afuera, establece sus alcances y limitaciones.

Capítulo 7: La construcción de un sistema axiomático

Comenzaremos por conformar un SAFO (sistema axiomático formal ordenado).

Un sistema SAFO debe incluir:

1. Lógica subyacente:
A. Categorías.
B. Términos o símboloslógicos.
C. Morfología de la lógica subyacente.
D. Reglas de deducción.
E. Reglas de definición.
2. Términos no lógicos del sistema:
A. Términos primitivos.
B. Términos definidos.
3. Morfología del sistema.
4. Axiomas.
5. Teoremas.
Los términos del sistema (lógicos, de la lógica subyacente, y específicos) conforman el
vocabulario del sistema.

1. Lógica subyacente: la logia subyacente será la llamada lógica elemental de

predicados con identidad. Es la parte de la lógica en la que es posible mencionar
ciertas entidades hacia las cuales se dirige nuestra atención, los individuos, y que
nos permite afirmar propiedades y relaciones que les corresponden a ellos.
Podemos también enumerar generalizaciones universales y existenciales acerca
de tales individuos.3 Existen tambiénconstantes individuales, las cuales cumplen
la función de aludir a las entidades que en una determinada investigación
constituyen la materia específica de estudio del campo científico en el que se
trabaja. Así, las constantes individuales serán los nombres de individuos, y estos,
por ejemplo, en aritméticaserían los números y en geometría los puntos, las
rectas o planos. La elección de una lógica subyacente obliga a explicitar:
A. Categorías: Se emplean para referirse a las entidades que intervienen en el
discurso. Para cada tipo de expresión, su categoría corresponde al tipo lógico
de la entidad acerca de la cual queremos hablar (constantes individuales,
predicados de propiedad o predicados relacionales).
B. Términoslógicos: Conectivas proposicionales: símbolos empleados que
permiten construir proposiciones a partir de otras proposiciones (negación,
conjunción, disyunción, condicional, etc).
Variables individuales: Análogas a las constantes. No designan a un
individuo en particular pero aceptan que se les dé circunstancialmente un
“valor”.
Cuantificadores: Universal y existencia.
Símbolo de identidad: Para indicar la identidad de individuos. Expresa la
relación de identidad.
C. Morfología de la lógica subyacente.
D. Reglas de deducción: Para que un razonamiento sea válido y desde la verdad
de sus premisas se llegue a una conclusión verdadera.
E. Reglas de definición: Permiten introducir nuevos términos por medio de
combinaciones de términos ya introducidos previamente.
2. Términos no lógicos: primitivos y definidos:
A. Términos primitivos: Aquellos que no se definen. Los términos primitivos
serán los de la categoría de constantes individuales (a,b,c,d) y con la
categoríavariables individuales (x,z,y…)
B. Términos definidos: Aquellos que se definen según las reglas de definición.
3. Morfología del sistema: Las reglas morfológicas son las que nos informan de si
una expresión se construyó o no correctamente. Nos permiten, utilizando
términoslógicos y específicos construir las cuasi proposiciones del sistema
axiomático.
4. Axiomas: Entre las cuasi proposiciones elegimos arbitrariamente las que
adoptaremos como axiomas del SAFO:
3
Un ejemplo particular de determinado tipo de entidades.
 Axioma 1: Para todo x, no xRx, ósea, que ningún individuo tiene la relación R
consigo mismo.
Axioma 2: Para todo x, para todo y y para todo z, si xRy e yRz, entonces xRz.
Relación de transitividad.
Este es un terreno SINTACTICO, ni los términos ni las cuasi proposiciones
tienen significado alguno.
5. Teoremas: Los teoremas forman parte del sistema, ya que estánimplícitos a la
hora de deducirse consecuencias lógicas a partir de los axiomas.

Capítulo 8: Propiedades generales y requisitos de los sistemas

axiomáticos
Las propiedades más relevantes de los sistemas axiomáticos son las propiedades
sintácticas, estas son aquellas que encontramos en el sistema axiomático
independiente de la interpretación que luego queremos darle.

Consistencia: un SA es consistente si no puede haber en él un teorema tal que su

negación también sea un teorema.

Completitud: Dada una cuasi proposición del sistema, el desarrollo de este permite
demostrarla o demostrar su negación.

Saturación: Un SA es saturado si no existe la posibilidad de ampliarlo con un nuevo

axioma que no sea teorema del sistema dado ni tampoco lo sea su negación. O sea,
un sistema no está saturado si encontramos una cuasi proposición que no es teorema
del sistema, ni tampoco lo es su negación.

Independencia: Si un sistema está saturado y pretendemos agregarle un nuevo

axioma que es en realidad un teorema del aquel, o lo es su negación, no lo vamos a
poder ampliar. De una cuasi proposición se dice que es independiente de los
axiomas si ella no es teorema del sistema ni lo es su negación.

Decidibilidad sintáctica: Un SA es sintácticamente decidible si existe un método que

para toda cuasi proposición del sistema permite poner en evidencia si ella es
teorema o no del sistema.

Las propiedades semanticas de los sistemas axiomaticos

Satisfactibilidad: El hecho de que el sistmea tenga modelos, un sistema satisfactible

si posee al menos uno.

Categoricidad semantica o isomorfismo: Dos modelos de un mismo SA son

isomorficos cuando hay entre ellos al menos una relacion que cumple: (a) cada
individuo del primer modelo se corresponde con uno y solo uno del segundo y
viceversa, (b) las propiedades y relaciones del primero quedan representadas por
propiedades y relaciones del segundo y viceversa, asi, si en el primero dos
individuos estan vinculados por una relacion R, los correspondientes en el segundo
se vincularan por relacion que corresponde a R. Un sistema es categorico si todos
sus modelos son isomorficos.

Completitud semantica: Los axiomas de un sistema, convertidos en proposiciones

verdaderas en todos sus modelos, daran lugar a que los teoremas en todos esos
modelos se habran convertido en proposiciones verdaderas. Un SA es
semanticamente completo con relacion a todos sus modelos si toda cuasiproposicion
que se cumple en todos sus modelos puede ser demostrada en el sistema como
teorema.

Consistencia y satisfactibilidad: Si un sistema tiene al menos un modelo, osea, si es

satisfactible, necesariamente debe ser consistente.

Decibilidad semantica: Un SA es semanticamente decidible con relacion a un

determinado modelo del sistema si existe un metodo para poner en evidencia que,
para toda proposicion verdadera en tal modelo, si ella es deducible o no en el
sistema dado.

La propiedad de consistencia es necesaria ya que sin ella, un SA tendra un teorema t

tal que su negacion tambien es teorema. Si es sistema no es consistente, no tiene
aplicación posible.

Capitulo 9: Las geometrias no euclideanas como sistemas axiomaticos:

consistencia y modelos
Construyendo demostraciones a partir de los axiomas de las geometrias no
euclideanas, se obtenian al comienzo algunos teoremas de Euclides.

Son consistentes los sistemas axiomaticos de las geometrias no euclideanas? Con

respecto a esta pregunta, Hilbert propuso un metodo similar al que en matematica es
llamado “principio de induccion matematica”. Su propuesta significaba mostrar (a)
que ningun axioma de determinada geometria no euclideana es en si mismo
contradictorio y (b) que si al cabo de n pasos deductivos no se han obtenido
contradicciones, tampoco sera contradictoria la conclusion que surge del siguiente
paso. Para demostrar si es consistente, se le debe encontrar un modelo a la geometria
no euclideana.

El modelo de Klein que se aplica a la geometria de Gauss (no euclidea) toma los
elementos de la geometria euclideana para si columna derecha. La geometria no
euclideana de Gauss tiene al menos un modelo, el de Klein, osea que es satisfacible,
y por lo tanto consistente, no puede haber en ella teoremas contradictorios.

Por ultimo, hay 3 clases de modelos de un sistema axiomatico

 Absolutos: aquellos en que el diccionario de la interpretacion vuelve verdaderos a
los axiomas del sistema axiomatico y por tanto a todas las restantes
cuasiproposiciones del mismo.

Relativos: Los que interpretan un sistema axiomatico sobre otro SA, de tal modo
que nos permiten afirmar que, si el segundo es consistente, el primero tambien lo
sera. (Si la geometria euclideana es consistente, la no euclideana 4tambien lo es).

Hipoteticos: El SA se interpreta sobre un sistema hipotetico deductivo de alguna

ciencia factica satisfactoriamente corroborado hasta el momento. No se puede
garantizar que las proposiciones del modelo hipotetico sean concluyentemente
verdaderas. A su vez, los modelos hipoteticos de los SA, representan un avance
desde un punto de vista practico.

Capitulo 13: La axiomatica de Peano y el modelo de Russell: la

reduccion de la matematica a la logica
Peano propuso introducir los numero naturales por medio de un SAF, conocido
como “axiomatica de Peano”. Asi, uso notaciones que se usan en la logica
contemporanea. El sistema de Peano no estaba del todo formalizado, pues su logica
subyacente no lo permitia. Se trataba de una logica de predicados de orden elevado.
Con esta, podemos hacer afirmaciones generales y existenciales acerca de
individuos y predicar ciertas propiedades de estos.

Sus terminos primitivos son: 0 (cero), siguiente y numero natural. Y tiene cinco
axiomas:

Axioma 1: Cero es un numero natural.

Axioma 2: Si x es un numero natural, el siguiente de x tambien es un numero natural.

Axioma 3: Cero no es el siguiente de ningun numero natural.

Axioma 4: Si dos numeros naturales x e y tienen siguientes identicos, es que ellos

son identicos.

Axioma 5: Para toda proppiedad P, si 0 tiene la propiedad P y, supuesto que, del

hecho de que todo numero natural cualquiera tiene la propiedad P resulta que el
siguiente numero tambien tiene la propiedad P, entonces todos los numero naturales
tienen la propiedad P.

Este ultimo axioma se llama de induccion matematica. EL principio de induccion

matematica es una generalizacion de un condicional. Lo que cuantifica
universalmente es la variable P.

4
Los sistemas axiomaticos formales de estas dos geometrias tienen el mismo grado de pretension en
cuanto a su consistencia: ninguna puede decir que ella es consistente mientras que la otra no lo sea.
 Los cinco axiomas de Peano construyen la definicion de numero natural. Los
numeros naturales son aquellas entidades que cumplen los cinco axiomas de Peano.

Un problema del metodo axiomatico formal es que no se puede utilizar para

formular definiciones implicitas ya que, como un sistema admite modelos
diferentes, no podemos decir categoricamente, que el numero natural es aquel tipo
de entidad determinada por las condiciones que establece Peano en su axiomatica. Si
hay al menos un modelo para la axiomatica de Peano, entonces hay miles.

Siguiendo con Russell, el creyo encontrar un modelo de la axiomatica de Peano en

la teoria de conjuntos de Cantor. Russell pensaba posible encontrar un mdoelo de la
axiomatica de los numeros naturales sin presuponer nociones aritmeticas. Definio
cierto tipo de relacion que se puede establecer entre un conjunto y otro, la
correspondencia biunivoca, en la cual una relacion R establece una correspondencia
biunivoca entre un conjunto o clase A y un conjunto o clase B, cuando para todo
elemento de A la relacion R hace corresponder uno y solo un elemento de B, y
viceversa. Cuando existe una correspondencia biunivoca entre connjunto A y B,
estos son coordinables. Se puede probar que la relacion de coordinabilidad es una
relacion de equivalencia. En este caso en el cual tienen equivalencia, se dice que el
conjunto A tiene el mismo numero cardinal5 que el conjunto B. Asi, el numero
cardinal de un conjunto puede ser interpretado como una clase de equivalencia
respecto de la relacion de coordinabilidad. Asi, el numero cardinal de un conjunto,
es el conjunto de todas las clases coordinables con el.

Nocion modelistica de Russell del SA del numero natural:

Terminos P: cero, siguiente y numero natural.

El modelo que usa Russell interpreta al cero, como el cardinal del conjunto vacio.
Luego define al numero natural como la clase que es interseccion de todos los
conjuntos inductivos.

Al cumplirse los cinco axiomas de Peano en la interpretacion logica de Russell, este

es un modelo conjuntistico de la axiomatica de los numero naturales.

Ya que la matematica es reducible a la axiomatica de los numeros naturales, resulta

que la matematica es reducible a la logica. Asi, todo el discurso de la matematica
podria reducirse al discurso de la logica. En tanto se investiguen SAF, la amtematica
es una ciencia vacia. La matematica de Russell si seria una ciencia vacia, pero hecha
la reduccion de Russell, el discurso matematico ahora interpretado, seria una ciencia
acerca de entidades de la logica.

Con todo esto, se hace posible presentar dos posibilidades de la naturaleza de la

matematica pura. La primera es una matematica pura sin contenido significativo, la
segunda posibilidad consiste en rechazar la tesis anterior y argumentar que gracias al
5
La nocion de cardinalidad coincide con la nocion de que hay una correspondencia biunivoca entre
ambos.
modelo de Russell podemos hablar de conjuntos, lo cual dotaria a la matematica de
sentido semantico.