Believing the Axioms II

  title={Believing the Axioms II},
  author={Penelope Maddy},
  journal={J. Symb. Log.},
  • P. Maddy
  • Published 1988
  • Computer Science
  • J. Symb. Log.

Topics from this paper

The Axiom of Infinity and transformations j: V -> V
  • P. Corazza
  • Mathematics, Computer Science
  • Bull. Symb. Log.
  • 2010
A new approach for addressing the problem of establishing an axiomatic foundation for large cardinals is suggested, using Lawvere's transformation, rather than ω, as a starting point for a reasonably natural sequence of strengthenings and refinements, leading to a proposed strong Axiom of Infinity. Expand
Large Cardinals and Determinacy
The developments of set theory in 1960’s led to an era of independence in which many of the central questions were shown to be unresolvable on the basis of the standard system of mathematics, ZFC.Expand
Executing Gödel’s programme in set theory
The study of set theory (a mathematical theory of infinite collections) has garnered a great deal of philosophical interest since its development. There are several reasons for this, not leastExpand
The Role of Axioms in Mathematics
To answer the question of whether mathematics needs new axioms, it seems necessary to say what role axioms actually play in mathematics. A first guess is that they are inherently obvious statementsExpand
On the Hierarchy of Natural Theories
It is a well-known empirical phenomenon that natural axiomatic theories are pre-well-ordered by consistency strength. Without a precise mathematical definition of “natural,” it is unclear how toExpand
Gödel's program for new axioms: why, where, how and what?
Summary. From 1931 until late in his life (at least 1970) Godel called for the pursuit of new axioms for mathematics to settle both undecided number-theoretical propositions (of the form obtained inExpand
Fragmentation at the Foundation
The standard axiomatization of set theory known as ZFC provides maybe the most widely accepted foundation for mathematics. But there are natural mathematical statements, such as Cantor’s continuumExpand
V = L and Intuitive Plausibility in set Theory. A Case Study
A view of intuitiveness in set theory that assumes it to hinge basically on mathematical success is formulated, and accounts of set theoretic axioms and theorems formulated in non-strictly mathematical terms are presented. Expand
A Formal Apology for Metaphysics
  • Sam Baron
  • Ergo, an Open Access Journal of Philosophy
  • 2019
There is an oldmeta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some formExpand
We prove that the satisfaction relation N |= ϕ(~) of first-order logic is not absolute between models of set theory having the structure N and the formulas ϕ all in common. Two models of set theoryExpand


The axiom of determinateness
Publisher Summary This chapter presents axiom of determinateness and discusses certain infinite games with perfect information. It is a mathematically interesting problem to decide which games areExpand
Strong axioms of infinity and elementary embeddings
This is the expository paper on strong axioms of infinity and elementary embeddings origi;,ally to have been authored by Reinhardt and Solovay. It has been owed for some time and already cited withExpand
Measurable cardinals and the continuum hypothesis
Let ZFM be the set theory ZF together with an axiom which asserts the existence of a measurable cardinal. It is shown that if ZFM is consistent then ZFM is consistent with every sentence φ whoseExpand
Maxwell's Condition—Goodman's Problem
  • Mark A. Wilson
  • Mathematics
  • The British Journal for the Philosophy of Science
  • 1979
1 In his [1965] and elsewhere (for example, his [1972]), Nelson Goodman proposed some troubling examples which raise fundamental questions about our inductive practices. Let us define the predicateExpand
Annals of Mathematics
ing from the embeddability relation between order types, define a quasi-order to be a reflexive, transitive relation. Throughout this paper, the letters Q and R will range over quasi-ordered sets andExpand
Proceedings of the International Congress of Mathematicians
ALGEBRAIC VARIETIES By ALEXANDER GROTHENDIEGK It is less than four years since eohomologieal methods (i.e. methods of Homologieal Algebra) were introduced into Algebraic Geometry in Serre'sExpand
New Directions in the Philosophy of Mathematics
  • P. Maddy
  • Mathematics
  • PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association
  • 1984
Mathematical axioms have traditionally been thought of as obvious or self-evident truths, but current set theoretic work in the search for new axioms belies this conception. This raisesExpand
Some consequences of the axiom of definable determinateness.
  • J. Addison, Y. Moschovakis
  • Mathematics, Medicine
  • Proceedings of the National Academy of Sciences of the United States of America
  • 1968
Contributions to the theory of games
The description for this book, Contributions to the Theory of Games (AM-40), Volume IV, will be forthcoming.
BAI] Believing the axioms. I , this JOURNAL
  • BAI] Believing the axioms. I , this JOURNAL
  • 1988