@article {Urbaniak:2012:0144-5340:159,
title = "Busting a Myth about Leniewski and Definitions",
journal = "History and Philosophy of Logic",
parent_itemid = "infobike://tandf/thpl",
publishercode ="tandf",
year = "2012",
volume = "33",
number = "2",
publication date ="2012-05-01T00:00:00",
pages = "159-189",
itemtype = "ARTICLE",
issn = "0144-5340",
eissn = "1464-5149",
url = "https://www.ingentaconnect.com/content/tandf/thpl/2012/00000033/00000002/art00003",
doi = "doi:10.1080/01445340.2011.583771",
author = "Urbaniak, Rafal and Severi H{\"a}m{\"a}ri, K.",
abstract = "A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Leniewski, a Polish logician. After a brief survey of its origins, we show
that the myth is highly dubious. First, no place in Leniewski's published or unpublished work is known where the standard conditions are discussed. Second, Leniewski's own logical theories allow for creative definitions. Third, Leniewski's celebrated rules of
definition lay merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 1930s, a study
of these meta-theoretical conditions is more readily found in the works of ukasiewicz and Ajdukiewicz.",
}