<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Raclavský, Jiří</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Fitchův paradox poznatelnosti a rozvětvená teorie typů</style></title><secondary-title><style face="normal" font="default" size="100%">Organon F</style></secondary-title><translated-title><style face="normal" font="default" size="100%">Fitch’s Paradox of Knowability and Ramified Theory of Types</style></translated-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Fitch’s knowability paradox</style></keyword><keyword><style  face="normal" font="default" size="100%">ramified theory of types</style></keyword><keyword><style  face="normal" font="default" size="100%">typing knowledge</style></keyword><keyword><style  face="normal" font="default" size="100%">Vicious Circle Principle</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/1/144-165.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">20</style></volume><pages><style face="normal" font="default" size="100%">144-165</style></pages><language><style face="normal" font="default" size="100%">Czech</style></language><abstract><style face="normal" font="default" size="100%">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.</style></abstract><work-type><style face="normal" font="default" size="100%">State</style></work-type><custom2><style face="normal" font="default" size="100%">Articles</style></custom2><custom3><style face="normal" font="default" size="100%">144165</style></custom3><custom5><style face="normal" font="default" size="100%">1</style></custom5></record></records></xml>