This is the website of the Logic, Computation, and Cognition course at Nordic Spring School in Logic, May 27-31, 2013, Sophus Lie Conference Center, Nordfjordeid, Norway.
This page will be updated throughout the course, with links to the slides used in class, so visit regularly!
About the Course
In this course 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 along various dimensions, e.g.,
- logical relationships, such as essential incompatibility or essential identity;
- explanatory power;
- computational plausibility.
For more information visit the Course content page.