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
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
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti al metalinguaggio. ◆ [FAF] D ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
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,...