The boundaries of language and thought in deductive inference | Synapse