{"id":"https://openalex.org/W2339899308","doi":"https://doi.org/10.1080/01445340.2015.1028610","title":"Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence","display_name":"Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence","publication_year":2016,"publication_date":"2016-01-11","ids":{"openalex":"https://openalex.org/W2339899308","doi":"https://doi.org/10.1080/01445340.2015.1028610","mag":"2339899308"},"language":"en","primary_location":{"id":"doi:10.1080/01445340.2015.1028610","doi":"https://doi.org/10.1080/01445340.2015.1028610","is_oa":false,"landing_page_url":"https://doi.org/10.1080/01445340.2015.1028610","pdf_url":null,"source":{"id":"https://openalex.org/S93117276","display_name":"History and Philosophy of Logic","issn_l":"0144-5340","issn":["0144-5340","1464-5149"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["erih-plus","jufo-2","norway-1"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"History and Philosophy of Logic","raw_type":"journal-article"},"volume":null,"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/A5036266673","display_name":"G\u00fcnther Eder","orcid":"https://orcid.org/0000-0002-5850-8451","observed_orcids":["https://orcid.org/0000-0002-5850-8451"]},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"G\u00fcnther Eder","raw_affiliation_strings":["University of Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5036266673"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":null,"apc_paid":null,"fwci":6.6441,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.96213229,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":"37","issue":"2","first_page":"170","last_page":"193"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.6342999935150146,"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"}},"topics":[{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.6342999935150146,"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.1679999977350235,"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"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.0989999994635582,"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/w-v-o-quine","display_name":"W. V. O. Quine","score":0.9539999961853027},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"logical consequence","score":0.8539999723434448},{"id":"https://openalex.org/keywords/metamathematics","display_name":"metamathematics","score":0.8190000057220459},{"id":"https://openalex.org/keywords/identity","display_name":"identity","score":0.5299999713897705},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"second-order logic","score":0.7839999794960022},{"id":"https://openalex.org/keywords/logical-truth","display_name":"logical truth","score":0.46299999952316284}],"concepts":[{"id":"https://openalex.org/C9270016","wikidata":"https://www.wikidata.org/wiki/Q1047886","display_name":"Quine","level":2,"score":0.9749914407730103},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.7960939407348633},{"id":"https://openalex.org/C74727942","wikidata":"https://www.wikidata.org/wiki/Q3311695","display_name":"Logical truth","level":2,"score":0.7295788526535034},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.6382156610488892},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.6381782293319702},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.5629298686981201},{"id":"https://openalex.org/C2778790839","wikidata":"https://www.wikidata.org/wiki/Q6667497","display_name":"Logical form","level":2,"score":0.46783438324928284},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4401233196258545},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.14792335033416748},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/01445340.2015.1028610","doi":"https://doi.org/10.1080/01445340.2015.1028610","is_oa":false,"landing_page_url":"https://doi.org/10.1080/01445340.2015.1028610","pdf_url":null,"source":{"id":"https://openalex.org/S93117276","display_name":"History and Philosophy of Logic","issn_l":"0144-5340","issn":["0144-5340","1464-5149"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["erih-plus","jufo-2","norway-1"],"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"History and Philosophy of Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6499999761581421}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W7031971","https://openalex.org/W255058868","https://openalex.org/W1483568252","https://openalex.org/W1537854563","https://openalex.org/W1556018465","https://openalex.org/W1556453281","https://openalex.org/W1978653019","https://openalex.org/W1996616311","https://openalex.org/W2031636584","https://openalex.org/W2047495800","https://openalex.org/W2047868398","https://openalex.org/W2055655687","https://openalex.org/W2057139869","https://openalex.org/W2065996151","https://openalex.org/W2084428318","https://openalex.org/W2107977154","https://openalex.org/W2123286261","https://openalex.org/W2151008381","https://openalex.org/W2247592557","https://openalex.org/W2311483969","https://openalex.org/W2324223338","https://openalex.org/W2329623916","https://openalex.org/W2408924217","https://openalex.org/W3026313652","https://openalex.org/W3106576400","https://openalex.org/W4229690001","https://openalex.org/W4251274916","https://openalex.org/W4300926604"],"related_works":["https://openalex.org/W3151193637","https://openalex.org/W4214732606","https://openalex.org/W3149691445","https://openalex.org/W2361375926","https://openalex.org/W2105280133","https://openalex.org/W4241873018","https://openalex.org/W2380533324","https://openalex.org/W4366544912","https://openalex.org/W2339899308","https://openalex.org/W4254490362"],"abstract_inverted_index":{"The":[0,11,83],"paper":[1,87],"is":[2,88],"concerned":[3],"with":[4,27],"Quine's":[5,14,51,66,99],"substitutional":[6,67,100],"account":[7,52,68],"of":[8,13,53,69,80,85,98,102,122,130,138],"logical":[9,54,70,81,103],"truth.":[10],"critique":[12],"definition":[15,101],"tends":[16],"to":[17,33,49,76,91,95,106,111,127,144],"focus":[18],"on":[19,56],"miscellaneous":[20],"odds":[21],"and":[22,119,134],"ends,":[23],"such":[24],"as":[25],"problems":[26],"identity.":[28],"However,":[29],"in":[30],"an":[31,44],"appendix":[32],"his":[34,123],"influential":[35],"article":[36,62],"On":[37],"Second":[38],"Order":[39],"Logic,":[40],"George":[41],"Boolos":[42],"offered":[43],"ingenious":[45],"argument":[46],"that":[47,65],"seems":[48],"diminish":[50],"truth":[55,71],"a":[57,112,117,136],"deeper":[58],"level.":[59],"In":[60],"the":[61,77,93,96,131,139,145],"he":[63],"shows":[64],"cannot":[72],"be":[73],"generalized":[74],"properly":[75],"general":[78],"concept":[79],"consequence.":[82],"purpose":[84],"this":[86],"threefold:":[89],"first,":[90],"introduce":[92],"reader":[94],"metamathematics":[97],"truth;":[104],"second,":[105],"make":[107],"Boolos'":[108,149],"result":[109],"accessible":[110],"broader":[113],"audience":[114],"by":[115,148],"giving":[116],"detailed":[118],"self-contained":[120],"presentation":[121],"proof;":[124],"and,":[125],"finally,":[126],"discuss":[128],"some":[129],"possible":[132],"implications":[133],"how":[135],"defender":[137],"Quinean":[140],"concepts":[141],"might":[142],"react":[143],"challenge":[146],"posed":[147],"result.":[150]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":4}],"updated_date":"2026-08-15T07:11:24.734988","created_date":"2025-10-10T00:00:00"}