modus tollendo ponens
modus tollendo ponens 〈mòdus tollèndo pònens〉 [Lat. "modo che negando (un enunciato) afferma (l'altro)"] [FAF] Inferenza della sillogistica classica del tipo: vale almeno uno degli [...] enunciati p, q; vale "non p"; allora vale q ...
Leggi Tutto
Scienza greco-romana. Epistemologia e teorie della Natura nell'eta ellenistica
David Sedley
Epistemologia e teorie della Natura nell'età ellenistica
La filosofia ellenistica
Nel IV sec. a.C. Aristotele [...] II. a) E non si dà il caso che se ci manifestano dei segni non ci indichino le strade della conoscenza scientifica dell’inferenza segni - ca (perché in questo caso il loro manifestarsi dèi sarebbe inutile).
b) E se ci indicano la strada, non si dà il ...
Leggi Tutto
visione
David Burr
Maria Concetta Morrone
La visione può essere considerata un processo di interpretazione e di trasformazione di un mondo esterno, fisicamente esistente, nel nostro mondo percettivo [...] . Nella visione è difficile distinguere tra ciò che realmente percepiamo e ciò che invece è semplice inferenza o interpretazione del nostro cervello. [➔ acuità visiva; dispositivi neuromorfi; fototrasduzione; percezione del colore; sensazione e ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] compaiono termini (classi) e nelle quali le variabili stanno per i termini, gli stoici individuano schemi d’inferenza, in cui gli elementi costitutivi sono le proposizioni (e le variabili quindi stanno per proposizioni). Particolare rilievo acquista ...
Leggi Tutto
Cinzia Gamba
Abstract
La presente voce esamina le presunzioni quali istituti che si ricollegano all'ambito delle prove nel processo civile e sono disciplinati dagli artt. 2727, 2728 e 2729 c.c. Vengono [...] Tutto ciò per evitare il rischio di abusi o fraintendimenti da parte del giudice.
Si può verificare che vi siano varie inferenze presuntive convergenti, ma che nessuna di esse sia in grado da sola di fondare la conclusione sul fatto ignorato in modo ...
Leggi Tutto
Box-Jenkins, metodo di
Metodo che si applica per trovare il modello ARMA (➔ ARMA/ARIMA, modelli di) che meglio si adatta alla serie storica (➔) in esame, allo scopo di fare inferenza (➔ inferenza statistica) [...] ed effettuare previsioni su di essa ...
Leggi Tutto
Bayes, Thomas
Matematico inglese (Londra 1702 - Tumbridge Wales 1761). Studiò logica e filosofia all’Università di Edimburgo e dal 1742 fu un influente membro della Royal Society. Nel suo trattato Essays [...] personale piuttosto che come caratteristica oggettiva, divenne, verso la metà del 20° sec., la base dell’approccio soggettivo alla teoria della probabilità e di quella branca della statistica detta appunto inferenza bayesiana (➔ bayesiani, metodi). ...
Leggi Tutto
deduzione, catena di
deduzione, catena di rappresentazione formale di un ragionamento consistente in una sequenza di formule ben formate (ƒbƒ), ognuna delle quali è legata alla successiva da determinate [...] considerato. Da tali formule ben formate si ricava una nuova formula ben formata tramite l’applicazione di una regola di inferenza; questo procedimento si ripete un numero finito di volte fino ad arrivare a una formula finale, il teorema. Un teorema ...
Leggi Tutto
induzione statistica
induzione statistica procedura per trarre risultati generali relativi a una popolazione a partire dai dati statistici rilevati su un campione. L’induzione statistica si avvale dei [...] metodi della → inferenza statistica. ...
Leggi Tutto
congiunzione, introduzione di una
congiunzione, introduzione di una in logica, regola di deduzione per la quale dalla verità di due singoli enunciati A, B si deduce la verità di A ∧ B (→ inferenza, regola [...] di) ...
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,...