Proceedings of the Annual Meeting of the Cognitive Science Society

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