The End Is Near

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

‘The’ can be a quantifier, e.g. ‘the square is broken’. How to formalise it?

The square is broken \\ ⫤⊨ There is exactly one square and it is broken

Recall that we can translate `There is exactly one square' as:

\hspace{5mm} ∃x ( Square(x) ∧ ∀y ( Square(y) → x=y ) )

So `There is exactly one square and it's broken':

\hspace{5mm} ∃x ( Sqr(x) ∧ ∀y ( Sqr(y) → x=y ) ∧ Broken(x) )

There is an end, and all ends are this end, and it is near.

∃x ( End(x) ∧ ∀y ( End(y) → x=y ) ∧ Near(x) )