Abstract
The traditional model theory of first-order logic assumes that the interpretation of a formula can be given without reference to its deductive context. This paper investigates an interpretation which depends on a formula's location within a derivation. The key step is to drop the assumption that all quantified variables must have the same range and to require only that the ranges of variables in a derivation must be related in such way as to preserve the soundness of the inference rules. With each (consistent) derivation there is associated a “Buridan-Volpin (orBV) structure” [M, {r(x)}] which is simply a Tarski structureM for the language and a map giving the ranger(x) of each variablex in the derivation. IfLK* is (approximately) the classical sequent calculusLK of Gentzen from which the structural contraction rules have been dropped, then our main result reads: If a set of first-ordered formulas Γ has a Tarski modelM, then from any normal derivationD inLK* of Γ ⇒ Δ can be constructed aBV modelM D=[M, {r(x)}] of Γ where each ranger(x) is finite.
Similar content being viewed by others
References
J. Azzouni,Ontological Extravagance: A Study in the Semantics and Epistemology of Mathematics, Cambridge University Press (to appear).
R. Epstein,A Theory of Truth Based on a Medieval Solution to the Liar Paradox History and Philosophy of Logic 13 (1992), pp. 149–177.
J. Y. Girard,Proof Theory and Logical Complexity, Vol. 1, Bibliopolis, Naples 1987.
G. E. Hughes, (translator and commentator),John Buridan on Self-Reference: Chapter Eight of Buridan's Sophismata Cambridge University Press, Cambridge, London, New York 1982.
D. Isles,Freeing the Bound Variable, Journal of Non-classical Logic, vol. 3, No. 2, November (1986).
D. Isles,On the Notion of Standard Non-Isomorphic Natural Number Series inConstructive mathematics edited by F. Richman, Springer-Verlag LNM #873, Berlin, Heidelberg, NY 1981, pp. 111–134.
D. Isles,What Evidence Is There That 265536 Is a Natural Number?,Notre Dame Journal of Formal Logic Vol. 3, No. 2, Fall (1992), pp. 465–480.
S. C. Kleene,Introduction to Metamathematics North-Holland, Amsterdam/Woolters-Noordhoff, Groningen/American Elsevier, New York 1971.
T. K. Scott, (translator and commentator),John Buridan: Sophisms on Meaning and Truth Appleton-Century-Crafts, New York 1986.
G. Takeuti,Proof Theory North-Holland, Amsterdam/American Elsevier, New York 1975.
L. Wittgenstein,Remarks on the Foundations of Mathematics G.E.M. Anscombe (translator), the Macmillan Co. New York 1965.
A. S. Yessenin-Volpin,The Ultraintuitionistic Criticism and the Antitraditional Program for Foundations of Mathematics inIntuitionism and Proof Theory edited by A. Kino, J. Myhill and R. E. Vesley, North-Holland, Amsterdam 1970, pp.3–45.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Isles, D. A finite analog to the löwenheim-skolem theorem. Stud Logica 53, 503–532 (1994). https://doi.org/10.1007/BF01057648
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01057648