deduzionededuzió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, [...] da una proposizione più generale o che si desume da un complesso di dati; quindi, più generic., conclusione. ◆ [FAF] Il processo logico nel quale, date certe premesse e certe regole che ne garantiscono ...
Leggi Tutto
In fisica, lo stesso che energia cinetica (➔ energia). Teorema delle forze v. Deduzione dai principi della dinamica secondo la quale in un sistema meccanico la variazione di energia cinetica è uguale al [...] lavoro meccanico effettuato da, o sul, sistema stesso ...
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 [...] ragionamento, giudizio d.; scienze d., quelle (per es., la matematica) che si basano sul metodo analitico e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza ...
Leggi Tutto
epistematico
epistemàtico (o epistèmico) [agg. (pl.m. -ci) Der. del gr. epistème "conoscenza scientifica"] [FAF] Procedimento e.: espressione usata talvolta per designare la deduzione, in antitesi a [...] procedimento epagogico, cioè al procedimento induttivo. ◆ [FAF] Scienza e.: quella che procede per deduzione, in antitesi a scienza sperimentale o induttiva. ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] è stato quello dei limiti e della giustificazione del processo induttivo. In Aristotele l’i. è contrapposta alla deduzione sillogistica e può raggiungere solo dei risultati parziali, non potendo scoprire l’essenza del genere esaminato: con essa ...
Leggi Tutto
Herbrand Jacques
Herbrand 〈hèrbrant〉 Jacques [STF] (Parigi 1908 - La Bérarde, Isère, 1931) Logico matematico. ◆ [ALG] Teorema di H. e Tarski: lo stesso che teorema di deduzione (←). ...
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 [...] di una verità da un'altra, sinon., quindi, di illazione. ◆ [PRB] I. bayesiana: procedimento statistico, detto anche approccio bayesiano, che, in aggiunta ai dati campionari dell'i. statistica (v. oltre) ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni ...
Leggi Tutto
empirismo
empirismo [Der. di empirico] [FAF] Atteggiamento epistemologico che pone nell'esperienza la fonte della conoscenza. Si oppone a innatismo e a razionalismo, le quali concezioni fanno derivare [...] la conoscenza per deduzione da principi razionali a priori evidenti. Nella storia del pensiero filosofico e scientifico l'e. è rappresentato, per l'antichità, in modo particolare dagli epicurei e dagli stoici; per l'età moderna, spec. da R. Bacone, J ...
Leggi Tutto
apodittico
apodìttico [agg. (pl.m. -ci) Der. del lat. apodicticus, dal gr. apodeiktikós "dimostrativo"] [FAF] Nella logica, che deriva da un rigoroso processo (apodissi) di dimostrazione della validità [...] di una singola proposizione mediante la sua deduzione da un'altra verità più generale. ◆ [FAF] Giudizio a. (contrapp. ad assertorio e problematico): (a) quello in cui l'affermazione o la negazione si considerano come necessarie (A è necessariamente B ...
Leggi Tutto
deduzione
deduzióne s. f. [dal lat. deductio -onis, der. di deducĕre «dedurre»]. – 1. Termine tecnico usato dai Romani per indicare la fondazione di una colonia. 2. L’atto o il processo tramite il quale si perviene a una conclusione mediante...
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...