inferenzainferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] di una verità da un'altra, sinon., quindi, di illazione. ◆ [PRB] I. bayesiana: procedimento statistico, detto anche approccio bayesiano, che, in aggiunta ai dati campionari dell'i. statistica (v. oltre) ...
Leggi Tutto
modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logica matematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H" ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logica matematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni ...
Leggi Tutto
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
stima
stima [Der. del lat. aestimare "determinare il valore di un bene"] [LSF] Valutazione approssimata del valore di una grandezza e anche il valore medesimo: s. per eccesso e s. per difetto, quando [...] a s. della posizione di un indice sulla sua scala graduata; ecc. ◆ [PRB] S. dei parametri: caso particolare di inferenza statistica che si presenta quando si conosce la forma della distribuzione dei dati riguardanti un dato fenomeno; si effettua ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Ibn al-Haytam e la nuova fisica
Hossein Masoumi Hamedani
Ibn al-Hayṯam e la nuova fisica
Apartire dalla fine del XIX [...] solamente queste ultime, infatti, sono percepite dalla "sensazione pura" (bi-muǧarrad al-ḥiss), mentre le altre sono colte o dall'"inferenza e dal discernimento" (bi-'l-qiyās wa-'l-tamyīz) o dal "riconoscimento" (bi- 'l-ma῾rifa) (Kitāb al-Manāẓir, II ...
Leggi Tutto
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] basano sul metodo analitico e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ...
Leggi Tutto
assiomatica
assiomàtica [Der. dell'agg. assiomatico] [FAF] (a) In genere, ogni dottrina degli assiomi. (b) In partic., quel ramo delle scienze matematiche in cui si discute dei principi della matematica [...] gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regole di inferenza. (c) Con altro signif., tendenza al formalismo puro, nell'ambito della critica dei fondamenti delle scienze, e spec. della ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regole di inferenza. ◆ [MCQ] T. asintotico: v. campi, teoria quantistica dei: I 478 d. ◆ [FSN] T. CPT: → CPT. ◆ [TRM] T. del limite centrale: v ...
Leggi Tutto
Scienza greco-romana. Aristotele
Enrico Berti
Aristotele
Il ritorno al naturalismo presocratico nelle opere perdute
L'originalità di Aristotele rispetto a Platone nel modo di concepire quell'indagine [...] l'ultima parte del De interpretatione e gli Analitici primi contengono quella che oggi è considerata logica, cioè una teoria dell'inferenza valida, intesa come parte della logica dei predicati, e che non è soltanto uno strumento di altre scienze ma ...
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,...