BARONI CAVALCABÒ, Clemente
Claudio Leonardi
Nacque il 23 nov. 1726 a Sacco, nel Trentino, da Giovarni Battista e da Teodora Salvadori. La famiglia del B. faceva parte dell'aristocrazia locale che trovava [...] fenomeni, sia pure ad un livello modesto e provinciale; il suo interesse è anche strettamente matematico e filosofico, come dimostra la disputa con G. Fontana svoltasi nelle conversazioni in casa Fedrigotti, a Sacco, nell'ott. 1770, e continuata per ...
Leggi Tutto
DE GRAZIA, Vincenzo
Roberto Grita
Nacque a Mesoraca (prov. di Catanzaro) il 19 febbr. 1785, da Marco e Laura Brondolillo. A cinque anni fu mandato a Napoli a studiare nel collegio reale di S. Carlo [...] preparazione tecnica, prevalentemente matematica, e dalla sua mentalità di ricercatore che tendeva, spontaneamente, alla cosiddetta dimostrazione scientifica nell'intento di risalire alla "genealogia" del pensiero.
Il filosofo su cui più rifletté il ...
Leggi Tutto
CHIOCCHETTI, Emilio
Carlo Coen
Nacque a Moena (Trento) il 20 sett. 1880 da Lorenzo e Maddalena De Francesco. Vestì l'abito francescano nel 1895 e l'anno successivo si trasferì a Rovereto per termnare [...] moderna e, anche se occorre senza dubbio ristabilire la validità del realismo tradizionale, ciò deve tuttavia avvenire per via di dimostrazione e mai per principi astratti e decisi una volta per tutte. Se il dualismo tra soggetto e oggetto va tenuto ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] dei modelli, nella quale è per lo più inquadrata la s. logica.
Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al significato e alla verità delle formule coinvolte, la s. logica è ...
Leggi Tutto
GENOVESI, Antonio
Maria Luisa Perna
Nacque il 1° nov. 1713 a Castiglione (ora Castiglione del Genovesi), piccolo paese dell'Appennino campano a pochi chilometri da Salerno, primogenito dei quattro figli [...] disponibilità verso i portati della cultura innovatrice, di cui si appropriava con onnivora curiosità. Ne dette la prima dimostrazione nel manuale degli Elementa metaphysicae (Napoli 1743), prima tappa dell'ambizioso progetto di un corso completo di ...
Leggi Tutto
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 [...] 'monadi'. Sbarcato in Olanda, fa visita a Spinoza all'Aia e, a seguito di ripetuti incontri, mette per scritto una dimostrazione a priori dell'esistenza di Dio.
Sul "Journal des Sçavans" pubblica nel 1677 una descrizione del fosforo, che era stato ...
Leggi Tutto
LABANCA, Baldassarre
Cesare Preti
Quarto di nove figli, nacque ad Agnone, nel Molise, il 17 ag. 1829 da Vincenzo, commerciante, e da Maria Angelica Mario. Educato dapprima da uno zio materno, L. Mario, [...] tratta del bene nelle sue componenti principali: la bontà, l'onestà, la giustizia e la carità), e poi "applicativa" (che dimostra come tali aspetti si manifestino nella storia).
Nell'autunno del 1868 il L. fu trasferito al liceo di Bari, dove insegnò ...
Leggi Tutto
GENTILE, Marino
Enrico Berti
Nacque a Trieste il 9 maggio 1906, da Attilio, insegnante di lettere e preside, storico della città di Trieste ed esponente del gruppo nazional-liberale Società di Minerva, [...] 'anno accademico 1934-35, egli aveva presentato il libro XII della Metafisica di Aristotele, in cui viene sviluppata la dimostrazione dell'esistenza di un motore immobile, atto puro e pensiero del pensiero, come "la nascita della metafisica classica ...
Leggi Tutto
BONATELLI, Francesco
**
Nato a Iseo (Brescia) il 25 apr. 1830 da Filippo, commissario distrettuale, e da Elisabetta Bocchi, rimase in tenera età orfano di padre. Dal 1842 iniziò gli studi ginnasiali [...] proprio per la sua asistematicità, rimangono nel pensiero del B. dei problemi non risolti: lo stesso dualismo non è dimostrato, ma è un dato di partenza evidentemente accolto per una fede religiosa, la cui esperienza non è mai direttamente presente ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] dice una t. del primo ordine con identità. Tali sono, per es., le t. dei gruppi, quella degli anelli ecc.
Le dimostrazioni effettuate con il calcolo logico di Hilbert e Bernays (➔ logica) o con altri calcoli di tipo equivalente sono assai diverse da ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...