The substitution interpretation of the quantifiers

Noûs 2 (2):177-185 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,395

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
188 (#115,395)

6 months
22 (#178,693)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Nuel Belnap
University of Pittsburgh
Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington

Citations of this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
On Horwich's way out.Panu Raatikainen - 2005 - Analysis 65 (3):175-177.
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.

View all 52 citations / Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Interpreting quantification.Ruth Barcan Marcus - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):252 – 259.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (1):68-68.

Add more references