Switch to: Citations

Add references

You must login to add references.
  1. A Contingent Russell's Paradox.Francesco Orilia - 1996 - Notre Dame Journal of Formal Logic 37 (1):105-111.
    It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Principles of mathematics.Bertrand Russell - 1931 - New York,: W.W. Norton & Company.
    Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...)
    Download  
     
    Export citation  
     
    Bookmark   462 citations  
  • Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Cantor's power-set theorem versus frege's double-correlation thesis.Nino B. Cocciharella - 1992 - History and Philosophy of Logic 13 (2):179-201.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   403 citations  
  • The Philosophy of Logical Atomism.Bertrand Russell - 1918 - In ¸ Iterussell1986. Open Court. pp. 193-210..
    Download  
     
    Export citation  
     
    Bookmark   331 citations  
  • Principles of Mathematics.Bertrand Russell - 1937 - New York,: Routledge.
    Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...)
    Download  
     
    Export citation  
     
    Bookmark   150 citations  
  • Formal Ontology and Conceptual Realism.Nino Barnabas Cocchiarella - 2007 - Dordrecht, Netherland: Springer.
    Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Principles of Mathematics.Bertrand Russell - 1937 - New York,: Routledge.
    First published in 1937. Routledge is an imprint of Taylor & Francis, an informa company.
    Download  
     
    Export citation  
     
    Bookmark   126 citations  
  • Principles of Mathematics.Bertrand Russell - 1937 - New York,: Routledge.
    First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.
    Download  
     
    Export citation  
     
    Bookmark   129 citations