Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Speaker: Johan van Benthem
Title: From logical consequence to styles of reasoning.
Date: Monday 16 February 2015
Time: 18:00-19:00
Location: AUC common room, Science Park 113, Amsterdam

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

Please note that this newsitem has been archived, and may contain outdated information or links.