Matematico tedesco (Brunswick 1831 - ivi 1916). Allievo di K. Fr. Gauss e di P. G. L. Dirichlet, insegnò nel politecnico di Zurigo (1858), poi in quello di Brunswick (dal 1862). Socio straniero dei Lincei [...] sezioni, sistemazione che, insieme a quella raggiunta per altra via (successioni) da G. Cantor, ha enorme importanza matematica, logica e filosofica. Al D. si deve poi la pubblicazione delle Vorlesungen über Zahlentheorie von P. G. Lejeune Dirichlet ...
Leggi Tutto
Pseudonimo del filosofo e storico della scienza ungherese Imre Lipschitz (Budapest 1922 - Londra 1974). Seguì studî di matematica, fisica e filosofia, laureandosi nel 1944; ebbe un incarico ufficiale presso [...] un'applicazione sul piano storico, segnatamente alla storia della matematica (Proofs and refutations, 1963-64; trad. it. e relativismo rivolte appunto a Kuhn. Si è occupato inoltre di logica induttiva. Ha curato, con A. Musgrave, il vol. Criticism ...
Leggi Tutto
Psicologo e filosofo tedesco (Wallhalben, Palatinato, 1851 - Monaco di B. 1914). Studiò matematica, scienze naturali, filosofia e teologia a Erlangen, Tubinga, Utrecht e Bonn. Fu prof. a Breslavia (1890) [...] la psicologia come dottrina della coscienza, includente dunque la filosofia, nelle sue varie branche (etica, estetica, logica). In contrapposizione all'approccio genetico dello psicologismo tese a una descrizione degli aspetti non individuali ma ...
Leggi Tutto
Logico e filosofo polacco (Serpuchov, Mosca, 1886 - Varsavia 1939), dal 1919 prof. di filosofia della matematica all'univ. di Varsavia. Allievo di K. Twardowski, fu (con A. Tarski e J. Łukasiewicz) tra [...] Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della matematica proponendo una Tra le opere: O podstawach matematyki ("I fondamenti della matematica", in Przeglad filozoficzny, 1927-1930); Grundzüge eines neuen ...
Leggi Tutto
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] solo rendere accettabile con argomenti di carattere sperimentale. Ch. sviluppò anche altre linee di ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo. Tra le opere: The calculi of lambda ...
Leggi Tutto
Scienziato (Kieslingswalde, Görlitz, 1651 - Dresda 1708). Volontario nell'esercito olandese nella guerra contro la Francia; si occupò di matematica, fisica e filosofia e fu in relazione con i più grandi [...] riprende il tema spinoziano della funzione etica della filosofia (intesa come "medicina" della mente) e l'accentuazione, in logica, del momento della definizione rispetto a quello puramente formale e grammaticale, tema che troverà ampia risonanza nel ...
Leggi Tutto
Filosofo e storico della matematica (Lipsia 1889 - Bonn 1964), professore di filosofia nelle univ. di Friburgo (dal 1928) e di Bonn (1931-55). Seguace della fenomenologia di Husserl, di cui era stato discepolo, [...] si occupò di logica e storia della logica, di filosofia e storia della matematica. Tra le sue opere: Mathematische Existenz: Untersuchungen zur Logik und Ontologie mathematischer Phänomene, 1927; Geschichte der Mathematik (in collab. con J. E. ...
Leggi Tutto
Pseudonimo collettivo sotto il quale, dal 1933, lavora un gruppo di matematici, per lo più francesi, ex alunni dell'École Normale Supérieure, detti "bourbakisti". Ricordiamo tra essi H. Cartan, Cl. Chevalley, [...] dal 1939 un'opera collettiva intitolata Éléments de mathématique ("Elementi di matematica"), concepita secondo una visione unitaria, assiomatica a partire dalla logica, per evitare una frammentazione della matematica in branche non comunicanti. ...
Leggi Tutto
Matematico inglese (n. 1851 - m. Chatham, Ontario, 1913). Lettore di matematica e fisica (dal 1895) nell'univ. Lehigh di Bethlehem, Pennsylvania, visse poi a Chatham; sviluppò le ricerche di G. Boole sull'algebra [...] delle classi ("algebra della logica"), studiò i quaternioni e altri sistemi algebrici, scrisse sulla storia delle matematiche inglesi. ...
Leggi Tutto
Scrittore arabo cristiano (Ba῾albek 820 - Armenia 912). Pregevole traduttore in arabo di opere greche di medicina, matematica, fisica, filosofia; compose opere originali in queste stesse materie, nonché [...] in astronomia e logica. ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...