{"id":"https://openalex.org/W4210832336","doi":"https://doi.org/10.1017/s1755020322000089","title":", , AND REINHARDT\u2019S PROGRAM","display_name":", , AND REINHARDT\u2019S PROGRAM","publication_year":2022,"publication_date":"2022-02-08","ids":{"openalex":"https://openalex.org/W4210832336","doi":"https://doi.org/10.1017/s1755020322000089"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020322000089","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020322000089","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE485D248746C1F2FE7E39895C05B188/S1755020322000089a.pdf/div-class-title-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-kf-span-span-span-span-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline2-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-pkf-span-span-span-span-and-reinhardt-s-program-div.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE485D248746C1F2FE7E39895C05B188/S1755020322000089a.pdf/div-class-title-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-kf-span-span-span-span-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline2-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-pkf-span-span-span-span-and-reinhardt-s-program-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078976066","display_name":"Luca Castaldo","orcid":"https://orcid.org/0000-0002-3103-8568"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]},{"id":"https://openalex.org/I111483173","display_name":"King University","ror":"https://ror.org/01evb6z23","country_code":"US","type":"education","lineage":["https://openalex.org/I111483173"]},{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"LUCA CASTALDO","raw_affiliation_strings":["University of Bristol and King's College London and","DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL, BRISTOL, UK and DEPARTMENT OF PHILOSOPHY KING'S COLLEGE LONDON, LONDON, UK E-mail:"],"affiliations":[{"raw_affiliation_string":"University of Bristol and King's College London and","institution_ids":["https://openalex.org/I111483173","https://openalex.org/I183935753"]},{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL, BRISTOL, UK and DEPARTMENT OF PHILOSOPHY KING'S COLLEGE LONDON, LONDON, UK E-mail:","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060208989","display_name":"Johannes Stern","orcid":null},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]},{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]},{"id":"https://openalex.org/I111483173","display_name":"King University","ror":"https://ror.org/01evb6z23","country_code":"US","type":"education","lineage":["https://openalex.org/I111483173"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"JOHANNES STERN","raw_affiliation_strings":["University of Bristol and King's College London and","DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL, BRISTOL, UK"],"affiliations":[{"raw_affiliation_string":"University of Bristol and King's College London and","institution_ids":["https://openalex.org/I111483173","https://openalex.org/I183935753"]},{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL, BRISTOL, UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060208989"],"corresponding_institution_ids":["https://openalex.org/I111483173","https://openalex.org/I183935753","https://openalex.org/I36234482"],"apc_list":null,"apc_paid":null,"fwci":0.9552,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75006977,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"16","issue":"1","first_page":"33","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9990000128746033,"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.9990000128746033,"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.9979000091552734,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9763000011444092,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6197688579559326},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.5770732164382935},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5025532245635986},{"id":"https://openalex.org/keywords/analogy","display_name":"Analogy","score":0.4926183819770813},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45716607570648193},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33763977885246277},{"id":"https://openalex.org/keywords/theology","display_name":"Theology","score":0.3206108510494232},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.27981793880462646},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.2766422629356384},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.25593093037605286},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.07637989521026611},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06361359357833862}],"concepts":[{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6197688579559326},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5770732164382935},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5025532245635986},{"id":"https://openalex.org/C521332185","wikidata":"https://www.wikidata.org/wiki/Q185816","display_name":"Analogy","level":2,"score":0.4926183819770813},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45716607570648193},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33763977885246277},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.3206108510494232},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.27981793880462646},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.2766422629356384},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25593093037605286},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07637989521026611},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06361359357833862},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1755020322000089","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020322000089","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE485D248746C1F2FE7E39895C05B188/S1755020322000089a.pdf/div-class-title-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-kf-span-span-span-span-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline2-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-pkf-span-span-span-span-and-reinhardt-s-program-div.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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:publications/5a5df414-a68c-46a6-9de2-98e31040b8f9","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/5a5df414-a68c-46a6-9de2-98e31040b8f9","pdf_url":null,"source":{"id":"https://openalex.org/S7407055359","display_name":"Explore Bristol Research","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Stern, J & Castaldo, L 2022, 'KF, PKF, and Reinhardt's Program', Review of Symbolic Logic. https://doi.org/10.1017/S1755020322000089","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/5a5df414-a68c-46a6-9de2-98e31040b8f9","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/5a5df414-a68c-46a6-9de2-98e31040b8f9","pdf_url":"https://research-information.bris.ac.uk/files/321942190/Full_text_PDF_final_published_version_.pdf","source":{"id":"https://openalex.org/S7407055359","display_name":"Explore Bristol Research","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Stern, J & Castaldo, L 2022, 'KF, PKF, and Reinhardt's Program', Review of Symbolic Logic. https://doi.org/10.1017/S1755020322000089","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1017/s1755020322000089","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020322000089","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BE485D248746C1F2FE7E39895C05B188/S1755020322000089a.pdf/div-class-title-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-kf-span-span-span-span-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20220326103706251-0783-s1755020322000089-s1755020322000089-inline2-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-mathrm-pkf-span-span-span-span-and-reinhardt-s-program-div.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4210832336.pdf","grobid_xml":"https://content.openalex.org/works/W4210832336.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W46517763","https://openalex.org/W144641616","https://openalex.org/W599824467","https://openalex.org/W1551030425","https://openalex.org/W1587093213","https://openalex.org/W2001650869","https://openalex.org/W2006111919","https://openalex.org/W2025127850","https://openalex.org/W2029977552","https://openalex.org/W2057420885","https://openalex.org/W2066527932","https://openalex.org/W2074448200","https://openalex.org/W2077740326","https://openalex.org/W2114374802","https://openalex.org/W2592491023","https://openalex.org/W2614458588","https://openalex.org/W2760247660","https://openalex.org/W2914408765","https://openalex.org/W4230100649"],"related_works":["https://openalex.org/W2347714673","https://openalex.org/W2370429929","https://openalex.org/W4321602864","https://openalex.org/W3119274115","https://openalex.org/W2393175613","https://openalex.org/W2027808559","https://openalex.org/W2103395021","https://openalex.org/W2333796137","https://openalex.org/W2613084786","https://openalex.org/W4317623232"],"abstract_inverted_index":{"Abstract":[0],"In":[1,187],"\u201cSome":[2],"Remarks":[3],"on":[4],"Extending":[5],"and":[6],"Interpreting":[7],"Theories":[8],"with":[9,152,207],"a":[10,42,56,109,117],"Partial":[11,217],"Truth":[12],"Predicate\u201d,":[13],"Reinhardt":[14,35],"[21]":[15],"famously":[16],"proposed":[17],"an":[18],"instrumentalist":[19],"interpretation":[20,112],"of":[21,49,61,72,84,91,149,155,173,182,189,200,211,214],"the":[22,62,82,89,113,146,153,196,208,215],"truth":[23],"theory":[24,216],"Kripke\u2013Feferman":[25,218],"(":[26,219],"$\\mathrm":[27,39,50,129,135,150,166,202,220],"{KF}$":[28,40,51,130,136,151,167,203],")":[29],"in":[30],"analogy":[31],"to":[32,37,125,134],"Hilbert\u2019s":[33],"program.":[34],"suggested":[36],"view":[38],"as":[41,55],"tool":[43,57],"for":[44,58],"generating":[45],"\u201cthe":[46],"significant":[47,92,147],"part":[48,148],"\u201d,":[52],"that":[53,107,141,165,169,195],"is,":[54,142],"deriving":[59],"sentences":[60,86,133],"form":[63],"$\\mathrm{Tr}\\ulcorner":[64],"{\\varphi":[65],"}\\urcorner":[66],"$":[67,162,175,184],".":[68],"The":[69],"constitutive":[70],"question":[71,95,114,192],"Reinhardt\u2019s":[73,191],"program":[74],"was":[75,78,96],"whether":[76],"it":[77],"possible":[79],"\u201cto":[80],"justify":[81],"use":[83],"nonsignificant":[85],"entirely":[87],"within":[88],"framework":[90],"sentences\u201d.":[93],"This":[94],"answered":[97],"negatively":[98],"by":[99],"Halbach":[100],"&":[101],"Horsten":[102],"[10]":[103],"but":[104],"we":[105,123,143,193],"argue":[106],"under":[108],"more":[110],"careful":[111],"may":[115],"receive":[116],"positive":[118],"answer.":[119],"To":[120],"this":[121],"end,":[122],"propose":[124],"shift":[126],"attention":[127],"from":[128],"-provably":[131,137],"true":[132,138,198],"inferences":[139,199],",":[140,159,163],"shall":[144],"identify":[145],"set":[154],"pairs":[156],"$\\langle":[157],"{\\Gamma":[158],"\\Delta":[160],"}\\rangle":[161],"such":[164],"proves":[168],"if":[170],"all":[171],"members":[172],"$\\Gamma":[174],"are":[176],"true,":[177],"at":[178],"least":[179],"one":[180],"member":[181],"$\\Delta":[183],"is":[185],"true.":[186],"way":[188],"addressing":[190],"show":[194],"provably":[197],"suitable":[201],"-like":[204],"theories":[205],"coincide":[206],"provable":[209],"sequents":[210],"matching":[212],"versions":[213],"{PKF}$":[221],").":[222]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}