Die auf Aristoteles zurückgehende und in der scholastischen  Theologie und Philosophie 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.