On Quine's axioms of quantification. (Q2579586)

Die beiden hier angegebenen Studien von \textit{Fitch} und \textit{Berry} beziehen sich auf einen neuen, dem Referenten nicht zugänglichen Logik-Kalkül von \textit{W. V. Quine}: Mathematical logic, New York, W. W. Norton u. Co., 1940 (F. d. M. 66, 27 (JFM 66.0027.*)). H sei ein Ausdruck dieses \(Q\)-Kalküls. Dann ist unter der Abschließung von \(H\) der Übergang zur Generalisierten von \(H\) zu verstehen. Aus der Studie von F. ist für diesen Übergang ein Doppeltes zu erschließen: (1) Er ist nicht beschränkt auf Variable, die in \(H\) vorkommen. (2) Um die Eindeutigkeit für die Generalisierte von \(H\) zu erzwingen, wird für die zu verwendenden Allheitssymbole die ``alphabetische'' Reihenfolge verlangt. F. ersetzt diese Konstruktion a) durch den Übergang zu \textit{einer} Generalisierten von \(H\), für den diese Reihenfolge zum Verschwinden gebracht ist, b) durch eine induktive Charakteristik der Generalisierten von \(H\), die gleichfalls von der alphabetischen Anordnung der zugelassenen Allheitssymbole abstrahiert. Beide Konstruktionen haben den Effekt, daß ein Axiomenschema für die Permutierbarkeit der Allheitssymbole nicht notwendig ist. Denselben Effekt hat die durch F. inspirierte Umredigierung des \(Q\)-Kalküls durch B.