Herbrand semantics, the potential infinite, and ontology-free logic

History and Philosophy of Logic 13 (1):69-90 (1992)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1080/01445349208837195

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

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

Through your library

My notes

Similar books and articles

Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.
Potential infinite models and ontologically neutral logic.Theodore Hailperin - 2001 - Journal of Philosophical Logic 30 (1):79-96.
Potential Infinite Models and Ontologically Neutral Logic. [REVIEW]Theodore Hailperin & Ontologically Neutral Logic - 2001 - Journal of Philosophical Logic 30 (1):79-96.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
A Decision Procedure for Herbrand Formulas without Skolemization.Timm Lampert - manuscript
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.
On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic. [REVIEW]James Hawthorne - 1998 - Journal of Philosophical Logic 27 (1):1-34.
Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
Compositional truth with propositional tautologies and quantifier-free correctness.Bartosz Wcisło - 2023 - Archive for Mathematical Logic 63 (1):239-257.
Predicate Logical Extensions of some Subintuitionistic Logics.Ernst Zimmermann - 2009 - Studia Logica 91 (1):131-138.

Analytics

Added to PP
2010-08-10

Downloads
28 (#557,911)

6 months
3 (#1,208,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ontologically neutral logic.Theodore Hailperin - 1997 - History and Philosophy of Logic 18 (4):185-200.
Structure and meaning.Jaroslav Peregrin - 1997 - Semiotica 113 (1-2):71-88.
Aggregate theory versus set theory.Hartley Slater - 2003 - Erkenntnis 59 (2):189 - 202.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.

View all 6 citations / Add more citations

References found in this work

From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.

View all 17 references / Add more references