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 [...] di inferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ◆ Avv. deduttivaménte, secondo il metodo deduttivo, per logica deduzione: argomentare, dimostrare deduttivamente; giungere deduttivamente a una conclusione. ...
Leggi Tutto
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, [...] un principio unificatore: il s. di Aristotele; s. hegeliano; s. materialistico; il s. geometrico euclideo; s. ipotetico deduttivo, struttura logica delle teorie in matematica e anche in altre scienze, che consiste nel presupporre certe ipotesi ...
Leggi Tutto
metodo
mètodo s. m. [dal lat. methŏdus f., gr. μέϑοδος f., «ricerca, indagine, investigazione», e anche «il modo della ricerca», comp. di μετα- che include qui l’idea del perseguire, del tener dietro, [...] assiomi e definizioni alla costruzione e dimostrazione di teoremi, cui possono far seguito varî corollarî; m. ipotetico-deduttivo, quello che, partendo da affermazioni razionali (assiomi), ne ricava conseguenze più specifiche e non contraddittorie (e ...
Leggi Tutto
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, [...] di calcolo (computo commerciale, agrimensura, navigazione, ecc.). Nella Grecia antica, tale scienza si configura come rigoroso sistema deduttivo (spec. nella sintesi euclidea della geometria) e come forma di conoscenza, per Platone intermedia tra la ...
Leggi Tutto
ipotetico
ipotètico agg. [dal lat. tardo hypothetĭcus, gr. ὑποϑετικός] (pl. m. -ci). – 1. Che costituisce o contiene un’ipotesi, o si fonda sopra un’ipotesi, o si suppone per ipotesi: premesse i., ragionamento [...] le conseguenze al fine di verificare se esiste o no accordo tra le ipotesi e la realtà empirica; scienze i. -deduttive, quelle che si fondano su ragionamenti di tale tipo (in partic., le scienze sperimentali). 2. In grammatica, periodo i., periodo ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure [...] razionale come ramo della matematica ad opera degli antichi Greci, e in partic. di Euclide, in forma di sistema deduttivo basato su un insieme di assiomi. Per estens., nella matematica moderna, lo studio delle proprietà di invarianza degli elementi ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: [...] elemento di un certo insieme); tale idea intuitiva è sviluppata in modo formalizzato nella teoria degli i., sistema assiomatico-deduttivo che individua, sulla base di alcuni postulati, le operazioni dalle quali gli insiemi sono generati, e che, da un ...
Leggi Tutto
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. [...] inviolabile); il riferimento all’evidenza sperimentale lo distingue dal postulato (in quanto semplice premessa di un sistema ipotetico-deduttivo), mentre l’ampiezza del campo di applicazione (che può essere comune a diverse teorie e addirittura a ...
Leggi Tutto
procedimento
procediménto s. m. [der. di procedere]. – 1. ant. o poco com. Il fatto e il modo di procedere, cioè di svolgersi, di progredire: il p. delle indagini, o nelle indagini; spiegare, illustrare [...] un’operazione mentale, manuale, tecnica: p. dimostrativo, esplicativo; p. di calcolo; seguire un p. analitico, induttivo, deduttivo. In partic., nella matematica e nelle sue applicazioni, il ragionamento logico per giungere alla soluzione di un ...
Leggi Tutto
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in [...] delle scienze, e in specie delle scienze matematiche, per cui la scienza viene concepita come un sistema ipotetico-deduttivo, basato esclusivam. su un insieme di definizioni implicite formali degli enti fondamentali, cioè su assiomi che possono ...
Leggi Tutto
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso del suo sviluppo (in partic., metodo categorico-d.,...