{"id":"https://openalex.org/W7160657360","doi":"https://doi.org/10.48550/arxiv.2605.05368","title":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","display_name":"Towards an Inferentialist Account of Information Through Proof-theoretic Semantics","publication_year":2026,"publication_date":"2026-05-06","ids":{"openalex":"https://openalex.org/W7160657360","doi":"https://doi.org/10.48550/arxiv.2605.05368"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.05368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.05368","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.05368","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135670496","display_name":"Matthew Collins","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Collinson, Matthew","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135663252","display_name":"Timo Eckhardt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eckhardt, Timo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135655591","display_name":"David Pym","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pym, David","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.23190000653266907,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.23190000653266907,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.09120000153779984,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.0722000002861023,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.6157000064849854},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6004999876022339},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5390999913215637},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.504800021648407},{"id":"https://openalex.org/keywords/categorization","display_name":"Categorization","score":0.420199990272522},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4180999994277954},{"id":"https://openalex.org/keywords/information-flow","display_name":"Information flow","score":0.3871000111103058},{"id":"https://openalex.org/keywords/information-system","display_name":"Information system","score":0.35339999198913574},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.3440999984741211}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7336000204086304},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6157000064849854},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6004999876022339},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5390999913215637},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.504800021648407},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.47839999198913574},{"id":"https://openalex.org/C94124525","wikidata":"https://www.wikidata.org/wiki/Q912550","display_name":"Categorization","level":2,"score":0.420199990272522},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4180999994277954},{"id":"https://openalex.org/C2779136372","wikidata":"https://www.wikidata.org/wiki/Q10283002","display_name":"Information flow","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3765000104904175},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.35339999198913574},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34769999980926514},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.3440999984741211},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.3384000062942505},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3181999921798706},{"id":"https://openalex.org/C87868495","wikidata":"https://www.wikidata.org/wiki/Q750843","display_name":"Information processing","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.31060001254081726},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.2922999858856201},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C95831776","wikidata":"https://www.wikidata.org/wiki/Q16387","display_name":"Information science","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.26989999413490295},{"id":"https://openalex.org/C547195049","wikidata":"https://www.wikidata.org/wiki/Q1725664","display_name":"Terminology","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.26030001044273376},{"id":"https://openalex.org/C115286129","wikidata":"https://www.wikidata.org/wiki/Q123637","display_name":"Cybernetics","level":2,"score":0.25940001010894775}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.05368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.05368","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.05368","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.05368","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Information":[0],"is":[1,21,183],"one":[2],"of":[3,8,16,44,67,80,87,91,105,117,131,136,147,163,169,172,200,214,223,228,241],"the":[4,9,41,48,78,84,103,124,138,144,170,188,194,212],"most":[5],"widely-discussed":[6],"concepts":[7,86],"current":[10],"era.":[11],"However,":[12],"a":[13,58,114,128,197,205,220,236],"great":[14],"deal":[15],"insightful":[17],"work":[18],"notwithstanding,":[19],"it":[20,157],"yet":[22],"to":[23,53,234],"be":[24],"given":[25],"wholly":[26],"convincing":[27],"logical":[28],"or":[29],"mathematical":[30,198],"foundations.":[31],"Without":[32],"them,":[33],"we":[34,122,154,191,232],"lack":[35],"adequate":[36],"reasoning":[37],"tools":[38,190],"for":[39,196,210],"understanding":[40,211],"complex":[42],"ecosystems":[43],"systems":[45,202],"upon":[46],"which":[47],"society":[49],"depends.":[50],"We":[51,96],"seek":[52,233],"rectify":[54],"this":[55,106],"by":[56],"taking":[57],"first":[59,125],"step":[60],"towards":[61,127],"developing":[62],"an":[63,132],"inferentialist":[64,118,133],"semantic":[65],"theory":[66,130,222],"information.":[68,81],"There":[69],"are":[70],"three":[71,161],"key":[72,85,206],"interacting":[73],"components.":[74],"First,":[75],"conceptual":[76],"analysis:":[77],"metaphysics":[79],"Dretske":[82],"expressed":[83],"information":[88,148,215,224,242],"in":[89,150,226,249],"terms":[90],"intentionality,":[92],"truth,":[93],"and":[94,101,166,178,243,251],"transmissibility.":[95],"replace":[97],"truth":[98],"with":[99],"inferability,":[100],"trace":[102],"consequences":[104],"replacement.":[107],"Second,":[108],"logic:":[109],"proof-theoretic":[110,141],"semantics":[111],"(P-tS)":[112],"provides":[113],"mathematical-logical":[115,129,239],"realization":[116],"reasoning.":[119,252],"Using":[120],"P-tS,":[121],"develop":[123,192],"steps":[126],"primitive":[134],"unit":[135],"information,":[137,173],"'inferon'.":[139],"This":[140,218],"approach":[142],"counterpoints":[143],"model-theoretic":[145],"view":[146],"articulated":[149],"situation":[151],"theory.":[152],"Furthermore,":[153],"argue":[155],"that":[156],"facilitates":[158],"addressing":[159],"all":[160],"components":[162],"van":[164],"Benthem":[165],"Martinez's":[167],"categorization":[168],"understandings":[171],"as":[174,176,179],"range,":[175],"correlation,":[177],"code.":[180],"Our":[181],"focus":[182],"on":[184],"information-as-correlation.":[185],"Third,":[186],"systems:":[187],"P-tS":[189],"provide":[193],"basis":[195],"account":[199,240],"distributed":[201,229],"modelling":[203],"--":[204],"tool":[207],"from":[208],"informatics":[209],"organization":[213],"processing":[216],"systems.":[217,230],"yields":[219],"reasoning-based":[221],"flow":[225],"models":[227],"Overall,":[231],"give":[235],"conceptually":[237],"rigorous":[238],"its":[244],"role":[245],"within":[246],"informatics,":[247],"grounded":[248],"inference":[250]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-09T00:00:00"}