Notes on a semantic analysis of variable binding term operators

Logique Et Analyse 55:644-657 (1971)
  Copy   BIBTEX


A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Variable binding term operators in $\lambda $-calculus.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (4):876-878.
Languages with Variable-Binding Operators: Categorial Syntax and Combinatorial Semantics.Peter Simons - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 89:239.
Intensional Relative Clauses and the Semantics of Variable Objects.Friederike Moltmann - 2018 - In Manfred Krifka & Schenner Mathias (eds.), Reconstruction Effects in Relative Clauses. Berlin: De Gruyter. pp. 427-453..
A general theory of abstraction operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
Such: Binding and the pro-adjective. [REVIEW]Muffy E. A. Siegel - 1994 - Linguistics and Philosophy 17 (5):481 - 497.


Added to PP

278 (#45,683)

6 months
24 (#57,567)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Corcoran
PhD: Johns Hopkins University; Last affiliation: University at Buffalo

Citations of this work

The National Science Foundation and philosophy of science's withdrawal from social concerns.Krist Vaesen & Joel Katzav - 2019 - Studies in History and Philosophy of Science Part A 78 (C):73-82.
Intuitionistic ε- and τ-calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.

Add more citations

References found in this work

No references found.

Add more references