La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] Germania meridionale, costituisce la base per la stesura della Protogaea, portata a termine tra il 1693 e il 1694.
Leibniz coltiva assertorio. Leibniz ritiene in tal modo di potenziare la logica non solo per quel che riguarda la tradizionale arte del ...
Leggi Tutto
DE MARTINO (Di Martino), Nicola Antonio
Pietro Nastasi
Nacque a Faicchio (BeneventO) il 3 apr. 1701 da Cesare e Agata Ferrari. Compiuta la prima istruzione nel seminario di Cerreto, la famiglia, di [...] : prima (e più) della sua operetta di logica, significativi sono gli Elementa statices in tyronum gratiam G. Orlandi) la stampa del suddetto trattato, ma essa non fu mai portata a termine per le numerose (e non sempre opportune, a giudizio del Settimo ...
Leggi Tutto
DE FILIPPIS, Vincenzo
Ugo Baldini
Nacque a Tiriolo (Catanzaro) il 4 apr. 1749 da Vito e Laura Micciulli.
La famiglia si collocava probabilmente nel "ceto civile" degli uffici e delle professioni: ciò, [...] principi "metafisici", privilegiando criteri di generalità e derivabilità logica. In tal senso parve al Marcolongo che i Germinale (23 marzo) era membro, con P. Baffi e V. Porta, del comitato delle Finanze, con probabili mansioni di presidente (e già ...
Leggi Tutto
DE MARTINO (Di Martino), Pietro
Pietro Nastasi
Fratello di Nicola Antonio, nacque a Faicchio (Benevento) il 31 maggio 1707 da Cesare e Agata Ferrari.
Compiuta la primissima istruzione nel seminario [...] del D. a voler dimostrare (anche con l'uso della logica proposizionale) che "da un'ipotesi falsa non puo mai nelle Due Sicilie, VI, Napoli 1811, pp. 187 s.; G. Porto, Cenni biografici di alcuni uomini ill. di Faicchio, Piedimonte d'Alife 1875 ...
Leggi Tutto
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] assiomatico-deduttive e aver ideato un metodo (che oggi porta il suo nome: Beth, 1953; Tarski - Givant, La scuola di Giuseppe Peano, in Peano e la sua scuola fra matematica, logica e interlingua. Atti del congresso ...2008, a cura di C.S. Roero, ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] falso, in quanto non coincide con la realtà» (G. Pompilj, Logica della conformità, in Archimede, IV (1952), p. 27). Le -143), discute numerosi esempi di come «gli stessi fatti vengano portati, a seconda delle idee di partenza, a sostegno di ipotesi ...
Leggi Tutto
riduzione
riduzióne [Der. del lat. reductio -onis "atto ed effetto del ridurre e del ricondurre", dal part. pass. reductus di reducere (→ ridotto)] [ALG] [ANM] I vari signif. particolari del termine [...] di essi; (b) r. di una frazione ai minimi termini, porta a scrivere una frazione come quoziente di due numeri primi tra di loro . all'assurdo, che è forse la più antica legge della logica degli enunciati, già conosciuta da Platone, afferma che, se un ...
Leggi Tutto
teoria
teorìa [Der. del lat. theoria, dal gr. theoría] [FAF] Formulazione e definizione dei principi generali di una scienza o di parte di essa, e anche insieme degli sviluppi che da questi principi [...] si deducono per via puramente logica: v. teoria. ◆ [FSD] T. a bande di un solido: quella basata sulla nozione di bande di livelli elettronici nei solidi e che porta a una particolare rappresentazione della distribuzione di tali livelli (schema a ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] (integrati) che usano lo stesso dispositivo elementare come porta l. e sono caratterizzati da identiche caratteristiche costruttive che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del ...
Leggi Tutto
schema
schèma [Lat. schema, der. del gr. schèma -atos "aspetto"] [FAF] Modello convenzionale, semplificato rispetto alla realtà, di un problema, un fenomeno, un processo, un dispositivo, ecc. Gli s. [...] particellare. ◆ [ALG] [FAF] S. di assiomi: nella logica matematica, un insieme finito di assiomi che viene rappresentato con un' in cui compaiono uno o più simboli la cui precisazione porta a identificare ognuno degli assiomi. ◆ [FTC] S. funzionale ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...