Capitulo 6

Surgimiento Histrico
Caractersticas de las ciencias fcticas y formales
Los filsofos contemporneos aceptan una distincin entre 2 tipos de ciencias fcticas y formales.
a) Ciencia Fcticas: Estn formadas por conocimientos que se refieren a aspectos de la realidad
natural y social, ejemplo en la parte natural y biolgica y en la parte social, los tipos de
enunciados que abarcan son sintticos y analticos.
Sintticos: Unen diferente tipos de entidades.
Analticos: El tipo de verdad utilizado es a posteriori, el cual es fundamentado a la
experiencia y es contingente y provisorio.
Los mtodos utilizados son el mtodo inductivo y el falsacionismo.
b) Ciencias Formales: Son entidades abstractas, en ella no hay referencia de los objetivos fsicos
sino a los abstractos. Ejemplo: Numerosas figuras geomtricas.
Los tipos de enunciados que abarca son analticos, su verdad es vlida universal y necesaria,
son a priori, independientemente de la experiencia o no fundamentado. Los mtodos utilizados
son todos los relativos al mtodo deductivo, a la demostracin y al sistema axiomtico y la
lgica.
La diferencia es que las hiptesis de las Ciencias Fcticas se contractan a travs de la observacin y la
experimentacin. El contraste entre las Ciencias Formales y Fcticas solo aparece cuando la
matemtica a llegado a un grado de desarrollo considerable, algunas culturas prepararon
conocimientos matemticos que le resultaron tiles para resolver problemas prcticos como
calendarios.
La matemtica y su desarrollo
La matemtica avanzo pero dentro de todo se mantuvo dentro de los lmites empricos, la matemtica
sufri un vuelco espectacular en el pensamiento Griego, estos aprovechaban los conocimientos
alcanzados por otras culturas, y cuando lo incorporaban a sus conocimientos transformaban sus
significados. Los cambios grandes que tuvo la matemtica en su desarrollo son porque para los griegos
la matemtica ya no va a tener una base emprica sino racional. Llamaban conocimiento racional a una
aspiracin suprema, la preocupacin de los griegos era organizar el conocimiento matemtico sobre las
bases estrictamente racionales. La matemtica aparece como una necesidad para resolver problemas
prcticos.
Los matemticos griegos queran separar los objetos matemticos de los objetos fsicos, los pitagricos
realizaron grandes aportes en la historia de la matemtica. Los pitagricos eran filsofos religiosos, uno
de los pitagricos llego a medir el radio de la tierra, tambin lograron resolver cuanto vala 2 ellos
trabajaban con la deduccin.
Los griegos emprenden la tarea de hallar principios del conocimiento geomtrico, estos principios
pertenecen a dos clases:
1) Axiomas: Eran tan evidentes que nadie podra dudar de su validez universal. Son vlidos para
todas las ciencias.
2) Postulados: Se los supone tambin verdaderos, pero igual podran llegar a dudas de ellos y son
vlidos para cada ciencia particular.
El postulado numero V
Como los gemetras no quedaron conformes con lo que expresaba el quinto postulado, porque para
ellos no tena condiciones de un postulado, sospechaban que poda llegar a demostrarse, Euclides lo
haba incluido entre los postulados pero no encontr la manera de demostrarlo, aparece la idea de
reemplazar el quinto postulado y conservar los otros cuatros, reemplazndolo por otro que no sea
compatible a la original, as aparecieron otros sistemas geomtricos alternativos ya que en el nuevo

sistema estarn los teoremas del sistema Euclidiano pero estos no van a necesitar del quinto
postulado, ni siquiera de las teoras que dependen de l, solo habr teoremas equivalentes a los de
Euclides. Como se incorpor un nuevo postulado que antes no se encontraba, habr nuevos teoremas
que antes no existan en el de Euclides, y de esta forma surgen las geometras no euclidianas, el
inconveniente que se presentaba es que no se saba cul era el verdadero.

Geometra pura o matemtica pura

Es el conjunto de estructuras abstractas o sistemas axiomticos abstractos que estudia la construccin,
invencin y descubrimiento de dichas estructuras y el desarrollo lgico de las consecuencias derivadas
de las mismas, adems se encargaran de buscar modelos que satisfagan a dicho estudio, se aplica a la
realidad.
Sistemas axiomticos formales abstractos
Un sistema deductivo puede formarse sin la necesidad de que sus trminos de refieran a los objetos o
propiedades del mundo fsico, se puede operar dentro de un sistema sin darle un significado a todos
sus trminos, un sistema axiomtico formal abstracto comprende:
1) El alfabeto del sistema: Son signos que combinados producen la frmula del sistema, algunos
de otros smbolos tienen carcter primario y no son definidos dentro del sistema, se encuentran
tambin smbolos auxiliares como parntesis y corchetes.
2) Las definiciones: A travs de este se introducen nuevas notaciones ms breves para las
expresiones del sistema
3) Regla de formacin: Las reglas indican cuales de las frmulas que aparecen con la combinacin
de signos ser la formula bien formada.
4) Reglas de transformacin: Esta indica como operar deductivamente a partir de las formulas
del sistema.
5) Los axiomas: Es el conjunto de frmulas bien formadas que se toman como premisas para
cualquier demostracin del sistema y que no requieren de una demostracin, los axiomas no se
refieren a ningn objeto identificable y no necesita tener ninguna evidencia, por lo tanto no hay
diferencia entre postulados y axiomas.
6) La demostracin: Son secuencias de frmulas tales que cada una de ellas es un axioma o
formula obtenida por aplicacin de las reglas de transformacin.
7) Los teoremas: Son consecuencias lgicas de los axiomas, cuando se construye una
demostracin se prueba que la ltima formula de la secuencia es un teorema.
No hay ninguna limitacin para inventar sistemas axiomticos de este tipo, por lo general alguien
elabora un sistema de axioma para organizar deductivamente un conjunto de proposiciones que se
considera verdaderas.
Propiedades del sistema axiomtico
1) Consistencia (o no compatibilidad o contradiccin): Un sistema axiomtico es consistente
cuando el conjunto de sus axiomas no conduce por deduccin lgica a una contradiccin, es
decir cuando se dan dos expresiones o enunciados del sistema contradictorio entre s, una al
menos de ellas no puede demostrarse en dicho sistema.
2) Completitud: Un sistema axiomtico es completo cuando todas sus proposiciones verdaderas
que pueda presentarse en el sistema son formalmente deducibles de sus axiomas.
3) Independencia de los axiomas: Un sistema axiomtico es independiente cuando cada uno de
sus axiomas es individualmente independiente de los otros axiomas del sistema. Un axioma es
independiente con respecto al resto de los axiomas cuando no es deducible de los otros
considerados en conjunto. Hay 2 tipos de enunciados, por un lados los axiomas y por otro los
teoremas.
4) Desibilidad: Un sistema axiomtico es desidible cuando existe para l un procedimiento
mecnico que permite establecer unvocamente si una expresin de dicho sistema es o no
deducible de l.
5) Satisfacilibidad: Un sistema axiomtico es satisfacible cuando tiene al menos una
interpretacin adecuada, es decir cuando al menos tiene un modelos de todos las propiedades

necesarias, lo fundamental o necesario es la consistencia dado que un sistema es

inconsistente, no determina cuando una proposicin es verdadera o falsa y carece de inters
terico.