Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] queste proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base Aj ∧ Πj∈I Bi)
dove le Aj sono atomiche e le Bi sono negazioni di atomiche. Nel caso dei campi e dei campi ordinati le esistenziali primitive sono ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] In quella usuale, acritica, 'infinito' è definito per negazione come 'non finito', mentre 'finito', a sua volta, ricondotti alla teoria degli insiemi, che dal punto di vista logico appare come la fondazione appropriata per la scienza matematica".
Weyl ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] predicati, come il teorema che se una formula può essere provata nella logica classica, allora la negazione della negazione di essa può essere provata nella logica intuizionista. A questi si affiancano i lavori di Novikov sulla non contraddittorietà ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] impossibile prescindere da essi e fondare alcunché sulla loro negazione, come è invece avvenuto con le geometrie non-euclidee di Peano fin dal suo primo lavoro di logica, le Operazioni della logica deduttiva poste in apertura del Calcolo geometrico ( ...
Leggi Tutto
LOMBARDO RADICE, Lucio
Albertina Vittoria
Piervittorio Ceccherini
Nacque a Catania il 10 luglio 1916, da Giuseppe e da Gemma Harasim, terzogenito dopo Giuseppina e Laura.
Come lui stesso scrisse, i [...] e la religione", aveva presentato una relazione incentrata sulla negazione del marxismo come dogma e sull'idea della religione lavori di questo periodo riguardano i reticoli distributivi e la logica matematica; ma la produzione del L. più rilevante è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Cornelis Maria de Swart. Per la parte di logica intuizionista senza falsità e negazione i modelli fallibili sono semplicemente modelli ordinari. Per la logica minimale, dove ⊥ è considerato una lettera proposizionale arbitraria indimostrabile ...
Leggi Tutto
riduzione
riduzióne [Der. del lat. reductio -onis "atto ed effetto del ridurre e del ricondurre", dal part. pass. reductus di reducere (→ ridotto)] [ALG] [ANM] I vari signif. particolari del termine [...] primo principio della r. all'assurdo, che è forse la più antica legge della logica degli enunciati, già conosciuta da Platone, afferma che, se un enunciato implica la sua negazione, allora quell'enunciato è falso; in simb.: (p→┐p)→┐p; (b) il secondo ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti le variabili xi hanno tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l'operazione il cui risultato ...
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
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] di c. funzionale: nella logica, afferma che, data una qualunque funzione di verità f a n argomenti, per ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi, la negazione e la disgiunzione oppure la ...
Leggi Tutto
negazione
negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
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...