Variables are the most problematic entities that have to be dealt with in the process of formalization, and this makes it useful to explore several different ways of approaching their treatment, either of accounting for them or explaining them away. The various tactics available for dealing with variables can be organized according to how they respond to two questions: Are variables good or bad, and what kinds of things are variables anyway? That is: (1) Are variables a good thing to have in a purified system of interpretation or a target formal system, or should variables be eliminated by the work of formalization? (2) What sorts of things should variables be construed as? | Variables are the most problematic entities that have to be dealt with in the process of formalization, and this makes it useful to explore several different ways of approaching their treatment, either of accounting for them or explaining them away. The various tactics available for dealing with variables can be organized according to how they respond to two questions: Are variables good or bad, and what kinds of things are variables anyway? That is: (1) Are variables a good thing to have in a purified system of interpretation or a target formal system, or should variables be eliminated by the work of formalization? (2) What sorts of things should variables be construed as? |