Jakub Szymanik

Logic & Computation

Week One - 14.00-15.30 - Level: A

Room: N9

Abstract

In this course we will explore the applicability of modern logic and computation theory in cognitive science. We will show how logic can be used to build cognitive models in order to explain and predict human behavior. We will also illustrate the use of logical and computational toolboxes to evaluate (not necessarily logical) cognitive models. I will argue that logic is a general tool suited for cognitive modeling, and its role need not be restricted to the psychology of reasoning.