Previous
Intuitionistic Logic
URL: http://plato.stanford.edu/entries/logic-intuitionistic/
Submitted: Sat Sep 06 2003
Rating: 0.00
Votes: 0
CT: Philosophy: Philosophy of Science: Mathematics: Intuitionistic Logic
Detailed Traffic Statistic From Alexa
Description:
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 basis of constructive mathematics. From the Stanford Encyclopedia.