Praedikatenlogik Ohne Gebundene Variablen

Wenn es eine Aufgabe der Philosophie ist, die Herrschaft des Wortes uber den menschlichen Geist zu brechen (Frege), dann ist zu fragen, ob die Pradikatenlogik die Worter -fur alle- und -es gibt- angemessen formalisiert. Ubersetzt man -alle Menschen sind sterblich- mit -fur alle x: wenn x ein Mensch ist, dann ist x sterblich-, so hat man zwar die Syllogistik des Aristoteles uberwunden, dafur tritt jetzt aber eine Variable x auf, die in der Aussage vorher nicht vorkam."