## 24.12.2018

### Contents/Index

Say that $b$ is our barber. We are quantifying over people, that is $x$. The predicate $S(x,y)$ is interpreted as "$x$ shaves $y$". So if $b$ encumber us with his existence, we can conclude absurdities. What a paradox.