Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar