This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related

Contents
296 found
Order:
1 — 50 / 296
Material to categorize
  1. Sharon Berry.*A Logical Foundation for Potentialist Set Theory.Chris Scambler - 2023 - Philosophia Mathematica 31 (2):277-282.
    This book offers a foundation for mathematics grounded in a collection of axioms for logical possibility in a first-order language. The offered foundation is ar.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Non-Reflexive Logics, Non-Individuals and the Philosophy of Quantum Mechanics: Essays in honor of the philosophy of Décio Krause.Jonas Rafael Becker Arenhart & Raoni Wohnrath Arroyo (eds.) - forthcoming - Springer.
    This book discusses the philosophical work of Décio Krause. Non-individuality, as a new metaphysical category, was thought to be strongly supported by quantum mechanics. No one did more to promote this idea than the Brazilian philosopher Décio Krause, whose works on the metaphysics and logic of non-individuality are now widely regarded as part of the consolidated literature on the subject. This volume brings together chapters elaborating on the ideas put forward and defended by Krause, developing them in many different directions, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Executing Gödel's Programme in Set Theory.Neil Barton - 2017 - Dissertation, Birkbeck, University of London
  4. Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s 'Completeness Paper' (1930).Vasil Penchev - 2023 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 15 (1):1-61.
    The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Fermat’s last theorem proved in Hilbert arithmetic. III. The quantum-information unification of Fermat’s last theorem and Gleason’s theorem.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (12):1-30.
    The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Conversation with John P. Burgess.Silvia De Toffoli - 2022 - Aphex 25.
    John P. Burgess is the John N. Woodhull Professor of Philosophy at Princeton University. He obtained his Ph.D. from the Logic and Methodology program at the University of California at Berkeley under the supervision of Jack H. Silver with a thesis on descriptive set theory. He is a very distinguished and influential philosopher of mathematics. He has written several books: A Subject with No Object (with G. Rosen, Oxford University Press, 1997), Computability and Logic (with G. Boolos and R. Jeffrey, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Against the countable transitive model approach to forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020.
    In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside V itself, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. All Worlds in One: Reassessing the Forest-Armstrong Argument.Phillip Bricker - 2020 - In Modal Matters: Essays in Metaphysics. Oxford: OUP. pp. 278-314.
    The Forrest-Armstrong argument, as reconfigured by David Lewis, is a reductio against an unrestricted principle of recombination. There is a gap in the argument which Lewis thought could be bridged by an appeal to recombination. After presenting the argument, I show that no plausible principle of recombination can bridge the gap. But other plausible principles of plenitude can bridge the gap, both principles of plenitude for world contents and principles of plenitude for world structures. I conclude that the Forrest-Armstrong argument, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. The Quantum Strategy of Completeness: On the Self-Foundation of Mathematics.Vasil Penchev - 2020 - Cultural Anthropology eJournal (Elsevier: SSRN) 5 (136):1-12.
    Gentzen’s approach by transfinite induction and that of intuitionist Heyting arithmetic to completeness and the self-foundation of mathematics are compared and opposed to the Gödel incompleteness results as to Peano arithmetic. Quantum mechanics involves infinity by Hilbert space, but it is finitist as any experimental science. The absence of hidden variables in it interpretable as its completeness should resurrect Hilbert’s finitism at the cost of relevant modification of the latter already hinted by intuitionism and Gentzen’s approaches for completeness. This paper (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.) - 2019 - Springer Verlag.
    This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The first two sections focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Canonical Maps.Jean-Pierre Marquis - 2018 - In Elaine Landry (ed.), Categories for the Working Philosophers. Oxford, UK: pp. 90-112.
    Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical framework. The key (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Dummett on Indefinite Extensibility.Øystein Linnebo - 2018 - Philosophical Issues 28 (1):196-220.
    Dummett’s notion of indefinite extensibility is influential but obscure. The notion figures centrally in an alternative Dummettian argument for intuitionistic logic and anti-realism, distinct from his more famous, meaning-theoretic arguments to the same effect. Drawing on ideas from Dummett, a precise analysis of indefinite extensibility is proposed. This analysis is used to reconstruct the poorly understood alternative argument. The plausibility of the resulting argument is assessed.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Constructive Set Theory with Operations.Andrea Cantini & Laura Crosilla - 2008 - In Logic Colloquium 2004.
    We present an extension of constructive Zermelo{Fraenkel set theory [2]. Constructive sets are endowed with an applicative structure, which allows us to express several set theoretic constructs uniformly and explicitly. From the proof theoretic point of view, the addition is shown to be conservative. In particular, we single out a theory of constructive sets with operations which has the same strength as Peano arithmetic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Elementary Constructive Operational Set Theory.Andrea Cantini & Laura Crosilla - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 199-240.
    We introduce an operational set theory in the style of [5] and [16]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside extensional constructive sets. Operations are in general partial and a limited form of self{application is permitted. The system we (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Note on the Significance of the New Logic.Frederique Janssen-Lauret - 2018 - The Reasoner 6 (12):47-48.
    Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. Axiomatic Set Theory. Patrick Suppes. [REVIEW]Azriel Levy - 1962 - Philosophy of Science 29 (1):99-101.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17. The Foundations of Mathematics in the Theory of Sets. [REVIEW]Roy T. Cook - 2003 - British Journal for the Philosophy of Science 54 (2):347-352.
  18. J. P. Mayberry. The foundations of mathematics in the theory of sets. Encyclopedia of mathematics and its applications, vol. 82. Cambridge University Press, Cambridge 2000, New York 2001, etc., xx + 424 pp. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  19. The Ins and Outs of Frege's Way Out.Gregory Landini - 2006 - Philosophia Mathematica 14 (1):1-25.
    Confronted with Russell's Paradox, Frege wrote an appendix to volume II of his _Grundgesetze der Arithmetik_. In it he offered a revision to Basic Law V, and proclaimed with confidence that the major theorems for arithmetic are recoverable. This paper shows that Frege's revised system has been seriously undermined by interpretations that transcribe his system into a predicate logic that is inattentive to important details of his concept-script. By examining the revised system as a concept-script, we see how Frege imagined (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. On a Family of Models of Zermelo-Fraenkel Set Theory.Bruno Scarpellini - 1966 - Mathematical Logic Quarterly 12 (1):191-204.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. What is the infinite?Øystein Linnebo - 2013 - The Philosophers' Magazine 61:42-47.
    The paper discusses some different conceptions of the infinity, from Aristotle to Georg Cantor (1845-1918) and beyond. The ancient distinction between actual and potential infinity is explained, along with some arguments against the possibility of actually infinite collections. These arguments were eventually rejected by most philosophers and mathematicians as a result of Cantor’s elegant and successful theory of actually infinite collections.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. The Interpretation of Classes in Axiomatic Set Theory.Gregor Schneider & Daniel Roth - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. De Gruyter. pp. 275-314.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. Set Theory and Its Logic.Joseph S. Ullian & Willard Van Orman Quine - 1966 - Philosophical Review 75 (3):383.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  24. The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
  25. Russell Bektrand, Logical positivism. Polemic , no. 1 , pp. 6–13.Max Black - 1947 - Journal of Symbolic Logic 12 (1):24-24.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14-24):216-239.
  27. The Strength of Abstraction with Predicative Comprehension.Sean Walsh - 2016 - Bulletin of Symbolic Logic 22 (1):105–120.
    Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. The potential hierarchy of sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
    Some reasons to regard the cumulative hierarchy of sets as potential rather than actual are discussed. Motivated by this, a modal set theory is developed which encapsulates this potentialist conception. The resulting theory is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   88 citations  
  29. Strong representability of fork algebras, a set theoretic foundation.I. Nemeti - 1997 - Logic Journal of the IGPL 5 (1):3-23.
    This paper is about pairing relation algebras as well as fork algebras and related subjects. In the 1991-92 fork algebra papers it was conjectured that fork algebras admit a strong representation theorem . Then, this conjecture was disproved in the following sense: a strong representation theorem for all abstract fork algebras was proved to be impossible in most set theories including the usual one as well as most non-well-founded set theories. Here we show that the above quoted conjecture can still (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  30. The Barber, Russell's Paradox, Catch-22, God, Contradiction, and More.Laurence Goldstein - 2004 - In Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction. Clarendon Press. pp. 295--313.
    outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Essay on Russell on Modalities and Frege on Judgement.Shahid Rahman - forthcoming - History and Philosophy of Logic.
  32. JP MAYBERRY. The Foundations of Mathematics in the Theory of Sets.M. Tiles - 2002 - Philosophia Mathematica 10 (3):324-336.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  33. Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.Peter Verdée - 2013 - Foundations of Science 18 (4):655-680.
    In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, also the inconsistent (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34. An Application of Non‐Wellfounded Sets to the Foundations of Geometry.Jan Kuper - 1991 - Mathematical Logic Quarterly 37 (17):257-264.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Anselm and Russell.Maciej Nowicki - 2006 - Logic and Logical Philosophy 15 (4):355-368.
    In his paper “St. Anselm’s ontological argument succumbs to Russell’s paradox” Christopher Viger presents a critique of Anselm’s Argument from the second chapter of Proslogion. Viger claims there that he manages to show that the greater than relation that Anselm used in his proof leads to inconsistency. I argue firstly, that Viger does not show what he maintains to show, secondly, that the flaw is not in the nature of Anselm’s reasoning but in Viger’s (mis)understanding of Anselm as well as (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Review: Hugh J. Tallon, Russell's Doctrine of the Logical Proposition. [REVIEW]A. Wedberg - 1940 - Journal of Symbolic Logic 5 (2):74-74.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37. I think, therefore I exist; I belong, therefore I am.Juan José Luetich - 2012 - Transactions of The Luventicus Academy (3):1-4.
    The actions of perceiving and grouping are the two that the human being carries out when thinking in entities different from himself. In this article “The Mirror Problem” and “The Peer Problem”, which correspond respectively to self-perception and the perception of others, are studied. By solving these two problems, the thinker arrives to the following conclusions: “I exist” and “I am”.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  38. Early Russell on Types and Plurals.Kevin Klement - 2014 - Journal for the History of Analytical Philosophy 2 (6):1-21.
    In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. The Foundations of Mathematics in the Theory of Sets.John P. Mayberry - 2000 - Cambridge University Press.
    This book will appeal to mathematicians and philosophers interested in the foundations of mathematics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  40. Idealist and Realist Elements in Cantor's Approach to Set Theory.I. Jane - 2010 - Philosophia Mathematica 18 (2):193-226.
    There is an apparent tension between the open-ended aspect of the ordinal sequence and the assumption that the set-theoretical universe is fully determinate. This tension is already present in Cantor, who stressed the incompletable character of the transfinite number sequence in Grundlagen and avowed the definiteness of the totality of sets and numbers in subsequent philosophical publications and in correspondence. The tension is particularly discernible in his late distinction between sets and inconsistent multiplicities. I discuss Cantor’s contrasting views, and I (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  41. An introduction to the foundations and fundamental concepts of mathematics.Howard Eves - 1958 - New York,: Holt, Rinehart and Winston. Edited by Carroll Vincent Newsom.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  42. Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain.Ivor Grattan-Guinness - 1972 - Journal of Philosophical Logic 1 (2):103 - 110.
  43. Pluralism and the Foundations of Mathematics.Geoffrey Hellman - 2006 - In ¸ Itekellersetal:Sp. pp. 65--79.
    A plurality of approaches to foundational aspects of mathematics is a fact of life. Two loci of this are discussed here, the classicism/constructivism controversy over standards of proof, and the plurality of universes of discourse for mathematics arising in set theory and in category theory, whose problematic relationship is discussed. The first case illustrates the hypothesis that a sufficiently rich subject matter may require a multiplicity of approaches. The second case, while in some respects special to mathematics, raises issues of (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   17 citations  
  44. What is categorical structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.
  45. Reflections on Skolem's relativity of set-theoretical concepts.Ignagio Jane - 2001 - Philosophia Mathematica 9 (2):129-153.
    In this paper an attempt is made to present Skolem's argument, for the relativity of some set-theoretical notions as a sensible one. Skolem's critique of set theory is seen as part of a larger argument to the effect that no conclusive evidence has been given for the existence of uncountable sets. Some replies to Skolem are discussed and are shown not to affect Skolem's position, since they all presuppose the existence of uncountable sets. The paper ends with an assessment of (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
    George Boolos has described an interpretation of a fragment of ZFC in a consistent second-order theory whose only axiom is a modification of Frege's inconsistent Axiom V. We build on Boolos's interpretation and study the models of a variety of such theories obtained by amending Axiom V in the spirit of a limitation of size principle. After providing a complete structural description of all well-founded models, we turn to the non-well-founded ones. We show how to build models in which foundation (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Philosophy, mathematics, science and computation.Enrique V. Kortright - 1994 - Topoi 13 (1):51-60.
    Attempts to lay a foundation for the sciences based on modern mathematics are questioned. In particular, it is not clear that computer science should be based on set-theoretic mathematics. Set-theoretic mathematics has difficulties with its own foundations, making it reasonable to explore alternative foundations for the sciences. The role of computation within an alternative framework may prove to be of great potential in establishing a direction for the new field of computer science.Whitehead''s theory of reality is re-examined as a foundation (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. The consistency problem for set theory: An essay on the Cantorian foundations of mathematics (II).John Mayberry - 1977 - British Journal for the Philosophy of Science 28 (2):137-170.
  49. What is required of a foundation for mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.
    The business of mathematics is definition and proof, and its foundations comprise the principles which govern them. Modern mathematics is founded upon set theory. In particular, both the axiomatic method and mathematical logic belong, by their very natures, to the theory of sets. Accordingly, foundational set theory is not, and cannot logically be, an axiomatic theory. Failure to grasp this point leads obly to confusion. The idea of a set is that of an extensional plurality, limited and definite in size, (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  50. Sets, wholes, and limited pluralitiest.Stephen Pollard - 1996 - Philosophia Mathematica 4 (1):42-58.
    This essay defends the following two claims: (1) liraitation-of-size reasoning yields enough sets to meet the needs of most mathematicians; (2) set formation and mereological fusion share enough logical features to justify placing both in the genus composition (even when the components of a set are taken to be its members rather than its subsets).
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 296