This introduction describes the place of formal logic in Hegel's logic and outlines the problem to which Hegel will respond: the logocentric predicament. It explains why this problem became important in the wake of Kant's critical philosophy, which Kant's idealist successors accused of relying on logic in an uncritcal way. It further goes into versions of the problem that have arisen in philosophy before Hegel and since, especially in Frege, Wittgenstein and more recent analytical philosophy. Finally, it distinguishes the approach I take to post-Kantian logic from that of Robert Pippin.