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 [...] , cioè «per ogni x, (se x è uomo) x è vivente»; tale enunciato risulta evidentemente vero. Se si quantificauniversalmente il secondo esempio (dove l’insieme universale è quello dei numeri reali) si ha ∀x(x+5=7), che è un enunciato falso. Il secondo ...
Leggi Tutto
In logica matematica, uno dei due quantificatori fondamentali (➔ operatore), insieme con il generalizzatore o quantificatoreuniversale ∀. Il p., o quantificatore esistenziale (simbolo ∃), applicato a [...] un predicato P afferma l’esistenza di almeno un individuo che gode della proprietà P. In simboli: ∃ x P x, che si legge: esiste almeno un x tale che valga Px ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] quindi nozioni duali tra loro e manifestano una relazione analoga a quella che intercorre tra quantificatoreuniversale e quantificatore esistenziale.
Lewis e Langford non erano però tassativi circa le proprietà logiche delle nozioni simbolizzate ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] intuizionista neutro, in cui ci si limita alla polarità 0 e si considerano solo i connettivi , ⊃ e il quantificatoreuniversale intuizionista. Ultimo è il frammento lineare che utilizza tutte le polarità e i connettivi lineari. Entro LU i vari ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] assioma che sia abbastanza evidente da essere accettato universalmente, o quasi, e tale che in questo ) che non compaia altrove nella formula sotto il segno di un quantificatore. Supponiamo di aver già determinato, per qualsiasi a che denoti un ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] , altri simboli del formalismo sono: ‘∩’ (congiunzione), ‘∪’ (disgiunzione), ‘−’ (negazione), ‘⊃’ (derivazione), ‘∧’ (falso o assurdo); una notazione per la quantificazioneuniversale ‘a ⊃x,y b’, da leggersi ‘per ogni x, y da a si deduce b’; inoltre ...
Leggi Tutto
universale1
universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. di questo termine): legge dell’attrazione...
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...