ABSTRACT. Partee says that a grammar should be able to be cast in the following form: the syntax is an algebra, the semantics is an algebra, and there is a homomorphism mapping elements of the syntactic algebra onto elements of the semantic algebra. The Montague grammar is based on formal logic (especially lambda calculus and set theory), and makes use of the notions of intensional logic and type theory. Rorty claims that all human beings carry about a set of words which they employ to justify their actions, their beliefs and their lives.