Variable-Binders as Functors

Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19 (1995)
  Copy   BIBTEX

Abstract

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).

Author's Profile

Achille C. Varzi
Columbia University

Analytics

Added to PP
2009-01-28

Downloads
372 (#57,459)

6 months
104 (#60,035)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?