Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] . Questa circostanza ha dato l’impulso iniziale a uno straordinario fiorire degli studi di logicamatematica, i quali, con l’avvento degli elaboratori elettronici, si sono sviluppati anche in collegamento con i temi di base dell’informatica, per ...
Leggi Tutto
Matematica
Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri.
Principio di dualità
Nella geometria proiettiva [...] altri mediante un opportuno procedimento, codificato appunto nel principio di dualità.
Si hanno così un principio di dualità in logicamatematica (sia enunciativa sia dell’ordine): se le formule A e B sono equivalenti, anche le formule duali A′ e ...
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 [...] , ma è indipendente da quella che la segue. Spencer usò una tripartizione in s. astratte (logica, matematica), astratto-concrete (meccanica, fisica, chimica) e concrete (astronomia, geologia, biologia, psicologia, sociologia). Cournot definì, sotto ...
Leggi Tutto
Filosofia
L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] è la d. della grandezza mediante l’indicazione del procedimento che consente la misurazione della grandezza stessa.
Matematica
In logicamatematica s’incontrano due tipi di d.: metalinguistiche e linguistiche. Data cioè una certa teoria formale T e ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logicamatematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia decidibile l’insieme degli assiomi ...
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, [...] le capacità umane, incluso il pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logicamatematica (dall'algebra di G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine ...
Leggi Tutto
(IV, p. 631; App. I, p. 163; V, i, p. 233)
Il superamento o la contaminazione dei linguaggi artistici tradizionali, così come l'introduzione di nuovi procedimenti espressivi che includono un dialogo sempre [...] tende a porre in primo piano i caratteri peculiari dell'immagine digitale, primi tra tutti l'immaterialità e la logicamatematica soggiacente. Molto influente in questo senso si è dimostrata la teoria dei frattali elaborata dal francese B. Mandelbrot ...
Leggi Tutto
Musica
Ugo Duse
di Ugo Duse
Musica
sommario: 1. Introduzione. 2. La musica nella filosofia e nella sociologia. 3. La musica come problema antropologico- culturale. 4. La musica nelle sue determinazioni [...] a quello che può intercorrere tra la fisica elettronica e le più sofisticate comodità della vita quotidiana, o tra la logicamatematica e la raffinata enigmistica di Garden. E questo la distingue dalle altre arti, eccezion fatta per l'architettura ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. La struttura del sapere
Alfonso Maierù
La struttura del sapere
La classificazione delle conoscenze
Il periodo che precede la 'rinascita' [...] degli enti, dei loro attributi, dei principî delle dimostrazioni delle scienze teoretiche 'particolari' (che sono tre, cioè logica, matematica e scienza naturale) e delle intelligenze (enti che non sono corpi né sono in un corpo). Il quinto capitolo ...
Leggi Tutto
matrice
matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] le m. di ordine infinito introdotte da D. Hilbert nella teoria delle equazioni integrali). ◆ [ALG] [FAF] Nella logicamatematica: (a) espressione priva di quantificatori, contraddistinta da un punto esclamativo collocato subito dopo di essa; precis ...
Leggi Tutto
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,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...