Switch to: References

Add citations

You must login to add citations.
  1. Against the Iterative Conception of Set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.
    According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Mathematical Development of Set Theory From Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.
    Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • Russell, Jourdain and ‘Limitation of Size’. [REVIEW]Michael Hallett - 1981 - British Journal for the Philosophy of Science 32 (4):381-399.
  • Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.
    According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  • The Reformulation of the Concept of Predicativity According to Poincaré.Vecchio Junior & Jacintho Del - 2013 - Scientiae Studia 11 (2):391-416.
    Este texto introduz a tradução do discurso de intitulado "Sobre os números transfinitos" ("Über transfinite Zahlen"), proferido por Henri Poincaré em 27 de abril de 1909, na Universidade de Göttingen. Após uma breve apresentação do pensamento do autor acerca dos fundamentos da aritmética, procura-se citar os aspectos mais relevantes da chamada crise dos fundamentos da matemática, para então introduzir a reformulação do conceito de predicatividade aventada no referido discurso sobre números transfinitos, contribuição compreendida como um recurso teórico necessário para a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Structured Propositions in a Generative Grammar.Bryan Pickel - 2019 - Mind (510):329-366.
    Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Poincaré: Mathematics & Logic & Intuition.Colin Mclarty - 1997 - Philosophia Mathematica 5 (2):97-115.
    often insisted existence in mathematics means logical consistency, and formal logic is the sole guarantor of rigor. The paper joins this to his view of intuition and his own mathematics. It looks at predicativity and the infinite, Poincaré's early endorsement of the axiom of choice, and Cantor's set theory versus Zermelo's axioms. Poincaré discussed constructivism sympathetically only once, a few months before his death, and conspicuously avoided committing himself. We end with Poincaré on Couturat, Russell, and Hilbert.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • What Is Wrong with Abstraction?Michael Potter & Peter Sullivan - 2005 - Philosophia Mathematica 13 (2):187-193.
    We correct a misunderstanding by Hale and Wright of an objection we raised earlier to their abstractionist programme for rehabilitating logicism in the foundations of mathematics.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Introduction.Agustin Rayo & Gabriel Uzquiano - 2006 - In Agustin Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press.
    Whether or not we achieve absolute generality in philosophical inquiry, most philosophers would agree that ordinary inquiry is rarely, if ever, absolutely general. Even if the quantifiers involved in an ordinary assertion are not explicitly restricted, we generally take the assertion’s domain of discourse to be implicitly restricted by context.1 Suppose someone asserts (2) while waiting for a plane to take off.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Definability and the Structure of Logical Paradoxes.Haixia Zhong - 2012 - Australasian Journal of Philosophy 90 (4):779 - 788.
    Graham Priest 2002 argues that all logical paradoxes that include set-theoretic paradoxes and semantic paradoxes share a common structure, the Inclosure Schema, so they should be treated as one family. Through a discussion of Berry's Paradox and the semantic notion ?definable?, I argue that (i) the Inclosure Schema is not fine-grained enough to capture the essential features of semantic paradoxes, and (ii) the traditional separation of the two groups of logical paradoxes should be retained.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.
    Philosophy Dept, Univ. of Massachusetts, 352 Bartlett Hall, 130 Hicks Way, Amherst, MA 01003, USA Received 22 July 2002 It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church’s ‘Lambda Calculus’ for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903 and 1905—surely unknown to Church—contain a more extensive anticipation of the essential details of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Russell's Paradox and the Theory of Classes in The Principles of Mathematics.Yasushi Nomura - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):23-36.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Speaking of Everything.Richard L. Cartwright - 1994 - Noûs 28 (1):1-20.