{"id":"https://openalex.org/W4226146685","doi":"https://doi.org/10.1093/logcom/exac011","title":"Observing interventions: a logic for thinking about experiments","display_name":"Observing interventions: a logic for thinking about experiments","publication_year":2022,"publication_date":"2022-03-28","ids":{"openalex":"https://openalex.org/W4226146685","doi":"https://doi.org/10.1093/logcom/exac011"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exac011","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac011","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":true,"oa_status":"green","oa_url":"https://dare.uva.nl/personal/pure/en/publications/observing-interventions-a-logic-for-thinking-about-experiments(bea311c8-a59f-4c45-8297-e19ac23d0847).html","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015302273","display_name":"Fausto Barbero","orcid":"https://orcid.org/0000-0002-0959-6977"},"institutions":[{"id":"https://openalex.org/I4210102852","display_name":"Helsinki Art Museum","ror":"https://ror.org/01bjs1d88","country_code":"FI","type":"archive","lineage":["https://openalex.org/I4210102852"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Fausto Barbero","raw_affiliation_strings":["Department of Philosophy, History and Art Studies University of Helsinki PL 24 (Unioninkatu 40) 00014 Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, History and Art Studies University of Helsinki PL 24 (Unioninkatu 40) 00014 Helsinki, Finland","institution_ids":["https://openalex.org/I4210102852","https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071002537","display_name":"Katrin Schulz","orcid":"https://orcid.org/0000-0001-8573-9768"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Katrin Schulz","raw_affiliation_strings":["Institute for Logic, Language and Computation (ILLC) Faculty of Science University of Amsterdam Science Park 107 1098 XG Amsterdam The Netherlands"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC) Faculty of Science University of Amsterdam Science Park 107 1098 XG Amsterdam The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037339361","display_name":"Fernando R. Vel\u00e1zquez\u2013Quesada","orcid":"https://orcid.org/0000-0003-4457-1414"},"institutions":[{"id":"https://openalex.org/I4432739","display_name":"University of Bergen","ror":"https://ror.org/03zga2b32","country_code":"NO","type":"education","lineage":["https://openalex.org/I4432739"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Fernando R Vel\u00e1zquez-Quesada","raw_affiliation_strings":["Department of Information Science and Media Studies, Universitetet i Bergen . Bergen, 5020, Norway"],"affiliations":[{"raw_affiliation_string":"Department of Information Science and Media Studies, Universitetet i Bergen . Bergen, 5020, Norway","institution_ids":["https://openalex.org/I4432739"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046488273","display_name":"Kaibo Xie","orcid":"https://orcid.org/0000-0002-6587-3385"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kaibo Xie","raw_affiliation_strings":["Department of Philosophy, Tsinghua University , 100084, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Tsinghua University , 100084, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5015302273"],"corresponding_institution_ids":["https://openalex.org/I133731052","https://openalex.org/I4210102852"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.1931,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.81784354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"33","issue":"6","first_page":"1152","last_page":"1185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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.9991999864578247,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9940999746322632,"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/T10778","display_name":"Philosophy and History of Science","score":0.9868000149726868,"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/counterfactual-conditional","display_name":"Counterfactual conditional","score":0.6253788471221924},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.5948882102966309},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.591647207736969},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5762019753456116},{"id":"https://openalex.org/keywords/pearl","display_name":"Pearl","score":0.5622974038124084},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5568203926086426},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5449380874633789},{"id":"https://openalex.org/keywords/causal-inference","display_name":"Causal inference","score":0.5314748883247375},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5207969546318054},{"id":"https://openalex.org/keywords/causal-reasoning","display_name":"Causal reasoning","score":0.4254392385482788},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.42060330510139465},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.4205991327762604},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.35819780826568604},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.29891788959503174},{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.2792847454547882},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17804256081581116},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1675373911857605}],"concepts":[{"id":"https://openalex.org/C71889745","wikidata":"https://www.wikidata.org/wiki/Q1783264","display_name":"Counterfactual conditional","level":3,"score":0.6253788471221924},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.5948882102966309},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.591647207736969},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5762019753456116},{"id":"https://openalex.org/C2779251273","wikidata":"https://www.wikidata.org/wiki/Q43436","display_name":"Pearl","level":2,"score":0.5622974038124084},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5568203926086426},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5449380874633789},{"id":"https://openalex.org/C158600405","wikidata":"https://www.wikidata.org/wiki/Q5054566","display_name":"Causal inference","level":2,"score":0.5314748883247375},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5207969546318054},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.4254392385482788},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.42060330510139465},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.4205991327762604},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.35819780826568604},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.29891788959503174},{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.2792847454547882},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17804256081581116},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1675373911857605},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exac011","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac011","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"},{"id":"pmh:oai:dare.uva.nl:openaire/bea311c8-a59f-4c45-8297-e19ac23d0847","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/observing-interventions-a-logic-for-thinking-about-experiments(bea311c8-a59f-4c45-8297-e19ac23d0847).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Barbero, F, Schulz, K, Vel\u00e1zquez-Quesada, F R & Xie, K 2023, 'Observing interventions: a logic for thinking about experiments', Journal of Logic and Computation, vol. 33, no. 6, pp. 1152-1185. https://doi.org/10.1093/logcom/exac011","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:dare.uva.nl:openaire/bea311c8-a59f-4c45-8297-e19ac23d0847","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/observing-interventions-a-logic-for-thinking-about-experiments(bea311c8-a59f-4c45-8297-e19ac23d0847).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Barbero, F, Schulz, K, Vel\u00e1zquez-Quesada, F R & Xie, K 2023, 'Observing interventions: a logic for thinking about experiments', Journal of Logic and Computation, vol. 33, no. 6, pp. 1152-1185. https://doi.org/10.1093/logcom/exac011","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W300190828","https://openalex.org/W1489891289","https://openalex.org/W1524326598","https://openalex.org/W1526328753","https://openalex.org/W1533142698","https://openalex.org/W1576238869","https://openalex.org/W1645519945","https://openalex.org/W1926269500","https://openalex.org/W1990514682","https://openalex.org/W2012357101","https://openalex.org/W2034690236","https://openalex.org/W2049910836","https://openalex.org/W2062285040","https://openalex.org/W2063708350","https://openalex.org/W2100327715","https://openalex.org/W2118119080","https://openalex.org/W2119558232","https://openalex.org/W2143891888","https://openalex.org/W2146819619","https://openalex.org/W2159131252","https://openalex.org/W2327850608","https://openalex.org/W2519278264","https://openalex.org/W2529745415","https://openalex.org/W2604401226","https://openalex.org/W2795329138","https://openalex.org/W2801890059","https://openalex.org/W2911814271","https://openalex.org/W2913077577","https://openalex.org/W2998286224","https://openalex.org/W3109232720","https://openalex.org/W3116619469","https://openalex.org/W3126565431","https://openalex.org/W3140030144","https://openalex.org/W3193181462","https://openalex.org/W4226146685","https://openalex.org/W4246671941","https://openalex.org/W4252380885","https://openalex.org/W6630926695","https://openalex.org/W6637318871","https://openalex.org/W6664995779","https://openalex.org/W6674452728","https://openalex.org/W6735887250","https://openalex.org/W6757470078","https://openalex.org/W6765450498","https://openalex.org/W6775881746"],"related_works":["https://openalex.org/W3185507414","https://openalex.org/W1528353690","https://openalex.org/W1512665799","https://openalex.org/W2154360918","https://openalex.org/W4283210793","https://openalex.org/W4226337072","https://openalex.org/W2297655658","https://openalex.org/W1977108148","https://openalex.org/W2946186576","https://openalex.org/W2218406192"],"abstract_inverted_index":{"Abstract":[0],"This":[1,244],"paper":[2],"makes":[3],"a":[4,8,47,51,88,93,143,209,214,260],"first":[5,89],"step":[6,90],"towards":[7],"logic":[9,172],"of":[10,24,40,50,76,82,109,113,123,147,151,164,202,218],"learning":[11,186,204,250],"from":[12,187,251],"experiments.":[13,178,252],"For":[14,253],"this,":[15],"we":[16,91,212,258],"investigate":[17],"formal":[18,48],"frameworks":[19],"for":[20,31,185,205,249],"modeling":[21],"the":[22,35,38,80,148,155,162,195,200,255],"interaction":[23],"causal":[25,94,110,120],"and":[26,61,103,134,167,262],"(qualitative)":[27],"epistemic":[28,149],"reasoning.":[29,121],"Crucial":[30],"our":[32],"approach":[33],"is":[34,181,190,241],"idea":[36],"that":[37,197,229],"notion":[39,217],"an":[41,152,165,231,239],"intervention":[42],"can":[43,159,173],"be":[44],"used":[45],"as":[46],"expression":[49],"(real":[52],"or":[53],"hypothetical)":[54],"experiment":[55,240],"(Pearl,":[56],"2009,":[57,130],"Causality.":[58,131],"Models,":[59,132],"Reasoning,":[60,133],"Inference,":[62,135],"2nd":[63,136],"edn.":[64,137],"Cambridge":[65,138],"University":[66,85,139,225],"Press,":[67,140,226],"Cambridge;":[68],"Woodward,":[69],"2003,":[70],"Making":[71],"Things":[72],"Happen,":[73],"vol.":[74],"114":[75],"Oxford":[77,84],"Studies":[78],"in":[79,208],"Philosophy":[81],"Science.":[83],"Press).":[86],"In":[87,154],"extend":[92],"model":[95,174],"(Briggs,":[96],"2012,":[97],"Philosophical":[98,222],"Studies,":[99],"160,":[100],"139\u2013166;":[101],"Galles":[102],"Pearl,":[104,129],"1998,":[105],"An":[106],"axiomatic":[107],"characterisation":[108],"counterfactuals.":[111],"Foundations":[112],"Science,":[114],"3,":[115],"151\u2013182;":[116],"Halpern,":[117],"2000,":[118],"Axiomatizing":[119],"Journal":[122],"Artificial":[124],"Intelligence":[125],"Research,":[126],"12,":[127],"317\u2013337;":[128],"Cambridge)":[141],"with":[142],"simple":[144],"Hintikka-style":[145],"representation":[146],"state":[150],"agent.":[153],"resulting":[156,171],"setting,":[157],"one":[158],"talk":[160],"about":[161,176],"knowledge":[163,219],"agent":[166,232],"information":[168],"update.":[169],"The":[170],"reasoning":[175],"thought":[177],"However,":[179],"it":[180,198],"unable":[182],"to":[183,233],"account":[184],"experiments,":[188],"which":[189],"clearly":[191],"brought":[192],"out":[193],"by":[194],"fact":[196],"validates":[199],"principle":[201],"no":[203],"interventions.":[206],"Therefore,":[207],"second":[210],"step,":[211],"implement":[213],"more":[215],"complex":[216],"(Nozick,":[220],"1981,":[221],"Explanations.":[223],"Harvard":[224],"Cambridge,":[227],"Massachusetts)":[228],"allows":[230],"observe":[234],"(measure)":[235],"certain":[236],"variables":[237],"when":[238],"carried":[242],"out.":[243],"extended":[245],"system":[246],"does":[247],"allow":[248],"all":[254],"proposed":[256],"logics,":[257],"provide":[259],"sound":[261],"complete":[263],"axiomatization.":[264]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}