The article introduces Prior’s paper Definitions, Rules and Axioms which deals with Leśniewski’s creative definitions. It presents the origins of Prior’s paper and the discussion which is linked with its final form. Prior’s aim in this paper was to present the Leśniewskian definitions in comparison with Russell’s concept of definitions, demonstrating their advantages and disadvantages. The main source of Prior’s knowledge about the Leśniewskian definitions were Sobociński’s papers and letters, which are stored in the Bodleian library. Although the paper Definitions, Rules and Axioms is a unique attempt at approximating creative definitions, it contains several mistakes. Lejewski identified them in his letter to Prior and also described how they arose. Lejewski’s critique was not severe, however, and Prior coped with it in the introductory page of his paper., Článek seznamuje s definicemi, pravidly a axiomy, které se týkají Leśniewského tvůrčích definic. Představuje počátky přednášky a diskusi, která je spojena s její finální podobou. Prioritním cílem této práce bylo představit Leśniewskovské definice ve srovnání s Russellovým pojetím definic, které demonstrují jejich výhody a nevýhody. Hlavním zdrojem znalostí Proroků o Leśniewskovských definicích byly Sobocińského noviny a dopisy, které jsou uloženy v Bodleovské knihovně. I když je papír Definice, pravidla a axiomyje jedinečným pokusem o aproximaci kreativních definic, obsahuje několik chyb. Lejewski je identifikoval ve svém dopise Prior a také popsal, jak vznikly. Lejewského kritika však nebyla vážná a Prior se s ní vyrovnal v úvodní stránce svého článku., and Zuzana Rybaříková
Arthur Prior’s logic was influenced, among others, by logicians from the Lvov-Warsaw school. This paper introduces the impact Leśniewski’s Ontology had on Prior’s logical system. The paper describes the main characteristics of Leśniewski’s Ontology, Prior’s logical system and the manner in which Prior became acquainted with Leśniewski’s logical system. Since Leśniewski was no longer alive when Prior began to develop his logical system and Leśniewski’s papers were not easily available to Prior, this paper also includes Prior’s interpretation of Leśniewski’s logical system which did not always correspond to Leśniewski’s original ideas., Logika Arthura Priora byla ovlivněna mimo jiné i logiky ze školy ve Lvově-Varšavě. Tento článek představuje dopad Leśniewského ontologie na logický systém Prior. Článek popisuje hlavní charakteristiky Leśniewského ontologie, logického systému Prior a způsob, jakým se Prior seznámil s Leśniewského logickým systémem. Vzhledem k tomu, že Leśniewski už nebyl naživu, když Prior začal rozvíjet svůj logický systém a Leśniewskiho dokumenty nebyly Prioritě snadno dostupné, tento dokument zahrnuje také Prorovu interpretaci Leśniewského logického systému, který ne vždy odpovídal Leśniewského původním myšlenkám., and Zuzana Rybaříková