{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T22:51:45Z","timestamp":1782946305456,"version":"3.54.5"},"reference-count":90,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Cognitive Science"],"published-print":{"date-parts":[[2018,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article presents a fundamental advance in the theory of mental models as an explanation of reasoning about facts, possibilities, and probabilities. It postulates that the meanings of compound assertions, such as conditionals (<jats:italic>if<\/jats:italic>) and disjunctions (<jats:italic>or<\/jats:italic>), unlike those in logic, refer to conjunctions of epistemic possibilities that hold in default of information to the contrary. Various factors such as general knowledge can modulate these interpretations. New information can always override sentential inferences; that is, reasoning in daily life is defeasible (or nonmonotonic). The theory is a dual process one: It distinguishes between intuitive inferences (based on system 1) and deliberative inferences (based on system 2). The article describes a computer implementation of the theory, including its two systems of reasoning, and it shows how the program simulates crucial predictions that evidence corroborates. It concludes with a discussion of how the theory contrasts with those based on logic or on probabilities.<\/jats:p>","DOI":"10.1111\/cogs.12634","type":"journal-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T06:50:10Z","timestamp":1530600610000},"page":"1887-1924","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":84,"title":["Facts and Possibilities: A Model\u2010Based Theory of Sentential Reasoning"],"prefix":"10.1111","volume":"42","author":[{"given":"Sangeet S.","family":"Khemlani","sequence":"first","affiliation":[{"name":"Navy Center for Applied Research in Artificial Intelligence US Naval Research Laboratory"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruth M. J.","family":"Byrne","sequence":"additional","affiliation":[{"name":"School of Psychology and Institute of Neuroscience Trinity College Dublin University of Dublin"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philip N.","family":"Johnson\u2010Laird","sequence":"additional","affiliation":[{"name":"Department of Psychology Princeton University"},{"name":"Department of Psychology New York University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2018,7,2]]},"reference":[{"key":"e_1_2_6_2_1","volume-title":"A primer of probability logic","author":"Adams E. W.","year":"1998"},{"key":"e_1_2_6_3_1","volume-title":"The theory of parsing, translation, and compiling. Vol I: Parsing","author":"Aho A. V.","year":"1972"},{"key":"e_1_2_6_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001"},{"key":"e_1_2_6_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2015.06.013"},{"key":"e_1_2_6_6_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog2201_2"},{"key":"e_1_2_6_7_1","doi-asserted-by":"publisher","DOI":"10.4324\/9781410603005"},{"key":"e_1_2_6_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogpsych.2004.08.001"},{"key":"e_1_2_6_9_1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1017\/S1930297500001479","article-title":"The psychology of moral reasoning","volume":"3","author":"Bucciarelli M.","year":"2008","journal-title":"Judgment and Decision Making"},{"key":"e_1_2_6_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(89)90018-8"},{"key":"e_1_2_6_11_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5756.001.0001"},{"key":"e_1_2_6_12_1","doi-asserted-by":"publisher","DOI":"10.1006\/jmla.1998.2622"},{"key":"e_1_2_6_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2009.04.003"},{"key":"e_1_2_6_14_1","doi-asserted-by":"publisher","DOI":"10.1159\/000277054"},{"key":"e_1_2_6_15_1","volume-title":"Meaning and necessity: A study in semantics and modal logic","author":"Carnap R.","year":"1947"},{"key":"e_1_2_6_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/13546780903361765"},{"key":"e_1_2_6_17_1","first-page":"151","article-title":"The complexity of theorem proving procedures","author":"Cook S. A.","year":"1971","journal-title":"Proceedings of the Third Annual Association of Computing Machinery Symposium on the Theory of Computing"},{"key":"e_1_2_6_18_1","volume-title":"The nature of explanation","author":"Craik K.","year":"1943"},{"key":"e_1_2_6_19_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203028100"},{"key":"e_1_2_6_20_1","first-page":"109","article-title":"Bayesian reasoning with ifs and ands and ors","volume":"6","author":"Cruz N.","year":"2015","journal-title":"Frontiers in Psychology"},{"key":"e_1_2_6_21_1","first-page":"259","volume-title":"Proceedings of the 32nd Annual Conference of the Cognitive Science Society","author":"Cruz N.","year":"2017"},{"key":"e_1_2_6_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogpsych.2013.05.002"},{"key":"e_1_2_6_23_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.psych.59.103006.093629"},{"key":"e_1_2_6_24_1","doi-asserted-by":"publisher","DOI":"10.1080\/13546783.2011.637674"},{"key":"e_1_2_6_25_1","doi-asserted-by":"publisher","DOI":"10.1037\/0278-7393.25.6.1495"},{"key":"e_1_2_6_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198525134.001.0001"},{"key":"e_1_2_6_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11050-005-2052-4"},{"key":"e_1_2_6_28_1","doi-asserted-by":"publisher","DOI":"10.3758\/BF03213806"},{"key":"e_1_2_6_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2016.08.005"},{"key":"e_1_2_6_30_1","doi-asserted-by":"publisher","DOI":"10.1037\/a0034232"},{"key":"e_1_2_6_31_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.112.2.468"},{"key":"e_1_2_6_32_1","unstructured":"Goodwin G. P. &Johnson\u2010Laird P. N.(in press).The truth of conditional assertions. Cognitive Science."},{"key":"e_1_2_6_33_1","volume-title":"Studies in the way of words","author":"Grice H. P.","year":"1989"},{"key":"e_1_2_6_34_1","doi-asserted-by":"publisher","DOI":"10.1037\/xlm0000255"},{"key":"e_1_2_6_35_1","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644"},{"key":"e_1_2_6_36_1","doi-asserted-by":"publisher","DOI":"10.1037\/10034-000"},{"key":"e_1_2_6_37_1","volume-title":"Formal logic: Its scope and limits","author":"Jeffrey R. J.","year":"1981"},{"key":"e_1_2_6_38_1","first-page":"7","volume-title":"Reasoning: Representation and Process","author":"Johnson\u2010Laird P. N.","year":"1975"},{"key":"e_1_2_6_39_1","volume-title":"How we reason","author":"Johnson\u2010Laird P. N.","year":"2006"},{"key":"e_1_2_6_40_1","volume-title":"Deduction","author":"Johnson\u2010Laird P. N.","year":"1991"},{"key":"e_1_2_6_41_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.109.4.646"},{"key":"e_1_2_6_42_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.99.3.418"},{"key":"e_1_2_6_43_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.111.3.640"},{"key":"e_1_2_6_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2015.02.006"},{"key":"e_1_2_6_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2015.06.014"},{"key":"e_1_2_6_46_1","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.106.1.62"},{"key":"e_1_2_6_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-0277(99)00015-3"},{"key":"e_1_2_6_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(78)90019-1"},{"key":"e_1_2_6_49_1","doi-asserted-by":"publisher","DOI":"10.2307\/1420752"},{"key":"e_1_2_6_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(70)90009-5"},{"key":"e_1_2_6_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2011.11.007"},{"key":"e_1_2_6_52_1","volume-title":"Critique of pure reason","author":"Kant I.","year":"1934"},{"key":"e_1_2_6_53_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1745-6924.2009.01164.x"},{"key":"e_1_2_6_54_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781119170174.epcn311"},{"key":"e_1_2_6_55_1","doi-asserted-by":"publisher","DOI":"10.3389\/fnhum.2014.00849"},{"key":"e_1_2_6_56_1","doi-asserted-by":"publisher","DOI":"10.3758\/MC.37.5.615"},{"key":"e_1_2_6_57_1","doi-asserted-by":"publisher","DOI":"10.1080\/17470218.2011.592593"},{"key":"e_1_2_6_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.actpsy.2012.01.010"},{"key":"e_1_2_6_59_1","doi-asserted-by":"publisher","DOI":"10.1080\/20445911.2012.720968"},{"key":"e_1_2_6_60_1","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2012.674060"},{"key":"e_1_2_6_61_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0045975"},{"key":"e_1_2_6_62_1","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12193"},{"key":"e_1_2_6_63_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1316275110"},{"key":"e_1_2_6_64_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.actpsy.2014.05.004"},{"key":"e_1_2_6_65_1","doi-asserted-by":"publisher","DOI":"10.1111\/phpe.12029"},{"key":"e_1_2_6_66_1","volume-title":"Nonmonotonic logic: Context\u2010dependent reasoning","author":"Marek V. W.","year":"2013"},{"key":"e_1_2_6_67_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852"},{"key":"e_1_2_6_68_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198524496.001.0001"},{"key":"e_1_2_6_69_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0017.2012.01448.x"},{"key":"e_1_2_6_70_1","doi-asserted-by":"publisher","DOI":"10.3758\/BF03194404"},{"key":"e_1_2_6_71_1","doi-asserted-by":"publisher","DOI":"10.1080\/13546780903266188"},{"key":"e_1_2_6_72_1","doi-asserted-by":"publisher","DOI":"10.1080\/13546783.2013.838189"},{"key":"e_1_2_6_73_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2007.11.005"},{"key":"e_1_2_6_74_1","volume-title":"The development of modal reasoning: Genesis of necessity and possibility notions","author":"Pi\u00e9raut\u2010Le Bonniec G.","year":"1980"},{"key":"e_1_2_6_75_1","doi-asserted-by":"publisher","DOI":"10.1080\/17470218.2016.1154079"},{"key":"e_1_2_6_76_1","doi-asserted-by":"publisher","DOI":"10.1080\/17470210903536902"},{"key":"e_1_2_6_77_1","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12479"},{"key":"e_1_2_6_78_1","first-page":"20","volume-title":"From a logical point of view","author":"Quine W. V. O.","year":"1953"},{"key":"e_1_2_6_79_1","first-page":"980","volume-title":"Proceedings of the 32nd Annual Conference of the Cognitive Science Society","author":"Ragni M.","year":"2017"},{"key":"e_1_2_6_80_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5680.001.0001"},{"key":"e_1_2_6_81_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:LING.0000023378.71748.db"},{"key":"e_1_2_6_82_1","doi-asserted-by":"publisher","DOI":"10.1080\/17470210902888726"},{"key":"e_1_2_6_83_1","doi-asserted-by":"publisher","DOI":"10.1016\/0885-2014(88)90018-4"},{"key":"e_1_2_6_84_1","volume-title":"Relevance: Communication and cognition","author":"Sperber D.","year":"1986"},{"key":"e_1_2_6_85_1","doi-asserted-by":"publisher","DOI":"10.4324\/9781410603432"},{"key":"e_1_2_6_86_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5371(70)80006-8"},{"key":"e_1_2_6_87_1","doi-asserted-by":"publisher","DOI":"10.1037\/h0032510"},{"key":"e_1_2_6_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01066925"},{"key":"e_1_2_6_89_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(74)90017-1"},{"key":"e_1_2_6_90_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.2044-8295.1970.tb01270.x"},{"key":"e_1_2_6_91_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011255819284"}],"container-title":["Cognitive Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1111%2Fcogs.12634","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/pdf\/10.1111\/cogs.12634","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1111\/cogs.12634","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/pdf\/10.1111\/cogs.12634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T06:14:05Z","timestamp":1693894445000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/10.1111\/cogs.12634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":90,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["10.1111\/cogs.12634"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1111\/cogs.12634","archive":["Portico"],"relation":{},"ISSN":["0364-0213","1551-6709"],"issn-type":[{"value":"0364-0213","type":"print"},{"value":"1551-6709","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7,2]]},"assertion":[{"value":"2017-04-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-05-03","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}