Charles Explorer logo
🇨🇿

Co je to logika inference?

Publikace na Filozofická fakulta |
2008

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ží.

Klíčová slova