Im Rahmen dieses Aufsatzes haben wir ein formales System umrissen, in dem sich die “klassischen” und die plurativen Syllogismen befinden. Die Definitionen und die Ableitungsregeln des Systems wurden anhand des Kardinalitätfunktion konstruiert.