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/2018/newsitem/10383/10 -December-2018-AUC-Logic-Lectures-Series-Johan-van -Benthem DTSTAMP:20181210T132631 SUMMARY:AUC Logic Lectures Series, Johan van Benth em ATTENDEE;ROLE=Speaker:Johan van Benthem (ILLC/UvA, Stanford, Tsingua) DTSTART;TZID=Europe/Amsterdam:20181210T180000 DTEND;TZID=Europe/Amsterdam:20181210T190000 LOCATION:AUC Common Room, Science Park 113, Amster dam DESCRIPTION:Our walk starts with quantifier expres sions like "all", "some" which underlie both ordin ary language and the mathematical language of scie nce. We look at the history of logical systems for quantifiers, flagging some issues very much alive today, such as the interplay of formal and natura l languages, fast practical quantifier inference v ersus slow conscious deductive proof, compositiona lity and recursion, and interfaces with probabilit y. These topics show logic as a design lab, but al so as a cross-roads where many academic discipline s meet and interact. X-ALT-DESC;FMTTYPE=text/html:\n
Our walk start s with quantifier expressions like "all" , "some" which underlie both ordinary la nguage and the mathematical language of science. W e look at the history of logical systems for quant ifiers, flagging some issues very much alive today , such as the interplay of formal and natural lang uages, fast practical quantifier inference versus slow conscious deductive proof, compositionality a nd recursion, and interfaces with probability. The se topics show logic as a design lab, but also as a cross-roads where many academic disciplines meet and interact.
URL:http://www.auc.nl/shared-content/events/lectur es/wit-2018-2019/12/auc-logic-lectures-johan-van-b enthem-2019.html CONTACT:Dora Achourioti at t.achourioti at uva.nl END:VEVENT END:VCALENDAR