assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] , nell'ambito della critica dei fondamenti delle scienze, e spec. della matematica, per cui la scienza viene concepita come un sistema ipotetico-deduttivo, basato esclusivam. su assiomi che possono essere scelti ad arbitrio purché siano compatibili. ...
Leggi Tutto
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regole di i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] di un sistema di unità di misura. ◆ [ALG] [ANM] D. implicita: in una teoria matematica costruita come sistema ipotetico-deduttivo, la relazione per la quale i postulati definiscono in modo implicito i concetti primitivi (per es., nella geometria ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975, p. 7), dovuta al fatto che la meccanica analitica nella ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] precede i tre libri dei Principia offre un chiaro esempio di questo metodo combinato. La struttura dei Principia è assiomatico-deduttiva, nel senso che Newton aveva indicato a Oldenburg nel 1672, quindi con l'avvertenza che, sia le definizioni sia ...
Leggi Tutto
Archeologia
Si definisce c. il linguaggio e il gusto artistico che una civiltà esprime in un dato periodo e che rimarrà tipico ed esemplare di quella civiltà, preso a modello e imitato per lungo tempo. [...] nella prima metà del 19° sec., che, partendo da premesse individualistiche e liberiste e servendosi del metodo deduttivo, ragionò sullo sviluppo economico, formulò la teoria della popolazione e dei rendimenti decrescenti nell’agricoltura, difese la ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] impossibilità e simili. ◆ [ELT] [INF] L. negativa: v. oltre: L. positiva. ◆ [ELT] [INF] L. non monotona: sistema deduttivo utilizzato nella deduzione automatica, in contrapp. alla logica classica; in essa il corpo degli enunciati dimostrati può anche ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] Grundlagen der Geometrie (“Fondamenti della geometria”, 1899) riformulò la geometria euclidea mantenendone intatto l’impianto ipotetico-deduttivo ma eliminando da essa ogni ricorso all’“evidenza intuitiva” nelle dimostrazioni. ◆ Programma di H.: il ...
Leggi Tutto
Scienza che studia il moto e l’equilibrio dei corpi. È tradizionalmente divisa in tre parti: cinematica, dinamica e statica, che studiano, rispettivamente, il moto prescindendo dalle sue cause, il moto [...] il nome di meccanica razionale. La locuzione può indicare qualunque parte della m. che si sviluppi con procedimento matematico deduttivo da alcuni principi generali. Peraltro il termine è da considerarsi piuttosto come sinonimo di meccanica classica ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] e indeterministico: v. teoria: VI 131 d. ◆ [ALG] [FAF] S. formale: una teoria deduttiva costituita solo dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teorema di ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...