Cerca in:
intuizionismo
Enciclopedia on line
Termine filosofico con cui si designano quelle concezioni che non solo riconoscono una funzione all'intuizione, ma rivendicano a essa un ruolo privilegiato. Di i. si è parlato a proposito della scuola [...] H.-L. Bergson non si limita a riconoscere un posto primario all'intuizione, ma contrappone questa funzione libera e creatrice all'intelletto schematico e statico. In filosofia della matematica, L.E.J. Brouwer e A. Heyting (1898-1980) si sono opposti ...
Leggi Tutto
CATEGORIA:
STORIA DEL PENSIERO FILOSOFICO
Heyting, Arend
Enciclopedia on line
Matematico e logico (Amsterdam 1898 - Lugano 1980), prof. all'univ. di Amsterdam. Insieme con L. E. J. Brouwer è uno dei creatori dell'intuizionismo. Tra le sue opere: Die formalen Regeln der intuitionistischen [...] Logik (1930), Die intuitionistische Grundlegung der Mathematik (1931), Intuitionism (1956) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Vietoris
Enciclopedia della Matematica (2013)
Vietoris
Vietoris Leopold (Bad Radkersburg, Stiria, 1891 - Innsbruck, Tirolo, 2002) matematico austriaco. Partecipò alla prima guerra mondiale sul fronte italiano. Docente (1922) alla Technischen Universität [...] di Vienna (1928) e di Innsbruck (1930), collaborò ad Amsterdam con il matematico e filosofo olandese L. Brouwer, padre dell’intuizionismo matematico. Diede fondamentali contributi alla topologia algebrica (estensione della teoria dell’omologia dei ...
Leggi Tutto
significato
Enciclopedia on line
significato Il contenuto espressivo di qualsiasi mezzo di comunicazione (parole o frasi, gesti, segni grafici ecc.).
In linguistica, ciò che si vuol dire pronunciando una frase o una parola, il messaggio [...] infine la riproposizione di una forma di verificazionismo, benché di tipo diverso da quello neopositivistico e direttamente ispirato all’intuizionismo matematico. Dummett ha messo in discussione la tesi di Davidson (e altri) che il s. di un enunciato ...
Leggi Tutto
Dummett, Michael
Dizionario di filosofia (2009)
Dummett, Michael
Logico e filosofo inglese del linguaggio (n. Londra 1925). Ha insegnato nell’univ. di Oxford, nell’All Souls college e nel New college di Oxford, divenendo poi prof. emerito dell’univ. [...] accertamento). A questa concezione del significato D. è pervenuto a partire dall’individuazione di profonde connessioni fra intuizionismo matematico e teoria del significato, le quali lo hanno inoltre condotto a mettere in discussione il principio di ...
Leggi Tutto
Poincaré, Jules-Henri
Enciclopedia on line
Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] previsione. Nel campo della logica e dei fondamenti della matematica la posizione di P. è nettamente avversa al logicismo di Russell e si avvicina piuttosto, precorrendole, alle tesi dell'intuizionismo di L. E. Brouwer; critico dell'idea cantoriana ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Brouwer, Luitzen Egbertus Jan
Enciclopedia on line
Matematico e filosofo olandese (Overschie, Rotterdam, 1881 - Laren, Olanda Settentr., 1966); dal 1912 prof. all'univ. di Amsterdam. È stato uno dei fondatori della moderna topologia, e di vedute topologiche [...] gruppi continui, ecc.). Come filosofo ed epistemologo, è da considerare il caposcuola della corrente cosiddetta dell'intuizionismo, la quale afferma la possibilità di logiche trivalenti o addirittura polivalenti, mettendo in discussione il principio ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Weyl, Hermann
Enciclopedia on line
Matematico, fisico e filosofo (Elmshorn 1885 - Zurigo 1955), prof. nelle univ. di Zurigo (1913), Gottinga (1930), Princeton, (1933). Si occupò con grande successo di svariati argomenti: teoria delle algebre, [...] and representation of continuous groups (1955). In Das Kantismum (1918) criticò la concezione formalista della matematica da un punto di vista vicino all'intuizionismo di L. E. J. Brouwer; il suo lavoro più compiuto di filosofia della scienza si ...
Leggi Tutto
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] (gerarchia analitica). Si interessò anche delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intuizioniste. Tra le sue opere: General recursive functions of natural numbers (1936), Lambda-definability and ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] , e quindi non ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti gli uomini, e indipendente dal linguaggio e dal mutare dell’esperienza. La l. è ...
Leggi Tutto