{"id":"https://openalex.org/W3173105602","doi":"https://doi.org/10.1007/s00153-021-00782-7","title":"Formalism and Hilbert\u2019s understanding of consistency problems","display_name":"Formalism and Hilbert\u2019s understanding of consistency problems","publication_year":2021,"publication_date":"2021-06-15","ids":{"openalex":"https://openalex.org/W3173105602","doi":"https://doi.org/10.1007/s00153-021-00782-7","mag":"3173105602"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-021-00782-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-021-00782-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00782-7.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00782-7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040117631","display_name":"Michael Detlefsen","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Detlefsen","raw_affiliation_strings":["University of Notre Dame, Notre Dame, USA"],"affiliations":[{"raw_affiliation_string":"University of Notre Dame, Notre Dame, USA","institution_ids":["https://openalex.org/I107639228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040117631"],"corresponding_institution_ids":["https://openalex.org/I107639228"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.08742744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"60","issue":"5","first_page":"529","last_page":"546"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9977999925613403,"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.9977999925613403,"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/T10778","display_name":"Philosophy and History of Science","score":0.9957000017166138,"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/T12170","display_name":"History and Theory of Mathematics","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6722573041915894},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5622786283493042},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5313299894332886},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.39274391531944275},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39013972878456116},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3465108573436737},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2579987049102783},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14885213971138},{"id":"https://openalex.org/keywords/literature","display_name":"Literature","score":0.07543358206748962}],"concepts":[{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6722573041915894},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5622786283493042},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5313299894332886},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.39274391531944275},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39013972878456116},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3465108573436737},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2579987049102783},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14885213971138},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.07543358206748962},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00153-021-00782-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-021-00782-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00782-7.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00153-021-00782-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00153-021-00782-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00153-021-00782-7.pdf","source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3173105602.pdf","grobid_xml":"https://content.openalex.org/works/W3173105602.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W153298345","https://openalex.org/W406819860","https://openalex.org/W583460145","https://openalex.org/W625960733","https://openalex.org/W1484101393","https://openalex.org/W1562318894","https://openalex.org/W1564219040","https://openalex.org/W1599845971","https://openalex.org/W1607953571","https://openalex.org/W1975387716","https://openalex.org/W1978958529","https://openalex.org/W1980050860","https://openalex.org/W1984214597","https://openalex.org/W1991697528","https://openalex.org/W2020153219","https://openalex.org/W2021676177","https://openalex.org/W2026745357","https://openalex.org/W2060878518","https://openalex.org/W2073262011","https://openalex.org/W2088526600","https://openalex.org/W2330723555","https://openalex.org/W2345563045","https://openalex.org/W2598417590","https://openalex.org/W2747971893","https://openalex.org/W2754788927","https://openalex.org/W4210888696","https://openalex.org/W4229707482","https://openalex.org/W4240897641","https://openalex.org/W4241950961","https://openalex.org/W4252147174","https://openalex.org/W4255626469","https://openalex.org/W4256121583","https://openalex.org/W4302041990"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W2081441417","https://openalex.org/W4240676090","https://openalex.org/W1970375080","https://openalex.org/W4386544785","https://openalex.org/W16157476","https://openalex.org/W1555836633","https://openalex.org/W1522717445","https://openalex.org/W2116374711","https://openalex.org/W1974016467"],"abstract_inverted_index":{"Abstract":[0],"Formalism":[1],"in":[2,106],"the":[3,29,34,78,81,107,113,127,131,147,161,175,196],"philosophy":[4],"of":[5,11,33,71,80,112,116,130,134,164,208],"mathematics":[6],"has":[7,14],"taken":[8],"a":[9,188],"variety":[10],"forms":[12],"and":[13,24,37,56,73,136,170,201,220],"been":[15],"advocated":[16],"for":[17,150,174,178,199,221],"widely":[18],"divergent":[19],"reasons.":[20],"In":[21,77],"Sects.":[22],"1":[23],"2,":[25],"I":[26,44,66,83,154,158,180,185],"briefly":[27],"introduce":[28],"major":[30],"formalist":[31,100,168],"doctrines":[32],"late":[35],"nineteenth":[36],"early":[38],"twentieth":[39],"centuries.":[40],"These":[41,104],"are":[42],"what":[43,157,184],"call":[45],"empirico-semantic":[46],"formalism":[47,52,58],"(advocated":[48,53,59],"by":[49,54,60],"Heine),":[50],"game":[51],"Thomae)":[55],"instrumental":[57,89],"Hilbert).":[61],"After":[62],"describing":[63],"these":[64],"views,":[65],"note":[67,183],"some":[68],"basic":[69,132],"points":[70,163],"similarity":[72],"difference":[74],"between":[75,166,191],"them.":[76],"remainder":[79],"paper,":[82],"turn":[84],"my":[85],"attention":[86],"to":[87,97,120,146,195],"Hilbert\u2019s":[88,167,192],"formalism.":[90],"My":[91],"primary":[92],"aim":[93],"there":[94],"will":[95,155,181],"be":[96],"develop":[98],"its":[99,110,124,138],"elements":[101],"more":[102],"fully.":[103],"are,":[105],"main,":[108],"(i)":[109],"rejection":[111],"axiom-centric":[114],"focus":[115],"traditional":[117,128],"model-construction":[118],"approaches":[119],"consistency":[121,148,176,197],"problems,":[122],"(ii)":[123],"departure":[125],"from":[126],"understanding":[129],"nature":[133],"proof":[135,177],"(iii)":[137],"distinctively":[139],"descriptive":[140],"or":[141],"observational":[142,193],"orientation":[143],"with":[144,213],"regard":[145],"problem":[149,198,210],"arithmetic.":[151,179],"More":[152],"specifically,":[153],"highlight":[156],"see":[159,186],"as":[160,187],"salient":[162],"connection":[165],"attitude":[169],"his":[171,202,206],"finitist":[172],"standard":[173],"also":[182],"significant":[189],"tension":[190],"approach":[194],"arithmetic":[200,218],"expressed":[203],"hope":[204],"that":[205,209],"solution":[207],"would":[211],"dispense":[212],"certain":[214],"epistemological":[215],"concerns":[216],"regarding":[217],"once":[219],"all.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}