Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 15
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Friedman, Sy-David and Ternullo, Claudio 2016. Objectivity, Realism, and Proof.


    Incurvati, Luca 2016. Maximality Principles in Set Theory. Philosophia Mathematica, p. nkw011.


    INCURVATI, LUCA and LÖWE, BENEDIKT 2016. RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION. The Review of Symbolic Logic, Vol. 9, Issue. 02, p. 238.


    Barton, Neil 2015. Richness and Reflection. Philosophia Mathematica, p. nkv036.


    Brighouse, Carolyn 2014. Geometric possibility- an argument from dimension. European Journal for Philosophy of Science, Vol. 4, Issue. 1, p. 31.


    Clarke-Doane, Justin 2014. Moral Epistemology: The Mathematics Analogy. Noûs, Vol. 48, Issue. 2, p. 238.


    Donaldson, T. 2014. A Trivialist's Travails. Philosophia Mathematica, Vol. 22, Issue. 3, p. 380.


    van Bendegem, Jean Paul 2014. Inconsistency in mathematics and the mathematics of inconsistency. Synthese, Vol. 191, Issue. 13, p. 3063.


    Sargsyan, Grigor 2013. Descriptive inner model theory. Bulletin of Symbolic Logic, Vol. 19, Issue. 01, p. 1.


    Cerofolini, G. 2011. Adsorption/Desorption Equilibria and Kinetics at Reconstructible Surfaces. Adsorption Science & Technology, Vol. 29, Issue. 5, p. 425.


    Ferreirós, José 2011. On Arbitrary sets and ZFC. Bulletin of Symbolic Logic, Vol. 17, Issue. 03, p. 361.


    Corazza, Paul 2010. The Axiom of Infinity and Transformations j: V → V. Bulletin of Symbolic Logic, Vol. 16, Issue. 01, p. 37.


    Савельев, Денис Игоревич and Saveliev, Denis Igorevich 2008. Игра на универсуме множеств. Известия Российской академии наук. Серия математическая, Vol. 72, Issue. 3, p. 175.


    MOORE, MATTHEW E. 2006. NATURALIZING DISSENSION. Pacific Philosophical Quarterly, Vol. 87, Issue. 3, p. 325.


    Augenstein, Bruno W. 1996. Links between physics and set theory. Chaos, Solitons & Fractals, Vol. 7, Issue. 11, p. 1761.


    ×

Believing the axioms. II

  • Penelope Maddy (a1)
  • DOI: http://dx.doi.org/10.2307/2274569
  • Published online: 01 March 2014
Abstract

This is a continuation of Believing the axioms. I, in which nondemonstrative arguments for and against the axioms of ZFC, the continuum hypothesis, small large cardinals and measurable cardinals were discussed. I turn now to determinacy hypotheses and large large cardinals, and conclude with some philosophical remarks.

Determinacy is a property of sets of reals. If A is such a set, we imagine an infinite game G(A) between two players I and II. The players take turns choosing natural numbers. In the end, they have generated a real number r (actually a member of the Baire space ωω). If r is in A, I wins; otherwise, II wins. The set A is said to be determined if one player or the other has a winning strategy (that is, a function from finite sequences of natural numbers to natural numbers that guarantees the player a win if he uses it to decide his moves).

Determinacy is a “regularity” property (see Martin [1977, p. 807]), a property of well-behaved sets, that implies the more familiar regularity properties like Lebesgue measurability, the Baire property (see Mycielski [1964] and [1966], and Mycielski and Swierczkowski [1964]), and the perfect subset property (Davis [1964]). Infinitary games were first considered by the Polish descriptive set theorists Mazur and Banach in the mid-30s; Gale and Stewart [1953] introduced them into the literature, proving that open sets are determined and that the axiom of choice can be used to construct an undetermined set.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

J. W. Addison and Y. N. Moschovakis [1968] Some consequences of the axiom of definable determinateness, Proceedings of the National Academy of Sciences of the United States of America, vol. 59 (1968), pp. 708712.

J. Barwise , editor [1977] Handbook of mathematical logic, North-Holland, Amsterdam, 1977.

D. Blackwell [1967] Infinite games and analytic sets, Proceedings of the National Academy of Sciences of the United States of America, vol. 58 (1967), pp. 18361837.

J. E. Fenstad [1971] The axiom of determinateness, Proceedings of the second Scandinavian logic symposium (J. F. Fenstad , editor), North-Holland, Amsterdam, 1971, pp. 4161.

H. Field [1985] On conservativeness and incompleteness, Journal of Philosophy, vol. 82 (1985), pp. 239260.

A. Levy and R. M. Solovay [1967] Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol. 5 (1967), pp. 234248.

P. Maddy [1980] Perception and mathematical intuition, Philosophical Review vol. 89 (1980), pp. 163196.

D. A. Martin [1968] The axiom of determinateness and reduction principles in the analytic hierarchy, Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 687689.

D. A. Martin [1975] Borel determinacy, Annals of Mathematics, ser. 2, vol. 102 (1975), pp. 363371.

M. Resnik [1981] Mathematics and a science of patterns.: ontology and reference, Noûs, vol. 15 (1981), pp. 529550.

M. Resnik [1982] Mathematics as a science of patterns: epistemology, Noûs, vol. 16 (1982), pp. 95105.

S. Shapiro [1983] Mathematics and reality, Philosophy of Science, vol. 50 (1983), pp. 523548.

R. M. Solovay [1969] The cardinality of Σ21 sets, Foundations of Mathematics (J. J. Bulloff et al., editors), Symposium papers commemorating the sixtieth birthday of Kurt Gödel, Springer-Verlag, Berlin, 1969, pp. 5873.

R. M. Solovay , W. N. Reinhardt , and A. Kanamori [1978] Strong axioms of infinity and elementary embeddings, Annals of Mathematical Logic, vol. 13 (1978), pp. 73116.

M. Wilson [1979] Maxwell's condition—Goodman's problem, British Journal for the Philosophy of Science, vol. 30 (1979), pp. 107123.

P. Wolfe [1955] On the strict determinacy of certain infinite games, Pacific Journal of Mathematics, vol. 5 (1955), pp. 841847.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×