Chapter 32. Intuitionism

  1. Dale Jacquette
  1. Dirk van Dalen and
  2. Mark van Atten

Published Online: 26 NOV 2007

DOI: 10.1002/9780470996751.ch33

A Companion to Philosophical Logic

A Companion to Philosophical Logic

How to Cite

van Dalen, D. and van Atten, M. (2006) Intuitionism, in A Companion to Philosophical Logic (ed D. Jacquette), Blackwell Publishing Ltd, Oxford, UK. doi: 10.1002/9780470996751.ch33

Publication History

  1. Published Online: 26 NOV 2007
  2. Published Print: 1 JAN 2006

ISBN Information

Print ISBN: 9780631216711

Online ISBN: 9780470996751

SEARCH

Keywords:

  • intuitionism;
  • proof interpretation;
  • mathematical truth;
  • choice sequences;
  • uniform continuity theorem

Summary

This chapter contains sections titled:

  • Logic: The Proof Interpretation

  • Analysis: Choice Sequences

  • Further Semantics