"symbolic logician"@en-us . .