Single Idea 15595

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

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 Reference

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.