{"id":"https://openalex.org/W4384036206","doi":"https://doi.org/10.1017/s1755020323000230","title":"SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY","display_name":"SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY","publication_year":2023,"publication_date":"2023-07-12","ids":{"openalex":"https://openalex.org/W4384036206","doi":"https://doi.org/10.1017/s1755020323000230"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020323000230","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020323000230","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/A5029348229","display_name":"Thomas Macaulay Ferguson","orcid":"https://orcid.org/0000-0002-6494-1833"},"institutions":[{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"THOMAS MACAULAY FERGUSON","raw_affiliation_strings":["DEPARTMENT OF COGNITIVE SCIENCE RENSSELAER POLYTECHNIC INSTITUTE TROY, NY, USA and INSTITUTES OF PHILOSOPHY AND COMPUTER SCIENCE CZECH ACADEMY OF SCIENCES PRAGUE, CZECH REPUBLIC"],"raw_orcid":"https://orcid.org/0000-0002-6494-1833","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COGNITIVE SCIENCE RENSSELAER POLYTECHNIC INSTITUTE TROY, NY, USA and INSTITUTES OF PHILOSOPHY AND COMPUTER SCIENCE CZECH ACADEMY OF SCIENCES PRAGUE, CZECH REPUBLIC","institution_ids":["https://openalex.org/I165799507"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5029348229"],"corresponding_institution_ids":["https://openalex.org/I165799507"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":1.4195,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8475891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"17","issue":"4","first_page":"1070","last_page":"1096"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/subject-matter","display_name":"Subject matter","score":0.7792713642120361},{"id":"https://openalex.org/keywords/counterintuitive","display_name":"Counterintuitive","score":0.7677336931228638},{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.7075947523117065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5726422667503357},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5386559367179871},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3282594084739685},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3255454897880554},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29274970293045044},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2695459723472595},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.13506975769996643},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.0671434998512268}],"concepts":[{"id":"https://openalex.org/C2992860105","wikidata":"https://www.wikidata.org/wiki/Q7631392","display_name":"Subject matter","level":3,"score":0.7792713642120361},{"id":"https://openalex.org/C101097943","wikidata":"https://www.wikidata.org/wiki/Q5176983","display_name":"Counterintuitive","level":2,"score":0.7677336931228638},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.7075947523117065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5726422667503357},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5386559367179871},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3282594084739685},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3255454897880554},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29274970293045044},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2695459723472595},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.13506975769996643},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0671434998512268},{"id":"https://openalex.org/C47177190","wikidata":"https://www.wikidata.org/wiki/Q207137","display_name":"Curriculum","level":2,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1755020323000230","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020323000230","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":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1032524570","https://openalex.org/W1505359507","https://openalex.org/W1981671130","https://openalex.org/W1994227541","https://openalex.org/W2008618044","https://openalex.org/W2021592171","https://openalex.org/W2055318378","https://openalex.org/W2058325934","https://openalex.org/W2572306413","https://openalex.org/W2624138129","https://openalex.org/W2765587424","https://openalex.org/W2785389929","https://openalex.org/W2810497759","https://openalex.org/W2898471793","https://openalex.org/W2995605730","https://openalex.org/W3043998299","https://openalex.org/W3153898141","https://openalex.org/W4250694390","https://openalex.org/W4296624612","https://openalex.org/W4367394019","https://openalex.org/W4388201091"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2809491669","https://openalex.org/W3005839474","https://openalex.org/W4379988549","https://openalex.org/W2139510495","https://openalex.org/W2016376779","https://openalex.org/W2807993762","https://openalex.org/W1992379025","https://openalex.org/W2768389068","https://openalex.org/W2403993643"],"abstract_inverted_index":{"Abstract":[0],"Logical":[1],"frameworks":[2],"that":[3,79,125],"are":[4,37],"sensitive":[5],"to":[6,39,106,138],"features":[7],"of":[8,20,23,52,60,70,82,89,92,102,134],"sentences\u2019":[9],"subject-matter\u2014like":[10],"Berto\u2019s":[11],"topic-sensitive":[12,135],"intentional":[13],"modals":[14],"(TSIMs)\u2014demand":[15],"a":[16,46,57,68,87,100,122],"maximally":[17],"faithful":[18],"model":[19,51],"the":[21,32,73,80,90,132],"topics":[22,36],"sentences.":[24],"This":[25,95],"is":[26,86,126],"an":[27,76,83,129],"especially":[28],"difficult":[29],"task":[30],"in":[31,34],"case":[33],"which":[35],"assigned":[38],"intensional":[40,53,64,84],"formulae.":[41],"In":[42,112],"two":[43],"previous":[44],"papers,":[45],"framework":[47],"was":[48],"developed":[49],"whose":[50],"subject-matter":[54,81],"could":[55],"accommodate":[56],"wider":[58],"range":[59],"intuitions":[61,109],"about":[62],"particular":[63],"conditionals.":[65],"Although":[66],"resolving":[67],"number":[69],"counterintuitive":[71],"features,":[72],"work":[74],"made":[75],"implicit":[77],"assumption":[78],"conditional":[85],"function":[88],"subject-matters":[91],"its":[93],"subformulae.":[94],"assumption\u2014which":[96],"I":[97],"will":[98,116],"call":[99],"principle":[101],"topic":[103,118],"sufficiency\u2014runs":[104],"counter":[105],"some":[107],"natural":[108],"concerning":[110],"topic.":[111],"this":[113],"paper,":[114],"we":[115],"investigate":[117],"sufficiency":[119],"and":[120],"offer":[121],"semantic":[123],"account":[124],"state-sensitive,":[127],"providing":[128],"implementation":[130],"through":[131],"introduction":[133],"logics":[136],"related":[137],"William":[139],"Parry\u2019s":[140],"prototypical":[141],"$\\mathsf":[142],"{PAI}$":[143],".":[144]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}