Kürzungserweiterte aufschichtende Aussagenlogik

Zusammenfassung

Vorbemerkung. Die Kap. XVI und XVII sind ausschließlich solchen überlegungen gewidmet, die erst innerhalb der Prädikatenlogik wichtig werden. Diese überlegungen sind lediglich aussagenlogische Vorbereitungen auf prädikatenlogische Betrachtungen, genauer: sie stellen den aussagenlogischen Teil allgemeiner syntaktischer Betrachtungen dar, für den man im prädikatenlogischen Zusammenhange auf den vorliegenden aussagenlogischen Band zurückgreifen können soll. Daher darf ein Leser, der sein Augenmerk zunächst allein auf die Aussagenlogikrichten möchte, die Kap. XVI und XVII getrost überschlagen — es sei denn, daß die syntaktische Methodik ihn interessiert, für die hier im Rahmen der Aussagenlogik Beispiele von Verfahrensweisen auftreten, die sich als überraschend kräftig und verallgemeinerungsfähig erweisen werden.