Logic, Language, And Computation door