Academic Commons

Articles

Variable-Binders as Functors

Varzi, Achille C.

The second part of Ajdukiewicz’s classic paper on Syntactic Connexion is devoted to a
discussion of languages involving variable-binding operators such as quantifiers, integrals,
and the like. Ajdukiewicz argues that such operators are not genuine functors,
and consequently that those languages run afoul of the basic functor/argument schema.
At most he suggests that all variable-binders might be restricted to one kind only, or to
the combination of ordinary functors with a “circumflex” operator (the terminology is
from Whitehead and Russell’s Principia Mathematica). And that suggestion has ever
since become quite popular, particularly under the impact of Church’s Lambda Calculus.

Subjects

Files

Downloadable resources are currently unavailable for this item.

Also Published In

Title
Poznan Studies in the Philosophy of the Sciences and the Humanities

More About This Work

Academic Units
Philosophy
Published Here
November 21, 2014
Academic Commons provides global access to research and scholarship produced at Columbia University, Barnard College, Teachers College, Union Theological Seminary and Jewish Theological Seminary. Academic Commons is managed by the Columbia University Libraries.