It is already known that Fitch’s knowability paradox can be solved by typing knowledge within ramified theory of types. One of the aims of this paper is to provide a greater defence of the approach against recently raised criticism. My second goal is to make a sufficient support for an assumption which is needed for this particular application of typing knowledge but which is not inherent to ramified theory of types as such., Je již známo, že Fitchův paradox paradigmatu může být vyřešen typizací znalostí v rámci rozvětvené teorie typů. Jedním z cílů této práce je poskytnout větší ochranu přístupu proti nedávno vznesené kritice. Mým druhým cílem je poskytnout dostatečnou podporu předpokladu, který je pro tuto konkrétní aplikaci typického poznání potřebný, ale který není spojen s rozvětvenou teorií typů jako takovou., and Jiří Raclavský