Variable-binders as functors
| Abstract | This paper gives an extended presentation of the treatment of variable-binding operators adumbrated in earlier works. 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). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesThomas Ede Zimmermann (1993). Scopeless Quantifiers and Operators. Journal of Philosophical Logic 22 (5):545 - 561.
Oliver Kutz (2007). Notes on Logics of Metric Spaces. Studia Logica 85 (1):75 - 104.
Brent Mundy (1989). Elementary Categorial Logic, Predicates of Variable Degree, and Theory of Quantity. Journal of Philosophical Logic 18 (2):115 - 140.
Stanley J. Krolikoski (1980). On Substitution for Variable One-Place Functors. Notre Dame Journal of Formal Logic 21 (2):243-250.
Ivo Thomas (1964). Universal Variable Non-Tarskian Functors. Notre Dame Journal of Formal Logic 5 (3):221-222.
Adam Nowaczyk (1978). Categorial Languages and Variable-Binding Operators. Studia Logica 37 (1):27 - 39.
Newton C. A. da Costa & Chris Mortensen (1983). Notes on the Theory of Variable Binding Term Operators. History and Philosophy of Logic 4 (1-2):63-72.
Serge Lapierre (1992). Structured Meanings and Reflexive Domains. Studia Logica 51 (2):215 - 239.
Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,921 of 549,117 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
