{"id":"https://openalex.org/W3092928843","doi":"https://doi.org/10.1017/s1755020320000398","title":"RIGOUR AND PROOF","display_name":"RIGOUR AND PROOF","publication_year":2020,"publication_date":"2020-10-21","ids":{"openalex":"https://openalex.org/W3092928843","doi":"https://doi.org/10.1017/s1755020320000398","mag":"3092928843"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020320000398","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020320000398","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":true,"oa_status":"green","oa_url":"https://research-information.bris.ac.uk/en/publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013570590","display_name":"Oliver Tatton-Brown","orcid":"https://orcid.org/0000-0001-8439-8068"},"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"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"OLIVER TATTON-BROWN","raw_affiliation_strings":["DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL BRISTOL, UK E-mail:"],"affiliations":[{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY UNIVERSITY OF BRISTOL BRISTOL, UK E-mail:","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013570590"],"corresponding_institution_ids":["https://openalex.org/I36234482"],"apc_list":null,"apc_paid":null,"fwci":4.2982,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.97190235,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"16","issue":"2","first_page":"480","last_page":"508"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9977999925613403,"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"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9977999925613403,"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"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9951000213623047,"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/T12504","display_name":"Mathematics and Applications","score":0.9678000211715698,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/mathematical-proof","display_name":"Mathematical proof","score":0.9533524513244629},{"id":"https://openalex.org/keywords/rigour","display_name":"Rigour","score":0.9042056202888489},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6383812427520752},{"id":"https://openalex.org/keywords/reading","display_name":"Reading (process)","score":0.5754784941673279},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5597408413887024},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5465982556343079},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5119656324386597},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.4402833580970764},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.3561815619468689},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.29945042729377747},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27041661739349365},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14174878597259521},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.10044470429420471},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.07123756408691406}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.9533524513244629},{"id":"https://openalex.org/C71008984","wikidata":"https://www.wikidata.org/wiki/Q2890076","display_name":"Rigour","level":2,"score":0.9042056202888489},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6383812427520752},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.5754784941673279},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5597408413887024},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5465982556343079},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5119656324386597},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4402833580970764},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.3561815619468689},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.29945042729377747},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27041661739349365},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14174878597259521},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.10044470429420471},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07123756408691406},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1755020320000398","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020320000398","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:publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","is_oa":true,"landing_page_url":null,"pdf_url":"https://research-information.bris.ac.uk/en/publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:research-information.bris.ac.uk:publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","pdf_url":"https://research-information.bris.ac.uk/en/publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tatton-Brown, O M W 2023, 'Rigour and Proof', Review of Symbolic Logic, vol. 16, no. 2, pp. 480 - 508. https://doi.org/10.1017/S1755020320000398","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","is_oa":true,"landing_page_url":"https://research-information.bris.ac.uk/files/250846813/Rigour_and_Proof.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tatton-Brown, O M W 2023, 'Rigour and Proof', Review of Symbolic Logic, vol. 16, no. 2, pp. 480 - 508. https://doi.org/10.1017/S1755020320000398","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research-information.bris.ac.uk:publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","is_oa":true,"landing_page_url":null,"pdf_url":"https://research-information.bris.ac.uk/en/publications/782f5737-dd31-41cc-91f5-542c24e7d4dc","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.8999999761581421}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3092928843.pdf","grobid_xml":"https://content.openalex.org/works/W3092928843.grobid-xml"},"referenced_works_count":86,"referenced_works":["https://openalex.org/W21943674","https://openalex.org/W187835144","https://openalex.org/W327315119","https://openalex.org/W417123813","https://openalex.org/W568644042","https://openalex.org/W602844143","https://openalex.org/W618664123","https://openalex.org/W644998418","https://openalex.org/W1480066506","https://openalex.org/W1482532876","https://openalex.org/W1485740749","https://openalex.org/W1488538795","https://openalex.org/W1494599013","https://openalex.org/W1495410784","https://openalex.org/W1519565561","https://openalex.org/W1524896264","https://openalex.org/W1534413569","https://openalex.org/W1552202016","https://openalex.org/W1553372930","https://openalex.org/W1557324374","https://openalex.org/W1594563152","https://openalex.org/W1596671514","https://openalex.org/W1842666973","https://openalex.org/W1947756087","https://openalex.org/W1961950596","https://openalex.org/W1970504506","https://openalex.org/W1970564715","https://openalex.org/W1990379240","https://openalex.org/W1992411930","https://openalex.org/W1994855059","https://openalex.org/W1995235276","https://openalex.org/W1997152016","https://openalex.org/W1997253879","https://openalex.org/W1998146115","https://openalex.org/W2020606208","https://openalex.org/W2024484915","https://openalex.org/W2039516810","https://openalex.org/W2045472305","https://openalex.org/W2056145119","https://openalex.org/W2057182494","https://openalex.org/W2068595239","https://openalex.org/W2069787050","https://openalex.org/W2070964702","https://openalex.org/W2072149862","https://openalex.org/W2073054884","https://openalex.org/W2076597612","https://openalex.org/W2088374398","https://openalex.org/W2090388949","https://openalex.org/W2112250621","https://openalex.org/W2120713972","https://openalex.org/W2120795805","https://openalex.org/W2155252856","https://openalex.org/W2155348479","https://openalex.org/W2159502610","https://openalex.org/W2163895964","https://openalex.org/W2165546563","https://openalex.org/W2166937807","https://openalex.org/W2312838618","https://openalex.org/W2316549981","https://openalex.org/W2320543258","https://openalex.org/W2410033760","https://openalex.org/W2489959806","https://openalex.org/W2504443608","https://openalex.org/W2505047206","https://openalex.org/W2565424081","https://openalex.org/W2597608666","https://openalex.org/W2610994252","https://openalex.org/W2750648893","https://openalex.org/W2780608926","https://openalex.org/W2799232846","https://openalex.org/W2955606307","https://openalex.org/W2978754843","https://openalex.org/W2991320696","https://openalex.org/W3139950380","https://openalex.org/W3210674578","https://openalex.org/W4232076615","https://openalex.org/W4235657015","https://openalex.org/W4235840289","https://openalex.org/W4248269519","https://openalex.org/W4249549360","https://openalex.org/W4249573742","https://openalex.org/W4295094175","https://openalex.org/W4299143332","https://openalex.org/W4388318643","https://openalex.org/W4388436028","https://openalex.org/W6638875366"],"related_works":["https://openalex.org/W2751556990","https://openalex.org/W110842092","https://openalex.org/W2377573520","https://openalex.org/W4388699627","https://openalex.org/W2025170215","https://openalex.org/W6783378","https://openalex.org/W2952499033","https://openalex.org/W2788711600","https://openalex.org/W4381894133","https://openalex.org/W1591207416"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"puts":[3],"forward":[4],"a":[5,19,34],"new":[6],"account":[7,44],"of":[8,25,36,56,69],"rigorous":[9,71],"mathematical":[10],"proof":[11],"and":[12,27,67],"its":[13],"epistemology.":[14],"One":[15],"novel":[16],"feature":[17],"is":[18,31,45],"focus":[20],"on":[21],"how":[22,57],"the":[23,53],"skill":[24],"reading":[26],"writing":[28],"valid":[29],"proofs":[30,72],"learnt,":[32],"as":[33],"way":[35],"understanding":[37],"what":[38],"validity":[39],"itself":[40],"amounts":[41],"to.":[42],"The":[43],"used":[46],"to":[47],"address":[48],"two":[49],"current":[50],"questions":[51],"in":[52],"literature:":[54],"that":[55,68],"mathematicians":[58],"are":[59,73],"so":[60],"good":[61],"at":[62],"resolving":[63],"disputes":[64],"about":[65],"validity,":[66],"whether":[70],"necessarily":[74],"formalizable.":[75]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-17T17:19:04.345684","created_date":"2020-10-22T00:00:00"}