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/2016/newsitem/7378/19- May-2016-AUC-Logic-Lectures-Jan-van-Eijck-CWI-and- ILLC- DTSTAMP:20160515T000000 SUMMARY:AUC Logic Lectures, Jan van Eijck (CWI and ILLC) ATTENDEE;ROLE=Speaker:Jan van Eijck (CWI and ILLC) DTSTART;TZID=Europe/Amsterdam:20160519T180000 DTEND;TZID=Europe/Amsterdam:20160519T190000 LOCATION:AUC common room, Science Park 113, Amster dam DESCRIPTION:Abstract: An action is something that takes place in the world, and that makes a diffe rence to what the world looks like. Thus, actions are maps from states of the world to new states o f the world. Actions can be of various kinds. The action of spilling coffee changes the state of y our trousers. The action of telling a lie to your friend changes your friend's state of mind (and m aybe the state of your soul). The action of multi plying two numbers changes the state of certain re gisters in your computer. Despite the differences between these various kinds of actions, we will see that they can all be covered under the same l ogical umbrella. For more information, contact t. achourioti at uva.nl X-ALT-DESC;FMTTYPE=text/html:\n
Abstract
:
\n An action is something that takes
place in the world, and that makes a
\n
difference to what the world looks like. Thus, a
ctions are maps from
\n states of the w
orld to new states of the world. Actions can be o
f
\n various kinds. The action of spil
ling coffee changes the state of
\n you
r trousers. The action of telling a lie to your fr
iend changes your
\n friend's state of
mind (and maybe the state of your soul). The acti
on
\n of multiplying two numbers change
s the state of certain registers in
\n
your computer. Despite the differences between th
ese various kinds of
\n actions, we wil
l see that they can all be covered under the same<
br/>\n logical umbrella.
For more information, contact t.achourioti at uva.nl
URL:/NewsandEvents/Archives/2016/newsitem/7378/19- May-2016-AUC-Logic-Lectures-Jan-van-Eijck-CWI-and- ILLC- END:VEVENT END:VCALENDAR