|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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Thomas 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,921 of 549,117 )
Recent downloads (6 months)0
How can I increase my downloads?