Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] da ∀x(A→A) e applicare ⇒∃2 utilizzando il termine {x∣A}.
Lo schema di comprensione, introdotto a suo tempo da GottlobFrege, ci permette di definire un insieme a partire da una proprietà ed è un principio estremamente forte. La congettura di Takeuti ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Contro le previsioni kantiane, logica formale e psicologia hanno fiorenti sviluppi nell’Ottocento. [...] questa immagine. Va considerata anzitutto l’importanza di figure come quella di Hermann Lotze, che a Gottinga è maestro di GottlobFrege ma che ha contatti strettissimi con la scuola di Brentano (pensiamo a Marty, Stumpf, Husserl). In senso analogo ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] trattare i predicati vaghi, che hanno sempre posto molti problemi a causa della loro elusività e che hanno spinto GottlobFrege a espungerli dall'orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, alcune questioni interessanti dal ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] teoria matematica del pensiero, diventa la disciplina che oggi conosciamo: concettualmente filosofica e tecnicamente matematica.
GottlobFrege è considerato il padre della logica moderna: a lui si deve la formalizzazione della quantificazione, ossia ...
Leggi Tutto
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] d’avanguardia, come quelli di Cantor sulla teoria degli insiemi transfiniti, studi sui fondamenti, carteggi con GottlobFrege, recensioni, e dibattiti polemici con Giuseppe Veronese e Corrado Segre (Borga - Freguglia - Palladino, 1985). Il Formulario ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] di Boole” è il risultato dei lavori novecenteschi di Edward Huntington e di Emil Post.
L’ideografia di GottlobFrege
Il tedesco GottlobFrege è la figura più importante della logica dell’Ottocento. Il punto di partenza della sua opera del 1879 ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Numerosi sono stati i campi di attività del filosofo inglese Bertrand Russell: dalla logica [...] di ricondurla ai concetti e ai principi della logica. In quello stesso periodo un progetto analogo veniva elaborato da GottlobFrege, alle prese con lo studio della teoria degli insiemi di Georg Cantor. Russell, in particolare, si accorge che gli ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] il duplice fallimento del progetto fondazionale del logicismo e del formalismo: il primo teorema infirma il progetto logicista di GottlobFrege e poi di Bertrand Russell di esprimere tutti i concetti matematici in termini di concetti logici, e quindi ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] del linguaggio; il calcolo è uno strumento deduttivo che permette di inferire i tipi degli enunciati. Era stato GottlobFrege a notare nell’Ideografia (1879) che un’espressione linguistica, se guardata attraverso la lente della relazione funzione ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il paradosso di Russell (1902) è la più nota smentita al principio di comprensione [...] , ossia di una coppia di proposizioni tra loro contraddittorie che si implicano a vicenda.
Il paradosso è comunicato da Russell a GottlobFrege in una lettera del 16 giugno 1902, ed è pubblicato per la prima volta nel capitolo 10 de I Principi della ...
Leggi Tutto