Logicismo: differenze tra le versioni

Versione delle 04:32, 2 mar 2013

Versione delle 02:44, 19 mar 2013

Riga 2:

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 ''[[mathesischaracteristica 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]].

==Contesto storico==