Series I. Academic Activities 1974-1986
Physics Theory - Undergrad Class
Sets - Notes & Musings
Grad School - Intersubjectivity
Grad School Papers & Writings
Grad School Papers & Writings
Grad School Papers & Writings
Grad School Papers & Writings
Grad School Papers & Writings
Grad School Papers & Writings
Kant - New School Grad Work
Kant - Columbia
Kant - Columbia
Kant - Columbia
Notes - Ph.D. Thesis
Notes - Ph.D. Thesis
Series II. Teaching Activities 1985-2017
Subseries 1. Courses Taught 1985-2014
Advanced Logic - 1985 Queens College
Logical Theory - 1995 - Notes, Thoughts & Articles
Student Evaluations - 1998 Stanford
Logical Theory Seminar - 1999
Logical Theory Seminar - 2003
Intermediate Logic - 2004
Logical Theory Seminar - 2005
Intermediate Logic - 2008
Epistemology & Metaphysics Seminar - 2012
Husserl's Logical Works Class - 2013
Phil. 9 - Fall 2014
Phil. 57 - Fall 2014
Notes & Thoughts for Teaching - 2008 & Much Earlier
Notes, Thoughts, Teaching & Other - Early
Notes, Thoughts, Teaching & Other - 2008 & Before
Notes, Thoughts, Teaching & Other - 2008 & Before
Notes, Thoughts, Teaching & Other - 2008 & Before
McNair Scholarship Mentor - Circa 2006
He Haoping Visiting Scholar - Review
He Haoping Visiting Scholar
He Haoping Visiting Scholar
Logic Fun - Teaching
Euclidean Fun Book - Teaching
Teaching Related - Misc.
Correspondence - Academic 1990-2012
Correspondence - Academic 2012-2017
Series III. Professional Activities
Subseries 1. Papers, Books, and Writings
Early Writings
Logic Textbook Chapter - 1991
Encyclopedia of Philosophy Entry - 1995
Papers - Reprints & Unpublished
Papers - Reprints
Papers - Reprints
Papers - Reprints
Papers - Reprints
Papers - Reprints
Papers - Reprints
Papers - Reprints
Papers - Reprints
Papers - Translated Foreign Languages
Mathematical Problem Solving Paper
After Gödel - Notes
Reviews of Others - Books
Reviews of Others - Forcing in Modern Set Theory
Reviews of Others - Late 80s Early 90s
Reviews of Others - Books - Gödel
Reviews of Others - Papers
Reviews of Rick's Work
Reviews of Phenomenology, Logic and the Philosophy of Mathematics
Reviews of Rick's 1989 Book
Reviews of Rick's Work
Reviews of After Gödel
Gödel: Minds & Machines - Papers & Presentation Notes
Gödel: Minds & Machines - Paper & Notes
Gödel: Minds & Machines
Intention & Fulfillment in Mathematics & Logic - Talks & Notes
Poincaré Institut - France 2007
Poincaré Institut - Talk - France 2007
Poincaré Institut - Paper & Presentation - France 2007
Poincaré Institut - Impredicativity
EHESS - Gödel: Phenomenology - Paris 2008
EHESS - Gödel: Phenomenology - Paris 2008
Gödel Conference - Paris 2010
Gödel - France 2013
Gödel - France 2013
Gödel - France 2013
Philosophy of Mathematics - Tokyo 2014
Subseries 5. CV and Philosophical Development Summary
CV - 2015
Philosophical Development Summary - 2015
Series IV. Subject Files
Alternative Logics
Analytical and Continental Philosophy, Science, and Global Philosophy - Paper & Notes
Anselm - Ontological Argument for God's Existence
Anti-Naturalism in Math
Aristotle
Brouwer: Brouwer Edition Project - Paper, Articles
Brouwer - Collected Works
Brouwer - Van Dalen - Van Atten
Brouwer - Van Dalen - Van Atten
Brouwer - Van Dalen - Van Atten
Brouwer - Van Dalen - Van Atten
Brouwer - Van Dalen - Van Atten
Brouwer - Van Dalen - Van Atten
Brouwer - Van Dalen - Van Atten
Causal Theory of Mathematical Content
Chaitin's Theorem
Continental Philosophy of Science
Continuum Hypothesis
Derrida - Origins of Geometry
Essence in Phenomenology Family Resemblances
Euclid on Number
Evolution
Finsler & Richard - Sets
Gabelsberger
Gödel
Gödel
Gödel
Gödel
Gödel
Gödel - Absolutely Undecided
Gödel - Articles About
Gödel - Concepts & Type Theory
Gödel & Husserl
Gödel & Husserl
Gödel & Husserl - Centrone Vol. - 2016
Gödel & Husserl - Consciousness of Abstract Objects
Gödel & Husserl - Monads & Mathematics
Gödel's Incompleteness Theorems
Gödel - Intuition of Concepts - MS & Notes
Gödel, Leibniz, Husserl - Paper
Gödel, Leibniz, Husserl - Talk
Gödel - Papers by
Gödel - Realism
Gödel - Special Edition: Philosophia Mathematica
Gödel - Templeton Grant Proposal
Gödel - Thoughts, Articles, Research
Gödel - Thoughts, Articles, Research
Gödel - Thoughts, Notes
Gödel & Quine
Gödel, Wang - Notes
Heyting
Higher Order Logic
Husserl & Abstract Objects
Husserl - Articles, Research
Husserl Circle - Discussions
Husserl - Concept of Pure Logic - Paper & Notes
Husserl - Eidetic Results in Transcendental Phenomenology
Husserl & Einstein - Musings
Husserl - Frege
Husserl & Frege - Notes & Writings
Husserl - Geovariance & Space
Husserl & Kant - Musings
Husserl & Kant - Paper & Notes
Husserl - Logic - Paper for Handbook of Philosophy - 2001
Husserl - Math Realism & Phenomenology - Hartimo
Husserl - Notes, Thoughts, Discussions
Husserl & Philosophy of Mathematics - Cambridge Companion
Husserl & Philosophy of Mathematics - Paper & Notes
Husserl - Review of - 2006
Intentionality
Intuitionism - Arithmetic, Mathematics, Intuition & Evidence
Intuitionism - Articles
Intuitionism - Brouwer & Weyl
Intuitionism - Cerisy - France 2007
Intuitionism - Dummett
Intuitionism - Dummett
Intuitionism - Dummett
Intuitionism - Dummett
Intuitionism - Dummett
Intuitionism, Intentionality & Computation
Intuitionism, Intentionality & Proof in Mathematics
Intuitionism - Literature
Intuitionism - Notes & Musings
Intuitionism - Paper - Drafts
Intuitionism - Paper - Drafts
Intuitionism - Philosophia Mathematica
Kreisel
Leibniz
Logic & Nietzsche - Debate with Leddy
Manifolds
Merleau - Ponty - Heidegger Notes
Miscellaneous Articles, Papers, Books, Reference
Miscellaneous Articles, Papers, Books, Reference
Miscellaneous Articles, Papers, Books, Reference
Modal Logic
Modal Logic
Phenomenology - California Phenomenology Circle
Phenomenology & the Foundations of Logic & Mathematics - Book Draft
Phenomenology & the Foundations of Logic & Mathematics - Book Draft
Phenomenology & the Foundations of Logic & Mathematics - Book Draft
Phenomenology - Logic
Phenomenology & Mathematics - Finland
Phenomenology Today - 2000
Phenomenology - Weyl, Becker - Referee Report
Philosophy of Mathematics - Götingen Conference - Notes & Thoughts
Philosophy - Notes & Musings
Philosophy of Mathematics - Notes for a Review
Properties - Notes, Research, Articles
Quine - New Foundations
Reflective Equilibrium
Recursion Theory - Articles, Notes
Recursive Functions - Notes
Relativism - Musings
Structuralism & Objects
Technological View of Being
Universals
Series V. Colleague Files
Balaguer
Bauer, Andrej
Bealer, G.
Beeson
Bernays on Wittgenstein
Carnap, R.
Cassirer, E.
Cassou-Noguè
Chihara, Charles
Chudnoff, E.
Church, A.
Corcoran, J.
da Silva, J.
Detlefsen, M.
Feferman, S.
Feist, R.
Fenstad, J.E.
Field, H.
Folina, J.
Føllesdal, D.
Føllesdal, D. - Articles
Føllesdal, D. - Correspondence - Paper
Franchella, M.
Friedman-Biglin
Friedman, H.
Friedman, M.
Friedman, M. - Kant Seminar - 2014
Friend, M.
Haddock, G.
Hand, M.
Hartimo, M.
Hauser, K.
Hauser, K.
Hill, C.
Hintikka, J.
Ierna, C.
Jordan, R.
Kennedy, J.
Lividas, S.
Longo, G.
Maddy, P.
Mancosu, P.
Marbach, E.
Martin-Löf, P.
Mohanty, J.
Oscherwitz, S.
Papers - Title Pages - Colleagues
Parsons, C.
Parsons, C.
Parsons, C.
Parsons, C. - Book on
Parsons, C. - Conference
Phan, C.
Prawitz, D.
Priest, G.
Resnik, M.
Rollinger, R.
Rota, G.
Roubach, M. - Promotion Evaluation
Schuhmann, K.
Shapiro, S.
Sieg, W.
Sieroka, N.
Smith, D.
Sundholm, G.
Tait, W.
Tamburrini, G.
Taylor, G.
Ternullo, C.
Thomas, R.
Tragesser, R.
Tragesser, R. - Book, Thesis, Comments
Troelstra, A.
Van Atten - Brouwer
Van Atten - Comments on
Van Atten - Correspondence
Van Atten - Correspondence
Van Atten - Correspondence - Book Collaboration
Van Atten - Correspondence with Tragesser
Van Atten - Correspondence with Tragesser
Van Atten - Publications
Van Atten - Review of Brouwer Book
Van Dalen, D.
Visser, A.
Wang, H.
Wang, H.
Weyl, H.
Wittgenstein
Yoshimi, J.
Yourgrau, P.
Zalta, E.