Computational Logic and Cognitive Science
As if to speak directly to the core meaning of this blog, there is an academic summer school coming up at the end of the summer entitled Computational Logic and Cognitive Science at Technische Universität Dresden:
The summer academy will focus on the long-lasting controversy of the relationship between modern formal logic (including its use for automated reasoning and computation) and, on the other hand, the rationality and common sense underlying human reasoning. Traditionally, a huge gap is perceived between the symbolic representation of knowledge used in modern logic and the sub-symbolic representation considered dominant in human reasoning. Psychological experiments of the past even suggested that people often don't reason logically and, in general, that logic seems to play only a minor role in human reasoning. However, recently, new ways of explaining human reasoning seem to revive its relatedness to logic. For this reason this summer academy attempts to bring together researchers from both sides for an exchange of views.
In short, we are making good progress at filling and bridging the semantic abyss, but if anybody thinks we are close to being "there" any time soon, they should guess again.
Call for Participation
ICCL Summer School 2008
COMPUTATIONAL LOGIC AND COGNITIVE SCIENCE
Technische Universität Dresden
August 24 -- September 6, 2008