Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] vaste di equazioni differenziali. Molto importante è stato inoltre lo sviluppo del calcolo (➔) simbolico, cioè lo studio di algoritmi per il calcolo approssimato delle operazioni tipiche dell’a. matematica classica attraverso l’uso degli elaboratori ...
Leggi Tutto
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] questo corpo di o., Mikusiński dà una fondazione rigorosa ai metodi del calcolosimbolico senza far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o ...
Leggi Tutto
simbolicosimbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logica matematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
Leggi Tutto
società Insieme di individui o parti uniti da rapporti di varia natura, tra cui si instaurano forme di cooperazione, collaborazione e divisione dei compiti, che assicurano la sopravvivenza e la riproduzione [...] ma lo diventa in seguito a un ragionamento e a un calcolo di vantaggi: una s. pacifica offre infatti all’individuo le sia la condivisione da parte dei suoi membri di un patrimonio simbolico specifico (si pensi, per es., al linguaggio), che la ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] .W. Leibniz, il quale introdusse nella seconda metà del Seicento i concetti di un linguaggio simbolico universale (ars characteristica) e di un calcolo a esso applicato (calculus ratiocinator). L’analogia fra l. e matematica fu sottolineata anche dai ...
Leggi Tutto
Utopia
VValerio Verra
di Valerio Verra
Utopia
sommario: 1. Introduzione: utopia e utopismo. 2. Utopia ed escatologia. 3. Utopia, ideologia, immaginazione sociale. 4. Marxismo e utopia. 5. Utopia, staticità [...] alla passiva acquiescenza all'attuale stato di cose. È il pensiero simbolico che trionfa della naturale inerzia dell'uomo e lo dota di i problemi umani e sociali suscitati o minacciati dal loro calcolo e dall'automazione; non si occupano dell'uomo ma ...
Leggi Tutto
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] dell’aritmetica; tenta, cioè, di procedere con i ragionamenti come con i calcoli per poter stabilire, con certezza, quando sono corretti e quando sono errati
Logica simbolica
Un ragionamento è costituito da una serie di ‘passaggi’: si parte da ...
Leggi Tutto
modello
modèllo [Der. del lat. modellus, dim. di modulus (→ modulo)] [FAF] (a) Costruzione che riproduce, di solito in scala ridotta, un sistema fisico, un impianto, una macchina, una zona della superficie [...] numerico, o digitale, se espresso in tale forma o ottenuto mediante un calcolatore elettronico): v. modello e modello e analogia. ◆ [FSD] M. a scansione, per scansione attivi, per sequenze, programmativo, simbolico): v. simulazione. ◆ [FAF] M. ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] espresse in un determinato linguaggio L (ordinario o simbolico) suscettibile di opportune interpretazioni in alcuni settori o sottoinsieme è vuoto, il sistema formale costituisce un calcolo logico. I calcoli logici in cui tra gli operatori logici si ...
Leggi Tutto
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] trad. it. 1965), in cui viene costruito per la prima volta un calcolo degli enunciati e dei predicati e viene elaborato un opportuno linguaggio simbolico destinato a sostituire, in una formulazione veramente rigorosa, l'ambiguo e impreciso linguaggio ...
Leggi Tutto
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...
operatorio
operatòrio agg. [dal lat. tardo operatorius]. – 1. Che riguarda l’operare, l’operazione; anticam. anche con il senso di operativo. Oggi usato soprattutto con riferimento all’operazione chirurgica: medicina o., la branca della scienza...