PROFESORADO DE EDUCACIÓN SECUNDARIA EN MATEMÁTICA.

Epistemología de la matemática
Trabajo Práctico N°

Docente: Sosa Facundo

Estudiante: Hepp María Verónica

Fecha de entrega: 6/11.

Ciclo lectivo: 2019

Capítulo 8 del libro de Gregorio Klimovsky Las desventuras del conocimiento
matemático

1. ¿Qué son las propiedades sintácticas?

Las propiedades sintácticas son aquéllas que encontramos en el sistema axiomático
independientemente de la interpretación que luego queramos darles.

2. Explicar las propiedades de:

Consistencia
Un sistema axiomático es consistente si no puede haber en él, a la vez, un teorema tal que
su negación también sea teorema, es decir, es el sistema de dos teoremas contradictorios.
En efecto, en los modelos, las proposiciones que resultan de los teoremas tienen que ser
verdaderas. Un ejemplo:
Teorema 1. Por un punto exterior a una recta pasa una y sólo una paralela.
Teorema 2. Por un punto exterior a una recta no pasa una sola paralela sino infinitas paralelas.
(Ambos no pueden ser teoremas del sistema)

Completitud
Esta propiedad implica que el sistema tiene una capacidad especial de resolver la siguiente
cuestión: dada una cuasi proposición cualquiera del sistema, el desarrollo del mismo permite
demostrarla o bien demostrar su negación, es decir, habrá algún modo de llegar a un teorema
expresado por dicha cuasi proposición o en su defecto a un teorema expresado por la
negación de la misma. Ejemplo:
Afirmación 1. Por dos puntos puede trazarse una recta.
Afirmación 2. Por dos puntos no puede trazarse una recta. (la afirmación 1 o la 2 debe ser un
teorema del sistema).

Saturación
Un sistema axiomático está saturado si no existe la posibilidad de ampliarlo con un nuevo
axioma, que no es teorema del sistema dado ni tampoco lo es su negación. Esto implica que,
a la inversa, un sistema no está saturado si encontramos una cuasi proposición que no es
teorema del sistema, ni tampoco lo es su negación, lo cual, en principio, nos permitiría
agregarlo al sistema como nuevo axioma, así obtendremos un nuevo sistema que resulta de
la ampliación del anterior.

Independencia
Una cuasi proposición es independiente de los axiomas de un sistema si ella no es teorema
del sistema ni tampoco lo es su negación, es decir, cuando cada uno de sus axiomas es
independiente del resto, lo cual significa que no es deducible de los otros axiomas. En general,
si encontramos una cuasi proposición independiente de los axiomas de un sistema
axiomático, o sea, si descubrimos que el sistema no está saturado, podemos ampliarlo
agregándole dicha cuasi proposición y agregándole la negación de la misma. Un ejemplo es
cuando consideramos el surgimiento y desarrollo de las geometrías no euclidianas que se

1
construyen agregando a 1, 2, 3 y 4 la negación del axioma 5 de Euclides, supone, a su vez,
otra ampliación de la geometría.

Decidibilidad
Un sistema axiomático es sintácticamente decidible si existe un método tal que, para toda
cuasi proposición del sistema, permite poner en evidencia si ella es teorema o no en el
sistema. El método tiene que ser efectivo, lo cual significa que debe permitir resolver el
problema en un número finito de pasos, como por ejemplo se emplea un método para hallar
el máximo común divisor y el mínimo común múltiplo de ciertos números naturales dados.

3. ¿En qué consisten las propiedades semánticas?

Además de considerar las propiedades sintácticas de los sistemas axiomáticos debemos
tener en cuenta las propiedades semánticas son las que estudian el significado y modelos de
términos específicos.

4. Explicar sus propiedades

Satisfactibilidad
Un sistema es satisfactible si posee al menos un modelo. Un sistema axiomático puede tener
diversas interpretaciones, pero muchas de ellas serán absurdas, como por ejemplo la
geometría de Euclides interpretando "punto" por "conejo", "recta" por "zanahoria", etcétera,
no interesan esas interpretaciones porque no son modelos.

Consistencia y Satisfactibilidad: hay una relación entre ambas propiedades cuando un

sistema tiene al menos un modelo, es decir, es satisfactible, debe ser también consistente. Si
un sistema axiomático fuese satisfactible, pero no consistente; esto significa que tendría al
menos un modelo y que, a la vez, en el sistema hay un teorema cuya negación es también
teorema. En ese modelo, todos los teoremas tienen que ser verdaderos, pero resultaría
entonces que: (a) el teorema en cuestión debería transformarse en una proposición
verdadera; y (b) su negación también, lo cual es, contradictorio.

Categoricidad semántica o isomorfismo

Dos modelos del mismo sistema axiomático son isomórficos cuando hay entre ellos al menos
una relación que cumple las siguientes condiciones:
• El individuo a representado por a en el primer modelo se corresponde con el individuo
representado el segundo modelo;
• El individuo representado b por el primer modelo se corresponde con el individuo
representado en el segundo modelo;
• El individuo representado por c en el primer modelo se corresponde con el individuo
representado en el segundo modelo; y así sucesivamente.
El isomorfismo se cumple en el primer modelo si y sólo si se cumple en el segundo modelo,
es decir, es un sistema es categórico si todos sus modelos son isomórficos. Por ejemplo, una
fila de 10 soldados (interpretan a los individuos) es un modelo de un sistema axiomático, pero
una fila de 100 soldados también lo es: la condición de isomorfismo no se cumple, porque no
es posible representar isomórficamente un sistema de 10 elementos en otro que tiene 100
elementos.

2
Completitud semántica
Un sistema axiomático es semánticamente completo con relación a todos sus modelos si toda
propiedad que se cumple para todos sus modelos puede ser demostrada como teorema.

Decidibilidad semántica
Un sistema axiomático es semánticamente decidible con relación a un determinado modelo
del sistema, si existe un método para demostrar que para toda proposición verdadera tal que
sí ella es deducible o no en el sistema dado. Dicho método efectivo consta de un número
finito de pasos.

5. ¿En qué consisten la verdad y verdad lógica?

La verdad corresponde cuando (en una tradición aristotélica) una proposición es verdadera
si existe correspondencia entre lo que se expresa en ella y lo que efectivamente ocurre en la
realidad, pero ocurre a veces que la verdad de una proposición no depende del modo que se
presenta en la realidad, sino de su propia estructura lógica. Si una proposición es verdadera
en virtud de la forma lógica que posee, es decir, una verdad lógica. Las verdades lógicas son
triviales, no informan acerca de la realidad y son ellas las que conducen a las conclusiones
como por ejemplo un sistema axiomático es completo con respecto a la verdad lógica si toda
cuasi proposición del mismo que sea lógicamente verdadera en todos sus modelos y aparece
como teorema.

6. Describir la lógica y las denotaciones sintácticas

La lógica, no tradicional, es la que impone cuáles son los requisitos para que haya reglas de
razonamiento correctas. En la filosofía de la lógica contemporánea aparece el. problema de
las llamadas "lógicas divergentes", aquéllas que se obtienen si se rechazan uno o más
principios lógicos de la lógica tradicional, como por ejemplo el principio de tercero excluido1:
"una proposición es verdadera o bien es falsa". La necesidad de adoptar una lógica que
permita que las categorías y las reglas de deducción lógica sean distintas de las de la tradición
clásica aristotélica, se habla de sistemas sintácticos, que tienen la mayor similitud con el
ajedrez por el carácter arbitrario de los signos, las categorías, las definiciones de fórmulas o
expresiones bien formadas y las reglas de producción. En las denotaciones sintácticas hay
que estudiar no solamente razones lúdicas sino también sus posibles aplicaciones a la ciencia
como por ejemplo el diseño de algoritmos utilizados en informática.

1
La lógica filosófica utiliza cuatro principios fundamentales que establecen los procesos de
pensamiento correcto. Estos principios son el principio de identidad, el principio de no contradicción, el
principio de tercero excluido y el principio de razón suficiente.

3
Bibliografía
Klimovsky G., Boido G. (2005). Las desventuras del conocimiento matemático. 1ra ed.
Buenos Aires: AZ. Capítulo 8: propiedades generales y requisitos de los sistemas
axiomáticos, p.151-165.