Quantificatore esistenziale (simbolo): differenze tra le versioni

Etichetta: Annullato
Il quantificatore esistenziale è un'[[invenzione]] risalente all'[[1879|anno 1879]] del famoso [[matematico]] [[XIX secolo|ottocentesco]] [[Frege]], che si fregiò anche della creazione del [[quantificatore universale (simbolo)|quantificatore universale ∀]]; lo studioso sognava infatti di unire la [[logica]] [[Aristotele|aristotelica]] con quella matematica, ma ciò pareva impossibile perché parole come ''tutti'' e ''esiste'' (presenti in proposizioni come "''Tutti gli [[uomo|uomini]] sono mortali''" o "''Esiste almeno un [[filosofia|filosofo]] [[Grecia|greco]]''") non si potevano tramutare direttamente in linguaggio matematico.
 
Nonostante l'idea di '''quantificatore esistenziale''' sia dunque da attribuire a Frege, furono [[Charles Sanders Peirce|Peirce]] e [[Giuseppe Peano|Peano]] ada ideareforgiare il [[simbolo]] '''∃''', che oggi è senz'altro più usato del vecchio segno introdotto dall'inventore del [[XIX secolo]] e mai più adoperato in seguito.
 
Un esempio di utilizzo del quantificatore esistenziale è il seguente:
Utente anonimo