SMS dit: Symbolismus und symbolische Logik