Achille C. Varzi
Columbia University
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).
Keywords Variable-binding  Functional application
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

General Semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.
Universal Grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
Singular Terms, Truth-Value Gaps, and Free Logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.

View all 7 references / Add more references

Citations of this work BETA

On Logical Relativity.Achille C. Varzi - 2002 - Philosophical Issues 12 (1):197-219.
Sulla relatività logica.Achille C. Varzi - 2004 - In Massimiliano Carrara & Pierdaniele Giaretta (eds.), Filosofia e logica. Rubbettino Editore. pp. 135–173.

Add more citations

Similar books and articles

Scopeless Quantifiers and Operators.Thomas Ede Zimmermann - 1993 - Journal of Philosophical Logic 22 (5):545 - 561.
Structured Meanings and Reflexive Domains.Serge Lapierre - 1992 - Studia Logica 51 (2):215 - 239.
Universal Variable Non-Tarskian Functors.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (3):221-222.
On Substitution for Variable One-Place Functors.Stanley J. Krolikoski - 1980 - Notre Dame Journal of Formal Logic 21 (2):243-250.
Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.


Added to PP index

Total views
153 ( #68,301 of 2,445,555 )

Recent downloads (6 months)
14 ( #49,556 of 2,445,555 )

How can I increase my downloads?


My notes