Quantificatore esistenziale (simbolo): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichetta: Annullato |
m Annullata la modifica 119276144 di 84.247.209.66 (discussione) Etichetta: Annulla |
||
Riga 5:
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]]
Un esempio di utilizzo del quantificatore esistenziale è il seguente:
| |||