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...

Full description

Bibliographic Details
Main Authors: L Nabavi, MA Hojati, H Alaeenezhad
Format: Article
Language:fas
Published: University of Isfahan 2013-02-01
Series:Metaphysik
Subjects:
Online Access:http://mph.ui.ac.ir/article_19184_a350f1d700b579c491d6104594fbaa5d.pdf