The paper presents the logical milieu of the Paradox of ravens, identified by Hempel in his Studies in the Logic of Confirmation. It deals with Hempel’s interpretations of Nicod’s criterion of confirmation as well as with its inadmissible consequences. I, subsequently, suggest an epistemological and semantic specification of empirical properties, i.e., of their identity; then I formulate a criterion of the test of properties expressed by empirical hypothesis. Finally, I propose a procedural conception of confirmation by means of the testing procedure schema. The confirmation is, therefore, conceived as an attribute which can be ascribed to a hypothesis through the process of its testing. The methods of testing are central to the hypothesis’s qualifica-tion as confirmed., Příspěvek prezentuje logické prostředí paradoxu havranů, které Hempel identifikoval ve svých studiích v logice potvrzení. Zabývá se Hempelovými výklady Nicodova kritéria potvrzení a jeho nepřípustnými důsledky. Následně navrhuji epistemologickou a sémantickou specifikaci empirických vlastností, tj. Jejich identity; pak formuluji kritérium testu vlastností vyjádřené empirickou hypotézou. Na závěr navrhuji procedurální koncepci potvrzení pomocí schématu testovacího postupu. Potvrzení je proto koncipováno jako atribut, který může být připsán hypotéze v procesu jeho testování. Metody testování jsou ústředním bodem kvalifikace hypotézy jako potvrzené., and Lukáš Bielik