Location of Repository

This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world justification, condition justification, and redundancy justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show how various kinds of justification can be found and can be reasonable, and they fail to acknowledge the interplay among the different kinds of justification

Topics:
QA Mathematics

Publisher: Oxford University Press

Year: 2009

DOI identifier: 10.1093/philmat

OAI identifier:
oai:eprints.lse.ac.uk:31097

Provided by:
LSE Research Online

- (1958). A new metric invariant of transitive dynamical systems and automorphisms of Lebesgue spaces.
- (1982). An Introduction to Ergodic Theory.
- (1997). Assaying Lakatos’s philosophy of mathematics.
- (1970). Bernoulli-shifts with the same entropy are isomorphic.
- (2006). Compendium to the foundations of classical statistical physics.
- Complete transitivity and the ergodic principle.
- (1994). Creating Modern Probability.
- (1932). Dynamical systems of continuous spectra.
- (2000). Dynamical Systems, Ergodic theory and Applications.
- (1974). Elementary Classical Analysis.
- (1968). Ergodic Problems of Classical Mechanics.
- (1965). Ergodic Theory and Information.
- (1974). Ergodic theory and its signiﬁcance for statistical mechanics and probability theory.
- (1989). Ergodic theory, randomness and “chaos”.
- (1974). Ergodic Theory, Randomness, and Dynamical Systems.
- (1983). Ergodic Theory.
- (1998). Explaining Chaos.
- (1933). Grundbegriﬀe der Wahrscheinlichkeitsrechnung.
- (1989). Kolmogorov’s work on ergodic theory.
- (1998). Lakatos: an Introduction.
- (1956). Lectures on Ergodic Theory.
- Mathematical concepts and deﬁnitions.
- Mathematical concepts: fruitfulness and naturalness.
- (1949). Measurable transformations.
- (1950). Measure Theory.
- (1980). Measure Theory. Birkh¨ auser,
- (1972). Measure, Integration and Functional Analysis.
- (1960). New progress in the theory of transformations with invariant measure.
- (1954). Patterns of Plausible Inference. Volume II of Mathematics and Plausible Reasoning.
- (2002). Phenomenology and mathematical practice.
- (1999). Philosophy of Mathematics: an Introduction to the World of Proofs and Pictures.
- (1993). Physics and Chance: Philosophical Issues in the Foundations of Statistical Mechanics.
- (1963). Probabilistic ideas in ergodic theory.
- Proof of Gibbs’ hypothesis on the tendency toward statistical equilibrium.
- (1991). Randomness and probability in dynamical theories: on the proposals of the Prigogine school.
- (1961). Recent progress in ergodic theory.
- (2007). Retrieved from the World Wide Web on
- (2006). The ergodic hierarchy, randomness and Hamiltonian chaos.
- (1973). The isomorphism theorem for Bernoulli ﬂows.
- (1973). The Theory of Bernoulli-shifts.
- (2003). Towards a Philosophy of Real Mathematics.
- (1914). Uber das lineare Maß von Punktmengen—eine Verallgemeinerung des L¨ angenbegriﬀs.
- (2009). What are the new implications of chaos for unpredictability? The British Journal for the
- (2001). What is dialectical philosophy of mathematics?
- (2002). Writing the history of dynamical systems and chaos: Longue dur´ ee and revolution, disciplines and cultures.
- (1932). Zur Operatorenmethode in der klassischen Mechanik.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.