Quantificatore
![Niente fonti!](http://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Question_book-4.svg/45px-Question_book-4.svg.png)
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche:
- ∃ (esiste almeno un)
- ∀ (per ogni)
il nome "quantificatori" è legato al fatto che danno un'informazione su quanto è grande l'estensione in cui è valido un predicato.
A questi si aggiunge un caso particolare del quantificatore esistenziale, che è il quantificatore unico (si legge: "esiste ed è unico", che equivale a dire "è uno e uno solo").
Storia
Fin dalle origini la logica si è sempre occupata del meccanismo della quantificazione[1], e la mancanza di una sua analisi che fosse completa ne ha causato il ristagno per interi millenni, fino all'anno 1879 in cui il famoso matematico ottocentesco Frege lo espose come una funzione di livello superiore (cioè avente per argomento una funzione di livello inferiore). Frege fu il padre della logica formale e della logica matematica; e vinse la sfida di esprimere nel linguaggio formale parole come tutti e esiste (presenti in proposizioni come "Tutti gli uomini sono mortali" o "Esiste almeno un filosofo greco") che sembravano impossibili da esprimere.
Nonostante l'idea di quantificatore sia dunque da attribuire a Frege, furono Peano e Gentzen ad ideare i simboli ∃ (1897, Peano) e ∀ (1935, Gentzen), oggi senz'altro più usati del vecchio segno bidimensionale introdotto dall'inventore del XIX secolo per il quantificatore universale (da cui il quantificatore esistenziale si ottiene negandolo; ragion per cui anche oggi molti linguaggio formali sono costruiti usando un solo quantificatore e la negazione per esprimere l'altro) e mai più adoperato in seguito per l'evidente ingombranza.
Relazioni con i connettivi logici
I quantificatori universale ed esistenziale opportunamente combinati con il connettivo logico di negazione possono svolgere l'uno la funzione dell'altro. L'affermazione "è falso che ogni numero è pari" si può anche esprimere dicendo che "esiste un numero che non è pari". Nel linguaggio formale questo si può tradurre dicendo che
è equivalente a
e questo vale per qualunque scelta di .
Analogamente l'affermazione "non esiste un numero pari" è equivalente all'affermazione "ogni numero non è pari", formalmente possiamo dire che
è equivalente a
- .
Esistenza e unicità
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Magnifying_glass_icon_mgx2.svg/18px-Magnifying_glass_icon_mgx2.svg.png)
In matematica si usa l'espressione simbolica
per abbreviare l'espressione "esiste un unico x...".
Formalmente l'espressione si può esprimere (per non dover inserire una nuova notazione tra i simboli della sintassi del linguaggio) facendo ricorso soltanto ai connettivi standard, ai quantificatori e alla relazione di uguaglianza nel seguente modo:
- .
Si può anche esprimere più brevemente facendo ricorso ad un connettivo bicondizionale (presente tra i cinque connettivi standard):
Quantificatori annidati
Combinando quantificatori di tipo diverso si possono ottenere frasi di complessità sempre maggiore per cui occorre molta cautela. Un'espressione del tipo
non è equivalente a
per rendersene conto basta pensare a frasi come
- "per ogni numero x esiste un numero y più grande di x"
e
- "esiste un numero y che è più grande di ogni numero x"
la prima afferma che per ogni numero se ne può sempre trovare uno più grande, la seconda afferma che esiste un numero più grande di qualsiasi altro.
Formula ben formata
Se è una formula e una variabile individuale (nome proprio di cosa o di persona), allora in logica vale che:
- se è ben formata ∃x è ben formata
- se è ben formata ∀x è ben formata
Lo stesso vale per tutti i connettivi logici rispetto a due formule e ben formate:
- se e è ben formata, allora è ben formata;
- se e è ben formata, allora è ben formata;
- se e è ben formata, allora è ben formata.
Quantificazione vacua
Una variabile si dice libera se almeno una delle sue occorrenze in una formula è senza quantificatori. Si dice vincolata (ad un quantificatore) se ogni volta che la troviamo nella formula, compare col quantificatore esistenziale o universale. Esempio:
- ∀y (M(y,x)), x è una variabile libera, y è vincolata.
Una formula ben formata si dice aperta se contiene almeno una occorrenza di una variabile non vincolata. Se (tutte le occorrenze di) tutte le variabili hanno un quantificatore, la fbf si dice chiusa.
La quantificazione si dice vacua (o muta o che "opera a vuoto") se la variabile nella formula, non occorre o non occorre libera. Es.:
- ∀y (M(y,x)) (1)
equivale a
- ∀z ∃y (∀y (M(y,x))
dove z non ha occorrenze in ( 1 ) e (le occorrenze di) y erano già vincolate dal quantificatore.
Note
- ^ Così Aristotele definisce la chiusura universale: «Diciamo ‘si predica di ogni' quando non è possibile trovare qualcosa che fa parte del sostrato di cui l'altro termine non si dica. Lo stesso vale per ‘si predica di nessuno' [ossia quando non è possibile trovare qualcosa che fa parte del sostrato di cui l'altro si dica]»[24b28-30]. Dopodiché Aristotele non definisce la chiusura esistenziale, ma essa può essere considerata come il valere della negazione della chiusura universale (che insieme costituiscono i due elementi di una coppia antifatica, cioè di proposizioni contraddittorie), perciò "diciamo ‘si predica di qualche' se è possibile trovare qualcosa che fa parte del sostrato di cui l'altro termine si dica e diciamo ‘di qualche non si predica' se è possibile qualcosa che fa parte del sostrato di cui l'altro non si dica".
Voci correlate
- Connettivo logico
- Linguaggio del primo ordine
- Quantificatore universale (simbolo)
- Quantificatore esistenziale (simbolo)
Collegamenti esterni
- Quantificatore, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
- Quantificatore, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
- quantificatóre, su sapere.it, De Agostini.
- Quantificatore, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) quantifier, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Quantifier, su MathWorld, Wolfram Research.
- (EN) Quantifier, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
- (EN) Denis Howe, quantifier, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- Quantificatore, in Grande Dizionario di Italiano, Garzanti Linguistica.
Controllo di autorità | Thesaurus BNCF 60482 · LCCN (EN) sh85056323 · GND (DE) 4128275-9 · BNF (FR) cb11931538s (data) · J9U (EN, HE) 987007536007505171 |
---|
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/Crystal128-kmplot.svg/25px-Crystal128-kmplot.svg.png)