Die auf Aristoteles zurückgehende und in der scholastischen Philosophie und Theologie perfektionierte Syllogistik lässt sich zwanglos in die moderne Aussagen- und Prädikatenlogik integrieren, deren Merkmal die vollständige Formalisierbarkeit ist. Ziel der Übung ist die Vermittlung der Grundlagen der Formalisierung. Einfachere Schemata werden auf konkrete Textbeispiele angewandt und auf ihre Relevanz für das tatsächliche Argumentieren in Philosophie und Theologie hin durchsichtig gemacht.