Notes on intensional theories

the question of whether intensional languages are more expressive than non-intensional languages is raised within the framework of a semantic view of theories. from this perspective, the question is this. are there model classes that can be characterized by theories using intensional concepts that cannot be characterized by theories that do not use intensional concepts? a precise formulation of this question is suggested, but no answer is given. to approach this question, model theory of first order theories is summarized [ii] and the semantic approach to theories using non-intensional, theoretical augmentations of first order theories is reviewed [iii]. intensional augmentations of first order theories are sketched [iv] but not rigorously defined. this intensional language provides the apparatus for attributing language use and intensional attitudes to individuals whose behavior is the object investigation. it also provides apparatus for talking about translation from the attributed language to the investigator's language. the initial question then becomes whether there are model classes that can be characterized by intensional augmentations of first order logic that cannot be captured by non-intensional theoretical augmentations [v].