inferenza deduttiva 

inferenza deduttiva → motore inferenziale.

inferenza deduttiva

Sistema di logica deduttiva e induttiva (A system of logic ratiocinative and inductive) 


Sistema di logica deduttiva e induttiva
(A system of logic ratiocinative and inductive) Opera (1843) di J.S. [...] della natura e la possibilità stessa delle teorie scientifiche (lib. III). Principio fondamentale del processo scientifico o «metodo deduttivo» (lib. III, 11) è il principio di causazione, che si spiega induttivamente. Esso comporta la credenza nell

Sistema di logica deduttiva e induttiva (A system of logic ratiocinative and inductive)

TEORIE FORMALIZZATE 

Aldo Marruccelli

. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] (o anche di "sistema formale" o "formalismo") quando T è costituita soltanto dal suo linguaggio simbolico, dal suo apparato deduttivo (insieme degli assiomi e regole di deduzione) e dai teoremi derivabili in essa, senza alcun riferimento esterno. Un

Enciclopedia Italiana - IV Appendice (1981)

TEORIE FORMALIZZATE

logica induttiva 

Claudio Pizzi

Estensione della logica deduttiva che descrive inferenze in cui la conclusione non segue dalle premesse con certezza assoluta ma riceve da queste un certo grado calcolabile [...] di conferma, proporzionale all’evidenza disponibile a loro favore. Tale grado di conferma è normalmente espresso da gradi di probabilità, al punto che nella visione dei cosiddetti logicisti (come John

Enciclopedia della Scienza e della Tecnica (2008)

logica induttiva

SORTI (lat. sortes, sortilegium; cfr. gr. κλῆρος, κληρομαντεία)

Nicola TURCHI

Sono una forma di divinazione deduttiva o sperimentale che interpreta il risultato casuale di un movimento impresso dall'uomo [...] a un qualche oggetto: dadi, aliossi, bacchette di legno disegnate o intagliate, sassolini, fave bianche o nere, ecc. Essi agitati dalla mano dell'uomo o entro un'urna vengono fatti cadere o al suolo o

SORTI

geometria iperspaziale 

geometria iperspaziale o geometria degli iperspazi, branca della geometria che si occupa degli iperspazi; la sua sistemazione ipotetico-deduttiva si deve a H. Grassmann (→ iperspazio).

geometria iperspaziale

Solidi, meccanica dei 

Paolo Podio-Guidugli

La m. dei s. è una disciplina completamente formalizzata dal punto di vista matematico e dotata di una struttura deduttiva rigorosa che ne consente la formulazione [...] completa dei problemi caratteristici e la discussione esauriente delle proprietà qualitative e quantitative delle loro soluzioni. Una discussione siffatta, oltre a restituire la descrizione formale della

Enciclopedia Italiana - VII Appendice (2007)

Solidi, meccanica dei

Congetture e confutazioni (Conjectures and refutations) 


Congetture e confutazioni
(Conjectures and refutations) Opera (ed. orig. 1963) di K. Popper, in cui l’autore approfondisce la prospettiva «ipotetico-deduttiva» [...] adottata in Logica della scoperta scientifica (1935). È costituito da una raccolta di saggi pubblicati fra 1940 e 1960. Posto il carattere ipotetico e congetturale delle teorie scientifiche, che possono

Congetture e confutazioni (Conjectures and refutations)

abduzione 

abduzione schema di ragionamento che si differenzia dall’induzione e dalla deduzione per la sua minore capacità dimostrativa. Aristotele considerava l’abduzione (in greco apagōghé) come forma [...] deduttiva dalle conclusioni incerte, e più precisamente come il sillogismo in cui la premessa maggiore è certa, quella minore incerta; la conclusione ha dunque una certezza inferiore o uguale alla premessa minore. In epoca moderna, tale schema è

abduzione

Economista americano, figlio di John Bates, nato a Northampton il 30 novembre 1884, professore di economia alla Columbia University (1926-53).
Contro l'economia astratta e deduttiva dei marginalisti che [...] seguivano J. B. Clark e E. Seligman, ha sostenuto con Th. Veblen la necessità di studiare il quadro istituzionale dell'economia americana e della sua evoluzione, era considerato il massimo esponente dell'istituzionalismo.

Enciclopedia Italiana - III Appendice (1961)

CLARK, John Maurice

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 ...

deduttivo

progressus in infinitum 

locuz. lat. (propr. «il procedere all’infinito»), usata in ital. come s. m. – Espressione con cui, nella filosofia scolastica, è designato un modo di procedere logico che, per spiegare qualcosa, ricorre a un termine, ...