estensione
estensióne [Der. del lat. extensio -onis, dal part. pass. extensus di extendere (→ estensibile)] [LSF] (a) Con signif. concreto, dimensione geometrica in genere, e cioè, a seconda dei casi, [...] occupata da un determinato ente e anche la relativa misura. ◆ [FAF] (a) Di un termine, un concetto, un predicato, un sistemaformale, e simili, è il contenuto di ciascuno di essi. (b) Con altra accezione, nella logica, la classe di tutti gli oggetti ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ordinatamente ai vari segni del sistemaformale, T; ciò fatto, si consideri un'espressione qualsiasi A di T; essa è costituita da una certa successione di segni di ...
Leggi Tutto
realizzazione
realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logica matematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione [...] i concetti indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti gli enunciati dimostrabili del sistemaformale risultino asserzioni vere nella struttura: se una r. di questo genere esiste si dice anche che il ...
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 [...] d.; scienze d., quelle (per es., la matematica) che si basano sul metodo analitico e sulla deduzione; sistema d., ogni sistemaformale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé ...
Leggi Tutto
dimostrabile
dimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistemaformale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema [...] di T ...
Leggi Tutto
realizzabile
realizzàbile [agg. Der. di realizzare "che può essere realizzato" (→ realizzazione)] [ALG] [FAF] Sistemaformale r.: → realizzazione: R. di una teoria formale. ...
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 [...] è stato talvolta concepito come un insieme articolato di programmi, norme e relazioni formali all’interno di una comunità educante. Ormai, però, l’approccio sistemico non si limita a considerare la struttura dei corsi di studio, i programmi ...
Leggi Tutto
sistemasistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] . teoria: VI 131 d. ◆ [ALG] [FAF] S. formale: una teoria deduttiva costituita solo dal suo linguaggio simbolico, dal suo , in altri paesi, nel-l'ambito tecnico): v. unità di misura, sistemi di: VI 409 d. ◆ [MTR] S. internazionale di unità di misura ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] in Egitto e in Mesopotamia. Intorno al 3000 a.C. il sistema numerale degli Egizi era a base decimale, con simboli diversi che la logica dei generi e delle specie, ossia l’edificio formale quasi perfetto da lui costruito nell’Organon. In generale, ...
Leggi Tutto
Consapevolezza che il soggetto ha di sé stesso e del mondo esterno con cui è in rapporto, della propria identità e del complesso delle proprie attività interiori.
Diritto
Libertà di c. Diritto di sentire [...] unificazione di tutte le rappresentazioni. Essa costituisce quindi l’aspetto formale della c., presupposto e condizione della c. empirica che o automatica).
Alla concezione della c. come sistema di controllo delle operazioni cognitive si affianca l’ ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...