{"id":"https://openalex.org/W3080370395","doi":"https://doi.org/10.1017/s1755020320000349","title":"THE POTENTIAL IN FREGE\u2019S THEOREM","display_name":"THE POTENTIAL IN FREGE\u2019S THEOREM","publication_year":2020,"publication_date":"2020-08-25","ids":{"openalex":"https://openalex.org/W3080370395","doi":"https://doi.org/10.1017/s1755020320000349","mag":"3080370395"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020320000349","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020320000349","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2101.04598","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001922390","display_name":"Will Stafford","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"WILL STAFFORD","raw_affiliation_strings":["DEPARTMENT OF LOGIC AND PHILOSOPHY OF SCIENCE UNIVERSITY OF CALIFORNIA, IRVINE IRVINE, 92617 CA, USA E-mail:"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF LOGIC AND PHILOSOPHY OF SCIENCE UNIVERSITY OF CALIFORNIA, IRVINE IRVINE, 92617 CA, USA E-mail:","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5001922390"],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12258812,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"2","first_page":"553","last_page":"577"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11137","display_name":"Historical Philosophy and Science","score":0.9854999780654907,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11463","display_name":"Classical Philosophy and Thought","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.9606152772903442},{"id":"https://openalex.org/keywords/infinity","display_name":"Infinity","score":0.7713342308998108},{"id":"https://openalex.org/keywords/metaphysics","display_name":"Metaphysics","score":0.7160359621047974},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.615719199180603},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5987246632575989},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5345385074615479},{"id":"https://openalex.org/keywords/peano-existence-theorem","display_name":"Peano existence theorem","score":0.42139625549316406},{"id":"https://openalex.org/keywords/second-order-arithmetic","display_name":"Second-order arithmetic","score":0.4147689938545227},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.37031346559524536},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.34430843591690063},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33629658818244934},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.28854599595069885},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2698271870613098},{"id":"https://openalex.org/keywords/danskins-theorem","display_name":"Danskin's theorem","score":0.09426915645599365},{"id":"https://openalex.org/keywords/picard\u2013lindel\u00f6f-theorem","display_name":"Picard\u2013Lindel\u00f6f theorem","score":0.09402531385421753},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.08046746253967285},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07745599746704102}],"concepts":[{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.9606152772903442},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.7713342308998108},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.7160359621047974},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.615719199180603},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5987246632575989},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5345385074615479},{"id":"https://openalex.org/C45053136","wikidata":"https://www.wikidata.org/wiki/Q740093","display_name":"Peano existence theorem","level":5,"score":0.42139625549316406},{"id":"https://openalex.org/C65148605","wikidata":"https://www.wikidata.org/wiki/Q7442973","display_name":"Second-order arithmetic","level":3,"score":0.4147689938545227},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37031346559524536},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.34430843591690063},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33629658818244934},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28854599595069885},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2698271870613098},{"id":"https://openalex.org/C48540410","wikidata":"https://www.wikidata.org/wiki/Q5221089","display_name":"Danskin's theorem","level":4,"score":0.09426915645599365},{"id":"https://openalex.org/C206929604","wikidata":"https://www.wikidata.org/wiki/Q530152","display_name":"Picard\u2013Lindel\u00f6f theorem","level":3,"score":0.09402531385421753},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.08046746253967285},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07745599746704102},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s1755020320000349","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020320000349","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/08d19c16-3e32-4f05-857d-5e14ecfddf3f","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/08d19c16-3e32-4f05-857d-5e14ecfddf3f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Stafford, W 2020, 'THE POTENTIAL IN FREGE\u2019S THEOREM', Review of Symbolic Logic. https://doi.org/10.1017/s1755020320000349","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:2101.04598","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.04598","pdf_url":"https://arxiv.org/pdf/2101.04598","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:philarchive.org/rec/STATPI-10","is_oa":true,"landing_page_url":"https://philarchive.org/rec/STATPI-10","pdf_url":"https://philpapers.org/archive/STATPI-10.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/STATPI-10","is_oa":false,"landing_page_url":"https://philpapers.org/rec/STATPI-10","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2101.04598","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2101.04598","pdf_url":"https://arxiv.org/pdf/2101.04598","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W181022646","https://openalex.org/W633045599","https://openalex.org/W1026721552","https://openalex.org/W1526348167","https://openalex.org/W1547557736","https://openalex.org/W1556453281","https://openalex.org/W1572451808","https://openalex.org/W1635500153","https://openalex.org/W1974988721","https://openalex.org/W1987588118","https://openalex.org/W2007916369","https://openalex.org/W2022347315","https://openalex.org/W2055783586","https://openalex.org/W2110271525","https://openalex.org/W2164441012","https://openalex.org/W2296873109","https://openalex.org/W2320236514","https://openalex.org/W2434000794","https://openalex.org/W2483494328","https://openalex.org/W2587843669","https://openalex.org/W2743299449","https://openalex.org/W2794786258","https://openalex.org/W2962936195","https://openalex.org/W3144291924","https://openalex.org/W4229690001","https://openalex.org/W4230817348","https://openalex.org/W4233906803","https://openalex.org/W4234966326","https://openalex.org/W4237101195","https://openalex.org/W4237609772","https://openalex.org/W4240856143","https://openalex.org/W4243686683","https://openalex.org/W4251667945","https://openalex.org/W4302584439"],"related_works":["https://openalex.org/W4255069280","https://openalex.org/W1543500847","https://openalex.org/W2951195380","https://openalex.org/W1699607841","https://openalex.org/W87599178","https://openalex.org/W2017398442","https://openalex.org/W2106260240","https://openalex.org/W171744056","https://openalex.org/W11691006","https://openalex.org/W1577881803"],"abstract_inverted_index":{"Abstract":[0],"Is":[1],"a":[2,10,42,47,53],"logicist":[3,102],"bound":[4],"to":[5,35,41,64,103],"the":[6,29,32,78,81,101,105,117],"claim":[7,108],"that":[8,76,97],"as":[9],"matter":[11],"of":[12,20,67,80,109],"analytic":[13,26],"truth":[14],"there":[15],"is":[16,25],"an":[17],"actual":[18,111],"infinity":[19,55],"objects?":[21],"If":[22],"Hume\u2019s":[23],"Principle":[24],"then":[27],"in":[28,50,77,98],"standard":[30],"setting":[31,79],"answer":[33],"appears":[34],"be":[36],"yes.":[37],"Hodes\u2019s":[38],"work":[39],"pointed":[40],"way":[43],"out":[44],"by":[45],"offering":[46],"modal":[48],"picture":[49],"which":[51],"only":[52],"potential":[54,82],"was":[56,61],"posited.":[57],"However,":[58],"this":[59,72],"project":[60],"abandoned":[62],"due":[63],"apparent":[65],"failures":[66],"cross-world":[68],"predication.":[69],"We":[70,95],"re-explore":[71],"idea":[73],"and":[74],"discover":[75],"infinite":[83],"one":[84],"can":[85],"interpret":[86],"first-order":[87],"Peano":[88,93],"arithmetic,":[89],"but":[90],"not":[91],"second-order":[92],"arithmetic.":[94],"conclude":[96],"order":[99],"for":[100],"weaken":[104,116],"metaphysically":[106],"loaded":[107],"necessary":[110],"infinities,":[112],"they":[113,119],"must":[114],"also":[115],"mathematics":[118],"recover.":[120]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2021-01-18T00:00:00"}