5772 | The idea of a variable is fundamental [Russell] |
14114 | Variables don't stand alone, but exist as parts of propositional functions [Russell] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
7784 | 'Object' is a pseudo-concept, properly indicated in logic by the variable x [Wittgenstein] |
12221 | 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine] |
1618 | We study bound variables not to know reality, but to know what reality language asserts [Quine] |
13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
17558 | Variables are just like pronouns; syntactic explanations get muddled over dummy letters [Inwagen] |
9148 | I think of variables as objects rather than as signs [Fine,K] |
15590 | It seemed that Frege gave the syntax for variables, and Tarski the semantics, and that was that [Fine,K] |
15591 | In separate expressions variables seem identical in role, but in the same expression they aren't [Fine,K] |
15593 | Variables can be viewed as special terms - functions taking assignments into individuals [Fine,K] |
15592 | The usual Tarskian interpretation of variables is to specify their range of values [Fine,K] |
15595 | The 'algebraic' account of variables reduces quantification to the algebra of its component parts [Fine,K] |
15594 | 'Instantial' accounts of variables say we grasp arbitrary instances from their use in quantification [Fine,K] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |
13696 | When a variable is 'free' of the quantifier, the result seems incapable of truth or falsity [Sider] |
9135 | We now see that generalizations use variables rather than abstract entities [Sorensen] |
12797 | If plural variables have 'some values', then non-count variables have 'some value' [Laycock] |