A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...
THIS excellent compendium of the views and doctrines of the new positivism derived from the scientific empiricism of the Vienna circle and an extreme interpretation of the aims of logic, will no doubt ...