Switch to: Citations

References in:

Ontologically neutral logic

Theodore Hailperin

History and Philosophy of Logic 18 (4):185-200 (1997)

Add references

You must login to add references.

Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.details This paper investigates the ontological presuppositions of quantifier logic. It is seen that the actual infinite, although present in the usual completeness proofs, is not needed for a proper semantic foundation. Additionally, quantifier logic can be given an adequate formulation in which neither the notion of individual nor that of a predicate appears. Download Export citation Bookmark 6 citations
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ... Download Export citation Bookmark 401 citations
(1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ... Download Export citation Bookmark 188 citations
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details Download Export citation Bookmark 387 citations
(1 other version)The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.details Download Export citation Bookmark 112 citations
(1 other version)The Completeness of the First-Order Functional Calculus.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (1):68-68.details Download Export citation Bookmark 29 citations

1