In his attempt to give an answer to the question of what constitutes real knowledge, Kant steers a middle course between empiricism and rationalism. True knowledge refers to a given empirical reality, but true knowledge has to be understood as necessary as well, and so consequently, must be a priori. Both demands can only be reconciled if synthetic a priori judgments are possible. To ground this possibility, Kant develops his transcendental logic. In Frege's program of providing a logicistic basis for true knowledge the same problem is at issue: his logicist solution places the...