Ontologically neutral logic

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

Abstract

An elaboration in detail of the contention made in an earlier paper 1 that quantifier logic can be given an adequate formulation in which neither the notion of an individual nor that of a predicate appears. The logic is compatible with either an infinitistic or non-infinitistic completeness theorem

Categories

Keywords

Reprint years

DOI

10.1080/01445349708837288

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
Herbrand semantics, the potential infinite, and ontology-free logic.Theodore Hailperin - 1992 - History and Philosophy of Logic 13 (1):69-90.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.
Non‐Standard Neutral Free Logic, Empty Names and Negative Existentials.Dolf Rami - manuscript
Quine's Platonism and Antiplatonism.Srećko Kovač - 1999 - Synthesis Philosophica 14 (1-2):45-52.
Boole's abandoned propositional logic.Theodore Hailperin - 1984 - History and Philosophy of Logic 5 (1):39-48.
Chapter 9a what is logic?J. R. Lucas - manuscript
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Potential infinite models and ontologically neutral logic.Theodore Hailperin - 2001 - Journal of Philosophical Logic 30 (1):79-96.

Analytics

Added to PP
2010-08-10

Downloads
35 (#456,592)

6 months
2 (#1,198,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Logic Semantics with the Potential Infinite.Theodore Hailperin - 2010 - History and Philosophy of Logic 31 (2):145-159.
Probability Logic and Borel's Denumerable Probability.Theodore Hailperin - 2008 - History and Philosophy of Logic 29 (2):147-165.
Probability Logic and Borel's Denumerable Probability.Theodore Hailperin - 2008 - History and Philosophy of Logic 29 (3):307-307.

Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
The Completeness of the First-Order Functional Calculus.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (1):68-68.

View all 6 references / Add more references