Modern formal logic, which is based on Kant’s logical project, interprets logical consequence as formal, which leads to substantive paradoxes that combine any thoughts at all and so to the loss of consequence as such. Beginning with A. Tarski, modern history of logic brings the problem of logical consequence into the realmof search for the relation of consequence, or grounding. In his doctoral dissertation on the nature of logical formality J. MacFarlane claims that the paradoxes of formal theories of logical (...) consequence stem from the loss of grounding by the transcendental system of logic in the post­Kantian logical tradition. Arguably, analysis of logical terminology of consequence in Kant’s seminal works — Critique of Pure Reason, Critique of the Power of Judgment — in comparison with the terminology of earlier works, Prolegomena and lectures on logic attributed to him will clarify the question of the relation oflogical consequence in the formal and non­formal sense. The key concept of consequence in Kant’s terminology is Folgerung, which denotes ‘following’ in logical and non­logical contexts. I have also analysed related concepts: Folge, Abfolge, folglich etc., established dif- ferences between logical terms with similar meaning ‘inference’ (Schluss) and ‘conclusion’ (Konklusion). Finally, I make an attempt to formulate the problem of logical consequence in formal logic through the logical terms Schlussfolge, Folgerung and Konsequenz. On the strength of my analysis I propose to consider Kant’s consequence (Folgerung) to be a concept of transcendental logic that reflects the relation of consequence and grounds formal consequence. (shrink)