Prior, Frege and Bealer on Types

Abstract

Prior constructs quantifications binding variables in a variety of different types of positions e.g., in positions apt for names, for sentences, for adjectives, and for adverbs. He does not go in for such quantifications just out of interest in the development of logistic systems. For he takes it, throughout his work on intensionality and truth, that his quantifications reflect what is already present in our everyday generalizations, and he intends that his quantifications should throw light on those generalizations. So if those of our generalizations involving truth and intensionality lack the kind of type structure reflected in his quantifications, then those quantifications are indeed ill-suited for the purposes to which Prior puts them.