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)
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
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] della matematica. Importanti contributi alla fondazione dell’aritmetica sono dati in Europa da Hermann Grassmann (1809-1877), Dedekind e GottlobFrege (1848-1925), e negli Stati Uniti da Charles S. Peirce (1839-1914).
Nel 1889 Peano dà alle stampe il ...
Leggi Tutto
Basi di conoscenze e banche dati lessicali
Tullio De Mauro
Le relazioni tra conoscenza e parola, tra cognizioni e lessici delle diverse lingue sono state e, giova dir subito, restano tuttora materia [...] significato generale (signifié nella terminologia derivata da Ferdinand de Saussure, Sinn nella terminologia derivata da GottlobFrege), nei diversi contesti il signifié assume nel concreto esprimersi diversi particolari sens, sensi, ovvero, nella ...
Leggi Tutto