Abstract

In diesem Aufsatz wird versucht, eine axiomatische logische Rekonstruktion einiger der logischen Positionen der Vertreter der Idee der Quantifizierung der Prädikate im XIX. Jahrhundert (Bentham, Hamilton, De Morgan, Boole) zu geben. Es wird gezeigt, daß diese Systeme eine wichtige Rolle in der weiteren Entwicklung der Logik spielen. Neben der syntaktischen Seite dieser Theorien werden auch damit verbundene semantische Ideen diskutiert und es wird gezeigt, daß diese Systeme als Namenkalküle zwischen der Syllogistik und der Ontologie Lesniewskis liegend betrachtet werden können. Die dabei involvierten logischen Zusammenhänge werden untersucht und zuletzt wird eine Interpretation des Systems Booles in den Systemen Lesniewskis vorgeschlagen.