72 found
Order:
Disambiguations
Mark van Atten [70]Markus van Atten [2]Markus Sebastiaan Paul Rogier van Atten [1]
  1.  38
    Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer.Robert Tragesser, Mark van Atten & Mark Atten (eds.) - 2015 - Springer Verlag.
    We compare Gödel’s and Brouwer’s explorations of mysticism and its relation to mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  3
    On Brouwer.Markus Sebastiaan Paul Rogier van Atten & Mark van Atten - 2004 - Wadsworth Publishing Company.
    ON BROUWER, like other titles in the Wadsworth Philosopher's Series, offers a concise, yet comprehensive, introduction to this philosopher's most important ideas. Presenting the most important insights of well over a hundred seminal philosophers in both the Eastern and Western traditions, the Wadsworth Philosophers Series contains volumes written by scholars noted for their excellence in teaching and for their well-versed comprehension of each featured philosopher's major works and contributions. These titles have proven valuable in a number of ways. Serving as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  3. On the Philosophical Development of Kurt Gödel.Juliette Kennedy & Mark van Atten - 2015 - In Juliette Kennedy & Mark van Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
  4.  66
    Brouwer Meets Husserl: On the Phenomenology of Choice Sequences.Markus van Atten - 2006 - Springer.
    Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  5. The Development of Intuitionistic Logic.Mark van Atten - forthcoming - Stanford Encyclopedia of Philosophy. The Meta-27here I Am Assuming That’Evidence’Provides the Basis for One’s Doxastic Justification. Additionally, I.
     
    Export citation  
     
    Bookmark   11 citations  
  6. On Brouwer.Mark Van Atten - unknown
    "On Brouwer", like other titles in the Wadsworth Philosopher's Series, offers a concise, yet comprehensive, introduction to this philosopher's most important ideas. Presenting the most important insights of well over a hundred seminal philosophers in both the Eastern and Western traditions, the Wadsworth Philosophers Series contains volumes written by scholars noted for their excellence in teaching and for their well-versed comprehension of each featured philosopher's major works and contributions. These titles have proven valuable in a number of ways. Serving as (...)
     
    Export citation  
     
    Bookmark   17 citations  
  7. On the Philosophical Development of Kurt Gödel.Mark Van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9 (4):425-476.
    It is by now well known that Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. This raises three questions:1.How is this turn to Husserl to be interpreted? Is it a dismissal of the Leibnizian philosophy, or a different way to achieve similar goals?2.Why did Gödel turn specifically to the later Husserl's transcendental idealism?3.Is there any detectable influence from Husserl on Gödel's writings?Regarding the first question, Wang [96, p.165] reports that Gödel ‘[saw] in Husserl's work (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  8.  74
    L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.
    We present a new English translation of L.E.J. Brouwer's paper ‘De onbetrouwbaarheid der logische principes’ of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  58
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt.Mark Van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
    Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10. Mysticism and Mathematics: Brouwer, Gödel, and the Common Core Thesis.Robert Tragesser, Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
  11.  88
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
    Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12. The Development of Intuitionistic Logic.Mark Van Atten - unknown
     
    Export citation  
     
    Bookmark   11 citations  
  13. The Proper Explanation of Intuitionistic Logic: On Brouwer's Demonstration of the Bar Theorem.Mark Van Atten & Göran Sundholm - unknown
    Brouwer's demonstration of his Bar Theorem gives rise to provocative questions regarding the proper explanation of the logical connectives within intuitionistic and constructivist frameworks, respectively, and, more generally, regarding the role of logic within intuitionism. It is the purpose of the present note to discuss a number of these issues, both from an historical, as well as a systematic point of view.
     
    Export citation  
     
    Bookmark   5 citations  
  14.  5
    One Hundred Years of Intuitionism : The Cerisy Conference.Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann - 2008 - Birkhäuser Basel.
    Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  66
    Arguments for the Continuity Principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
  16.  6
    Two Draft Letters From Gödel on Self-Knowledge of Reason.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag. pp. 255-261.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  40
    Gödel’s Modernism: On Set-Theoretic Incompleteness.Juliette Cara Kennedy & Mark van Atten - 2004 - Graduate Faculty Philosophy Journal 25 (2):289-349.
    On Friday, November 15, 1940, Kurt Gödel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor’s Continuum Hypothesis with the axiomatic system ZFC for set theory. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  54
    A Note on Leibniz's Argument Against Infinite Wholes.Mark van Atten - 2011 - British Journal for the History of Philosophy 19 (1):121-129.
  19. Gödel’s Dialectica Interpretation and Leibniz.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
  20.  42
    Construction and Constitution in Mathematics.Mark van Atten - 2010 - New Yearbook for Phenomenology and Phenomenological Philosophy 10:43-90.
    In the following, I argue that L. E. J. Brouwer's notion of the construction of purely mathematical objects and Edmund Husserl's notion of their constitution coincide.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  16
    Gödel’s Modernism: On Set-Theoretic Incompleteness.Mark van Atten - 2004 - Graduate Faculty Philosophy Journal 25 (2):289-349.
    On Friday, November 15, 1940, Kurt Gödel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor’s Continuum Hypothesis with the axiomatic system ZFC for set theory. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  23
    Gödel's Logic.Mark van Atten & Juliette Kennedy - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 449-509.
  23.  72
    Brouwer, as Never Read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
    Even though Husserl and Brouwer have never discussed each other's work, ideas from Husserl have been used to justify Brouwer's intuitionistic logic. I claim that a Husserlian reading of Brouwer can also serve to justify the existence of choice sequences as objects of pure mathematics. An outline of such a reading is given, and some objections are discussed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Monads and Sets: On Gödel, Leibniz, and the Reflection Principle.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
    Gödel once offered an argument for the general reflection principle in set theory that took the form of an analogy with Leibniz' Monadology. I discuss the mathematical and philosophical background to Gödel's argument, reconstruct the proposed analogy in detail, and argue that it has no justificatory force.
     
    Export citation  
     
    Bookmark   1 citation  
  25.  77
    Thomas Ryckman: The Reign of Relativity. Philosophy in Physics 1915–1925. [REVIEW]Mark van Atten - 2008 - Husserl Studies 24 (1):73-78.
  26. Gödel and Intuitionism.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
     
    Export citation  
     
    Bookmark   1 citation  
  27.  15
    A Note on Leibniz’s Argument Against Infinite Wholes.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag. pp. 121-129.
  28.  12
    « Que les Principes de la Logique Ne Sont Pas Fiables » : Nouvelle Traduction Française Annotée Et Commentée de l'Article de 1908 de L. E. J. Brouwer. [REVIEW]Mark Van Atten, Göran Sundholm, Michel Bourdeau & Vanessa Van Atten - 2014 - Revue d'Histoire des Sciences 67 (2):257.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  29.  85
    Edmund Husserl, Logik. Vorlesung 1902/03, hg. von Elisabeth Schuhmann.Mark van Atten - 2005 - Husserl Studies 21 (2):145-148.
  30.  39
    Anne-Marie Décaillot, Cantor et la France. Correspondance du mathématicien allemand avec les Français à la fin du xixe siècle, Paris, Éditions Kimé, 2008, 347 p.Anne-Marie Décaillot, Cantor et la France. Correspondance du mathématicien allemand avec les Français à la fin du xixe siècle, Paris, Éditions Kimé, 2008, 347 p. [REVIEW]Mark van Atten - 2010 - Philosophiques 37 (1):262-265.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31. Kant and Real Numbers.Mark Van Atten - unknown
    Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible.
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  19
    Dennis E. Hesseling. Gnomes in the Fog. The Reception of Brouwer's Intuitionism in the 1920s. Science Networks. Historical Studies, Vol. 28. Birkhäuser, Boston, 2003, Xxiii + 447 Pp. [REVIEW]Mark van Atten - 2004 - Bulletin of Symbolic Logic 10 (3):423-427.
  33. Brouwer and the Hypothetical Judgement. Second Thoughts on John Kuiper's Ideas and Explorations: Brouwer's Road to Intuitionism.Mark Van Atten - 2004 - Revue Internationale de Philosophie 58 (4):501-516.
     
    Export citation  
     
    Bookmark  
  34. Intuitionism as Phenomenology.Mark Van Atten - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Construction and Constitution in Mathematics.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Erratum.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Gödel and Brouwer: Two Rivalling Brothers.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  38. Gödel, Mathematics, and Possible Worlds.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  39. Introduction.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Phenomenology of Mathematics.Mark van Atten & Mark Atten - 2015 - In Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  41. On Gödel's Logic.Juliette Kennedy & Mark van Atten - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Further Intuitionistic Comments.Mark Van Atten - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Gödel's Philosophical Developments.Mark Van Atten & Juliette Kennedy - 2003 - Bulletin of Symbolic Logic 9:470-92.
     
    Export citation  
     
    Bookmark  
  44. Some Closing Comments.Mark Van Atten - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Where Α and Range Over Choice Sequences of Natural Numbers, M and X Over Natural Numbers, and Αm Stands for〈 Α (0), Α (1),..., Α (M− 1)〉, the Initial Segment of Α of Length M. An Immediate Consequence of WC-N is That All Full Functions Are Contin-Uous, and, as a Corollary, That the Continuum is Unsplittable [28]. Note That. [REVIEW]Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3).
  46.  51
    Lectures on Being and Time (1998).Gian-Carlo Rota & Mark van Atten - 2008 - New Yearbook for Phenomenology and Phenomenological Philosophy 8 (1):225-319.
  47.  14
    Dummett's Objection to the Ontological Route to Intuitionistic Logic: A Rejoinder.Mark van Atten - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):725-742.
    ABSTRACT In ‘The philosophical basis of intuitionistic logic’, Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical and the other ontological. He concludes that the former route is open, but the latter is closed. I reconstruct Dummett's argument against the ontological route and argue that it fails. Call a procedure ‘investigative’ if that in virtue of which a true proposition stating its outcome is true exists prior to the execution of that procedure; (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Hoe ver ben je bereid te gaan? Oneindigheid in de wiskunde.Mark van Atten - 2003 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95 (1):51-60.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Gödel and Platonism.Mark Van Atten - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Monads and Sets: On Leibniz, Gödel, and the Reflection Principle.Mark Van Atten - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 72