La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] definizione di numero cardinale in termini di più basilari nozioni insiemistiche o logiche. Gottlob Frege (1848-1925) e BertrandRussell (1872-1970) la fornirono entro un più vasto programma 'logicista' di riduzione della matematica a principî logici ...
Leggi Tutto
BERENSON, Bernard (Bernhard fino al 1914)
John Pope-Hennessy
Figlio di Albert Valvrojenski (che prese il cognome Berenson quando emigrò negli Stati Uniti) e di Judith Mickleshanski, ambedue ebrei, nacque [...] Pearsall Smith, e il cognato, il filosofo BertrandRussell. Tramite Mary Costelloe divenne amico del collezionista . Mentre lavorava ai Disegni di maestri fiorentini, suocognato B. Russell scriveva The Principles of Mathematics e G. Santayna Life of ...
Leggi Tutto
Logica matematica
Silvio Bozzi
Pur potendo vantare come erede della logica formale un'origine risalente almeno ad Aristotele, come disciplina scientifica la logica matematica è un acquisto recente. [...] il versante sintattico della logica che storicamente è stato il primo a essere sviluppato, prima da Frege poi da BertrandRussell e Alfred N. Whitehead nei Principia Mathematica e molti altri. Ci sono due strategie almeno che si possono seguire ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] non è numerabile.
Questo semplice e ingegnoso ragionamento di diagonalizzazione fu ripreso in tante questioni (anche da BertrandRussell nel suo celebre paradosso sugli insiemi che contengono sé stessi). Dal momento che era possibile mostrare che i ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] i due autori era l'insufficiente trattazione dell'implicazione riscontrabile nella logica standard. Il condizionale materiale, che BertrandRussell e Alfred N. Whitehead simbolizzavano come A⊃B, equivale alla disgiunzione ∉A B, e quindi è vero ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Federigo Enriques
Gaspare Polizzi
Nella figura di Enriques si intrecciano matematica, filosofia, storia, pedagogia e organizzazione della cultura. Il matematico livornese unisce le sue competenze scientifiche [...] , Hendrik Antoon Lorentz, Werner Karl Heisenberg, Einstein; tra i logici, epistemologi e filosofi della scienza, Mach, BertrandRussell, Rudolf Carnap, Moritz Schlick, Neurath, Philipp Frank (gli ultimi quattro esponenti tra i maggiori del Circolo di ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] dell'aritmetica, posto all'inizio del XX sec. e rimasto insoluto anche nella formalizzazione dei Principia matematica di BertrandRussell e Alfred N. Whitehead, aveva trovato una risposta negativa nel 1931 con il famoso teorema di incompletezza di ...
Leggi Tutto
DAL PRA, Mario
Gianni Paganini
Nacque a Montecchio Maggiore (in provincia di Vicenza) il 29 aprile 1914, da Carlo, panificatore, e Cecilia Longo.
Studi, insegnamento e primi scritti
A causa delle ristrettezze [...] Andrea Vasa, Eugenio Garin, Antonio Santucci, Nicola Abbagnano, Paolo Rossi, Cesare Vasoli, Paolo Casini, ma anche BertrandRussell, Rudolf Carnap, Richard Popkin e Charles Schmitt furono tra le grandi firme del nuovo periodico che rapidamente si ...
Leggi Tutto
CECCATO, Silvio
Felice Accame
Nacque a Montecchio Maggiore (Vicenza) il 25 gennaio del 1914. Secondo figlio dell’avvocato Riccardo Ceccato e di Maria Ferrarin, appartenente a una famiglia di industriali [...] per la difesa contro la guerra atomica. A Londra, Ceccato incontrò vari studiosi, fra cui Alfred Ayer, Popper, BertrandRussell e, soprattutto, discusse con Ernest H. Hutten con cui ebbe la possibilità di confrontarsi in modo più approfondito ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Giovanni Vailati
Massimo Mugnai
Giovanni Vailati è, per certi aspetti, una figura anomala nel panorama della filosofia italiana tra Ottocento e Novecento. Matematico, allievo di Giuseppe Peano, aderisce [...] internazionale, alla quale aderirono numerose personalità come Brentano, Pierre Duhem, Federico Enriques, William James, Ernst Mach, BertrandRussell, oltre a Benedetto Croce e Giovanni Gentile.
Nel periodo che va dalla fine dell’Ottocento agli inizi ...
Leggi Tutto
russelliano
〈ras-〉 agg. – Relativo al filosofo e logico inglese Bertrand A. W. Russell 〈rḁsl〉 (1872-1970): la filosofia r.; le opere, le teorie r.; le concezioni r. sul linguaggio.
tribunale
s. m. [dal lat. tribunal -alis, dapprima tribunale, neutro sostantivato d’un agg. tribunalis «di tribuno, dei tribuni»]. – 1. In origine, e anche oggi in determinate espressioni, il luogo dove viene amministrata la giustizia, dove...