Intuitionistic Logic

  • Dirk van Dalen
Part of the Universitext book series (UTX)


In the preceding chapters, we have been guided by the following, seemingly harmless extrapolation from our experience with finite sets: infinite universes can be surveyed in their totality. In particular can we in a global manner determine whether A ⊨ ∃xϕ(x) holds, or not. To adapt Hermann Weyl’s phrasing: we are used to think of infinite sets not merely as defined by a property, but as a set whose elements are so to speak spread out in front of us, so that we can run through them just as an officer in the police office goes through his file. This view of the mathematical universe is an attractive but rather unrealistic idealisation.


Induction Hypothesis Propositional Logic Function Symbol Predicate Logic Intuitionistic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Dirk van Dalen
    • 1
  1. 1.Mathematical InstituteUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations