{"id":"https://openalex.org/W2043105627","doi":"https://doi.org/10.2178/bsl.1902010","title":"The foundational problem of logic","display_name":"The foundational problem of logic","publication_year":2013,"publication_date":"2013-05-16","ids":{"openalex":"https://openalex.org/W2043105627","doi":"https://doi.org/10.2178/bsl.1902010","mag":"2043105627"},"language":"en","primary_location":{"id":"doi:10.2178/bsl.1902010","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl.1902010","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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 Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://escholarship.org/content/qt8dk2f2wz/qt8dk2f2wz.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039714150","display_name":"Gila Sher","orcid":"https://orcid.org/0000-0002-2395-9228"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California, San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gila Sher","raw_affiliation_strings":["Department of Philosophy, 0119, University of California at San Diego, La Jolla, CA 92093-0119, USA E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, 0119, University of California at San Diego, La Jolla, CA 92093-0119, USA E-mail:","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5039714150"],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":2.8357,"has_fulltext":true,"cited_by_count":43,"citation_normalized_percentile":{"value":0.89735553,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"19","issue":"2","first_page":"145","last_page":"198"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9941999912261963,"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.9941999912261963,"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/T11463","display_name":"Classical Philosophy and Thought","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"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/T13558","display_name":"Philosophy, Science, and History","score":0.9735999703407288,"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/philosophy-of-logic","display_name":"Philosophy of logic","score":0.7573546171188354},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.5887318849563599},{"id":"https://openalex.org/keywords/philosophical-logic","display_name":"Philosophical logic","score":0.5622173547744751},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4830499291419983},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.47435033321380615},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.47152718901634216},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.4617019295692444},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.45038560032844543},{"id":"https://openalex.org/keywords/non-classical-logic","display_name":"Non-classical logic","score":0.4427473247051239},{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.4324004054069519},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.4195680618286133},{"id":"https://openalex.org/keywords/foundation","display_name":"Foundation (evidence)","score":0.41823646426200867},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3324469327926636},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.3021879494190216},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2667999267578125},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23045402765274048},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1920035183429718},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07487183809280396}],"concepts":[{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.7573546171188354},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.5887318849563599},{"id":"https://openalex.org/C529767740","wikidata":"https://www.wikidata.org/wiki/Q491412","display_name":"Philosophical logic","level":2,"score":0.5622173547744751},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4830499291419983},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.47435033321380615},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.47152718901634216},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.4617019295692444},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.45038560032844543},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.4427473247051239},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.4324004054069519},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.4195680618286133},{"id":"https://openalex.org/C2780966255","wikidata":"https://www.wikidata.org/wiki/Q5474306","display_name":"Foundation (evidence)","level":2,"score":0.41823646426200867},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3324469327926636},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.3021879494190216},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2667999267578125},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23045402765274048},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1920035183429718},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07487183809280396},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2178/bsl.1902010","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl.1902010","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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 Bulletin of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:qt8dk2f2wz","is_oa":true,"landing_page_url":"http://www.escholarship.org/uc/item/8dk2f2wz","pdf_url":"https://escholarship.org/content/qt8dk2f2wz/qt8dk2f2wz.pdf","source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sher, G. (2013). THE FOUNDATIONAL PROBLEM OF LOGIC. BULLETIN OF SYMBOLIC LOGIC, 19(2), 145 - 198. doi: 10.2178/bsl.1902010. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/8dk2f2wz","raw_type":"article"},{"id":"pmh:oai:CULeuclid:euclid.bsl/1368716899","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.bsl/1368716899","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:escholarship.org/ark:/13030/qt8dk2f2wz","is_oa":false,"landing_page_url":"https://escholarship.org/uc/item/8dk2f2wz","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"BULLETIN OF SYMBOLIC LOGIC, vol 19, iss 2","raw_type":"article"}],"best_oa_location":{"id":"pmh:qt8dk2f2wz","is_oa":true,"landing_page_url":"http://www.escholarship.org/uc/item/8dk2f2wz","pdf_url":"https://escholarship.org/content/qt8dk2f2wz/qt8dk2f2wz.pdf","source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sher, G. (2013). THE FOUNDATIONAL PROBLEM OF LOGIC. BULLETIN OF SYMBOLIC LOGIC, 19(2), 145 - 198. doi: 10.2178/bsl.1902010. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/8dk2f2wz","raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5199999809265137,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2043105627.pdf","grobid_xml":"https://content.openalex.org/works/W2043105627.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W251225716","https://openalex.org/W275553873","https://openalex.org/W567170521","https://openalex.org/W656709765","https://openalex.org/W942881951","https://openalex.org/W1481667893","https://openalex.org/W1511637062","https://openalex.org/W1516197069","https://openalex.org/W1532594152","https://openalex.org/W1533385474","https://openalex.org/W1541865228","https://openalex.org/W1549834305","https://openalex.org/W1572932467","https://openalex.org/W1607953571","https://openalex.org/W1635500153","https://openalex.org/W1827137001","https://openalex.org/W1891479826","https://openalex.org/W1908974475","https://openalex.org/W1965227205","https://openalex.org/W1967748389","https://openalex.org/W1978653019","https://openalex.org/W1999773059","https://openalex.org/W2007806072","https://openalex.org/W2025705313","https://openalex.org/W2037341021","https://openalex.org/W2040274967","https://openalex.org/W2043365881","https://openalex.org/W2055655687","https://openalex.org/W2064159730","https://openalex.org/W2072395631","https://openalex.org/W2079585679","https://openalex.org/W2080309222","https://openalex.org/W2092977348","https://openalex.org/W2094891405","https://openalex.org/W2099067780","https://openalex.org/W2111611368","https://openalex.org/W2117785352","https://openalex.org/W2123286261","https://openalex.org/W2125398926","https://openalex.org/W2129665912","https://openalex.org/W2135111555","https://openalex.org/W2140319855","https://openalex.org/W2151075651","https://openalex.org/W2165071915","https://openalex.org/W2323519287","https://openalex.org/W2328317956","https://openalex.org/W2329154039","https://openalex.org/W2329623916","https://openalex.org/W2331720955","https://openalex.org/W2345668147","https://openalex.org/W2475732641","https://openalex.org/W2488380345","https://openalex.org/W2911599249","https://openalex.org/W2954301182","https://openalex.org/W3126996113","https://openalex.org/W3139043147","https://openalex.org/W4213439731","https://openalex.org/W4229780919","https://openalex.org/W4234442806","https://openalex.org/W4236292373","https://openalex.org/W4246770368","https://openalex.org/W4250584363","https://openalex.org/W4285719527","https://openalex.org/W4300926604","https://openalex.org/W4399664559"],"related_works":["https://openalex.org/W2557563739","https://openalex.org/W2011623499","https://openalex.org/W4386746910","https://openalex.org/W3185758473","https://openalex.org/W2140910855","https://openalex.org/W2386664123","https://openalex.org/W2305096635","https://openalex.org/W59187410","https://openalex.org/W2379062595","https://openalex.org/W1531629203"],"abstract_inverted_index":{"Abstract":[0],"The":[1,83],"construction":[2],"of":[3,36,59,74,90,114,131,139,163,173,178],"a":[4,11,38,50,75,94,98],"systematic":[5],"philosophical":[6,34],"foundation":[7,76],"for":[8,77],"logic":[9,92,117,149,168],"is":[10,23,85,118,125],"notoriously":[12],"difficult":[13],"problem.":[14],"In":[15,67],"Part":[16,68],"One":[17],"I":[18,40,70],"suggest":[19],"that":[20],"the":[21,32,45,57,80,102,107,115,122,128,134,142,165,171,175],"problem":[22],"in":[24,127,159,184],"large":[25],"part":[26],"methodological,":[27],"having":[28],"to":[29,44,63,152],"do":[30],"with":[31,56],"common":[33,46],"conception":[35],"\u201cproviding":[37],"foundation\u201d.":[39],"offer":[41],"an":[42,72,88,137],"alternative":[43],"methodology":[47],"which":[48,100],"combines":[49],"strong":[51],"foundational":[52],"requirement":[53],"(veridical":[54],"justification)":[55],"use":[58],"non-traditional,":[60],"holistic":[61],"tools":[62],"achieve":[64],"this":[65,140],"result.":[66],"Two":[69],"delineate":[71],"outline":[73,84,135],"logic,":[78,174,179],"employing":[79],"new":[81],"methodology.":[82],"based":[86],"on":[87],"investigation":[89,123],"why":[91],"requires":[93],"veridical":[95],"justification,":[96],"i.e.,":[97],"justification":[99],"involves":[101],"world":[103,116],"and":[104,109,133,147,155,169,180,182],"not":[105],"just":[106],"mind,":[108],"what":[110],"features":[111],"or":[112],"aspect":[113,130],"grounded":[119,126],"in.":[120],"Logic,":[121],"suggests,":[124],"formal":[129],"reality,":[132],"proposes":[136],"account":[138],"aspect,":[141],"way":[143],"it":[144],"both":[145],"constrains":[146],"enables":[148],"(gives":[150],"rise":[151],"logical":[153],"truths":[154],"consequences),":[156],"logic's":[157],"role":[158],"our":[160],"overall":[161],"system":[162],"knowledge,":[164],"relation":[166],"between":[167],"mathematics,":[170],"normativity":[172],"characteristic":[176],"traits":[177],"error":[181],"revision":[183],"logic.":[185]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":17},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}