filosofia analitica
Enciclopedia on line
Orientamento di pensiero sviluppatosi soprattutto in Inghilterra dagli inizi del 20° sec., e volto prevalentemente allo studio del linguaggio nei suoi vari aspetti (scientifici, quotidiani, etici, logici [...] a un’indagine logica e linguistica delle proposizioni matematiche, che sfocia da un lato nella teoria delle descrizioni definite, dall’altro nella teoria dei tipi. Il Tractatus logico-philosophicus (1922) di L. Wittgenstein, in cui confluiscono i ...
Leggi Tutto
Varsavia
Enciclopedia on line
(pol. Warszawa) Città capitale della Polonia (1.767.798 ab. nel 2018). Sorge in un punto in cui si raccordano vie commerciali e di comunicazione storiche e attuali, sulle due rive della Vistola, lungo [...] originali, di un trattato di logica matematica; L. Chwistek (1884-1944), ideatore di un sistema che semplifica la teoria dei tipi ramificati di B. Russel. S. Jaskowski, J. Słupecki, C. Lejewski si trasferirono in Gran Bretagna, B. Sobiciński negli ...
Leggi Tutto
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] di risolvere i paradossi di fronte a cui pareva essersi arenato lo studio dei fondamenti della matematica. Particolarmente fortunata la sua teoria dei tipi, per cui ogni funzione proposizionale e ogni classe viene considerata di tipo logicamente ...
Leggi Tutto
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] mathematica di B. Russell e A. N. Whitehead che lo portò a proporre una semplificazione della teoria dei tipi, a introdurre la distinzione tra paradossi logici e paradossi semantici (dovuti questi ultimi semplicemente a «scorretta» formulazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] dallo sviluppo di nuove e potenti tecniche (per es., la quantificazione predicativa, il calcolo relazionale, la teoria dei tipi), atte ad assicurare importanti ampliamenti rispetto alla dottrina aristotelica. Tutto questo senza dire che, grazie a ...
Leggi Tutto
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] può trovare una comoda sistemazione nell’ambito della teoria dei modelli. Una teoria T si dice sintatticamente completa se e solo più varie (modelli di industrializzazione, di urbanizzazione ecc.).
Tipi di modelli
I m., oltre che in base ai criteri ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] mentitore) permette negli anni Venti a Frank P. Ramsey (1903-1930) e Leon Chwistek (1884-1944) di costruire una teoria dei tipi semplici, che elimina il ricorso al controverso assioma ma ha lo stesso valore teorico dell'originario sistema di Russell ...
Leggi Tutto
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte di ...
Leggi Tutto
CATEGORIA:
LOGICA
Quine, Willard Van Orman
Enciclopedia on line
Logico e filosofo statunitense (Akron, Ohio, 1908 - Boston, Massachusetts, 2000). Partito dalla critica della teoria dei tipi per mostrarne l'eliminabilità in un lavoro di perfezionamento e di semplificazione [...] il celebre Gedankenexperiment della traduzione radicale e la sua concezione olistica del significato e delle teorie scientifiche, molti dei rappresentanti della filosofia statunitense di orientamento analitico-pragmatista (D. Davidson, H. Putnam, D.C ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] Cantor. Il predicativismo ebbe fra i suoi maggiori rappresentanti H. Poincaré e H. Weyl, e ispirò anche la teoria ramificata dei tipi di Russell. Fra i contributi importanti dati dal predicativismo alla l. matematica è da segnalare l’indagine sulle ...
Leggi Tutto