Week 5 [2023-05-03 Wed]

We spoke about iterating the lifting operation.

This allows different quantificational elements to appear on different, non-interacting, tiers. The lowering operation ensures that higher tiers will end up outscoping lower ones, thus divorcing scope from left-to-right order.

Next time, we read chapter 5 (movement as delayed evaluation).