Intuitionistic Logic 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 constru http://plato.stanford.edu/entries/logic-intuitionistic/ Stanford.edu~Site InfoWhoisTrace RouteRBL Check
Indispensability Arguments in the Philosophy of Mathematics From the fact that mathematics is indispensable to science, some philosophers have drawn serious metaphysical conclusions. In particular, Quine and Putnam have argued that the indispensability of mathematics to empirical science gives us good reason to http://plato.stanford.edu/entries/mathphil-indis/ Stanford.edu~Site InfoWhoisTrace RouteRBL Check
Constructive Mathematics Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase `there exists' as `we can construct'. In order to work constructively, we need to re-interpret not only the exi http://plato.stanford.edu/entries/mathematics-constructive/ Stanford.edu~Site InfoWhoisTrace RouteRBL Check
Inconsistent Mathematics Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (non-classical) logic which can tolerate the presence of a contradiction without turning every sent http://plato.stanford.edu/entries/mathematics-inconsistent/ Stanford.edu~Site InfoWhoisTrace RouteRBL Check
Nineteenth Century Geometry Philosophical-historical survey of the development of geometry in the 19th century. From the Stanford Encyclopedia, by Roberto Toretti. http://plato.stanford.edu/entries/geometry-19th/ Stanford.edu~Site InfoWhoisTrace RouteRBL Check
Paul Ernest's Page Based at School of Education, University of Exeter, United Kingdom, includes the text of back issues of the Philosophy of Mathematics Education Journal, and other papers on the philosophy of mathematics and related subjects. http://www.ex.ac.uk/~PErnest/ Ex.ac.uk~Site InfoWhoisTrace RouteRBL Check
