Quantifikation des Prädikats und numerisch definierter Syllogismus: Die Kontroverse zwischen A. De Morgan und W. Hamilton: Formale Logik zwischen Algebra und Syllogistik