Books on Amazon:
|Recursion||EMD II 203
recursive definition / Evans: not only for logical constants, and attributive adjectives Example: "big": satisfaction conditions: for all (possibly complex) predicates f, a fulfilled "big-f" if and only if a is a big fulfiller of f - this is the conclusion of "big man" to "man" formally valid - II 209 problem: from "x is big" and "y is bigger than x " one can not deduce "Y is big"- because the meaning of "big" as part of "bigger" remains to be shown!, or the meaning theory would have to recognize "big" in "is bigger than".
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989