Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] EC delle classi elementari è chiusa rispetto a complemento, intersezione e riunioni finite e costituisce un'algebra di Boole. Di fatto, EC coinciderà con l'algebra dei clopen (insiemi simultaneamente aperti e chiusi) dello spazio topologico EC ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] dei sistemi formali si individuano da un lato nell’algebrizzazione della logica culminata nell’opera di G. Boole, dall’altro nell’esigenza di chiarificazione logica dei fondamenti della teoria degli → insiemi. La formalizzazione della logica ...
Leggi Tutto
Impiegato nel corso della storia con significati spesso eterogenei e in riferimento a distinte tradizioni di pensiero, il termine designa genericamente il complesso delle dottrine che, in assenza di certezza, [...] dalla microfisica all’agire umano. Una diversa interpretazione della probabilità è stata elaborata dalla corrente logicista risalente a Boole, che ha trovato riformulazione nell’opera di J.M. Keynes Treatise on probability (1921) e nei lavori sulla ...
Leggi Tutto
sillogistica
Qualsiasi versione della dottrina del sillogismo (➔), da quella originaria aristotelica, a quella della trattatistica ottocentesca, relativa alla cosiddetta logica tradizionale, che precede [...] (1843) di J. Stuart Mill. Infine, nel 1847 (anno di pubblicazione di The mathematical analysis of logic di G. Boole), può porsi l’inizio di un processo di progressiva incorporazione e ‘traduzione’ della s. tradizionale nella logica matematica. ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] posizioni nel campo della filosofia della scienza.
L’estensione delle tesi di Mill, insieme all’impiego del calcolo di Boole al campo della chimica, porterà B. Brodie (The calculus of chemical operations, 1876) a sviluppare una teoria chimica ...
Leggi Tutto
FUNZIONALI
Luigi Fantappiè
. 1. Definizioni. - Il concetto di "funzionale" (termine dovuto a J. Hadamard, e derivante dalla locuzione più precisa "operatore funzionale") è uno dei più importanti dell'analisi [...] A. Cauchy, G.V. Oltramare e una numerosa serie di matematici inglesi, fra cui ci limiteremo a ricordare G. Boole, Carmichael, W. Spottiswoode, A. Cayley, oltre il Heaviside, già menzionato per le applicazioni all'elettrotecnica. Ci basti rilevare che ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] .
11. Sviluppi e applicazioni. - Tra i vari sviluppi della teoria, ci limiteremo a citare: le m. in algebre di Boole (o in altre strutture algebriche), le m. vettoriali, l'integrazione delle funzioni vettoriali, le capacità, le m. di Hausdorff ...
Leggi Tutto
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 [...] , 1879). Esso andava molto al di là della sillogistica aristotelica e della logica delle classi e delle relazioni (dovuta a Boole, DeMorgan, Peirce e Schröder). In termini tecnici moderni, la logica di Frege era un calcolo dei predicati del secondo ...
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
Scienziato e filosofo, Leibniz ha esercitato (e continua a esercitare) un’influenza [...] prodotto per rappresentare operazioni logiche. Arriva quindi a ottenere risultati che saranno riscoperti in maniera autonoma da George Boole quasi due secoli dopo (la maggior parte dei lavori di Leibniz dedicati al calcolo logico rimarrà inedita fino ...
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
Fino alla metà dell’Ottocento la teoria della meccanica classica esprime in modo soddisfacente [...] anni tra il 1840 e il 1850, quando leggeva i contributi forniti in questo campo da vari autori, tra cui Laplace e Boole. Inoltre, nel 1850 era uscito un lungo saggio di John Herschel, che recensiva sulla “Edinburgh Review” La teoria delle probabilità ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...