Logicismo: differenze tra le versioni

Versione delle 09:42, 7 apr 2017

Versione delle 19:13, 3 mag 2017

Riga 1:

{{Citazione|Oggi pare guadagnar sempre più sostenitori l'opinione che l'aritmetica sia una logica più ampia e che la giustificazione più rigorosa delle leggi aritmetiche riporti indietro a leggi puramente logiche e solo ad esse. Sono anch'io di quest'opinione e su di essa fondo la richiesta d'includere la notazione aritmetica in quella logica. |Gottlob Frege, ''Funzione e concetto''}}

Per '''Logicismologicismo''' 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]].