bayesiani, metodi
Procedure di inferenza statistica basate sull’approccio bayesiano. Tale approccio ha come fondamenti il teorema di Bayes (➔) e l’interpretazione della probabilità come un grado di fiducia [...] nel verificarsi di un evento o nella verità di una proposizione. La procedura consiste nel partire da un grado di fiducia iniziale, detto P(H), probabilità a priori dell’ipotesi, e nella raccolta di dati ...
Leggi Tutto
anumana
anumāna
Termine sanscr. che significa «inferenza». Nella filosofia indiana, l’a. è riconosciuto come mezzo di valida conoscenza (➔ pramāṇa) da tutte le scuole a parte quelle materialistiche [...] secondo Dharmakīrti solo una relazione di causalità (come nel caso di fumo e fuoco) o di identità. L’a. è distinto in svārtha-a. («inferenza per sé», non formalizzata) e parārtha-a. («inferenza per un altro», formalizzata negli elementi visti sopra). ...
Leggi Tutto
Scienza indiana. Il pensiero indiano
Raffaele Torella
Il pensiero indiano
Una 'filosofia' indiana?
I diversi modi in cui nel tempo si è articolata questa domanda e le risposte date a essa sono da inquadrare, [...] un risultato finale (se questa parte d'acqua di mare è salata vuol dire che tutto il mare è salato), sāmānyatodṛṣṭa per un'inferenza basata su un'osservazione di carattere generale (se troviamo la luna e le stelle ora in una parte del cielo ora nell ...
Leggi Tutto
generalizzazione
generalizzazione una delle regole di → inferenza su cui si basa il concetto di deduzione formale nell'ambito di un sistema logico. In particolare, la regola di generalizzazione è presente [...] nel calcolo dei predicati e permette l’introduzione del quantificatore universale, indicato con il simbolo ∀ (si legge «per ogni»), in una formula A nel modo seguente
dove la linea orizzontale separa ...
Leggi Tutto
particolarizzazione
particolarizzazione una delle regole di → inferenza utilizzabile per la deduzione formale in un sistema logico. Nel linguaggio dei predicati permette l’eliminazione del quantificatore [...] universale, indicato con il simbolo ∀ (si legge «per ogni») nel modo seguente:
dove la linea orizzontale separa la premessa ∀xA(x) dalla conclusione A(k) e k è una costante. In altri termini: dalla validità ...
Leggi Tutto
conversione
conversione in logica classica, applicazione di regole di inferenza immediata alle proposizioni che compongono un dato sillogismo per ottenerne una riduzione (→ sillogismo). ...
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,...