Text this: Symbolic logic and intelligent machines