Abstract
According to Kant, concepts can be used in three different ways, i.e. an empirical (= pre-philosophical) use, a transcendentally real (= philosophically inadequate) use, and a transcendentally ideal (= philosophically reasonable) use. Regarding the concept of the world as a whole, however, Kant misrepresents the empirical meaning and therefore overlooks the transcendentally ideal understanding of “everything”. Along this guiding line, the paper defends Kant’s program of showing that spatiotemporal objects are conditioned by subjective, non-empirical conditions against the charge that it is inconsistent with Kant’s alleged solution of the antinomies. It turns out that Kant’s program is consistent both with ontological realism about the world and with empirical realism about, e.g., the Big Bang. The remaining problem is how to formalize in modal logic unrestricted quantification in its transcendentally ideal usage.