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
Badiou, Alain
Enciclopedia on line
Badiou, Alain. – Filosofo, romanziere e drammaturgo francese (n. Rabat 1937). Docente dell’École normale supérieure dal 1999, poi professore emerito, direttore del Collège international de philosophie [...] condizione necessaria per la rinascita della filosofia. A partire da una concezione materialistica del mondo, formalizzabile in una logica matematica, e dal confronto con forme estetiche quali il cinema e il teatro, B. ha elaborato una teoria della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] teoria sui cardinali inaccessibili, in collab. con H. J. Kreisler (1964). Sia dal punto di vista della logica matematica sia da quello filosofico sono risultati fondamentali i suoi contributi alla semantica, originariamente indirizzati a fornire una ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scholz, Heinrich
Enciclopedia on line
Teologo e logico (Berlino 1884 - Münster 1956). Prof. di teologia sistematica e filosofia della religione a Breslavia (1917-19), insegnò successivamente a Kiel, poi a Münster (dal 1928), dove nel 1943 [...] sostenendo la tesi che soltanto l'applicazione degli strumenti rigorosi della logica matematica ai problemi metafisici può permetterne una formulazione scientifica. In logica matematica si oppose sia al formalismo sia al costruttivismo, aderendo al ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Prior, Arthur Norman
Enciclopedia on line
Logico e filosofo inglese (Masterton 1914 - Oxford 1969), compì i primi studi in Nuova Zelanda. Prof. al Canterbury College di Christchurch (Nuova Zelanda), passò poi in Inghilterra, dove insegnò nell'univ. [...] partic. da J. Łukasiewicz), ha dato importanti contributi di logica matematica e storia della logica. Di grande rilievo le sue ricerche di logica temporale, cioè su quella branca della logica che studia asserzioni con operatori temporali, per es. "è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Woodger, Joseph Henry
Enciclopedia on line
Biologo (Great Yarmouth, Norfolk, 1894 - Cheam, Surrey, 1981). Insegnò all'univ. di Londra dal 1922 al 1959. Vicino a filosofi come C. D. Broad, B. Russell, A. W. Whitehead, R. Carnap e a logici come A. [...] , sviluppatosi notevolmente a livello empirico (osservazione ed esperimento). Si è occupato anche di applicare il "linguaggio" della logica matematica (ricorrendo in ispecie ai Principia mathematica di Russell e Whitehead) per elaborare un calcolo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lewis, Clarence Irving
Enciclopedia on line
Filosofo e logico statunitense (n. Stoneham, Massachusetts, 1883 - m. 1964). Laureatosi alla Harvard University (1906), ha insegnato nell'università della California (1911-20) e quindi a Harvard fino al [...] privilegiato la teoria della conoscenza e la logica matematica. In quest'ultimo campo ha legato il suo nome all'introduzione della nozione di implicazione stretta, sulla cui base ha dato l'avvio agli studî di logica modale. Sul piano gnoseologico ed ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Casari, Ettore
Enciclopedia on line
Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale [...] dei predicati (1957); Lineamenti di logica matematica (1959); Questioni di filosofia della matematica (1964); Introduzione alla logica (1997); La matematica della verità. Strumenti matematici della semantica logica (2006); Bolzano’s logical system ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo dell'Accademia delle scienze dell'URSS dal 1960. Tra le sue opere ricordiamo gli Elementy matematičeskoj logiki (1959; trad. it. Elementi di logica matematica, 1975). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lyons, John
Enciclopedia on line
Linguista inglese (n. Manchester 1932 - m. 2020). Prof. (1964-76) all'univ. di Edimburgo e (1976-84) all'univ. del Sussex. È poi stato master (1984-2000) del Trinity Hall di Cambridge. La sua concezione [...] , J. R. Firth, nonché alla teoria generativo-trasformazionale di N. Chomsky. Utilizzando anche elementi della logica matematica, L. ha sviluppato una semantica vicina alle teorie americane di semantica generativa, particolarmente a quelle di Ch ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE