{"id":"https://openalex.org/W2129507111","doi":"https://doi.org/10.1007/s10992-015-9375-5","title":"Predicativity, the Russell-Myhill Paradox, and Church\u2019s Intensional Logic","display_name":"Predicativity, the Russell-Myhill Paradox, and Church\u2019s Intensional Logic","publication_year":2015,"publication_date":"2015-06-22","ids":{"openalex":"https://openalex.org/W2129507111","doi":"https://doi.org/10.1007/s10992-015-9375-5","mag":"2129507111"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-015-9375-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10992-015-9375-5","pdf_url":null,"source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical 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/A5048607449","display_name":"Sean Walsh","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sean Walsh","raw_affiliation_strings":["Department of Logic and Philosophy of Science, 5100 Social Science Plaza, University of California, Irvine, Irvine, CA, 92697-5100, USA","[University of California, Irvine]"],"affiliations":[{"raw_affiliation_string":"Department of Logic and Philosophy of Science, 5100 Social Science Plaza, University of California, Irvine, Irvine, CA, 92697-5100, USA","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"[University of California, Irvine]","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048607449"],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":null,"fwci":1.6277,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.84732649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"45","issue":"3","first_page":"277","last_page":"326"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9991999864578247,"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.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9757000207901001,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/predicative-expression","display_name":"Predicative expression","score":0.9914097189903259},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.654755711555481},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.6414605379104614},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.45742711424827576},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44937044382095337},{"id":"https://openalex.org/keywords/constructive-set-theory","display_name":"Constructive set theory","score":0.42539846897125244},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4225965738296509},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.38731685280799866},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3653368353843689},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.33239251375198364},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.32182377576828003},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.29884275794029236},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.29120540618896484},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.21861886978149414},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.1548326015472412},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13409188389778137},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.09905582666397095},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.08145233988761902}],"concepts":[{"id":"https://openalex.org/C129131279","wikidata":"https://www.wikidata.org/wiki/Q1931259","display_name":"Predicative expression","level":2,"score":0.9914097189903259},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.654755711555481},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.6414605379104614},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.45742711424827576},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44937044382095337},{"id":"https://openalex.org/C556429856","wikidata":"https://www.wikidata.org/wiki/Q5164501","display_name":"Constructive set theory","level":5,"score":0.42539846897125244},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4225965738296509},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.38731685280799866},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3653368353843689},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.33239251375198364},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.32182377576828003},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.29884275794029236},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.29120540618896484},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.21861886978149414},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.1548326015472412},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13409188389778137},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.09905582666397095},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.08145233988761902},{"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.1007/s10992-015-9375-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10992-015-9375-5","pdf_url":null,"source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.41999998688697815,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":127,"referenced_works":["https://openalex.org/W25327751","https://openalex.org/W40029885","https://openalex.org/W41255196","https://openalex.org/W115268666","https://openalex.org/W186787734","https://openalex.org/W194281143","https://openalex.org/W223891855","https://openalex.org/W333470958","https://openalex.org/W366909139","https://openalex.org/W573260485","https://openalex.org/W644107262","https://openalex.org/W659639688","https://openalex.org/W955178215","https://openalex.org/W1415587708","https://openalex.org/W1482863160","https://openalex.org/W1488544320","https://openalex.org/W1490599896","https://openalex.org/W1491173026","https://openalex.org/W1493438493","https://openalex.org/W1501105589","https://openalex.org/W1504571518","https://openalex.org/W1505053556","https://openalex.org/W1519238856","https://openalex.org/W1520336201","https://openalex.org/W1526907582","https://openalex.org/W1527204405","https://openalex.org/W1538838225","https://openalex.org/W1543500847","https://openalex.org/W1547557736","https://openalex.org/W1554335130","https://openalex.org/W1571512393","https://openalex.org/W1590345481","https://openalex.org/W1597540148","https://openalex.org/W1622302876","https://openalex.org/W1659717085","https://openalex.org/W1664463869","https://openalex.org/W1711163617","https://openalex.org/W1769003925","https://openalex.org/W1781592523","https://openalex.org/W1967212445","https://openalex.org/W1982564681","https://openalex.org/W1986344449","https://openalex.org/W1986689580","https://openalex.org/W1989383196","https://openalex.org/W2003633725","https://openalex.org/W2003673536","https://openalex.org/W2012262903","https://openalex.org/W2021503169","https://openalex.org/W2031636584","https://openalex.org/W2032147625","https://openalex.org/W2047868398","https://openalex.org/W2048297078","https://openalex.org/W2056414301","https://openalex.org/W2066678816","https://openalex.org/W2072395631","https://openalex.org/W2074843414","https://openalex.org/W2081002360","https://openalex.org/W2083768987","https://openalex.org/W2092054926","https://openalex.org/W2092930063","https://openalex.org/W2110726694","https://openalex.org/W2111417960","https://openalex.org/W2113628046","https://openalex.org/W2122092051","https://openalex.org/W2134005108","https://openalex.org/W2143162796","https://openalex.org/W2149276801","https://openalex.org/W2155094707","https://openalex.org/W2169192695","https://openalex.org/W2171149093","https://openalex.org/W2312577566","https://openalex.org/W2315087782","https://openalex.org/W2323334050","https://openalex.org/W2324842926","https://openalex.org/W2329380252","https://openalex.org/W2334682761","https://openalex.org/W2336229620","https://openalex.org/W2477347675","https://openalex.org/W2498101065","https://openalex.org/W2501714482","https://openalex.org/W2505451504","https://openalex.org/W2547409305","https://openalex.org/W2575229636","https://openalex.org/W2609785918","https://openalex.org/W2737949001","https://openalex.org/W2739536216","https://openalex.org/W2796505468","https://openalex.org/W2992592766","https://openalex.org/W3128584260","https://openalex.org/W3140283761","https://openalex.org/W3144291924","https://openalex.org/W3209593354","https://openalex.org/W4211142623","https://openalex.org/W4232277851","https://openalex.org/W4234232942","https://openalex.org/W4234636915","https://openalex.org/W4237609772","https://openalex.org/W4238965074","https://openalex.org/W4244930230","https://openalex.org/W4248655848","https://openalex.org/W4252141377","https://openalex.org/W4253116010","https://openalex.org/W4256233791","https://openalex.org/W4293117209","https://openalex.org/W4296119740","https://openalex.org/W6601679189","https://openalex.org/W6605799816","https://openalex.org/W6607837956","https://openalex.org/W6629326994","https://openalex.org/W6630075424","https://openalex.org/W6631024605","https://openalex.org/W6631605624","https://openalex.org/W6635592067","https://openalex.org/W6637393852","https://openalex.org/W6646720903","https://openalex.org/W6653289852","https://openalex.org/W6658479729","https://openalex.org/W6676968548","https://openalex.org/W6680012132","https://openalex.org/W6724118920","https://openalex.org/W6737475405","https://openalex.org/W6790431209","https://openalex.org/W6790925643","https://openalex.org/W6816835729","https://openalex.org/W6818825522","https://openalex.org/W6830690577","https://openalex.org/W7044177566"],"related_works":["https://openalex.org/W2366349350","https://openalex.org/W2130427934","https://openalex.org/W1556336692","https://openalex.org/W1528076413","https://openalex.org/W4210343663","https://openalex.org/W3112295066","https://openalex.org/W152158185","https://openalex.org/W2347896696","https://openalex.org/W2022120535","https://openalex.org/W1527204405"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2025-10-10T00:00:00"}