{"id":"https://openalex.org/W4243436902","doi":"https://doi.org/10.1093/logcom/exm003","title":"Hyperintensions","display_name":"Hyperintensions","publication_year":2007,"publication_date":"2007-02-16","ids":{"openalex":"https://openalex.org/W4243436902","doi":"https://doi.org/10.1093/logcom/exm003"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exm003","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exm003","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5109222963","display_name":"Carl Pollard","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"C. Pollard","raw_affiliation_strings":["Department of Linguistics, The Ohio State University, Columbus, OH 43210, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Linguistics, The Ohio State University, Columbus, OH 43210, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109222963"],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.5546,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.83990762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"18","issue":"2","first_page":"257","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9951000213623047,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9951000213623047,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9915000200271606,"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.9800999760627747,"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/possible-world","display_name":"Possible world","score":0.7352595925331116},{"id":"https://openalex.org/keywords/preorder","display_name":"Preorder","score":0.6936987638473511},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6216754913330078},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.494172602891922},{"id":"https://openalex.org/keywords/granularity","display_name":"Granularity","score":0.49102044105529785},{"id":"https://openalex.org/keywords/sophistication","display_name":"Sophistication","score":0.4898631274700165},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.46711501479148865},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.4507085680961609},{"id":"https://openalex.org/keywords/ingenuity","display_name":"Ingenuity","score":0.446735143661499},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.422894686460495},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4145185351371765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40869131684303284},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36254990100860596},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.29921337962150574},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27068236470222473},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24513038992881775},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13110312819480896},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1301790177822113}],"concepts":[{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.7352595925331116},{"id":"https://openalex.org/C2333172","wikidata":"https://www.wikidata.org/wiki/Q1425985","display_name":"Preorder","level":2,"score":0.6936987638473511},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6216754913330078},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.494172602891922},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.49102044105529785},{"id":"https://openalex.org/C168725872","wikidata":"https://www.wikidata.org/wiki/Q991663","display_name":"Sophistication","level":2,"score":0.4898631274700165},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.46711501479148865},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.4507085680961609},{"id":"https://openalex.org/C2778154381","wikidata":"https://www.wikidata.org/wiki/Q105296908","display_name":"Ingenuity","level":2,"score":0.446735143661499},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.422894686460495},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4145185351371765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40869131684303284},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36254990100860596},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.29921337962150574},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27068236470222473},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24513038992881775},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13110312819480896},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1301790177822113},{"id":"https://openalex.org/C107038049","wikidata":"https://www.wikidata.org/wiki/Q35986","display_name":"Aesthetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exm003","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exm003","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2059384236","https://openalex.org/W1528089385","https://openalex.org/W2894069061","https://openalex.org/W2901253749","https://openalex.org/W2793104284","https://openalex.org/W2468223644","https://openalex.org/W4238513149","https://openalex.org/W135342881","https://openalex.org/W2124410197","https://openalex.org/W3128976560"],"abstract_inverted_index":{"Standard":[0],"possible":[1],"worlds":[2,197,242],"semantics":[3,149],"has":[4,54],"been":[5,42],"known":[6,73],"from":[7,238],"the":[8,80,114,132,173,189,209,232,241],"start":[9],"to":[10,31,68,74,83,100,124,139,147,151,185,213,236],"have":[11,41,63,75],"a":[12,17,59,65,71,87,117,125,140,181,215,228],"problem":[13,143],"with":[14,35,120,153],"granularity:":[15],"for":[16,103],"wide":[18],"range":[19],"of":[20,45,52,116,131,191,201,219,224,227,248],"natural-language":[21],"(NL)":[22],"entailment":[23,179],"patterns,":[24],"not":[25,161],"enough":[26,96,99],"meaning":[27],"distinctions":[28],"are":[29,175,245],"available":[30],"make":[32],"predictions":[33],"consistent":[34],"robust":[36],"intuitions.":[37],"Though":[38],"numerous":[39],"solutions":[40],"proposed,":[43],"often":[44],"great":[46],"ingenuity":[47],"and":[48,78,97,106,127,156,194],"technical":[49,169],"sophistication,":[50],"none":[51],"these":[53],"gained":[55],"widespread":[56],"acceptance.":[57],"As":[58],"result,":[60],"most":[61],"semanticists":[62],"made":[64],"practical":[66,102],"decision":[67],"work":[69],"in":[70,144,243],"framework":[72],"dubious":[76],"foundations":[77],"leave":[79],"foundational":[81],"problems":[82],"mathematical":[84,222],"logicians.":[85],"Here,":[86],"new":[88],"approach":[89],"is":[90],"proposed":[91],"which":[92],"may":[93],"be":[94,101],"simple":[95],"conservative":[98],"working":[104],"empirical":[105],"computational":[107],"semanticists.":[108],"More":[109],"specifically,":[110],"I":[111,135],"show":[112,157],"how":[113],"use":[115],"higher-order":[118],"logic":[119],"definable":[121],"subtypes":[122],"leads":[123],"novel":[126],"surprisingly":[128],"straightforward":[129],"solution":[130],"granularity":[133,230],"problem.":[134],"also":[136],"call":[137],"attention":[138],"hitherto":[141],"unnoticed":[142],"standard":[145],"approaches":[146],"NL":[148,178,251],"having":[150],"do":[152],"non-principal":[154],"ultrafilters":[155],"why":[158],"it":[159],"does":[160],"arise":[162],"under":[163],"my":[164],"proposal.":[165],"The":[166],"two":[167],"main":[168],"innovations":[170,206],"that":[171],"drive":[172],"proposal":[174],"(i)":[176],"axiomatizing":[177],"as":[180,198],"preorder":[182],"(as":[183],"opposed":[184],"an":[186],"order)":[187],"on":[188],"set":[190],"(primitive)":[192],"propositions,":[193],"(ii)":[195],"defining":[196],"certain":[199],"sets":[200],"propositions":[202],"(viz.":[203],"ultrafilters).":[204],"These":[205],"provide":[207],"just":[208],"tools":[210],"we":[211],"need":[212],"develop":[214],"formally":[216],"explicit":[217],"theory":[218],"hyperintensions,":[220],"1":[221],"models":[223],"Fregean":[225],"senses":[226],"finer":[229],"than":[231],"familiar":[233],"intensions":[234],"(functions":[235],"extensions":[237],"worlds,":[239],"where":[240],"turn":[244],"theoretical":[246],"primitives)":[247],"mainstream":[249],"Kripke/Montague-inspired":[250],"semantics.":[252]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2022-05-12T00:00:00"}