Kant and German philosophy -- Decomposition -- Meaning and analysis -- A substitutional theory -- Analyticity -- Ableitbarkeit and Abfolge -- Justification and proof -- A priori knowledge -- Things, collections and numbers -- Frege meaning and communication -- Husserl, logical psychologism, and the theory of knowledge