Examining natural language phenomena from the perspectives of computational linguistics as well as formal semantics, this text considers the prospects for the more unified and comprehensive computational theory of language that can be obtained from their amalgamation.