Press the right key for the next slide (or swipe left)

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

 

I Met a Philosopher

You may remember the two basic forms of quantified sentences we've been considering so far. These are quite limiting. What happens if we want to say, not that everything is broken, but that everything of mine is broken. And how could we say, not just that something is broken, but that a red square is broken (say)?
 

All circles are broken.

∀x( Circle(x) → Broken(x) )

All idols are dead.

∀x( Idol(x) → Dead(x) )

All who wander are lost.

∀x( Wanderer(x) → Lost(x) )

A square is broken

Something is square and broken

∃x ( Square(x) ∧ Broken(x))

These are variables. I have a terrible conscience about variables because I've been talking about them without explaining what they are.

A red square is broken

Something is red and square and broken

∃x ( Red(x) ∧ Square(x) ∧ Broken(x) )

9.1 odd numbers only
9.2 even numbers only
9.4
9.5
9.8
9.9
9.10
9.12
9.8
9.9
9.10
9.12
9.13