Texto sobre la ciencia (Ciencias Formales)

Estado actual de la cuestin

Platn plantea el ideal del conocimiento absoluto, como la meta de todo
conocimiento racional: si el ser humano es incapaz de llegar a conocimientos indubitables,
cuya verdad tenga que ser aceptada como vigencia suprahistrica para todos los sujetos
congnoscentes, la filosofa no tiene sentido.
Toda la historia del conocimiento es la historia del esfuerzo desesperado por
alcanzar el ideal platnico.
El conocimiento relativo siempre depende de otra cosa, se justifica no por s mismo
sino en funcin de factores ajenos. Para justificarse (o fundamentarse) el conocimiento
relativo debe incrustarse en algo ajeno. Todo cambio en su amo significa un cambio en l.
Siempre est expuesto al cambio.
Absoluto es lo que la verdad hace patente, que no cambia. La revelacin de lo que
no cambia provee al hombre de un conocimiento que afirma siempre lo mismo en todo
tiempo y lugar: un conocimiento absoluto.
Slo el conocimiento que no cambia es absoluto y slo el conocimiento absoluto es
racional, hay en el conocimiento racional una prohibicin: no puede salir de s mismo, no
debe recurrir a la experiencia.
La razn justifica el orden legal e inmutable de su conocimiento a partir de
principios evidentes que se caracterizan por ser independientes de la experiencia y
reveladores de la verdadera realidad, dignidad (axioma) que los releva de demostracin.
Aristteles sistematiz las reglas lgicas, al codificar y ordenar por primera vez los
procedimientos que sigue el razonamiento para lograr demostraciones. Estos
procedimientos, antes inciertos y confusos para la lgica aristotlica logra por primera vez
una sistematizacin de relaciones y encadenamientos entre proposiciones. Este aporte no
cambi del todo la situacin de la matemtica, la coleccin de teoremas no constitua un
todo organizado.
Recin en Alejandra Euclides produce un cambio, el de interrelacionar todos los
teoremas como si fuera un rbol: habr proposiciones que constituirn las races de las
cuales, por demostracin lgica, se deducirn los teoremas fundamentales, de los cuales a
su vez, se deducirn otros (ramas principales, y ramas secundarias).
El conjunto de verdades conocidas deja de ser una coleccin de teoremas aislados y
se convierte en un conjunto sistemtico y jerarquizado de demostraciones progresivas.
En sus elementos de geometra parte de cinco principios evidentes cuya verdad no
requiere demostracin, que una vez aceptados sirven de base para la deduccin de todo el
rbol. A estas proposiciones fundamentales las llamamos axiomas. La geometra fue la
primera rama de las matemticas ordenada de manera rigurosa, sistemtica y progresiva y
lleg a ser el primer sistema axiomtico que construy el hombre.
Para el pensamiento occidental, la geometra euclideana pareca corresponder a la
verdadera estructura del espacio fsico en el cual vivimos y se haba construido todo el
sistema usando la lgica, sin buscar puntos de apoyo en la realidad. A partir de all pareca
abrirse una primera conquista segura que permita alcanzar un conocimiento indudable de
la realidad por medios exclusivamente racionales.

La aparente solidez y contundencia del edificio de la GNE inmoviliz por siglos el

pensamiento filosfico y matemtico sobre la correspondencia, inamovible al parecer, entre
espacio euclideano y espacio de la realidad.
Para Mir Quesada: Euclides inicia una etapa en el conocimiento humano, muestra
que el ideal platnico puede realizarse parcialmente con gran extensin y eficacia, y cono
posibilidades ilimitadas de expansin: que fue la matemtica axiomtica o postulacional.
Porque, si todas las verdades de la matemtica se derivan slo de unas reducidas a un
mnimo, y si estas pocas verdades son evidentes, se imponen a la razn de manera
necesaria, universal y comunicable, entonces se ha resuelto el problema del conocimiento
absoluto.
Desde que la matemtica se constituye en ciencia axiomtica se inicia la conquista
racional de la realidad. Los elementos de Euclides representan la primera realizacin
efectiva del ideal platnico: una ciencia capaz de fundarse a s misma. Es la prueba
indiscutible de que es posible lograr el verdadero conocimiento cientfico. Una vez
conquistado el campo de las formas espaciales, nada impide, en principio, aplicar el mismo
mtodo para ir conquistando progresivamente la totalidad. Aunque la meta no pueda
alcanzarse, siempre nos podremos aproximar ms a ella.
La primera cada del ideal platnico de conocimiento
El fin de una historia feliz de ms de 2000 aos. Se produce la muerte de la evidencia.
La evidencia es la expresin de la verdad inmutable de la realidad. La razn
encuentra su primer lmite: la verdad no es nica, el conocimiento racional no es vlido
para todo tiempo y lugar sino que vale dentro de un determinado sistema, de un
determinado universo de discurso: el euclideo.
Hay una verdad formal que deriva de la potencia de deduccin exclusivamente y ya
no de la evidencia del os primeros principios. Pero si hay deduccin hay primeros
principios por qu son primeros? No por ser verdaderos, sino porque s. Hay una
arbitrariedad, no de lo que es sino de lo que se estipula que sea, la convencin.
Tomada la decisin sobre el punto de partida (elegidos los axiomas) acta entonces
la pura razn y el orden deductivo es implacable necesario, es decir: se recobra la
inmutable pero desde el punto de vista exclusivamente lgico. Hay una sola exigencia que
define las propiedades del sistema axiomtico: la consistencia.
Se ha cumplido dentro del sistema axiomtico, el pasaje de la evidencia a la
consistencia. Estamos ahora ante una razn que expresa su potencia como verdad lgica.
En 1826 , dos siglos despus de Euclides, Lobatchewski, comunica el resultado de
sus trabajos sobre el quinto axioma de Euclides. Este quinto axioma, llamado de las
paralelas. Lobatchewski quera probar que el quinto axioma era indispensable para no caer
en una geometra contradictoria consigo misma, se propuso partir de un quinto axioma
modificado que negase al quinto axioma euclideano, construir a partir de ese nuevo quinto
axioma (y de los primeros cuatro, que no modific) una nueva geometra y demostrar que
esa nueva geometra caa en contradicciones consigo misma. Como el quinto axioma de
Euclides deca que por un punto exterior a una recta puedo trazar una y slo una paralela a
la misma, Lobatcheswki comenz a trabajar a partir de un axioma que lo negaba al decir

que por un punto exterior a una recta puedo trazar infinitas paralelas a la misma. Lleg a
una geometra sin contradicciones internas.
Otro matemtico, Riemann neg de otra manera el quinto axioma. por un punto
exterior a una recta, no puedo trazar ninguna paralela a la misma y tambin encontr otra
nueva geometra.
La razn se separa de la realidad.
cmo saber que los axiomas de Euclides eran verdaderos? A comienzos del siglo
XIX los matemticos empezaron a tratar el problema, reconociendo que no se saba que los
axiomas fueran verdaderos y que, podan ser falsos como afirmaciones fsicas. La
matemtica no trata de la verdad de las proposiciones cuyas relaciones estudia, sino slo de
su acuerdo recproco o coherencia. La verdad o falsedad de un axioma tiene que ser
decidida sobre bases no matemticas: la matemtica misma no ofrece una base para
formarse una opinin al respecto. Las nicas proposiciones de las cuales la matemtica
puede afirmar legtimamente la verdad o la falsedad son proposiciones lgicas acerca de
otras proposiciones. Haba un conocimiento a priori que reconocer en la matemtica, pero
era un conocimiento lgico, no fsico. Un matemtico puede afirmar que la proposicin p es
incompatible con la verdad simultnea de las proposiciones q y r ; pero, como matemtico,
no tiene nada que decir acerca de la verdad o falsedad de p, q y r tomadas individualmente.
Contradiccin implica falsedad, ausencia de contradiccin, no garantiza la verdad.
La segunda cada
La razn avanzando hacia su crisis, una pequea historia de menos de cien aos.
Vade retro paradojas o el derrumbe del podra de la razn lgica.
En este momento, la autofundamentacin del conocimiento debe descansar en la
consistencia, en una prueba y verdad de carcter estrictamente lgico.
Si se construye un sistema en el que cada instancia est deductivamente
interconectada desde la cima hasta la base, se puede obtener un conocimiento que se
autojustifica dado que, en un mismo sistema, dos momentos del conocimiento no pueden
ser lgicamente incompatibles.
A partir de los descubrimientos matemticos y la fundacin del clculo en el siglo
XVIII se genera una nueva matemtica en el siglo XIX, ms rica en contenidos tericos y
frtil en sus aplicaciones a la fsica. Pero menos exacta que la matemtica clsica.
Ante la confusin de sus mtodos y la vaguedad de sus trminos, se generan
proyectos de reformulacin y correccin de los fundamentos del anlisis, y ensayos de una
definicin rigurosa de sus nociones bsicas (funcin, nmero complejo, real) definicin
rigurosa que exiga que estas nociones derivaran sus propiedades formalmente de axiomas
y leyes lgicas aceptadas.
Durante el siglo XIX Cauchy, Frege, Cantor, etc, ensayaron una fundamentacin
conjuntista, mediante la teora de los conjuntos que expresa la tendencia hacia la
generalidad de las matemticas modernas.

Comienzo de esta breve historia

por qu la teora de los conjuntos? Porque permite eliminar las deficiencias en
definiciones y a la derivacin de los teoremas, adems posee una capacidad de reduccin
dado que todos los conceptos de la matemtica clsica pueden ser interpretados como casos
particulares de la nocin de conjuntos.
El sistema Zermelo-Fraenkel era el ms usado y aceptado de todos los sistemas
intentados para fundamentas la teora de los conjuntos; pero se conmociona (se queda sin
piso) al aparecer las paradojas de la teora de los conjuntos.
La teora de los conjuntos se derrumbaba y su cada arrastraba a la totalidad de la
matemtica y a la fsica. Era el colapso del conocimiento cientfico.
La exigencia de fundamentacin del conocimiento cientfico en general requiere la
eliminacin de todas las contradicciones, develar la estructura lgica de las teoras oculta
por la vaguedad de los trminos del lenguaje natural, an cuando ste asuma el carcter
tcnico propio de las diferentes ciencias.
Ese desocultamiento debe producirlo la formalizacin, que procede con un rigor
lingstico insuperable por trabajar exclusivamente en el nivel sintctico, operando con
signos construidos artificialmente.
Esa estructura ser consistente si es imposible dentro de un sistema derivar una
proposicin y su negacin, ser completa si toda proposicin que pertenece al sistema es
derivable o refutable dentro de l. Y ser decidible si manejamos con respeto a l
procedimientos efectivos y finitos que permitan demostrar o refutar una proposicin
formada segn las reglas sintcticas del sistema en cuestin.
Si el sistema satisface todas las propiedades se ha logrado la autofundamentacin
del conocimiento.
Por cmo resolver el problema de la consistencia, puesto que tenemos a los
sistemas formales enfermos de paradoja? Se abrieron dos aparentes caminos: el de la lgica
(logicismo) y el de la metateora (metamatemtica), para salvar la incoherencia en la
matemtica.
Y lleg Gdel que demuestra que la matemtica sea por la va de la lgica o de la
metamatemtica, est eternamente condenada a no poder cumplir simultneamente con
todas las propiedades exigidas por un sistema lgico-formal.
Se ha producido el divorcio entre la nocin de verdad y la nocin de consistencia,
en tanto la verdad no depende de la mera forma. Resultado: es imposible que la matemtica
se fundamente a s misma.
Para Mir Quesada: ni la matemtica, ni la lgica son autosuficientes dentro del
rgido proyecto de una absoluta formalizacin.
Mostowski: el concepto de conjunto fue adoptado por los matemticos, que lo
utilizaron para organizar y sistematizar los conceptos bsicos de su ciencia. El uso libre de
los conjuntos en las construcciones matemticas dio lugar a la creacin de nuevas teoras
matemticas ms abstractas y generales. permitieron introducir nuevos conceptos de gran
utilidad para las matemticas puras y para las aplicadas. Las investigaciones en torna de la
fundamentacin de la teora de conjuntos intensificaron el desarrollo de la lgica, e hicieron
patente la necesidad de una utilizacin correcta del lenguaje y la de establecer una
distincin entre lenguaje y metalenguaje.
De aplicarse procedimientos estrictamente finitistas, la topologa general, la
aritmtica transfinita y la mayora de las disciplinas de la matemtica moderna, se relegan

en todo o en parte al limbo de lo inalcanzable...las consecuencias pragmticas de esta

ciruga lgica son inaceptables.
Si la consistencia se ha mostrado como la propiedad fundamental de la lgica
matemtica porque su negacin equivale a que de una contradiccin cualquier proposicin
es demostrable, y en consecuencia, se generan slo sistemas triviales, que no aportan nada,
porque todas sus proposiciones son teoremas a qu llamamos conocimiento en
matemtica?.
Si se acepta modificar la lgica clsica se pueden construir sistemas inconsistentes
en los cuales es posible derivar contradicciones (proposiciones que son teoremas y cuyas
negaciones tambin lo son) pero tales que algunas de sus proposiciones no son
demostrables. Es inconsistente pero no trivial. Proposiciones como Juan es bueno pueden
considerarse verdaderas o falsas a la vez: nadie es exclusivamente bueno o mano. Es
conveniente formalizar la situacin considerando tres clases posibles de proposiciones
elementales (o atmicas):
1) las que son verdaderas.
2) Las que son falsas.
3) Las que son verdaderas y falsas (antinmicas).
El sistema es inconsistente en el sentido de que contiene antinomias, pero no trivial, pues
no toda proposicin es antinmica.
La tercera cada
La razn fuera de s.
Cada de la razn: rupturas, discontinuidades que van construyendo parmetros
diferentes de la prueba y de la verdad: las matemticas.
Encontrando el nuevo camino a otra historia dentro de esta historia.
En muchos campos de la matemtica no hay prueba concluyente por verdad o
falsedad recurriendo a los axiomas, entonces surge la incertidumbre, la indecibilidad que
posterga para el futuro problemas abiertos.
Lkatos: en las teoras matemticas ms importantes, los axiomas definen
implcitamente no slo una estructura, sino una familia completa de estructuras. Existen
siempre enunciados que son verdaderos en una estructura y falsos en otra. Tales enunciados
son indecidibles en la estructura formal comn. Esta situacin, la emergencia de una nueva
racionalidad que lo formal no cierra el problema sino que lo abre, exige un nuevo hombre,
el cientfico matemtico condenado a la libertad.
La prueba implica el hallazgo de lemas de dnde provienen? La mente primitiva no
gusta de pruebas que exijan un salto hacia lemas desconocidos (aunque los lemas sean
axiomas listados en una teora), pues cmo saber qu verdad trivial implica la verdad
dubitable? Habra que hacer conjeturas, retroceder al mtodo del ensayo y error. Pero el
hombre primitivo huye del conjeturar. Desdea la libertad, se siente inseguro cuando se
mueve ms all de los lmites del ritual. Si conjetura lo hace subrepticiamente.

La astucia de la razn, que la hace eternamente operante, es historizarse, volverse

conjetural, arriesgarse a seguir siendo razn, pero razn polmica, razn viviente, razn
imprudente (porque su produccin entra en combate contra la prudencia muerta que
conserva mtodos que han perdido su capacidad creadora, su capacidad de descubrimiento.
Bacherlard: la aritmtica y la geometra son una promocin natural de la razn
inmutable. La aritmtica no est fundada en la razn, es la doctrina de la razn la que est
fundada en la aritmtica elemental. Las variaciones el razonamiento son ahora numerosas
en las ciencias geomtricas y fsicas, todas ellas son solidarias de una dialctica de los
principios de la razn de una actividad de la filosofa del no. Una vez ms la razn debe
obedecer a la ciencia. La doctrina tradicional de una razn absoluta e inmutable no es ms
que una filosofa caduca.