Philosophical Symbolism Meets Logic