SMS: Symbolismus und symbolische Logik