Gottlob Frege

Da Wikipedia, l'enciclopedia libera.

Gottlob Frege

Friedrich Ludwig Gottlob Frege (Wismar, 8 novembre 1848 - Bad Kleinen 26 luglio 1925), matematico, logico e filosofo tedesco, fondatore della logica matematica moderna e della filosofia analitica. Frege è uno dei più grandi logici dopo Aristotele ed è il padre del pensiero formale del Novecento. La sua rivoluzionaria opera Begriffsschrift del 1879 ha segnato l'inizio di una nuova epoca nella storia della logica, sostituendo la vecchia logica del rapporto genere-specie, che era rimasta pressoché inalterata per secoli dopo la formalizzazione di Aristotele, in una logica delle funzioni n-esime mutuata dalla matematica.

Frege è stato il primo propugnatore del logicismo -- la prospettiva secondo la quale la matematica, in quanto costituita da proposizioni analitiche cioè, è riducibile alla logica. Il suo Grundgesetze der Arithmetik fu il tentativo di derivare esplicitamente le leggi dell'aritmetica da un sistema di assiomi mediante un calcolo logico.

Dopo la pubblicazione del primo volume (a spese dell'autore), Bertrand Russell mediante il paradosso che porta il suo nome, scoperto in realtà da Zermelo qualche anno prima, mostrò che la quinta legge fondamentale delle Grundgesetze portava ad una contraddizione e scrisse a Frege, il quale riconobbe la contraddizione in un'appendice al secondo volume dell'opera, abbozzando una riformulazione dell'assioma che però risultava insoddisfacente date le pretese dell'opera di emendare la matematica dall'intuizione intellettuale. Frege fu costretto a dichiarare «risolti in un completo fallimento» i suoi sforzi di chiarire il concetto di numero. Dopo la sua morte i teoremi di incompletezza di Gödel dimostrarono formalmente che lo scopo perseguito da Frege non era raggiungibile. L'ultimo disperato tentativo di Frege fu la riduzione della matematica alla geometria e all'intuizione sensibile pura, determinando i numeri complessi (non più i numeri interi positivi) nei termini del rapporto tra punto e linea nel piano. Ma l'opera rimase incompleta e comunque infruttuosa.

[modifica] Opere

Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle a. S., 1879
Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff der Zahl, Breslau, 1884
"Funktion und Begriff", Jena, 1891
"Über Sinn und Bedeutung", in Zeitschrift für Philosophie und philosophische Kritik, C (1892): 25-50
"Über Begriff und Gegenstand", in "Vierteljahresschrift für wissenschaftliche Philosophie", XVI (1892): 192-205
Grundgesetze der Arithmetik, Jena: Verlag Hermann Pohle, Vol. I (1893), Vol. II (1903)
Was ist eine Funktion?, in "Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage", 20 febbraio 1904, S. Meyer (ed.), Leipzig, 1904, pp. 656-666
"Der Gedanke" Eine logische Untersuchung, in Beiträge zur Philosophie des Deutschen Idealismus I (1918-1919): 58-77
"Die Verneinung", in Beiträge zur Philosophie des deutschen Idealismus I (1918-1919): 143-157
"Gedankengefüge", in Beiträge zur Philosophie des Deutschen Idealismus III (1923): 36-51