The main target of this course is introducing the student to some themes in the philosophical literature about the sorites paradox and the Liar paradox as well as to some logical developments connected to them.
An introduction to highlights from the technical side of philosophy--from the higher infinite to Gödel's Theorem.
In Paradox and Infinity we will study a cluster of puzzles, paradoxes and intellectual wonders, and discuss their philosophical implications.
The class is divided into three modules:
- Time Travel and Free Will: Learn about whether time travel is logically possible, and whether it is compatible with free will.
- Infinity: Learn about how some infinities are bigger than others, and explore the mind-boggling hierarchy of bigger and bigger infinities.
- Computability and Gödel’s Theorem: Learn about how some mathematical functions are so complex, that no computer could possibly compute them. Use this result to prove Gödel’s famous Incompleteness Theorem.