more on this theme | more from this thinker | more from this text
Full Idea
In the 'algebraic' approach to variables, we move from a quantified sentence to the term specifying a property (the λ-term), and then reducing to the algebraic operations for atomic formulas.
Gist of Idea
The 'algebraic' account of variables reduces quantification to the algebra of its component parts
Source
Kit Fine (Semantic Relationism [2007], 1.C)
Book Ref
Fine,Kit: 'Semantic Relationism' [OUP 2007], p.13
A Reaction
[Bealer is a source for this view] Fine describes it as an 'algebra of operations'. I presume this is a thoroughly formalist approach to the matter, which doesn't seem to get to the heart of the semantic question.