Theoria: An International Journal for Theory, History and Foundations of Science

Volume 24, Issue 2, May 2009

On 2nd Order Calculi of Individuals

From early work of N. Goodman to recent approaches by H. Field and D. Lewis, there have been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution, containing basic denitions and distinctions and some metatheorems, to the development of a general metatheory of such theories.