Computability Theory and Ontological Emergence
Jon Cogburn, Mark Silcox · Civil War Book Review · 2011
stipulate further conditions for inclusion by reference to the properties of members of the base class. These conditions can be deflation ary, so that the target class is a subclass of the base class, or inflationary, so that the base class is an important subclass of the target class. For example, in defining the set of well-formed sentences of first order logic, one can begin with the set of all possible strings and, in a deflationary manner, exclude the nonsentences. Or one can begin with the set of atomic formulae, and in an inflationary manner, build more complicated sentences out of the atomic formulae. The difference between these two methods