LOGICISMO

El logicismo es una de las tres teoras, junto con el formalismo y el

intuicionismo, que estudian desde el punto de vista filosfico los fundamentos
de las matemticas, debida sobre todo a los trabajos de A.N. Whithead y
Bertrand Russell, que exponen en su obra conjunta Principia Mathematica
(1910-1913). Segn estos autores, que siguen planteamientos iniciados por
Peano y Frege, todos los conceptos fundamentales de la aritmtica, el lgebra,
el anlisis matemtico, etc., se fundamentan en nociones lgicas, de modo que
el sistema de axiomas matemticos puede fundarse igualmente en unos
cuantos axiomas lgicos.

INTUSIONISMO

En general, el intuicionismo es toda adopcin de la intuicin como mtodo

adecuado de conocimiento. Teora de fundamentacin de la matemtica
formulada por el matemtico holands Luitzen Egbertus Jan Brouwer (18811966), que, en polmica contra el platonismo matemtico, cultivado por
Bolzano, Cantor y Russell, entre otros, sostiene, bajo influencia de la nocin
kantiana de aritmtica, que la matemtica debe fundamentarse en la intuicin
del tiempo. De ah deriva la afirmacin fundamental de que slo deben
aceptarse aquellas entidades matemticas cuya demostracin pueda
construirse (y rechazar aquellas cuya demostracin no sea posible). El
intuicionismo matemtico influy directamente en el desarrollo de la lgica
intuicionista de Arend Heyting, en 1930.
El intuicionismo matemtico sostiene que slo deben admitirse las entidades
matemticas efectivamente demostradas, esto es, aquellas que puedan
construirse como objetos matemticos segn reglas admitidas.

FORMALISMO

El formalismo es un afn de rigor metodolgico que impulsa a expresar las

teoras cientficas evolucionadas a modo de sistemas axiomticos en un
lenguaje formalizado, a saber, un lenguaje artificial construido segn las reglas
de la formalizacin: empleo de smbolos (definidos y no definidos) sometidos a
reglas (sintcticas) de formacin de frmulas y deduccin (clculo) de nuevas
frmulas, cuyo conjunto se denomina sistema formal.
El formalismo es un nombre equivalente a clculo lgico. Se entiende que la
lgica es una ciencia formal, que slo se ocupa de la forma de sus enunciados
y de las propiedades fundamentales de estas formas, que son la validez y la
deduccin. Por esta razn, se dice que la lgica no es una teora, sino un
lenguaje

simblico:

un

sistema

de

signos,

con

reglas

sintcticas

de

construccin y de transformacin. Esta idea de un puro lenguaje sin contenido,

aplicada a las matemticas, se convierte, a partir de la publicacin de Los
fundamentos de la geometra, en 1899, de David Hilbert, en el formalismo,
una de las principales concepciones generales de las matemticas, junto con el
logicismo y el intuicionismo. Ms tarde, el formalismo matemtico se utiliza
para expresar determinadas parcelas de las ciencias empricas, como son la
mecnica o la termodinmica, y de las no empricas, como la teora de
conjuntos.
El formalismo de Hilbert contiene:
- Trminos primitivos (sin significado relacionado con objetos);
- reglas de formacin de frmulas (sintcticas);
- axiomas o postulados (que no se demuestran);
- reglas de transformacin (para deducir a partir de los axiomas);
- definiciones (todo trmino es definido o es primitivo)
- teoremas (frmulas vlidas del sistema, o verdaderas en el sistema, que son
un axioma o -una frmula deducida segn las reglas de transformacin).
Hilbert crey que eran propiedades de un sistema formalizado:
- la consistencia (que el sistema no implique ninguna contradiccin),
- la completud (que implique la posibilidad de demostrar toda verdad propia del
sistema)
- y la decidibilidad (que el sistema disponga de un procedimiento de demostrar
si una frmula es un axioma o un teorema del sistema).
Sin embargo, Kurt Gdel demostr, en 1931, que la matemtica (aritmtica y

geometra) es una teora incompleta (contiene verdades en el sistema cuya

verdad no es decidible por el sistema), y el estadounidense Alonzo Church
demostr, en 1936, que la lgica (elemental) de predicados era indecidible (no
toda frmula tiene un procedimiento efectivo de demostracin).