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
Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Beth, Evert Willem
Enciclopedia on line
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, [...] , 1944) passò a ricerche nel campo della logica matematica ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kaufmann, Felix
Enciclopedia on line
Filosofo (Vienna 1895 - New York 1949), prof. di filosofia del diritto all'univ. di Vienna (1922-38). Membro del Circolo di Vienna, non condivise i principî del positivismo logico. Dal 1938 prof. di filosofia [...] Kelsen (Logik und Rechtswissenschaft, 1922; Die Kriterien des Rechts, 1924); si occupò in seguito di logica matematica (Das Unendliche in der Mathematik und seine Ausschaltung, 1930); scrisse anche un'importante Methodenlehre der Sozialwissenschaften ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Thue, Axel
Enciclopedia on line
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] Zahlen (1909); Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln (1914). Da quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE