Warum ist das Existenzquantorensymbol ∃ ein umgekehrtes „E“?

Peano führte eine Reihe von logischen Symbolen ein, die noch heute verwendet werden:

  • (von lat. v el )
  • (umgekehrt )

Diese Umkehrung lateinischer Buchstaben als Symbole (und Umkehrung von Symbolen, um ihre "entgegengesetzte" Operation anzuzeigen) wurde von späteren Logikern befolgt:

  • (Gentzen, 1935 : umgekehrtes A von " A ll-Zeichen" / "Für A lle" , in Analogie zu )
  • (umgekehrt )

Ich hatte immer angenommen, dass ∃ für „E“ in Existential“ / „there Exists (oder etwas Verwandtes davon) steht, aber Peano schien in dem Absatz, in dem dieses Symbol eingeführt wurde, keine Wörter zu verwenden, die mit „e“ beginnen:

Mais nous préférons l'indiquer par la nouvelle notation

Ǝ A

qu'on peut lire « il ya des A ».

Warum also wählte er ein umgekehrtes „E“?


Früheste Verwendung von Symbolen der Mengenlehre und Logik
Ist das Symbol für die Zugehörigkeit zu einer Menge abgeleitet vom griechischen Buchstaben ϵ ?
Math SE: Was war zuerst da, das ∀ oder das ∃?

Kommentare sind nicht für längere Diskussionen gedacht; diese Konversation wurde in den Chat verschoben .
Laut Jeff Millers Seite waren es Russel und Heyting, die sich vorstellten Und . Könnten Sie Ihrer Behauptung, es sei Peano, Quellen hinzufügen?

Antworten (1)

Bei der Einführung der älteren Terminologie im vorherigen Satz beschreibt Peano sie folgendermaßen:

... bedeuten "il ya des a ", "les a e xistent"...

Es scheint wahrscheinlich, dass dies die Quelle des umgekehrten "E" ist.