 |
19th Century Logic between Philosophy and Mathematics -
Online article by Volker Peckhaus.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Canadian Society for History and Philosophy of Mathematics -
Bulletin, members' pages, meetings.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
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 existential quantifier but all the logical connectives and quantifiers as instructions on how to construct a proof of the statement involving these logical expressions. From the Stanford Encyclopedia.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Foundations: Philosophy of Mathematics - http://ios.org/articles/foundations_phil-of-mathematics.asp
A study guide on the Philosophy of Mathematics provided by The Objectivist Center, including a study guide on the subject.
Status Code: 302 - Location: /showcontent.aspx?ct=46&h=44 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Hilbert's Program - http://ios.org/articles/foundations_phil-of-mathematics.asp
In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia, by Richard Zach.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Holistic Math - http://ios.org/articles/foundations_phil-of-mathematics.asp
An enlarged paradigm of mathematical reality that includes psychology as an integral component.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Inconsistent Mathematics - http://ios.org/articles/foundations_phil-of-mathematics.asp
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 sentence into a theorem. By Chris Mortensen, from the Stanford Encyclopedia.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Indispensability Arguments in the Philosophy of Mathematics - http://ios.org/articles/foundations_phil-of-mathematics.asp
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 believe in the existence of mathematical entities. From the Stanford Encyclopedia.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Intuitionistic Logic - http://ios.org/articles/foundations_phil-of-mathematics.asp
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 constructive analysis of E. Bishop and his followers, intuitionistic logic may be considered the logical basis of constructive mathematics. From the Stanford Encyclopedia.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Nineteenth Century Geometry - http://ios.org/articles/foundations_phil-of-mathematics.asp
Philosophical-historical survey of the development of geometry in the 19th century. From the Stanford Encyclopedia, by Roberto Toretti.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
On Gödel's Philosophy of Mathematics - http://www.friesian.com/goedel/
A paper by Harold Ravitch, Los Angeles Valley College.
Status Code: 200 - Location: http://www.friesian.com/goedel/index.html Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Paul Ernest's Page - http://www.ex.ac.uk/~PErnest/
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.
Status Code: 302 - Location: http://www.exeter.ac.uk/~PErnest/ Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Philosophy of Mathematics Class Notes - http://www.ex.ac.uk/~PErnest/
Notes to a class by Carl Posy at Duke University, Fall 1992.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
PHILTAR - Philosophy of Mathematics - http://www.ex.ac.uk/~PErnest/
Links to pages on individual philosophers.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
Social Constructivism as a Philosophy of Mathematics - http://www.ex.ac.uk/~PErnest/soccon.htm
Article by Paul Ernest.
Status Code: 302 - Location: http://www.exeter.ac.uk/~PErnest/soccon.htm Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
The Logical and Metaphysical Foundations of Classical Mathematics - http://www.ex.ac.uk/~PErnest/soccon.htm
Arché Research Project at the University of St Andrews. Description of the project, sponsors, researchers and publications.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
The Philosophical Implications of Mathematics - http://www.ex.ac.uk/~PErnest/soccon.htm
This weblog examines what we can learn about our humanness from the act of doing mathematics.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
 |
The Philosophy of Mathematics - http://www.ex.ac.uk/~PErnest/soccon.htm
Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics.
Status Code: 200 Edit listing [dmoz.org] - Report dead link [dmoz.org] - Edit Category [dmoz.org] |
