Philosophical Foundations of Intuitionistic Logic
Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics. Brouwer rejected the principle of the excluded middle on the basis of his philosophy. In his philosophical view, logic is...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | fas |
| Published: |
University of Isfahan
2013-03-01
|
| Series: | Metaphysik |
| Subjects: | |
| Online Access: | http://uijs.ui.ac.ir/mph/browse.php?a_code=A-10-1-51&slc_lang=en&sid=1 |