17 lines
718 B
Markdown
17 lines
718 B
Markdown
---
|
|
aliases:
|
|
- quantificateur existanciel
|
|
---
|
|
up:: [[quantificateurs]]
|
|
#s/maths/logique
|
|
|
|
|
|
|
|
|
|
> [!idea] Changement de point de vue sur l'existence
|
|
> Le plus grand apport de Frege à la logique : le quantificateur $\exists$, et le changement de la définition d'existence qui en découle.
|
|
>
|
|
> Affirmer qu'une montagne d'or existe ne signifie pas qu'on doit attribuer les propriétés *est en or* et *existe* à cette montagne, mais plutôt que l'ensemble des objets qualifiés de *montagne d'or* n'est pas vide.
|
|
>
|
|
> En découle la syntaxe du quantificateur $\exists$ : $\exists \text{(nom)},\; \text{(prédicat)}$, qui affirme que l'ensemble des objets qui [[satisfaisable|satisfont]] le prédicat n'est pas vide.
|