Switch to: Citations

References in:

PM's Circumflex, Syntax and Philosophy of Types

In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246 (2011)

Add references

You must login to add references.
  1. Basic Laws of Arithmetic.Gottlob Frege - 1893 - Oxford, U.K.: Oxford University Press. Edited by Philip A. Ebert, Marcus Rossberg & Crispin Wright.
    The first complete English translation of a groundbreaking work. An ambitious account of the relation of mathematics to logic. Includes a foreword by Crispin Wright, translators' Introduction, and an appendix on Frege's logic by Roy T. Cook. The German philosopher and mathematician Gottlob Frege (1848-1925) was the father of analytic philosophy and to all intents and purposes the inventor of modern logic. Basic Laws of Arithmetic, originally published in German in two volumes (1893, 1903), is Freges magnum opus. It was (...)
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Russell's Metaphysical Logic.[author unknown] - 2001 - Tijdschrift Voor Filosofie 63 (1):176-177.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • An Inquiry Into Meaning and Truth.Bertrand Russell - 1940 - New York: Routledge.
    Bertrand Russell is concerned in this book with the foundations of knowledge. He approaches his subject through a discussion of language, the relationships of truth to experience and an investigation into how knowledge of the structure of language helps our understanding of the structure of the world. This edition includes a new introduction by Thomas Baldwin, Clare College, Cambridge.
    Download  
     
    Export citation  
     
    Bookmark   206 citations  
  • Notebooks, 1914-1916.Ludwig Wittgenstein - 1961 - Chicago: University of Chicago Press. Edited by G. H. von Wright & G. E. M. Anscombe.
    Intellectual diary of a thinker of the school of Logical Positivism showing the day-by-day development of his philosophical ideas.
    Download  
     
    Export citation  
     
    Bookmark   186 citations  
  • Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
    Download  
     
    Export citation  
     
    Bookmark   688 citations  
  • Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
    Download  
     
    Export citation  
     
    Bookmark   278 citations  
  • Logic and Knowledge.BERTRAND RUSSELL - 1957 - Philosophical Quarterly 7 (29):374.
    Download  
     
    Export citation  
     
    Bookmark   214 citations  
  • Russell and the universalist conception of logic.Ian Proops - 2007 - Noûs 41 (1):1–32.
    The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Russell's Metaphysical Logic.Bernard Linsky - 1999 - Center for the Study of Language and Inf.
    This study offers a novel integration of distinct aspects of Russell's thought.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Bernard Linsky, Russell's Metaphysical Logic. [REVIEW]Judy Pelham - 2002 - Studia Logica 70 (3):441-444.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Introduction to Combinators and λ-Calculus.J. Roger Hindley & Jonathan P. Seldin - 1988 - Journal of Symbolic Logic 53 (3):985-986.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • On concept and object.Gottlob Frege - 1951 - Mind 60 (238):168-180.
    Translation of Frege's 'Über Begriff und Gegenstand' (1892). Translation by Peter Geach, revised by Max Black.
    Download  
     
    Export citation  
     
    Bookmark   196 citations  
  • A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   224 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • Russell's hidden substitutional theory.Gregory Landini - 1998 - New York: Oxford University Press.
    This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general science and that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished "substitutional" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.
    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   476 citations  
  • The Russellian Origins of Analytical Philosophy: Bertrand Russell and the Unity of the Proposition.Graham Stevens - 2005 - New York: Routledge.
    This monograph reappraises the role of Bertrand Russell's philosophical works in establishing the analytical tradition in philosophy. It's main aims are to: * improve our understanding of the history of analytical philosophy * engage in the important disputes surrounding the interpretation of Russell's philosophy * make a contribution to central issues in current analytical philosophy. Drawing extensively from Russell's less well known and unpublished works, this book is a welcome addition to the literature and will undoubtedly find a place on (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.
    Download  
     
    Export citation  
     
    Bookmark   474 citations  
  • Notebooks, 1914-1916.Ludwig Wittgenstein, G. H. von Wright & G. E. M. Anscombe - 1964 - Mind 73 (289):132-141.
    Download  
     
    Export citation  
     
    Bookmark   126 citations  
  • Notebooks 1914-1916.L. Wittgenstein, G. H. von Wright & G. E. M. Anscombe - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (2):265-265.
    Download  
     
    Export citation  
     
    Bookmark   100 citations  
  • The theory of types.Alasdair Urquhart - 2003 - In Nicholas Griffin (ed.), The Cambridge Companion to Bertrand Russell. Cambridge University Press. pp. 286--309.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Logical positivism.Bertrand Russell - 1950 - Revue Internationale de Philosophie 4 (11):3-19.
    Download  
     
    Export citation  
     
    Bookmark   16 citations