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 [...] classico ‒ privato dell'identità ‒ introducendo il sistema LK.
Il sistema LK è costituito da tre gruppi di regole di inferenza: Identità, Struttura e Logica, dove Γ, Δ, Λ, ecc. indicano insiemi finiti di formule, eventualmente anche vuoti.
Alcune ...
Leggi Tutto
Metodi comparativi per lo studio del comportamento
John L. Gittleman
(Department of Ecology and Evolutionary Biology, University of Tennessee Knoxville, Tennessee, USA)
II metodo comparativo, utilizzato [...] imparentato a un gruppo di parentela. Da ultimo, poiché è necessario avere un punto di partenza per fare un'inferenza su un ordine evolutivo, un outgroup, o gruppo estraneo, indipendente dal gruppo da studiare, viene di solito utilizzato per ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Storia e Politica (2013)
Pietro Giannone
Girolamo Imbruglia
Autore dell’Istoria civile del regno di Napoli (1723) e del Triregno, pubblicato postumo perché requisito dal papato, Pietro Giannone morì in carcere nel 1748, vittima [...] materie ecclesiastiche da parte dello Stato» (Lauro 1974, p. 28), il quale richiedeva, oltre il controllo, l’inferenza statale nelle attività ecclesiastiche. Il passaggio da contenimento a normazione del mondo ecclesiastico diede vigore alla polemica ...
Leggi Tutto
Biologia molecolare e sistematica: una rivoluzione
Cecilia Saccone
Origine e sviluppo della biologia molecolare
La biologia molecolare è nata e si è sviluppata nella seconda metà del 20° sec., periodo [...] , mentre, dall’altra, contribuisce alla produzione di nuova conoscenza attraverso l’incrocio di dati e di algoritmi di inferenza.
Conoscere la sola struttura primaria di geni e genomi non significa naturalmente comprendere lo stato del vivente. L ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] , con dimostrazione generale e assoluta, che, applicando agli assiomi di siffatto sistema le corrispondenti regole d'inferenza, non può mai seguirne contraddizione alcuna. Questo "metateorema d'impossibilità", vertente sulla teoria rappresentata nel ...
Leggi Tutto
JAINISMO (pron. giainismo)
Ambrogio Ballini
Religione affermatasi nel NordEst dell'India nel secolo VI a. C. e così denominata dall'appellativo Jina "vincitore", col quale vengono designati generalmente [...] sensi; 2. la conoscenza chiara (Sruta): quella che di una cosa noi riceviamo per ragionamenti, e per inferenza, tratta da altri elementi della conoscenza. Appartengono invece alla conoscenza diretta, direttamente cioè acquisita dall'anima, senza l ...
Leggi Tutto
(X, p. 606; App.: III, I, p. 398; IV, I, p. 473)
Negli ultimi decenni la scienza del clima aveva già segnato sensibili progressi rispetto agli anni prebellici. Alcuni geografi, che avevano seguito con [...] con calcoli elementari, dai dati ripresi dalle osservazioni meteorologiche, ma indicazioni probabilistiche ricavate per inferenza statistica quale ''legge probabilistica di massima verosimiglianza'' nei parametri e nella distribuzione delle frequenze ...
Leggi Tutto
Specchio, neuroni
Giacomo Rizzolatti
Leonardo Fogassi
Vittorio Gallese
L'uomo è una specie eminentemente sociale, che ha sviluppato la capacità di capire le azioni degli altri, le loro intenzioni [...] questo modo, chi osserva può inferire cosa sta facendo un agente e perché lo sta facendo. Ma anche se inferenze di questo tipo sono certamente possibili, soprattutto quando il comportamento altrui è difficile da decifrare, la facilità e la rapidità ...
Leggi Tutto
FONTANA, Giovanni Battista Lorenzo (in religione Gregorio)
Ugo Baldini
Nacque a Nogaredo nella Val d'Adige, presso Rovereto, il 19 dic. 1735, quarto dei nove figli di Pietro, notaio, e di Elena Caterina [...] poterono accentuarsi in seguito. Il F. partecipa all'evoluzione dell'insegnamento della logica da casistica dell'inferenza e delle categorie metafisiche del discorso, com'era fino al primo Settecento, in epistemologia e metodologia; parallelamente ...
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 [...] una deduzione logica l’uno dall’altro. In questo modo di rappresentarci i fenomeni Hume introduce i concetti di inferenza e di probabilità. Non abbiamo nessuna prova certa che la serie degli eventi osservati si ripeterà nella stessa modalità ...
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,...