Intuitionistic Logic

[Revised entry by Joan Moschovakis on May 23, 2014. Changes to: Main text, Bibliography] Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in
Philosophy News image
[Revised entry by Joan Moschovakis on May 23, 2014. Changes to: Main text, Bibliography] Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics, beginning in [1907]. Because these principles also underly Russian recursive analysis and the constructive analysis of E. Bishop and his followers, intuitionistic logic may be considered the logical...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus