Mathematics (Philosophy of Science)

Mathematics further on these related pages:

Bolzano, Bernard@ Brown, George Spencer Conferences Journals

Journals Lakatos, Imre@ Russell, Bertrand@ Whitehead, Alfred North@

Top/Science/Math/Geometry/Non-Euclidean Top/Science/Math/History Top/Science/Math/Logic and Foundations Top/Society/Philosophy/Philosophy of Logic

Mathematics Sites:

Paul Ernest's Page 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. (Mathematics) http://www.ex.ac.uk/~PErnest/ PHILTAR - Philosophy of Mathematics PHILTAR - Philosophy of Mathematics: Links to pages on individual philosophers. (Mathematics) http://philtar.ucsm.ac.uk/philosophy_of_mathematics/individual_philosophers/ Indispensability Arguments in the Philosophy of Mathematics 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 b (Mathematics) http://plato.stanford.edu/entries/mathphil-indis/ Social Constructivism as a Philosophy of Mathematics Social Constructivism as a Philosophy of Mathematics: Article by Paul Ernest. (Mathematics) http://www.ex.ac.uk/~PErnest/soccon.htm On Gödel's Philosophy of Mathematics On Gödel's Philosophy of Mathematics: A paper by Harold Ravitch, Los Angeles Valley College. (Mathematics) http://www.friesian.com/goedel/ Inconsistent Mathematics 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 sente (Mathematics) http://plato.stanford.edu/entries/mathematics-inconsistent/ Foundations: Philosophy of Mathematics Foundations: Philosophy of Mathematics: A study guide on the Philosophy of Mathematics provided by The Objectivist Center, including a study guide on the subject. (Mathematics) http://ios.org/articles/foundations_phil-of-mathematics.asp Structuralism, Category Theory and Philosophy of Mathematics Structuralism, Category Theory and Philosophy of Mathematics: By Richard Stefanik (Washington: MSG Press,1994). (Mathematics) http://www.mmsysgrp.com/strctcat.htm Nineteenth Century Geometry Nineteenth Century Geometry: Philosophical-historical survey of the development of geometry in the 19th century. From the Stanford Encyclopedia, by Roberto Toretti. (Mathematics) http://plato.stanford.edu/entries/geometry-19th/ Mathematical Structures Group Mathematical Structures Group: Research topics include mathematical models and theories in the empirical sciences, models and theories in mathematics, category theory, and the use of mathematical structures in theoretical computer science. Bibliographic data. (Mathematics) http://www.mmsysgrp.com/mathstrc.htm The Logical and Metaphysical Foundations of Classical Mathematics The Logical and Metaphysical Foundations of Classical Mathematics: Arché Research Project at the University of St Andrews. Description of the project, sponsors, researchers and publications. (Mathematics) http://www.st-andrews.ac.uk/academic/philosophy/arche/math.shtml Philosophy of Mathematics Class Notes Philosophy of Mathematics Class Notes: Notes to a class by Carl Posy at Duke University, Fall 1992. (Mathematics) http://www.cs.washington.edu/homes/gjb/doc/philmath.htm Constructive Mathematics 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 exis (Mathematics) http://plato.stanford.edu/entries/mathematics-constructive/ Hilbert's Program Hilbert's Program: 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. (Mathematics) http://plato.stanford.edu/entries/hilbert-program/ Holistic Math Holistic Math: An enlarged paradigm of mathematical reality that includes psychology as an integral component. (Mathematics) http://www.iol.ie/~peter/ The Philosophy of Mathematics The Philosophy of Mathematics: Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics. (Mathematics) http://www.rbjones.com/rbjpub/philos/maths/ Intuitionistic Logic 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 construc (Mathematics) http://plato.stanford.edu/entries/logic-intuitionistic/ Canadian Society for History and Philosophy of Mathematics Canadian Society for History and Philosophy of Mathematics: Bulletin, members' pages, meetings. (Mathematics) http://home.adelphi.edu/~cshpm/ 19th Century Logic between Philosophy and Mathematics 19th Century Logic between Philosophy and Mathematics: Online article by Volker Peckhaus. (Mathematics) http://www.meta-religion.com/Mathematics/Philosophy_of_mathematics/19_century_logic.htm