In future lectures on the problem of evil, we will briefly examine the question of the compatibility of free will and natural causation. Kant had at least two further reasons for transcendental idealism. First, there are the antinomies of pure reason. Kant believed that reason fell into several inevitable contradictions whenever the distinction between the phenomenal and noumenal world is ignored. We have already examined the First Antinomy and found the proof of the antithesis wanting.
Most modern commentators find similar defects in the other antinomies.
All other propositions are synthetic, including laws of logic or arithmetic that do not have a form that fits the analytic pattern. Kant believed, with Leibniz, that analytic knowledge is plain and unmysterious. Knowledge can also be divided into apriori and aposteriori knowledge. Aposteriori knowledge is knowledge that is based on the specific contents of actual sense experience. Apriori knowledge is all other knowledge.