THE LANGUAGE OF LOGICAL FORM