Finally, the incongruity theory (Immanuel Kant, Arthur Schopenhauer) says we laugh when our expectations are violated, especially in a pleasing way. Incongruity explains why most jokes take the form of a setup followed by a punchline: the setup creates an expectation, which is then violated by the punchline.
