Introduccin al Pensamiento Cientfico - IPC -

Mdulo II. Metodologa de las ciencias formales y

fcticas.
Tema 1. Ciencias Formales.

El Faro de IPC
Orientador para la lectura del Tema 1
Asti Vera, C. y Ambrosini, C. (2009), Argumentos y teoras. Aproximacin a la
epistemologa, Buenos Aires, Educando, Caps. 4, pp. 162-175.

Comenzamos el segundo mdulo que versa sobre la metodologa de las ciencias

formales y fcticas. En el Tema 1 desarrollaremos el aspecto formal. Los contenidos de
este apartado se corresponden con el anlisis de los constructos formales en
matemticas y su relacin con la realidad, los sistemas axiomticos, sus propiedades
particulares, su interpretacin y modelos.
Las demostraciones en matemticas son cadenas finitas de afirmaciones o enunciados.
Cuando miramos con atencin los eslabones de estas cadenas veremos que algunos de
esos enunciados (los axiomas) se dan como punto de partida desde el inicio del
argumento, mientras que otros enunciados (los teoremas) se obtienen de otros
eslabones de la cadena por aplicacin de alguna regla de inferencia dada. La elegancia
de las demostraciones matemticas radica en que cualquiera podra verificar la
correccin del proceso a partir del anlisis mecnico de estas inferencias.

Introduccin al Pensamiento Cientfico - IPC -

Tanto la geometra euclideana como las no euclideanas son cadenas finitas de

enunciados. La diferencia entre estos constructos radica en que la geometra
euclideana parte de enunciados que pretendan ser verdades fundadas en la evidencia,
mientras que las otras fueron pensadas inicialmente como constructos matemticos
formales desvinculados de la realidad. La nocin actual de sistema axiomtico formal
se la debemos a autores como Moritz Pasch (1843-1931), Julius Dedekind (18311916), Giuseppe Peano (1858-1932) y, sobre todo, David Hilbert (1862-1943).
Gregorio Klimovsky (1922-2009) advierte que formal se dice de muchas maneras, e
indica 5 acepciones de la palabra. La primera remite a la posibilidad de reemplazar el
lenguaje ordinario por signos especiales, proceso al que se denomina simbolizacin o
formalizacin. La segunda acepcin remite al uso de esquemas de argumento que
regimentan los casos particulares, lo que se seala como la base del concepto de
forma lgica de los argumentos. La tercera acepcin remite a la posibilidad de una
ciencia dada de construir un orden deductivo jerrquico o teora como es el caso de la
mecnica o la ptica. La cuarta acepcin remite a que no se considera el significado de
los smbolos utilizados sino slo sus aplicaciones sintcticas y computacionales,
desvinculados del plano emprico. Y la quinta acepcin remite a las entidades que
habitan el segundo mundo de Platn, que habitualmente se las llama ideas o formas.
Es claro que la cuarta acepcin de la palabra formal es la que se usa en la
caracterizacin de los sistemas axiomticos formales que describen las matemticas y
la lgica.
Los sistemas axiomticos, segn las tradiciones que los determinen,
estn
compuestos por axiomas, postulados, trminos primitivos, trminos definidos, reglas
de inferencia y teoremas. Entre las propiedades de los sistemas axiomticos podemos
destacar la consistencia, la completitud, la independencia y la decidibilidad. Una
caracterstica importante de los sistemas axiomticos est en la posibilidad de contar
con distintos modelos.
El teorema de incompletitud de Kurt Gdel (1906-1978) de 1931 versa sobre el
alcance de los mtodos demostrativos basados en axiomas y demostraciones
mecnicas en el terreno de los fundamentos de las matemticas. Es posible reducir
toda verdad matemtica a una demostracin finitista, o sea, una demostracin con una
serie finita de pasos? La respuesta negativa de Gdel pone fin al programa iniciado por
Hilbert.
A continuacin se presentan algunas preguntas y consignas orientadas a favorecer la
comprensin del Tema 1: Ciencias formales. Esta gua para la orientacin de la
lectura del captulo 4 del libro Argumentos y teoras, comprende el contenido
obligatorio del tema a evaluarse. La elaboracin de la misma no ser requerida para
ser presentada en ninguna instancia. Es de uso exclusivo para los estudiantes y
entendemos que la reflexin sobre estos temas ser una herramienta til para el
momento de estudiar
Buena suerte!

Introduccin al Pensamiento Cientfico - IPC -

Atencin! Cuando en las consignas se solicite que brinden ejemplos, los mismos no
deben ser los que estn en el texto.

1. En qu consiste una demostracin en el campo de las ciencias formales?

2. Caracterice la llamada concepcin clsica de la metodologa de las ciencias
formales y sus supuestos fundamentales.
3. Determine los elementos bsicos constituyentes de los sistemas axiomticos,
sus caractersticas puntuales y diferencias, en particular, los conceptos de
trmino primitivo, definicin, axioma, postulado, regla de inferencia y teorema.
Ofrezca un ejemplo de cada uno.
4. A partir de las crticas a los supuestos de evidencia y de realidad en las ciencias
demostrativas (en particular en la geometra euclidiana) qu cambios se
produjeron en las ciencias formales?
5. Por qu se dice que un intento por definir todos los trminos nos llevara a un
crculo vicioso?
6. Determine los pasos necesarios para construir un sistema axiomtico.
7. Explique la frase de Russell: En matemticas nunca se sabe de qu se est
hablando ni si lo que se dice es verdad.
8. Qu significa que un sistema axiomtico es consistente? Por qu es
importante esta propiedad de los sistemas axiomticos?
9. Por qu los axiomas deben ser independientes entre s?
10. Qu significa que un sistema axiomtico es completo?
11. Explicite, en trminos generales, la revisin que realiza Kurt Gdel de los
sistemas formales y sus implicancias.
12. Qu caractersticas tiene la metodologa de las ciencias formales en la
actualidad?
13. En qu consiste el concepto de interpretacin en los sistemas axiomticos?
14. Qu es un modelo de un sistema axiomtico?