Logicismo
insieme di tesi che sostengono che la matematica si possa ridurre interamente alla logica / Da Wikipedia, l'enciclopedia encyclopedia
Caro Wikiwand AI, Facciamo breve rispondendo semplicemente a queste domande chiave:
Puoi elencare i principali fatti e statistiche su Logicismo?
Riassumi questo articolo per un bambino di 10 anni
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.
«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)
Questo pensiero si trova già in Gottfried Leibniz[1] 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.