Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] Analytica, di cui il 13° sec. fece propria la concezione deduttiva della scienza), dall’altra la trattazione organica sotto forma di summa matematica. Per Hilbert, massimo esponente del metodoassiomatico formale, già prima della scoperta dell’ ...
Leggi Tutto
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 [...] modelli. Altro esempio di s. ipotetico-deduttivo è la teoria assiomatica degli insiemi, la quale in alcune esposizioni caso è sempre possibile risolvere le equazioni in modo esplicito con i metodi dell’algebra lineare. Per un s. non lineare, a parte ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] procedimento che permette di combinare insieme i vantaggi del metododeduttivo e di quello induttivo. I nuovi m. si presentano quel dominio. Per es., se T è il sistema assiomatico di Peano, T potrà acquistare un significato se viene interpretato ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] di analisi, di strumenti deduttivi logico-formali, di risultati intero programma.
L'approccio assiomatico alla semantica dei programmi ha per mezzo di messaggi, che invocano l'attivazione di metodi (un esempio di messaggio è 'modifica la residenza ...
Leggi Tutto
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...