Cerca in:
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 studi sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lindenbaum, Adolf
Enciclopedia on line
Logico e matematico polacco (n. Varsavia 1904 - m. in un campo di concentramento nazista dopo il 1941). Si è occupato soprattutto, in collaborazione con A. Tarski, della struttura algebrica dei sistemi [...] 'indipendenza dell'assioma della scelta. Tra i suoi lavori: Über die Beschränktheit des Ausdrucksmittel deduktiver Theorien (1935, in collab. con Tarski), Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen (1938, con Mostowski). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Leśniewski, Stanisław
Enciclopedia on line
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 [...] i maggiori esponenti della Scuola logica polacca. Cercò di ovviare alle difficoltà della fondazione insiemistica della matematica proponendo una originale soluzione per il paradosso di Russell, fondata ...
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. [...] Tarski, ha tentato di colmare il vuoto di riflessione teorica in un ambito di ricerca, la biologia, sviluppatosi notevolmente a livello empirico (osservazione ed esperimento). Si è occupato anche di applicare il "linguaggio" della logica matematica ( ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Davidson, Donald Herbert
Enciclopedia on line
Filosofo statunitense (Springfield 1917 - Berkeley, California, 2003), fu prof. di filosofia nelle univ. di Stanford, di Princeton e di California. Influenzato da W. V. Quine, si occupò di problemi semantici, [...] segnalandosi per una teoria del significato fondata sulla teoria della verità di A. Tarski. Di grande rilievo e influenza sono stati inoltre i suoi studî sull'interpretazione filosofica e la spiegazione dell'azione umana, in cui sostenne un ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mostowski, Andrzej
Enciclopedia on line
Logico (Leopoli 1913 - Vancouver 1975), dal 1947 prof. all'univ. di Varsavia, dal 1956 membro dell'Accademia delle scienze polacca. È tra i più fecondi logici polacchi del secondo dopoguerra. Ha scoperto [...] of relations (1947), On recursive model of formalized arithmetic (1957), Undecidable theories (1958, in collab. con A. Tarski), Axiomatizability of some many-valued predicate calculi (1961), Thirty years of foundational stud ies; logic and the study ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] . K. ha anche proposto un'originale teoria della verità che riesce a eliminare alcuni inconvenienti della teoria di A. Tarski relativi a paradossi. Tra i suoi scritti: Naming and necessity (1980; trad. it. 1982), Wittgenstein on rules and private ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
PADOA, Alessandro
Dizionario Biografico degli Italiani (2014)
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] , Milano, 1997, pp. 84-85; L’Archivio Giovanni Vailati, a cura di L. Ronchetti, Milano 1998, pp. 72-73; A. Tarski - S. Givant, Tarski’s system of geometry, in The Bullettin of Symbolic Logic, V (1999), 2, pp. 175-214; P. Cantù, Osservazioni sulla ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] 1929); Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls (1930); Untersuchungen über den Aussagenkalkül (con A. Tarski, 1930); Zur Geschichte der Aussagenlogik (1935); Aristotle's syllogistic from the standpoint of modern formal ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE