News and Events: Upcoming Events

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

19 May 2016, AUC Logic Lectures, Jan van Eijck (CWI and ILLC)

Speaker: Jan van Eijck (CWI and ILLC)
Title: Logic and Action
Date: Thursday 19 May 2016
Time: 18:00-19:00
Location: AUC common room, Science Park 113, Amsterdam

Abstract:
An action is something that takes place in the world, and that makes a
difference to what the world looks like. Thus, actions are maps from
states of the world to new states of the world. Actions can be of
various kinds. The action of spilling coffee changes the state of
your trousers. The action of telling a lie to your friend changes your
friend's state of mind (and maybe the state of your soul). The action
of multiplying two numbers changes the state of certain registers in
your computer. Despite the differences between these various kinds of
actions, we will see that they can all be covered under the same
logical umbrella.

For more information, contact

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