BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2015/newsitem/6741/16-
 February-2015-AUC-Logic-Guest-Lectures-Johan-van-B
 enthem
DTSTAMP:20150215T000000
SUMMARY:AUC Logic Guest Lectures, Johan van Benthe
 m
ATTENDEE;ROLE=Speaker:Johan van Benthem
DTSTART;TZID=Europe/Amsterdam:20150216T180000
DTEND;TZID=Europe/Amsterdam:20150216T190000
LOCATION:AUC common room, Science Park 113, Amster
 dam
DESCRIPTION:Abstract: Logical consequences can be 
 viewed as informational dependencies that would al
 so hold in a world empty of people. While conseque
 nce is the basis for logic, human agents engage in
  styles of reasoning, of which I will discuss a fe
 w: mathematical proof generating knowledge, defaul
 t inferences generating beliefs, and of course int
 eractive argumentation where we try to persuade as
  well as convince. The surprising fact is that log
 ical methods can also help model this wider world 
 of intellectual abilities. In addition, if time pe
 rmits, I will consider another key feature of huma
 n reasoning: its resource-boundedness, and what th
 is means for the actual 'natural logic' we have av
 ailable for 'thinking fast' in decisions, as oppos
 ed to the 'thinking slow' of long-term deliberatio
 n, and research.  See also http://www.auc.nl/news-
 events/events-and-lectures/upcoming-events-and-lec
 tures
X-ALT-DESC;FMTTYPE=text/html:\n        <p>Abstract
 : Logical consequences can be viewed as informatio
 nal dependencies that would also hold in a world e
 mpty of people. While consequence is the basis for
  logic, human agents engage in styles of reasoning
 , of which I will discuss a few: mathematical proo
 f generating knowledge, default inferences generat
 ing beliefs, and of course interactive argumentati
 on where we try to persuade as well as convince. T
 he surprising fact is that logical methods can als
 o help model this wider world of intellectual abil
 ities. In addition, if time permits, I will consid
 er another key feature of human reasoning: its res
 ource-boundedness, and what this means for the act
 ual 'natural logic' we have available for 'thinkin
 g fast' in decisions, as opposed to the 'thinking 
 slow' of long-term deliberation, and research.</p>
 \n    \n        <p>See also <a target="_blank" hre
 f="http://www.auc.nl/news-events/events-and-lectur
 es/upcoming-events-and-lectures">http://www.auc.nl
 /news-events/events-and-lectures/upcoming-events-a
 nd-lectures</a></p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/6741/16-
 February-2015-AUC-Logic-Guest-Lectures-Johan-van-B
 enthem
END:VEVENT
END:VCALENDAR