Switch to: Citations

References in:

Propositional function

Stanford Encyclopedia of Philosophy (2014)

Add references

You must login to add references.
  1. Russell, idealism, and the emergence of analytic philosophy.Peter Hylton - 1990 - New York: Oxford University Press.
    Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.
    Download  
     
    Export citation  
     
    Bookmark   151 citations  
  • Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Russell's Mathematical Logic.Kurt Gödel - 1944 - In The Philosophy of Bertrand Russell. Northwestern University Press. pp. 123-154.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • (2 other versions)The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.
    Download  
     
    Export citation  
     
    Bookmark   821 citations  
  • Principia mathematica.Alfred North Whitehead & Bertrand Russell - 1910 - Cambridge,: University Press. Edited by Bertrand Russell.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...)
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Logic, Language, and Meaning.L. T. F. Gamut - 1992 - Studia Logica 51 (1):147-149.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy.Peter Hylton - 2005 - Oxford, England: Oxford University Press.
    The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The prize-winning Russell scholar Peter Hylton presents here some of his most celebrated essays from the last two decades, all of which strive to recapture and articulate Russell's monumental vision. Relating his work to that of other philosophers, particularly Frege and Wittgenstein, and featuring a previously unpublished essay and a helpful new introduction, the volume will be essential for anyone engaged (...)
    Download  
     
    Export citation  
     
    Bookmark   15 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   64 citations  
  • A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.
    Download  
     
    Export citation  
     
    Bookmark   137 citations  
  • Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.
    Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of (...)
    Download  
     
    Export citation  
     
    Bookmark   17 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  
  • (1 other version)Logics and Languages.M. J. Cresswell - 1973 - Synthese 40 (2):375-387.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Pure Logic and Other Minor Works.W. Stanley Jevons, Robert Adamson & Harriett A. Jevons - 1891 - Mind 16 (61):106-110.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Alonzo Church. Mathematical logic. Lectures delivered at Princeton University, October 1935–January 1936. Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl. Mimeographed. Princeton University Mathematics Department, Princeton, N. J., 1936, iii + 113 pp. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):39-40.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    Download  
     
    Export citation  
     
    Bookmark   244 citations  
  • The theory of types.Alasdair Urquhart - 2003 - In Nicholas Griffin (ed.), The Cambridge companion to Bertrand Russell. New York: Cambridge University Press. pp. 286--309.
    Download  
     
    Export citation  
     
    Bookmark   9 citations