University of Isfahan Metaphysics 2476-3276 4 14 2013 02 19 Philosophical Foundations of Intuitionistic Logic Philosophical Foundations of Intuitionistic Logic 51 64 19184 FA L Nabavi Associate Professor, Tarbiat Modares University MA Hojati Associate Professor, Tarbiat Modares University H Alaeenezhad PhD candidate, Tarbiat Modares University 0000-0002-7003-7015 Journal Article 2016 06 14 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. 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. https://mph.ui.ac.ir/article_19184_a350f1d700b579c491d6104594fbaa5d.pdf