Cerca in:
logicismo
Dizionario delle Scienze Fisiche (1996)
logicismo
logicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] ), si proponeva di mostrare la possibilità di definire tutti i concetti matematici a partire da un numero ristretto di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni ...
Leggi Tutto
Lorenzen, Paul Peter Wilhelm
Enciclopedia on line
Logico e matematico tedesco (Kiel 1915 - Gottinga 1994), prof. di filosofia all'univ. di Kiel (dal 1956; dal 1980 prof. emerito). Creò la logica operativa, che rappresenta una posizione intermedia fra [...] assiomi e regole originali. Le regole ammissibili per qualsiasi calcolo sono per L. gli equivalenti dei principî della logica. Tra le sue opere: Konstruktive Begründung der Mathematik (1950-51), Einführung in die operative Logik und Mathematik (1955 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] lavori di F. hanno notevole importanza, sia dal punto di vista filosofico sia da quello tecnico, nel quadro storico della logica matematica. Il valore della sua opera, pressoché ignorata in vita, fu pienamente riconosciuto solo dopo la sua morte. La ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] nozioni sono fondamentali per tutta la matematica e, a seconda del punto di vista, possono essere considerate di natura insiemistica o logica. Con l'opera di Cantor, Dedekind e Giuseppe Peano (1858-1932), verso la fine del XIX sec. risultò chiaro che ...
Leggi Tutto
CARLINI, Armando
Enciclopedia Italiana - II Appendice (1948)
Filosofo, nato a Napoli il 9 agosto 1878, professore all'università di Pisa dal 1922 al 1945. Fu deputato al Parlamento e accademico d'Italia.
Spirito proteiforme, il C. è passato dall'idealismo a una [...] . Diffidente verso la dialettica, egli ha fatto propria l'esigenza di un idealismo che, al di fuori di un logicismo assoluto, tenga conto del mondo, sia pure in rapporto alla concretezza dell'atto spirituale umano, considerato a sua volta ...
Leggi Tutto
Calògero, Guido
Enciclopedia on line
Filosofo e storico italiano della filosofia (Roma 1904 - ivi 1986); prof. nelle univ. di Firenze (1931-34), Pisa (1934-1950), Roma (dal 1950); socio nazionale dei Lincei (1971). Fu avversario del fascismo [...] Giovanni Gentile, ne visse l'interna crisi, approdando a una concezione filosofica (presenzialismo) che, contro ogni astratto logicismo e gnoseologismo, risolve l'atto gentiliano in prassi morale. L'io, considerato nella sua realtà e concretezza si ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
riduzionismo
Enciclopedia della Matematica (2013)
riduzionismo
riduzionismo termine che indica, in generale, la tesi epistemologica secondo cui entità e fenomeni complessi possono essere ridotti a una combinazione di entità più semplici, analizzabili [...] che riduca la matematica a un suo singolo aspetto. Tipico è stato il caso del → logicismo, che intendeva ridurre la matematica alla sua struttura logica, ritenendo accessorio il riferimento delle definizioni e dei teoremi a concetti e relazioni tra ...
Leggi Tutto
STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] il segno più chiaro è la computer science: in essa la mente viene ridotta a un linguaggio, di tipo più o meno logico, o a un effetto della struttura neuronale connessionista del cervello.
I paradossi
Il passaggio fra i due secoli vide il fiorire dei ...
Leggi Tutto
Logica matematica
Enciclopedia del Novecento (1978)
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] linguistica, per cui un insieme finito non possiede un maggior grado di realtà di un insieme infinito. Per un positivista logico l'intera matematica è parte del linguaggio e il problema stesso dell'esistenza di entità infinite è privo di senso. In ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
BROUWER, Luitzen Egbertus Jan
Enciclopedia Italiana - IV Appendice (1978)
Ha insegnato ad Amsterdam matematica, geometria, topologia fino al 1955. È morto a Laren il 2 dicembre 1966. Cfr. XVII, p. 1017; XXI, p. 400, per il suo posto nella logica matematica e per la sua negazione [...] , e quindi cade la possibilità stessa del sorgere di antinomie. Questa dottrina si oppone al formalismo di D. Hilbert e al logicismo di G. Frege.
I suoi principali scritti sono raccolti in Philosophy of Mathematics. Selected Readings, a cura di P ...
Leggi Tutto