BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/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:20181210T180000
DTEND: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.

\n
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