L’assicurazione tra tradizione e futuro
Massimo De Felice
Una tradizione che parla al futuro
La tradizione delle assicurazioni evidenzia caratteristiche e rapporti che parlano al futuro: il ruolo sociale [...] competitività.
Le regole per sfruttare al meglio l’esperienza
I termini generali del problema di come farsi un’opinione sul futuro sfruttando al meglio l’esperienza possono essere ricondotti a quelli tradizionali dell’inferenza bayesiana, precisati ...
Leggi Tutto
Michele Taruffo
Abstract
Si analizza il concetto generale della prova con riferimento al processo civile, considerandolo nelle sue caratteristiche fondamentali e nella dinamica che il fenomeno presenta [...] M., op. ult. cit., 199). In altri termini, è la logica delle inferenze che collegano proposizioni secondo regole logiche, che fornisce criteri per la formulazione di una valutazione razionale.
Ne deriva la constatazione della struttura essenzialmente ...
Leggi Tutto
Fisiognomia
Patrizia Magli
Fisiognomia o fisiognomonia (dal greco ϕυσιογνωμονία, tardo ϕυσιογνωμία, composto di ϕύσις, "natura", e tema di γιγνώσκω, "conoscere") è il nome della disciplina parascientifica [...] concreta dei volti reali, ben presto si venne ad affermare un sistema di correlazione segnica fondato non più sull'inferenza, ma su precise regoledi equivalenza del tipo: /naso adunco/ = 'rapacità'; /labbra carnose/ = 'sensualità'. Del resto, come ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La filosofia di David Hume segna profondamente la cultura illuminista europea per il tentativo [...] . In questo modo di rappresentarci i fenomeni Hume introduce i concetti diinferenza e di probabilità. Non abbiamo la distinzione fra virtù naturali (amore di sé e benevolenza) e artificiali (obblighi che regolano la proprietà, la giustizia e il ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Per la vastità della sua opera e la varietà dei campi indagati, Charles Sanders Peirce [...] passo della conoscenza, dalla percezione alle teorie scientifiche. Oltre alla deduzione, la forma diinferenza classica, egli riconosce l’induzione, strumento logico per la formazione di leggi generali, e l’abduzione o ipotesi, con la quale tenta ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] del sistema formale stesso). “Si potrebbe pensare” – scrive lo stesso Gödel – “che questi assiomi e regolediinferenza siano sufficienti per decidere tutte le questioni matematiche che possono essere formalmente espresse all’interno degli stessi ...
Leggi Tutto
induzione
Dal lat. inductio, der. di inducĕre «indurre». Processo mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale. Il problema a questo proposito più [...] diinferenza logico-sintattica. Più radicale il punto di vista di Popper, che ha invece negato la legittimità stessa dell’i. e la possibilità di pervenire alla formulazione di leggi e teorie scientifiche attraverso l’accumulo dei casi di conferma di ...
Leggi Tutto
teorema
teorema in matematica e in logica, enunciato per il quale esiste una dimostrazione a partire da un insieme di → assiomi; esso può cioè essere dedotto da tali assiomi attraverso regoledi deduzione [...] logico come il calcolo degli → enunciati, il calcolo dei → predicati o il calcolo dei → sequenti, le regoledi deduzione (o regoledi → inferenza) sono formalizzate e la loro applicazione trasforma una formula ben formata in un’altra formula ben ...
Leggi Tutto
motore inferenziale
motore inferenziale in informatica, programma cui, all’interno di un sistema esperto, è assegnato il compito di trarre delle conseguenze coerenti con le premesse e i dati di un problema. [...] lavora secondo due tipi diinferenza: inferenza deduttiva, detta anche forward chaining, cioè concatenazione in avanti, perchè partendo da fatti noti si applicano le regole allo scopo di dedurre altri fatti; inferenza induttiva, detta anche backward ...
Leggi Tutto
particolarizzazione
particolarizzazione una delle regoledi → inferenza utilizzabile per la deduzione formale in un sistema logico. Nel linguaggio dei predicati permette l’eliminazione del quantificatore [...] per k, elemento particolare dell’insieme. Grazie alla regoladi particolarizzazione è possibile passare da una formula ∀xA costante k scelta nell’insieme in cui può variare la x (dominio di interpretazione). Per esempio, dalla formula ∀x ∈ N (x + 1 ...
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,...