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

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 t.achourioti at uva.nl