deduzione, regola di
deduzione, regola di locuzione equivalente a regola di → inferenza; indica una regola che permette il passaggio da una formula ben formata (ƒbƒ) a un’altra in una catena di deduzione. [...] di formule ben formate collegate l’una all’altra tramite regole che sono appunto dette regole di deduzione o regole di inferenza. Nella catena di deduzione le formule ben formate da cui si parte (che possono anche ridursi a una) sono gli assiomi ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Teorie del linguaggio e del segno
Giovanni Manetti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’interesse per il linguaggio e per i segni non verbali [...] del I secolo a.C., il De signis, il cui titolo greco è Peri semeion kai semeioseon (Intorno ai segni e alle inferenze semiotiche) di cui è autore Filodemo di Gadara, capo della scuola epicurea di Ercolano e allievo di due maestri epicurei, Zenone di ...
Leggi Tutto
modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H" ...
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
modus tollendo ponens
Locuz. latina («modo che negando [un enunciato] afferma [l’altro]»). Inferenza della sillogistica classica che ha la seguente forma: «vale almeno uno degli enunciati p, q; vale [...] ‘non p’; allora vale q» ...
Leggi Tutto
identificabilita
Samantha Leorato
identificabilità Proprietà che un modello statistico deve soddisfare perché sia possibile condurre inferenza statistica (➔) circa i suoi parametri. Intuitivamente [...] si afferma che un modello è identificabile se a ogni parametro θ corrisponde una e una sola distribuzione di probabilità per i dati.
Modello identificabile
In modo più formale, dato un modello definito ...
Leggi Tutto
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 [...] mediante un’efficace rappresentazione grafica nella quale trovano collocazione gli individui insieme con i caratteri.
Si ha un’inferenza statistica quando, sulla base dell’informazione fornita dall’osservazione di alcuni fatti e poi registrata in s ...
Leggi Tutto
Student, distribuzione t di
Student, distribuzione t di distribuzione di probabilità di una variabile aleatoria continua, impiegata nell’inferenza statistica nel caso di campioni di ampiezza limitata. [...] normale standardizzata e già per g = 30 ne è una buona approssimazione; essa occupa un posto importante nell’inferenza statistica perché, quando il campione è piccolo (n < 30), approssima la distribuzione del carattere in esame meglio ...
Leggi Tutto
bayesiano
bayesiano 〈beisiano〉 [agg. Dal cognome di T.Bayes] [PRB] Approccio b.: v. statistica: V 589 b. ◆ [PRB] Inferenza b.: v. biometria: I 367 a. ◆ [PRB] Teoria b.: nell'analisi di dati sperimentali, [...] ogni teoria che, a differenza di quelle classiche, tenga conto dei risultati di esperimenti precedenti ...
Leggi Tutto
regressione parametrica, modelli e stime di
Samantha Leorato
Modelli statistici di tipo parametrico (➔ modello statistico) mirati a fare inferenza su particolari aspetti della distribuzione condizionata [...] di una variabile di interesse, detta dipendente, dati i valori di un insieme di esplicative, dette covariate o regressori. Assumendo che l’obiettivo dell’analisi di regressione sia una particolare funzione ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...