Hailperin Theodore. Remarks on identity and description in first-order axiom systems [Book Review]

Journal of Symbolic Logic 20 (1):81-83 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268101

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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

Review: Theodore Hailperin, Remarks on Identity and Description in First-Order Axiom Systems. [REVIEW]William Craig - 1955 - Journal of Symbolic Logic 20 (1):81-83.
Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
The concept of personal identity.Steven Rieber - 1998 - Philosophy and Phenomenological Research 58 (3):581-594.
The Ordinals of the Systems of Second Order Arithmetic with the Provably ▵ 1 2 -Comprehension Axiom and with the ▵ 1 2 - Comprehension Axiom Respectively. [REVIEW]Gaisi Takeuti & Mariko Yasugi - 1983 - Journal of Symbolic Logic 48 (3):877-878.
Remarks on the Comparison of Axiom Systems.Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):142-143.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
Review: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
Review: Olaf Helmer, A Few Remarks on the Syntax of Axiom-Systems. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (2):84-84.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.
Skolem Th.. Reduction of axiom systems with axiom schemes to systems with only simple axioms. Ebd., S. 239–246; auch ebd., S. 443–450. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):232-232.
[Omnibus Review].Theodore Hailperin - 1967 - Journal of Symbolic Logic 32 (2):252-252.
An incorrect theorem.Theodore Hailperin - 1965 - Journal of Symbolic Logic 30 (1):27.

Analytics

Added to PP
2016-06-30

Downloads
3 (#1,724,854)

6 months
3 (#1,037,180)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references