Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] della d. con lo sviluppo dell’assiomatica (➔ assioma) e delle ricerche sui fondamenti della matematica fino al costituirsi di un espresso campo di ricerche, la teoria della d., elaborata da D. Hilbert e K. Gödel, che studia le capacità dimostrative ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Federigo Enriques
Giorgio Israel
La figura di Federigo Enriques occupa una posizione centrale nella storia della cultura italiana tra la fine dell’Ottocento e la Seconda guerra mondiale. Egli fu uno [...] Jules-Henri Poincaré (1854-1912) e David Hilbert (1862-1943) – Enriques assunse una posizione mediana: occorre conciliare il criterio logico di indipendenza e coerenza degli assiomi con la loro radice psicologica, che affonda nelle sensazioni e nelle ...
Leggi Tutto
Neopositivismo
FFrancesco Barone
di Francesco Barone
Neopositivismo
sommario: 1. Cenni storici. 2. Fonti e precedenti del neopositivismo. 3. Prima fase del neopositivismo: analisi logica del linguaggio [...] , Pasch, Peano, Vailati, Pieri e Hilbert; come filosofi della morale e sociologi di orientamento positivistico: Epicuro, Hume, Bentham, Mill di un sistema di logica induttiva richiede la scelta dei suoi assiomi: e a questo proposito la posizione di ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] quello di David Hilbert e Wilhelm Ackemann per la logica classica i principi logici e le regole valide dal punto di vista quella per la logica classica semplicemente eliminando alcuni assiomi validi classicamente. I connettivi ∧,∨,→ risultano non ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] secolo scorso coi tentativi di Emil L. Post e David Hilbert – ripresi in altra di regole di formazione per la costruzione di date classi di espressioni (termini, formule ecc.) e infine assiomi e regole di trasformazione. Assiomi e regole di ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...