2-IKV-261 Logic and Cognitive Science

Evaluation during the course: independent project

Concluding evaluation: exam

Subject aim: Traditional understanding of logic abstracts away from reasoning made by humans. On the contrry, traditional understanding of cognitive science does not sufficiently take into account the way in which cognition is characterized by logic. The goal of the course to help to bridge this barrier.

Brief curriculum of the subject:

1. Contents of mind and cognitive science

2. Contents of mind and logic

3. Logics in artificial intelligence (with emphasis on nonmonotonicity and bounded rationality)

4. Cognitive theory of reasoning

Literature:

K. Stenning, M. van Lambalgen: Human reasoning and cognitive science. 2005.
Available on the web.

Language in which the subject is taught: Slovak

Date of the last sheet revision: 22.6.2007