Logicismo: differenze tra le versioni

Versione delle 16:13, 13 lug 2023

Versione attuale delle 21:52, 3 ago 2024

Riga 1:

{{NN|filosofia|giugno 2020}}

{{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 '''logicismo''' si intende il tentativo di ridurre la [[matematica]] ai concetti ed alle regole della [[logica]]<ref name=":0" />. 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<ref name=":1">{{Cita web|url=https://www.sapere.it/enciclopedia/logicismo.html|titolo=Logicismo}}</ref>. Ogni concetto, teorema e legge della matematica può essere quindi dedotto e dimostrato partendo dagli [[Assioma|assiomi]] fondamentali della logica<ref name=":1" />.

Questo pensiero si trova già in [[Gottfried Leibniz]]<ref name=":0">{{Treccani|logicismo_(Enciclopedia-della-Matematica)/}}</ref> 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]]<ref name=":0" />, [[Bertrand Russell]]<ref name=":0" /> e [[Alfred North Whitehead]]<ref>{{Cita web|url=https://www.treccani.it/enciclopedia/alfred-north-whitehead/|titolo=Whitehead, Alfred North}}</ref>.

==Contesto storico==