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, [...] e proprie teorie scientifiche, dotate di complessi apparati concettuali, di tecniche di analisi, di strumenti deduttivi logico-formali, di risultati fondamentali, di applicazioni. Nell'impossibilità di fornire, in questa sede, un quadro così ampio ...
Leggi Tutto
Parte introduttiva
di Francesco Jovane
In una visione molto vasta, il termine definisce sia lo strumento che consente la soluzione di problemi di varia natura, sia la tecnica che combina risorse per [...] chiarimento di un ruolo delineato della t. secondo la logica prefigurata può infine riequilibrare il dibattito odierno che è non sono sempre sostenute da una chiara visione delle potenzialità formali connesse alle nuove t. e, come spesso avviene ...
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 [...] immagine digitale, primi tra tutti l'immaterialità e la logica matematica soggiacente. Molto influente in questo senso si è un tirocinio pratico completo e una precisa dottrina degli elementi formali e delle loro leggi strutturali" (Gropius 1923), in ...
Leggi Tutto
L'inizio del 21° sec. è stato segnato da un evento drammatico che ha avuto risvolti significativi anche in a.: l'attacco terroristico dell'11 settembre 2001, che ha provocato, com'è noto, la distruzione [...] Royal Ontario Museum (2002-2006).
Il grado di connotazione formale raggiunto è, in alcuni casi, così forte e definito, tuttavia un po' più timidi nel disancorare la forma dell'a. dalle sue logiche interne: è il caso, per es., di S. Holl, J. Herzog e ...
Leggi Tutto
Ragionamento, psicologia del
Paolo Legrenzi
Fin da Aristotele la logicaformale - le procedure che permettono di operare delle inferenze, cioè trarre conclusioni da premesse - è stata considerata alla [...] del 21° sec. gli psicologi cognitivi confrontano le predizioni di questa millenaria tradizione teorica, chiamata logica naturale o teoria delle regole formali, con quanto prevede invece la teoria dei modelli mentali, sviluppata dalla fine del 20° sec ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] . base dei dati: I 343 b. ◆ [ELT] [INF] L. di macchina: lo stesso che l. macchina (v. oltre). ◆ [ALG] [FAF] [INF] L. formale o formalizzato: v. oltre: L. logici. ◆ [ELT] [INF] L. interattivo di tipo grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L ...
Leggi Tutto
Industria
LLuciano Cafagna
di Luciano Cafagna
Industria
sommario: 1. Premessa. 2. Industria, macchine e divisione del lavoro. 3. La rivoluzione industriale. 4. I modelli del processo d'industrializzazione [...] effettivamente e in misura tale da produrre effetti non soltanto formali, e nel caso in cui la persistenza di un regime comprendere se esse tendono ad associarsi fra loro in base a una logica. La risposta che questo autore dà, individua nel grado di ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] un tipo di dato al quale viene associata una specifica formale che include l'insieme delle operazioni a esso applicabili. un ricco insieme di strutture di controllo per definire la logica secondo la quale l'algoritmo evolve (per esempio i concetti ...
Leggi Tutto
Filosofia
Eugenio Garin
di Eugenio Garin
Filosofia
sommario: 1. Considerazioni preliminari. 2. Filosofia speculativa e filosofia scientifica. 3. Limiti e contraddizioni della filosofia scientifica. [...] libraio per accorgersi dell'equivocità di un termine sotto cui possono trovar posto insieme un trattato di logicaformale come una romantica disquisizione sul destino dell'uomo. Fortunatamente, secondo Ayer, la ‟rivoluzione filosofica" del Novecento ...
Leggi Tutto
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] decidere se una prova addotta sia o non sia una prova. Per quanto riguarda il desideratum formale, i compiti che ne derivano appartengono alla logica, nella sua veste di disciplina ausiliaria - tra le altre - della metodologia.
Siamo ora pronti a ...
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...