Formal philosophy; selected papers of Richard Montague