The Hi, I'm Peter Adamson, and you're listening to the History of Philosophy podcast, brought to you

with the support of the Kings College London

philosophy department and the LMU in Munich online at www. History of philosophy

dot net. Today's episode will be an episode about dynamic logic in medieval obligations with Sarah

Uckleman who is lecturer in philosophy at the University of Durham.

Hi Sarah.

Hello.

Thanks for coming on the podcast.

Thank you for inviting me.

You've published a lot about this genre of logical work or logical game, we might say,

called Obligations.

And we'll get on to talking about that.

But first, I wanted to ask you about your approach

to this material, because you've argued in these publications that obligations show us an example of what sometimes called dynamic or interactive logic already in the medieval period, which would be very exciting if it were true if you're right about this because modern day logicians I mean really modern day like this is something people are interested in right now are interested in this phenomenon of dynamic logic. Can you explain what dynamic

logic is and what it's being opposed to, like maybe static logic?

Yeah, so the idea is that generally in logic you have a set of propositions and that each

have a truth value and this truth value is fixed.

And so you can ask of a certain set of propositions, what do these propositions entail?

And this is also going to be a fixed notion, because nothing is changing about the truth values

of the propositions.

Dynamic logic brings in a way of dealing with change.

So what could be true now might be false tomorrow.

...