Switch to: References

Citations of:

On the axiom of reducibility

Mind 45 (180):498-500 (1936)

Add citations

You must login to add citations.
  1. Inception of Quine's ontology.Lieven Decock - 2004 - History and Philosophy of Logic 25 (2):111-129.
    This paper traces the development of Quine's ontological ideas throughout his early logical work in the period before 1948. It shows that his ontological criterion critically depends on this work in logic. The use of quantifiers as logical primitives and the introduction of general variables in 1936, the search for adequate comprehension axioms, and problems with proper classes, all forced Quine to consider ontological questions. I also show that Quine's rejection of intensional entities goes back to his generalisation of Principia (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3):339-409.
    I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)On the theory of types.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (4):125-139.
    Download  
     
    Export citation  
     
    Bookmark   12 citations