quantificatorequantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] (a) q. universale, di simb. ∀ (l'iniziale rovesciata dell'ingl. all "tutti"), che significa "qualunque sia, ogni"; (b) q. esistenziale, di simb. ∃ (l'iniziale ribaltata dell'ingl. exist "esiste"), che significa "esiste almeno un"; per es., ∃x∀y(x+y=y ...
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 [...] dei numeri reali) si ha ∀x(x+5=7), che è un enunciato falso. Il secondo quantificatore si chiama particolarizzatore o, più spesso, quantificatoreesistenziale. Applicato alla forma enunciativa x+5=7, la trasforma nell’enunciato, ovviamente vero, ∃x(x ...
Leggi Tutto
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] aspetti), dei cosiddetti verbi modali ('potere', 'dovere', 'volere'), e dei quantificatori (il quantificatoreesistenziale 'qualche', e il quantificatore universale 'ogni'). La logica tradizionale riconosce la distinzione fra "necessità" (indicata ...
Leggi Tutto
Logica
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] ‛G', che prenderanno il nome di funtori. Per completare il linguaggio della logica, Quine aggiunge ancora un quantificatoreesistenziale (‛∃x', ‛∃y') composto dal simbolo ‛∃', e dalla variabile che viene quantificata. ‛(∃x) Fx' si leggerà: esiste un ...
Leggi Tutto
E
E [Forma maiusc. della lettera e] [ASF] Una delle componenti della corona (←) solare. ◆ [GFS] Simb. del punto cardinale est. ◆ [CHF] Simb. dell'elemento chimico einsteinio. ◆ [FAF] (a) Simb. del connettivo [...] (←) logico; (b) una E ribaltata, ∃, è simb. del quantificatore (←) esistenziale. ◆ [MTR] Simb. del prefisso metrologico SI exa-. ◆ [ALG] E(x) indica la parte intera del numero x. ◆ [ASF] E₂ è il simb. della riga spettroscopica di Fraunhofer di ...
Leggi Tutto
esistenziale
eṡistenziale agg. [dal lat. tardo exsistentialis]. – Dell’esistenza, che riguarda l’esistenza (nel suo sign. più astratto, cioè l’esistere, l’esserci): problemi e.; rapporti e.; angoscia e., l’angoscia conseguente alla situazione...
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...