Variable-Binders as Functors

Download Edit this record How to cite View on PhilPapers
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).
PhilPapers/Archive ID
VARVAF
Upload history
Archival date: 2015-11-21
View other versions
Added to PP index
2009-01-28

Total views
146 ( #35,303 of 61,023 )

Recent downloads (6 months)
8 ( #50,921 of 61,023 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.