In his inaugural address at Freiburg University in 1929, Heidegger explicitly challenged the central place given to logical principles in neo-Kantianism, on the basis of a radical account of ‘the nothing’. Two years later, Carnap used the tools of symbolic logic to show how Heidegger’s assertions about the nothing were illogical and thus meaningless, like much of traditional metaphysics.
How did symbolic logic show that Heidegger’s assertions about the nothing were illogical? What is symbolic logic and is it related to mathematics? What are the claims that were proved to be wrong?