Order:
Disambiguations
Dirk Van Dalen [5]Dirk Dalen [3]
  1.  5
    Introduction to Mathematical Logic.Dirk van Dalen - 1964 - Journal of Symbolic Logic 34 (1):110-111.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  2.  7
    Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt.Mark Atten, Dirk 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  
     
    Export citation  
     
    Bookmark   9 citations  
  3.  6
    How Connected is the Intuitionistic Continuum?Dirk Van Dalen - 1997 - Journal of Symbolic Logic 62 (4):1147 - 1150.
  4.  14
    Brouwer: The Genesis of His Intuitionism.Dirk Dalen - 1978 - Dialectica 32 (3‐4):291-303.
  5.  35
    Jacques Herbrand: Logical Writings.Dirk Van Dalen - 1974 - Journal of Philosophy 71 (15):544-549.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  16
    Arguments for the Continuity Principle.Mark Van Atten & Dirk Van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329 - 347.
  7.  46
    Mendelson Elliott. Introduction to Mathematical Logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1964, X + 300 Pp. Reprinted with Corrections, Ibid., January, 1966, X + 300 Pp. [REVIEW]Dirk van Dalen - 1969 - Journal of Symbolic Logic 34 (1):110-111.
  8.  26
    Variants of Rescher's Semantics for Preference Logic and Some Completeness Theorems.Dirk Dalen - 1974 - Studia Logica 33 (2):163 - 181.