Scienza che ha per oggetto lo studio dei fenomeni collettivi suscettibili di misura e di descrizione quantitativa: basandosi sulla raccolta di un grande numero di dati inerenti ai fenomeni in esame, e [...] insieme con i caratteri.
Si ha un’inferenza statistica quando, sulla base dell’informazione s. è quello della robustezza. Si definiscono robusti quei procedimenti induttivi che conservano una buona efficacia anche quando le ipotesi del modello ...
Leggi Tutto
L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] usato prima della sua introduzione nel 1850 da parte di Carl Gustav Adolph Knies. Tuttavia i problemi legati all'inferenzainduttiva sono molto più antichi: persino gli studiosi e i legislatori dell'Antichità, basandosi su dati numerici, cercavano di ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] approssimazione numerica delle proprietà di insiemi attraverso le proprietà di sottoinsiemi casuali. Dunque, problemi di inferenzainduttiva, di stima statistica: stima dei valori incogniti di parametri attraverso campioni probabilistici.
Il successo ...
Leggi Tutto
Statistica applicata alle scienze sociali
Italo Scardovi
La statistica e l'immanenza della variabilità
Statistica è parola dai tanti, forse troppi, significati. Essi riflettono, nella loro varietà, [...] linee di pensiero, dall'empirismo estremo all'estremo razionalismo. Esse trovano composizione nella formulazione bayesiana dell'inferenzainduttiva, che gradua, in termini probabilistici, il valore delle conoscenze generali e quello dell'informazione ...
Leggi Tutto
Previsione
Italo Scardovi
di Italo Scardovi
Previsione
La previsione nella scienza
Da sempre l'uomo s'interroga sul futuro. Da sempre cerca nei dati del mondo i segni di ciò che l'aspetta. Tra intuizioni [...] loro, di dare una parvenza logica all'abitudine di indurre l'ignoto dal noto, il futuro dal passato. Un'inferenzainduttiva rivolta al futuro non cerca la propria ragione nel colpire un bersaglio empirico, nel trovare una puntuale verifica nel tempo ...
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 [...] linguistica non ulteriormente riconducibile a qualche forma di inferenza logico-sintattica. Più radicale il punto di , una grandezza, detta coefficiente di mutua i. (o induttanza mutua), dipendente soltanto dalla forma e dalla posizione reciproca dei ...
Leggi Tutto
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] df ~ p V q):
dall'altro lato, formulare regole specifiche (d'inferenza e di sostituzione) per la derivazione dei teoremi dagli assiomi.
Un sistema di considerare la logica non strettamente deduttiva o induttiva e le applicazioni della l. m. in ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] così la probabilità. Si è cercato anzi di costruire con le regole di queste inferenzeinduttive di probabilità un intero sistema di ‟logica induttiva" (v. Carnap, 1952). Ma già Hume aveva mostrato che è logicamente impossibile dimostrare la ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] variegata classe delle logiche, di solito studiate come estensioni assiomatiche della logica standard, note come logiche induttive. È possibile trattare l'inferenza non-monotòna in vari modi, due dei quali hanno suscitato un certo interesse. Il primo ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...]
Il sistema LK è costituito da tre gruppi di regole di inferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc nel calcolo dei seguenti e il modo per farlo è definire induttivamente un algoritmo che elimini le applicazioni della regola del taglio. ...
Leggi Tutto
sperimentare
(o esperimentare, ant. spermentare) v. tr. [dal lat. tardo experimentare, der. di experimentum «esperimento, prova»] (io speriménto, ecc.). – 1. a. Sottoporre a esperimento; applicare, usare, mettere alla prova qualche cosa per...
abduttivo
agg. [der. di abdurre, sul modello di deduttivo, induttivo (già presenti nel lat. tardo) e in contrapp. a adduttivo]. – Relativo ad abduzione: movimento a. di un arto, inferenza abduttiva.