inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'i.' l'insieme delle [...] regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi a partire da assiomi o da altri enunciati ...
Leggi Tutto
Procedimento di generalizzazione dei risultati ottenuti attraverso una rilevazione parziale per campioni, limitata cioè alla considerazione di alcune unità o casi singoli del fenomeno di studio, alla totalità delle unità o casi del fenomeno stesso, sulla base di ipotesi plausibili. Se in un campione di n unità, tratto a caso da una popolazione di N unità, la misura di un dato carattere è a, si tratta ...
Leggi Tutto
inferenza logica
inferenza logica sinonimo di «argomentazione logica» utilizzato per designare il processo di deduzione di una formula A, detta conclusione, a partire da una o più formule, dette premesse. [...] , come per esempio il linguaggio degli enunciati o il linguaggio dei predicati, la costruzione di una inferenza logica è formalizzata attraverso le regole di inferenza o regole di deduzione, le quali stabiliscono come dedurre da una o più formule ben ...
Leggi Tutto
inferenza bayesiana
Giacomo Aletti
Statistica inferenziale sviluppata dalla scuola di approccio bayesiano. Le osservazioni vengono utilizzate per cambiare e aggiornare le probabilità degli eventi osservabili [...] attraverso il teorema di Bayes. Come esempio di differenza dall’inferenza della scuola frequentista (con cui la scuola bayesiana condivide tutti gli assiomi e la teoria della probabilità), ricordiamo che uno stimatore bayesiano ha una distribuzione ...
Leggi Tutto
inferenza, regola di
inferenza, regola di locuzione equivalente a regola di deduzione o regola di derivazione logica (→ deduzione, regola di); essa designa una regola che permette di passare da una affermazione [...] (da A ∨ B vera e da A ⇒C e B ⇒C vere, si deduce la verità di C):
Regole di inferenza di introduzione o eliminazione di quantificatori sono presenti anche nel linguaggio
dei predicati:
• eliminazione del quantificatore universale (se è vera ∀xA ...
Leggi Tutto
logica
logica teoria dell’inferenza valida, cioè studio della correttezza dei ragionamenti, qualunque sia l’universo di discorso cui essi si riferiscano. Si riserva usualmente il termine «logica», privo [...] agli stoici il merito di aver elaborato un sistema di logica delle proposizioni come base di una teoria dell’inferenza, che risulta quindi più generale di quella aristotelica, avendo come base un’analisi del ruolo dei connettivi nelle deduzioni ...
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,...