Dirk van Dalen (vandalen)

Contributi a Philosophie.ch

Bibliography

van Atten, Mark and van Dalen, Dirk. 2002. “Arguments for the Continuity Principle.” The Bulletin of Symbolic Logic 8(3): 329–348.
Boffa, Maurice, van Dalen, Dirk and McAloon, Kenneth, eds. 1979. Logic Colloquium ’78. Studies in Logic and the Foundations of Mathematics n. 97. Amsterdam: North-Holland Publishing Co.
van Dalen, Dirk. 1977. “The Use of Kripke’s Schema as a Reduction Principle.” The Journal of Symbolic Logic 42: 238–240.
van Dalen, Dirk. 1978. “Brouwer: The Genesis of his Intuitionism.” Dialectica 32(3–4): 291–304.
van Dalen, Dirk. 1981. Brouwer’s Cambridge Lectures on Intuitionism. Cambridge: Cambridge University Press.
van Dalen, Dirk. 1983. “Algorithms and Decision Problems: A Crash Course in Decision Theory.” in Handbook of Philosophical Logic, Volume I: Elements of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 409–478. Synthese Library n. 164. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as van Dalen (2001a).
van Dalen, Dirk. 1986. “Intuitionistic Logic.” in Handbook of Philosophical Logic, Volume III: Alternatives to Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 225–339. Synthese Library n. 166. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as van Dalen (2002).
van Dalen, Dirk. 1992. “The Continuum and First Order Intuitionistic Logic.” The Journal of Symbolic Logic 57: 1417–1424.
van Dalen, Dirk. 1995. “Why Constructive Mathematics?” in The Foundational Debate. Complexity and Constructivity in Mathematics and Physics, edited by Werner Depauli-Schimanovich, Eckehart Köhler, and Friedrich Stadler, pp. 141–158. Vienna Circle Institute Yearbook n. 3. Dordrecht: Kluwer Academic Publishers.
van Dalen, Dirk. 1997. “How Connected is the Intuitionistic Continuum?” The Journal of Symbolic Logic 62(4): 1147–1150.
van Dalen, Dirk. 1998. “From a Brouwerian Point of View.” Philosophia Mathematica 6(2): 209–226.
van Dalen, Dirk. 1999. “The Intuitionistic Conception of Logic.” in The Nature of Logic, edited by Achille C. Varzi. European Review of Philosophy n. 4. Stanford, California: CSLI Publications.
van Dalen, Dirk. 2000a. “Brouwer and Fraenkel on Intuitionism.” The Bulletin of Symbolic Logic 6(3): 284–310.
van Dalen, Dirk. 2000b. “The Development of Brouwer’s Intuitionism.” in Proof Theory: History and Philosophical Significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, pp. 117–152. Synthese Library n. 292. Dordrecht: Kluwer Academic Publishers.
van Dalen, Dirk. 2001a. “Algorithms and Decision Problems: A Crash Course in Decision Theory.” in Handbook of Philosophical Logic, Volume I, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 245–311. Dordrecht: Springer. First publication as van Dalen (1983).
van Dalen, Dirk. 2001b. “Intuitionistic Logic.” in The Blackwell Guide to Philosophical Logic, edited by Lou F. Goble, pp. 224–257. Blackwell Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
van Dalen, Dirk. 2002. “Intuitionistic Logic.” in Handbook of Philosophical Logic, Volume V, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–114. Dordrecht: Springer. First publication as van Dalen (1986).
van Dalen, Dirk. 2005. “Intuitionism and Intuitionistic Logic.” in The Encyclopedia of Philosophy, edited by Donald M. Borchert, 2nd ed. Basingstoke, Hampshire: Palgrave Macmillan.
van Dalen, Dirk. 2008. Logic and Structure. 4th ed. New York: Springer.
van Dalen, Dirk and van Atten, Mark. 2002. “Intuitionism.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 513–530. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
van Dalen, Dirk and Ebbinghaus, Hans Dieter. 2000. “Zermelo and the Skolem Paradox.” The Bulletin of Symbolic Logic 6(2): 145–161.
van Dalen, Dirk, Lascar, Daniel and Smiley, Timothy J., eds. 1982. Logic Colloquium ’80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic. Studies in Logic and the Foundations of Mathematics n. 108. Amsterdam: North-Holland Publishing Co.
van Dalen, Dirk and Lodder, J. S. 1982. “Lawlessness and Independence.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 297–309. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
van Dalen, Dirk and Statman, Richard. 1979. “Equality in the Presence of Apartness.” in, pp. 95–118.
van Dalen, Dirk and Troelstra, Anne Sjerp. 1970. “Projection of Lawless Sequences.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 163–186. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Lascar, Daniel, van Dalen, Dirk and Smiley, Timothy J., eds. 1982. Logic Colloquium ’80. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp and van Dalen, Dirk, eds. 1982. The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Troelstra, Anne Sjerp and van Dalen, Dirk. 1988. Constructivism in Mathematics. An Introduction. Volume I. Studies in Logic and the Foundations of Mathematics n. 121. Amsterdam: North-Holland Publishing Co.