Abstrakt
Námětem tohoto článku je otázka, existuje-li něco, co by mohlo být opodstatněně nazýváno logikou inference. Může se zdát, že nejméně od té doby, co Prawitz, Dummett a další demonstrovali, že z hlediska teorie důkazů je prominentní intuicionistická logika, je nasnadě odpověď, že je to právě tato logika, která si toto označení zaslouží.