Single Idea 15593

[catalogued under 5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic]

Full Idea

The alternative Tarskian way of indicating how a variable is to be interpreted is that a variable x will be a special case of the semantic value of the term; it will be a function which takes each assignment into the individual which it assigns to x.

Gist of Idea

Variables can be viewed as special terms - functions taking assignments into individuals

Source

Kit Fine (Semantic Relationism [2007], 1.B)

Book Reference

Fine,Kit: 'Semantic Relationism' [OUP 2007], p.11


Related Ideas

Idea 15592 The usual Tarskian interpretation of variables is to specify their range of values [Fine,K]

Idea 18887 The perfect case of direct reference is a variable which has been assigned a value [Salmon,N]