16 February 2015, AUC Logic Guest Lectures, Johan van Benthem

Abstract: Logical consequences can be viewed as informational dependencies that would also hold in a world empty of people. While consequence is the basis for logic, human agents engage in styles of reasoning, of which I will discuss a few: mathematical proof generating knowledge, default inferences generating beliefs, and of course interactive argumentation where we try to persuade as well as convince. The surprising fact is that logical methods can also help model this wider world of intellectual abilities. In addition, if time permits, I will consider another key feature of human reasoning: its resource-boundedness, and what this means for the actual 'natural logic' we have available for 'thinking fast' in decisions, as opposed to the 'thinking slow' of long-term deliberation, and research.

See also http://www.auc.nl/news-events/events-and-lectures/upcoming-events-and-lectures