sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] ) un insieme diregolediinferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di espressioni logicamente giuste, in quanto ricavate dalle premesse mediante un numero finito di applicazioni delle regolediinferenza (teoremi o ...
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 [...] e tempo: V 442 f, 444 e. ◆ [FAF] D. costruttiva: d. di un ente in termini tali da indicare un procedimento atto a determinare l'ente stesso; usata per individuare gli assiomi e le regolediinferenza del sistema, oppure per abbreviare determinate ...
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 [...] enunciato dimostrabile), cioè l'ultima di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regolediinferenza. ◆ [MCQ] T. asintotico: v. campi ...
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 regolediinferenza) da alcuni degli assiomi o teoremi precedenti. ...
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 [...] , e un'a. astratta, o formale, in cui gli assiomi non sono che quegli elementi di un sistema formalizzato da cui si deducono teoremi secondo date regolediinferenza. (c) Con altro signif., tendenza al formalismo puro, nell'ambito della critica dei ...
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 (regolediinferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ...
Leggi Tutto
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 [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regoledi i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. L'ottica
A. Mark Smith
Graziella Federici Vescovini
Eyal Meiron
L'ottica
L'eredità dell'ottica araba nel mondo [...] di Aristotele), due ‒ vale a dire la luce e il colore ‒ sono acquisite tramite la 'vista semplice' (aspectus simplex). Le altre sono catturate per inferenzaregoledi propagazione in linea retta della luce, senza per questo preoccuparsi di stabilire ...
Leggi Tutto
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] possibilità di spiegare il mondo fisico in modo generale riducendo la teoria a un insieme diregole descrittive , della teoria delle decisioni in situazioni di incertezza e delle tecniche dell'inferenza statistica (per es., modelli ARIMA).
...
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,...