{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T17:25:18Z","timestamp":1774977918748,"version":"3.50.1"},"reference-count":41,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":4793,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[2000,12]]},"abstract":"<jats:p><jats:italic>Does mathematics need new axioms?<\/jats:italic>was the second of three plenary panel discussions held at the ASL annual meeting, ASL 2000, in Urbana-Champaign, in June, 2000. Each panelist in turn presented brief opening remarks, followed by a second round for responding to what the others had said; the session concluded with a lively discussion from the floor. The four articles collected here represent reworked and expanded versions of the first two parts of those proceedings, presented in the same order as the speakers appeared at the original panel discussion: Solomon Feferman (pp. 401\u2013413), Penelope Maddy (pp. 413\u2013422), John Steel (pp. 422\u2013433), and Harvey Friedman (pp. 434\u2013446). The work of each author is printed separately, with separate references, but the portions consisting of comments on and replies to others are clearly marked.<\/jats:p>","DOI":"10.2307\/420965","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:14:54Z","timestamp":1146986094000},"page":"401-446","source":"Crossref","is-referenced-by-count":72,"title":["Does Mathematics Need New Axioms?"],"prefix":"10.1017","volume":"6","author":[{"given":"Solomon","family":"Feferman","sequence":"first","affiliation":[]},{"given":"Harvey M.","family":"Friedman","sequence":"additional","affiliation":[]},{"given":"Penelope","family":"Maddy","sequence":"additional","affiliation":[]},{"given":"John R.","family":"Steel","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600006132_ref039","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(81)90021-9"},{"key":"S1079898600006132_ref012","volume-title":"Realism in mathematics","author":"Maddy","year":"1990"},{"key":"S1079898600006132_ref002","first-page":"3","article-title":"G\u00f6odel's program for new axioms: Why, where, how and what?","volume":"6","author":"Feferman","year":"1996","journal-title":"G\u00f6odel '96"},{"key":"S1079898600006132_ref007","doi-asserted-by":"publisher","DOI":"10.2307\/2304666"},{"key":"S1079898600006132_ref034","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1989-0955605-X"},{"key":"S1079898600006132_ref008","volume-title":"Collected Works, Vol. III., Unpublished essays and lectures","author":"G\u00f6del","year":"1995"},{"key":"S1079898600006132_ref041","unstructured":"Friedman H. , 90: Two universes, Individual FOM Postings, http:\/\/www.math.psu.edu\/simpson\/fom\/, 06 1, 2000."},{"key":"S1079898600006132_ref033","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1093\/oso\/9780198514763.003.0012","volume-title":"Truth in mathematics","author":"Martin","year":"1998"},{"key":"S1079898600006132_ref040","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/065\/891251"},{"key":"S1079898600006132_ref005","doi-asserted-by":"publisher","DOI":"10.2307\/121032"},{"key":"S1079898600006132_ref035","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1994-1224594-7"},{"key":"S1079898600006132_ref027","volume-title":"Philosophical Perspectives 15, Metaphysics 2001","author":"Maddy"},{"key":"S1079898600006132_ref029","doi-asserted-by":"publisher","DOI":"10.2307\/2304666"},{"key":"S1079898600006132_ref036","doi-asserted-by":"publisher","DOI":"10.1007\/BF02801471"},{"key":"S1079898600006132_ref020","unstructured":"Ye F. , Strict constructivism and the philosophy of mathematics, Ph. D. Dissertation , Princeton University, 1999."},{"key":"S1079898600006132_ref026","volume-title":"New essays on the a priori","author":"Maddy"},{"key":"S1079898600006132_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF01278464"},{"key":"S1079898600006132_ref025","volume-title":"Topoi","author":"Maddy"},{"key":"S1079898600006132_ref028","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9478-5"},{"key":"S1079898600006132_ref032","volume-title":"Naturalism in mathematics","author":"Maddy","year":"1997"},{"key":"S1079898600006132_ref010","unstructured":"J\u00e4ger G. and Studer T. , Extending the system T0 of explicit mathematics: the limit and Mahlo axioms, to appear."},{"key":"S1079898600006132_ref003","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195080308.001.0001","volume-title":"In the light of logic","author":"Feferman","year":"1998"},{"key":"S1079898600006132_ref030","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195080308.001.0001","volume-title":"In the light of logic","author":"Feferman","year":"1998"},{"key":"S1079898600006132_ref013","volume-title":"Naturalism in mathematics","author":"Maddy","year":"1997"},{"key":"S1079898600006132_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80019-0"},{"key":"S1079898600006132_ref023","first-page":"254","volume-title":"Collected works, volume II","author":"G\u00f6del","year":"1990"},{"key":"S1079898600006132_ref038","volume-title":"Mathematics into the twenty-first century","volume":"II","author":"Browder","year":"1992"},{"key":"S1079898600006132_ref037","volume-title":"Mathematics: Frontiers and perspectives","author":"Arnold","year":"2000"},{"key":"S1079898600006132_ref011","volume-title":"The higher infinite","author":"Kanamori","year":"1994"},{"key":"S1079898600006132_ref018","doi-asserted-by":"publisher","DOI":"10.2307\/421132"},{"key":"S1079898600006132_ref014","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/028.1\/0434826"},{"key":"S1079898600006132_ref024","volume-title":"Naturalism in mathematics","author":"Maddy","year":"1997"},{"key":"S1079898600006132_ref015","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-1989-0955605-X"},{"key":"S1079898600006132_ref001","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0059534","volume-title":"Conference in mathematical logic \u2014 London '70","volume":"255","author":"Aczel","year":"1972"},{"key":"S1079898600006132_ref022","doi-asserted-by":"publisher","DOI":"10.2307\/2589047"},{"key":"S1079898600006132_ref019","volume-title":"Subsystems of second order arithmetic","author":"Simpson","year":"1998"},{"key":"S1079898600006132_ref004","doi-asserted-by":"publisher","DOI":"10.2307\/2589047"},{"key":"S1079898600006132_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01700692"},{"key":"S1079898600006132_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71130-3"},{"key":"S1079898600006132_ref021","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195080308.001.0001","volume-title":"In the light of logic","author":"Feferman","year":"1998"},{"key":"S1079898600006132_ref031","first-page":"1","volume-title":"Annals of Mathematics","volume":"127","author":"Foreman","year":"1988"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600006132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:36:44Z","timestamp":1707032204000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600006132\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["S1079898600006132"],"URL":"https:\/\/doi.org\/10.2307\/420965","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}