직관주의 논리

  • 발행 : 1999.06.01

초록

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

키워드

참고문헌

  1. Distributive Lattices R. Balbes;Ph. Dwinger
  2. 수리철학 Stephen F. Barker;이종권(옮김)
  3. 수학사 H. Eves;이우영(옮김);신항균(옮김)
  4. 수학의 위대한 순간들 H. Eves;허민(옮김);오혜영(옮김)
  5. 논리철학 S. Haack;김효명(옮김)
  6. Studies in Logic and the foundations of Mathematics A. Heyting
  7. Stone Space P. T. Johnstone
  8. Historia Math. v.10 no.2 중세 이후의 서양 논리사 이승온;이석종