De Morgan, Augustus
Enciclopedia on line
Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] a questo proposito A budget of paradoxes, post., 1915). Assertore di una conciliazione tra logica e matematica, la sua opera, insieme a quella di Boole e di Hamilton, getta i fondamenti per i successivi sviluppi della logica matematica moderna. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Boole, George
Enciclopedia on line
Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali [...] differenze finite, è tuttavia principalmente noto per i suoi studî di logica matematica che lo pongono a fondatore dell'algebra della logica (The mathematical analysis of logic, 1847; An investigation of the laws of thought, 1854). Egli introdusse ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Burali-Fòrti, Cesare
Enciclopedia on line
Matematico (Arezzo 1861 - Torino 1931). Insegnò (dal 1887) all'Accademia d'artiglieria e genio di Torino. È noto particolarmente per i suoi lavori sul calcolo vettoriale e la logica matematica, nell'indirizzo [...] di G. Peano. Collaborò con quest'ultimo al Formulario mathematico ed è autore, tra l'altro, del vol. Logica matematica (1894, 2a ed. 1919), la migliore esposizione sistematica della logica di Peano. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
tautologia
Enciclopedia on line
tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto.
In logica matematica si [...] chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili. ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
decisione
Enciclopedia on line
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi ...
Leggi Tutto
formula
Enciclopedia on line
Chimica
Notazione che utilizza simboli e indici per dare informazioni relative alla composizione atomica e alla struttura di una molecola. Infatti a seconda del grado di dettaglio utilizzato è possibile [...] (per es.: f. di addizione, di bisezione ecc., in trigonometria) o dal matematico che per primo le stabilì (per es.: formule di Cardano, di Taylor ecc.).
In logica matematica, f. ben formata (spesso abbreviata in f.b.f. o fbf), espressione di ...
Leggi Tutto
dimostrazione
Enciclopedia on line
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 [...] scienza dimostrativa a priori (Aristotele, I. Kant), basata su principi immutabili, inerenti alle forme stesse della intuizione.
In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice ...
Leggi Tutto
Whitehead, Alfred North
Enciclopedia on line
Logico, matematico e filosofo britannico (Ramsgate 1861 - Cambridge, Mass., 1947). La sua attività speculativa fu caratterizzata in un primo tempo da indagini sui fondamenti e i problemi della logica matematica [...] negli USA.
Opere e pensiero
Dalla sua iniziale attività speculativa, volta a indagare i fondamenti e i problemi della logica matematica e della teoria della relatività, scaturirono: i volumi A treatise on universal algebra (1898), An introduction to ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] una determinata n-pla di numeri. Il nome di T. è legato anche ad altri importanti risultati di logica matematica, come una dimostrazione dell'indecidibilità del calcolo predicativo puro e alla dimostrazione dell'insolubilità del problema della parola ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
contraddizione
Enciclopedia on line
Come termine specifico di logica, la c. è il rapporto vigente tra un’affermazione e una negazione di egual soggetto e di egual predicato. In questa antitesi, vero essendo un termine, l’altro deve essere [...] qualifica un soggetto con un attributo che è escluso dalla natura stessa del soggetto (per es. sfera cubica).
In logica matematica il principio di c. è espresso dalla formula ¬ (p ⋀ ¬ p). Questo principio, in relazione a un calcolo logistico, impone ...
Leggi Tutto
CATEGORIA:
LOGICA