Combining Texts

Ideas for 'fragments/reports', 'Semantic Relationism' and 'Community and Citizenship'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


6 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
The usual Tarskian interpretation of variables is to specify their range of values [Fine,K]
Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K]
It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K]
In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K]
The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K]
'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K]