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
Revision history
Archival date: 2015-11-21
View upload history
References found in this work BETA
General Semantics.Lewis, David K.
Universal Grammar.Montague, Richard
Meaning and Partiality.Muskens, Reinhard

View all 7 references / Add more references

Citations of this work BETA
On Logical Relativity.Varzi, Achille C.
Sulla relatività logica.Varzi, Achille C.

Add more citations

Added to PP index
2009-01-28

Total views
121 ( #30,078 of 50,106 )

Recent downloads (6 months)
14 ( #35,282 of 50,106 )

How can I increase my downloads?

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