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).