Text this: Zur formalen Logik bei Augustinus