Philosophical Foundations of Intuitionistic Logic

• Main Authors: L Nabavi, MA Hojati, H Alaeenezhad
• Format: Article
• Language: fas
• Published: University of Isfahan 2013-03-01
• Series: Metaphysik
• Subjects: Brouwer; intuitionistic logic; intuitionism; Brouwer’s constructionism; law of excluded middle
• Online Access: http://uijs.ui.ac.ir/mph/browse.php?a_code=A-10-1-51&slc_lang=en&sid=1

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 the application of mathematics to the language of mathematics. In other words, logic studies the patterns that characterize valid inference. The resulting linguistic system of logic may be studied mathematically, even independently of the mathematical activities that it was originally abstracted from. In this paper, the philosophical basis of Brouwer’s view about Logic and Mathematics is explained.