deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] . ◆ [ALG] [FAF] Nella logica matematica, l'operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una certa espressione da un dato assioma attraverso un numero finito di altre espressioni, tutte facenti ...
Leggi Tutto
deduttivodeduttivo [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., se parte da proposizioni assunte come vere, metodo ipotetico-d., se parte da proposizioni semplic. supposte); per es.: ragionamento, giudizio d.; scienze ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] particolari alla m. orientale, ma è espresso solo dai Greci come proposizione generale; b) il carattere razionale, deduttivo, logico del procedimento matematico; c) la rapida e sistematica conquista di risultati nuovi e la conseguente fondazione di ...
Leggi Tutto
euclideo
euclidèo [agg. Der. di Euclide] [ALG] [FAF] Qualifica di ente matematico o di sistema ipotetico-deduttivo che soddisfi i postulati di Euclide. ◆ [ALG] Algoritmo e. delle divisioni successive: [...] procedimento per calcolare il massimo comun divisore di due numeri, e anche di due polinomi, attraverso un numero finito di operazioni di divisione: → algoritmo. ◆ [ALG] Connessione e.: v. connessione: ...
Leggi Tutto
nomologico
nomològico [agg. (pl.m. -ci) Der. di nomologia "scienza delle leggi", comp. del gr. nómos "legge" e -logia] [FAF] Schema n.-deduttivo: un explanandum E viene logicamente dedotto da un explanans [...] costituito da un insieme di leggi generali L₁...Lm e di condizioni particolari c₁...cp: v. teoria: VI 130 d ...
Leggi Tutto
postulato
postulato [Der. del lat. postulatum "ciò che è richiesto", dal part. pass. postulatus di postulare "chiedere"] [ALG] [FAF] Proposizione che si assume come vera quale ipotesi di una dimostrazione [...] o di un sistema ipotetico-deduttivo senza che sia dimostrata né che sia evidente di per sé; si distingue dall'assioma, in quanto questo non è dimostrato perché evidente di per sé. Esistono vari p., alcuni dei quali di fondamentale importanza, come, ...
Leggi Tutto
Hempel Carl Gustav
Hempel 〈hèmpël〉 Carl Gustav [STF] (n. Oranienburg 1905, nat. SUA) Prof. di filosofia nell'univ. Yale e poi (1955) in quella di Princeton. ◆ [FAF] Tesi di H., o tesi hempeliana: sostiene [...] l'unità delle scienze empiriche, dalla storia alla fisica, basate sui due comuni modi del procedere probabilistico (ragionamento induttivo) e deterministico (ragionamento ipotetico-deduttivo). ...
Leggi Tutto
principio
princìpio [Der. del lat. principium, da princeps -ipis "primo"] [LSF] [FAF] Enunciato che costituisce la generalizzazione di una vasta evidenza sperimentale e che si assume come vero per ogni [...] ); la sua discendenza dall'evidenza sperimentale lo distingue dal postulato (che è una semplice premessa di un sistema ipotetico-deduttivo) e la sua più vasta portata lo distingue dalla legge, anche se spesso questi termini sono usati, impropr., come ...
Leggi Tutto
ipotetico
ipotètico [agg. (pl.m. -ci) Der. di ipotesi] [FAF] Che si fonda su un'ipotesi o che si serve della formulazione di un'ipotesi. ◆ [FAF] Giudizio i.: ogni giudizio logico del tipo "se A è, allora [...] logica, ogni sillogismo che sia composto, in tutto o in parte, da giudizi ipotetici. ◆ [FAF] Sistema i.-deduttivo: insieme di nozioni omogenee collegate, costruito formulando una serie di ipotesi (variamente denominate e spesso chiamate assiomi e ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] ◆ [FAF] E. protocollari: v. epistemologia: II 436 a. ◆ [ALG] Calcolo degli e., o delle proposizioni: nella logica matematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei ...
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...