Una de las tres teorías, junto con el formalismo y el intuicionismo, que estudian desde el punto de vista filosófico los fundamentos de las matemáticas, debida sobre todo a los trabajos de A.N. Whithead y Bertrand Russell, que exponen en su obra conjunta Principia Mathematica (1910-1913;
Principia Mathematica,3 vols., Cambridge 1910-1913, 2ª ed. 1925-1927. El primer volumen de la obra trata, en su primera parte, de la lógica de enunciados y de la lógica de predicados; en su segunda parte, explica los principios requeridos para aplicar a la aritmética las nociones lógicas. El segundo y tercer volúmenes intentan fundamentar la aritmética en la lógica.
Según estos autores, que siguen planteamientos iniciados por Peano y Frege, todos los conceptos fundamentales de la aritmética, el álgebra, el análisis matemático, etc., se fundamentan en nociones lógicas, de modo que el sistema de axiomas matemáticos puede fundarse igualmente en unos cuantos axiomas lógicos.
Bibliografía sobre el concepto
- la logique et son histoire, Blanché, R.. Colin, Paris, 1970.
- Quine, W.V.O., Desde un punto de vista lógico. Ariel, Barcelona, 1962.
- Kneale, W. y M., El desarrollo de la lógica. Tecnos, Madrid, 1972.
- Carroll, L., El juego de la lógica. Alianza Ed., Madrid, 1972.
- Prior, A. N., Historia de la lógica. Tecnos, Madrid, 1976.
- Burgos, A., Iniciación a la lógica matemática. Selecciones científicas, Madrid, 1976.
- Copi, I. M., Introducción a la lógica. Eudeba, Buenos Aires, 1972.
- Deaño, A., Introducción a la lógica formal. Alianza Ed., Madrid, 1978.
- Stebbing, L.S., Introducción a la lógica moderna. FCE, México, 1969.
- Blanché, R., La axiomática. UNAM, México, 1965.
- Hodges, W., Logic. An Introduction to Elementary Logic. Penguin B., Nueva York-Londres, 1991.
- Garrido, M., Lógica simbólica. Tecnos, Madrid, 1983.
- Ruyer, P.B., Logique. PUF, París, 1994, 2 ed.
- Frege, G., Sobre sentido y referencia, en Estudios sobre semántica. Ariel, Barcelona, 1973.