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, [...] dinamicamente durante l'esecuzione di un programma. Una tipica formula modale di questa natura è la seguente:
che appartiene alla logica dinamica ed esprime il fatto che se l'esecuzione del programma p termina, ci si trova in uno stato che soddisfa ...
Leggi Tutto
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi ...
Leggi Tutto
quantificazione
quantificazióne [Der. dell'ingl. quantification, da to quantify "quantificare" (→ quantificatore), "atto ed effetto del quantificare"] [LSF] Termine talora usato, impropr., come sinon. [...] di quantizzazione. ◆ [ALG] [FAF] Teoria della q.: nella logica matematica, lo studio dei quantificatori e delle loro funzioni, strettamente collegato con lo studio dei predicati. ...
Leggi Tutto
poliadico
poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di" ...
Leggi Tutto
strutturato
strutturato [agg. Part. pass. di strutturare "dotare di una struttura"] [ELT] [INF] Dati s.: nella tecnica dei calcolatori elettronici, i dati organizzati in record e file che rispecchiano [...] la struttura logica dei dati medesimi. ◆ [MCF] Fluido s.: costituito da un fluido vero e proprio contenente particelle materiali di natura diversa (microelementi), dotati di propri gradi di libertà di traslazione e rotazione, che influenzano il ...
Leggi Tutto
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 [...] dell’Ottocento sorse il bisogno di una revisione e di un assetto della m. più soddisfacente dal punto di vista puramente logico.
Il nuovo atteggiamento di critica degli studi matematici, che ha fatto definire il 19° sec. il secolo della m. pura, fu ...
Leggi Tutto
topos Luogo comune, motivo ricorrente, in un’opera nella tematica di un autore o di un’epoca.
In matematica, particolare categoria, introdotta per la prima volta in questioni di topologia algebrica e di [...] logica matematica da A. Grothendieck verso il 1960; la nozione di t. è stata successivamente sviluppata da F.W. Lawvere e da altri. ...
Leggi Tutto
matematico
matemàtico [agg. (pl.m. -ci) Der. di matematica] [LSF] Che appartiene alla matematica (analisi m., ecc.) o che, pur appartenendo ad altri settori della scienza, si avvale dei metodi propri [...] della matematica: fisica m., logica m., ecc., per le quali si rinvia alle singole voci. ...
Leggi Tutto
Razionalità
Antonio Rainone
Claudio Sardoni
Filosofia
di Antonio Rainone
È quasi un luogo comune la constatazione che la r. e i problemi a essa connessi costituiscano temi eterni della ricerca filosofica. [...] punto di vista nella possibilità di comprendere i discorsi e le azioni degli altri sulla base di certi principi di r. logico-cognitiva o pratica.
bibliografia
W. Dray, Laws and explanation in history, Oxford 1957 (trad. it. Milano 1974).
W.V.O. Quine ...
Leggi Tutto
barra
barra [Etimo incerto] [LSF] Denomin. generica di strutture parallelepipoidi relativ. lunghe e di non grande sezione. ◆ [ALG] [ANM] Lineetta, orizzontale od obliqua, che indica una divisione; sovrapposta [...] sul simbolo di un'operazione, anche logica, indica "non", cioè la negazione dell'operazione indicata: per es., ≠ significa "non uguale" e A⊄B significa "A non contiene B". ◆ [ASF] Struttura ellissoidica che è spesso presente nelle galassie ...
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...