Variable Binding Term Operators

John Corcoran
State University of New York, Buffalo
Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). 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 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 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, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa.
Keywords logic  semantics  syntax  completeness  soundness  definite descriptor  set abstractor  minimization operator  first-order logic  Richard Montague
Categories (categorize this paper)
DOI 10.1002/malq.19720181202
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
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

Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, Mass., Addison-Wesley Pub. Co..
Mathematical Logic.W. V. Quine - 1940 - Cambridge: Harvard University Press.
Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
Foundations of Mathematics.William S. Hatcher - 1968 - Philadelphia: W. B. Saunders Co..

View all 8 references / Add more references

Citations of this work BETA

Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
Intuitionistic Ε- and Τ-Calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.
On the Notion of Effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.

View all 6 citations / Add more citations

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.
Variable-Binders as Functors.Achille C. Varzi - 1995 - Poznan Studies in the Philosophy of the Sciences and the Humanities 40:303-19.
Remarks on Variable Binding Term Operators.Celina Abar & Mineko Yamashita - 1986 - Bulletin of the Section of Logic 15 (4):145-149.
Term-Forming Operators in First Order Logic.David Michael Devidi - 1994 - Dissertation, The University of Western Ontario (Canada)
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.
A General Theory of Abstraction Operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
Towards a Variable-Free Semantics.Pauline Jacobson - 1999 - Linguistics and Philosophy 22 (2):117-185.
A Topological Logic of Action.Krister Segerberg - 1984 - Studia Logica 43 (4):415 - 419.


Added to PP index

Total views
249 ( #25,662 of 2,264,503 )

Recent downloads (6 months)
40 ( #19,762 of 2,264,503 )

How can I increase my downloads?


My notes

Sign in to use this feature