{"pk":28429,"title":"Logicist Computational Cognitive Modeling of Infinitary False Belief Tasks","subtitle":null,"abstract":"We synoptically describe having achieved the unprecedentedlogicist cognitive computational simulation of quantified ver-sions of any n-level (FBTn, ∀n ∈ N) false-belief task, andhence of what we call the infinitary false-belief task (FBTω);the achievement is enabled by the automated reasoner Shad-owProver. Logicist cognitive computational simulation of thelevel-one (or, as it’s currently known, “first-order”) false-belieftask (FBT1) was achieved circa 2007 by Bringsjord et al. Butsubsequently cognitive science has seen the arrival such mod-eling and simulation successfully applied to the second-orderfalse-belief task (FBT2); see e.g. (Blackburn & Polyanskaya,forthcoming). (This is the level-two FBT in our hierarchy oftasks.) But now, courtesy of what we report, logicist cognitivecomputational simulation of any FBTn is accomplished for thefirst time, and hence the infinitary false-belief task (FBTω) isreached as well","language":"eng","license":{"name":"","short_name":"","text":null,"url":""},"keywords":[{"word":"logic; cognitive modeling; false-belief task; sally-anne task; infinitary reasoning"}],"section":"Publication-based Talks","is_remote":true,"remote_url":"https://escholarship.org/uc/item/0f5833v2","frozenauthors":[{"first_name":"Selmer","middle_name":"","last_name":"Bringsjord","name_suffix":"","institution":"RPI","department":""},{"first_name":"Naveen","middle_name":"Sundar","last_name":"Govindarajulu","name_suffix":"","institution":"RPI","department":""}],"date_submitted":null,"date_accepted":null,"date_published":"2019-01-01T18:00:00Z","render_galley":null,"galleys":[{"label":"PDF","type":"pdf","path":"https://journalpub.escholarship.org/cognitivesciencesociety/article/28429/galley/18300/download/"}]}