Was the Axiom of Reducibility a Principle of Logic?

Russell: The Journal of Bertrand Russell Studies 10 (2):125 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2014

DOI

10.15173/russell.v10i2.1775

Links

PhilArchive



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

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

The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.
The rigid relation principle, a new weak choice principle.Joel David Hamkins & Justin Palumbo - 2012 - Mathematical Logic Quarterly 58 (6):394-398.
Predicative Logic and Formal Arithmetic.John P. Burgess & A. P. Hazen - 1998 - Notre Dame Journal of Formal Logic 39 (1):1-17.
Dependent Choices and Anti-Foundation.Hisato Muraki - 2002 - Mathematical Logic Quarterly 48 (4):607-623.
Supervenience, necessary coextensions, and reducibility.John Bacon - 1986 - Philosophical Studies 49 (March):163-76.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
W. Kneale. Is existence a predicate? Aristotelian Society, supplemetary volume XV, London (1936), pp. 154–174.C. H. Langford & W. V. Quine - 1937 - Journal of Symbolic Logic 2 (1):60-61.
Quiné W. V.. On the axiom of reducibility. Mind, n.s., vol. 45 , pp. 498–500.C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):60-60.
Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility.John Myhill - 1951 - Journal of Symbolic Logic 16 (3):217-218.
Report on some investigations concerning the consistency of the axiom of reducibility.John Myhill - 1951 - Journal of Symbolic Logic 16 (1):35-42.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
A New Reducibility between Turing‐ and wtt‐Reducibility.Sui Yuefei - 1994 - Mathematical Logic Quarterly 40 (1):106-110.
Review: John Myhill, Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. [REVIEW]W. V. Quine - 1951 - Journal of Symbolic Logic 16 (3):217-218.
A characterization of the Δ⁰₂ hyperhyperimmune sets.Roland Sh Omanadze & Andrea Sorbi - 2008 - Journal of Symbolic Logic 73 (4):1407-1415.
Strong Enumeration Reducibilities.Roland Sh Omanadze & Andrea Sorbi - 2006 - Archive for Mathematical Logic 45 (7):869-912.

Analytics

Added to PP
2015-02-07

Downloads
46 (#328,927)

6 months
14 (#151,397)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Bernard Linsky
University of Alberta

Citations of this work

What is neologicism?Bernard Linsky & Edward N. Zalta - 2006 - Bulletin of Symbolic Logic 12 (1):60-99.
Bertrand Russell.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.
Index (1986-90).Sheila Turcon - 1990 - Russell: The Journal of Bertrand Russell Studies 10 (2).

View all 6 citations / Add more citations

References found in this work

The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
Russell's substitutional theory.Peter Hylton - 1980 - Synthese 45 (1):1 - 31.

Add more references