logicismo

Per logicismo si intende il tentativo di ridurre la matematica ai concetti ed alle regole della logica. Secondo le posizioni logiciste per lo sviluppo dell'aritmetica (e conseguentemente, della matematica stessa) non sarebbero necessari altri concetti che quelli della logica, essendo la matematica fondamentalmente un'applicazione specifica delle leggi universali della logica. Ogni concetto, teorema e legge della matematica può essere quindi dedotto e dimostrato partendo dagli assiomi fondamentali della logica. Questo pensiero si trova già in Gottfried Leibniz che cercava una characteristica universalis, una scienza universale, da cui potessero essere dedotte tutte le altre scienze come istanze specifiche. Comunemente il Logicismo viene associato soprattutto con Gottlob Frege, Bertrand Russell e Alfred North Whitehead.