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
Disciplina, fondata da S. Freud, che ha per oggetto lo studio e il trattamento terapeutico di disturbi di tipo psicologico nel quadro di una teoria dinamica della psiche il cui concetto centrale è quello [...] , mise in evidenza l’organizzazione linguistica e semantica dell’inconscio secondo criteri suoi propri.
Le suggestioni della logicamatematica anziché della linguistica sono alla base degli studi di I. Matte Blanco, tra i maggiori psicanalisti dell ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logicamatematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
Leggi Tutto
Diritto
Diritto costituzionale
In via generale, l’atto di un organo (monocratico o collegiale) investito della cosiddetta funzione legislativa. A differenza della consuetudine, che nasce spontaneamente [...] astratta e generale (l. assiomatiche che non discendono da enunciati più generali: per es., la l. delle inverse in logicamatematica); oppure relazioni di più o meno diretta derivazione sperimentale (l. empiriche: per es., la l. di van der Waals ...
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...