{"id":"https://openalex.org/W2067808143","doi":"https://doi.org/10.1017/s1755020313000233","title":"AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING","display_name":"AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING","publication_year":2013,"publication_date":"2013-08-28","ids":{"openalex":"https://openalex.org/W2067808143","doi":"https://doi.org/10.1017/s1755020313000233","mag":"2067808143"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020313000233","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020313000233","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":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072335365","display_name":"Graham E. Leigh","orcid":"https://orcid.org/0000-0002-0335-7983"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"GRAHAM E. LEIGH","raw_affiliation_strings":["Faculty of Philosophy, University of Oxford","Faculty of Philosophy University of Oxford"],"affiliations":[{"raw_affiliation_string":"Faculty of Philosophy, University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Faculty of Philosophy University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027062828","display_name":"Carlo Nicolai","orcid":"https://orcid.org/0009-0003-1027-5294"},"institutions":[{"id":"https://openalex.org/I2801315873","display_name":"Somerville Hospital","ror":"https://ror.org/023pf5e38","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I124574311","https://openalex.org/I2801315873"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"CARLO NICOLAI","raw_affiliation_strings":["Somerville College, University of Oxford","Somerville College, University of Oxford,"],"affiliations":[{"raw_affiliation_string":"Somerville College, University of Oxford","institution_ids":["https://openalex.org/I2801315873","https://openalex.org/I40120149"]},{"raw_affiliation_string":"Somerville College, University of Oxford,","institution_ids":["https://openalex.org/I2801315873","https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5027062828","https://openalex.org/A5072335365"],"corresponding_institution_ids":["https://openalex.org/I2801315873","https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":1.4704,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.83258874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"6","issue":"4","first_page":"613","last_page":"636"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9979000091552734,"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.9979000091552734,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.9879999756813049,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6753791570663452},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.6103491187095642},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5584250688552856},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5465003848075867},{"id":"https://openalex.org/keywords/metaphysics","display_name":"Metaphysics","score":0.5451982021331787},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5295382738113403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4883286654949188},{"id":"https://openalex.org/keywords/philosophy-of-language","display_name":"Philosophy of language","score":0.434373676776886},{"id":"https://openalex.org/keywords/semantic-theory-of-truth","display_name":"Semantic theory of truth","score":0.41663092374801636},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.36636412143707275},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3504244387149811},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3070296049118042},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2998771071434021},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24077755212783813},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.187086284160614},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.182612806558609}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6753791570663452},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6103491187095642},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5584250688552856},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5465003848075867},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.5451982021331787},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5295382738113403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4883286654949188},{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.434373676776886},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.41663092374801636},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.36636412143707275},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3504244387149811},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3070296049118042},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2998771071434021},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24077755212783813},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.187086284160614},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.182612806558609},{"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.1017/s1755020313000233","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020313000233","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2813911264","display_name":null,"funder_award_id":"AH/H039791/1","funder_id":"https://openalex.org/F4320334609","funder_display_name":"Arts and Humanities Research Council"}],"funders":[{"id":"https://openalex.org/F4320334609","display_name":"Arts and Humanities Research Council","ror":"https://ror.org/0505m1554"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W21697287","https://openalex.org/W40029885","https://openalex.org/W1008748165","https://openalex.org/W1518410132","https://openalex.org/W1528689085","https://openalex.org/W1551616634","https://openalex.org/W1556453281","https://openalex.org/W1571003765","https://openalex.org/W1572451808","https://openalex.org/W1586779288","https://openalex.org/W1587093213","https://openalex.org/W1589514330","https://openalex.org/W1589780159","https://openalex.org/W1602643187","https://openalex.org/W1696805490","https://openalex.org/W1795577507","https://openalex.org/W2033882622","https://openalex.org/W2035476945","https://openalex.org/W2038873751","https://openalex.org/W2052199430","https://openalex.org/W2073281009","https://openalex.org/W2093568339","https://openalex.org/W2101025460","https://openalex.org/W2105505307","https://openalex.org/W2114374802","https://openalex.org/W2123447690","https://openalex.org/W2251843765","https://openalex.org/W2500044873","https://openalex.org/W2501005870","https://openalex.org/W2969873114","https://openalex.org/W3183889129","https://openalex.org/W4210921733","https://openalex.org/W4229690001","https://openalex.org/W4249736722","https://openalex.org/W4293117209","https://openalex.org/W4302318230"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W4386544785","https://openalex.org/W2081441417","https://openalex.org/W4240676090","https://openalex.org/W2808118280","https://openalex.org/W1970375080","https://openalex.org/W16157476","https://openalex.org/W1555836633","https://openalex.org/W1522717445","https://openalex.org/W2026668772"],"abstract_inverted_index":{"Abstract":[0],"Following":[1],"recent":[2],"developments":[3],"in":[4,41],"the":[5,17,22,25,28,35,64,84,87,95,103,115,119,125,128,132,137],"literature":[6],"on":[7,114,124,136],"axiomatic":[8,52],"theories":[9,53,58,76,85,120],"of":[10,20,24,43,54,59,63,74,89,97,106,109,131,139],"truth,":[11],"we":[12,46,80,112],"investigate":[13],"an":[14],"alternative":[15],"to":[16,102],"widespread":[18],"habit":[19],"formalizing":[21],"syntax":[23],"object-language":[26,29],"into":[27],"itself.":[30],"We":[31],"first":[32],"argue":[33],"for":[34,51],"proposed":[36],"revision,":[37],"elaborating":[38],"philosophical":[39,116],"evidences":[40],"favor":[42],"it.":[44],"Secondly,":[45],"present":[47],"a":[48],"general":[49],"framework":[50],"truth":[55,133],"with":[56],"\u2018disentangled\u2019":[57],"syntax.":[60],"Different":[61],"choices":[62],"object":[65],"theory":[66,108],"O":[67,98],"will":[68,77,81],"be":[69,78],"considered.":[70],"Moreover,":[71],"some":[72],"strengthenings":[73],"these":[75],"introduced:":[79],"consider":[82],"extending":[83,94],"by":[86,93],"addition":[88],"coding":[90],"axioms":[91],"or":[92],"schemas":[96],",":[99],"if":[100],"present,":[101],"entire":[104],"vocabulary":[105],"our":[107,140],"truth.":[110],"Finally,":[111],"touch":[113],"consequences":[117],"that":[118],"described":[121],"can":[122],"have":[123],"debate":[126],"about":[127],"metaphysical":[129],"status":[130],"predicate":[134],"and":[135],"formalization":[138],"informal":[141],"metatheoretic":[142],"reasoning.":[143]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":20},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}