Busting a Myth about Leśniewski and Definitions

History and Philosophy of Logic 33 (2):159 - 189 (2012)
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 Le?niewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Le?niewski's published or unpublished work is known where the standard conditions are discussed. Second, Le?niewski's own logical theories allow for creative definitions. Third, Le?niewski'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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2011.583771
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,191
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
Principles of Mathematics.Bertrand Russell - 1903 - Cambridge University Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.
Introduction to Logic.Suppes Patrick - 1957 - Dover Publications.

View all 43 references / Add more references

Citations of this work BETA
Formalization, Primitive Concepts, and Purity.John T. Baldwin - 2012 - Review of Symbolic Logic 1 (1):1-42.

Add more citations

Similar books and articles
Theoretical Terms and Partial Definitions.John A. Winnie - 1965 - Philosophy of Science 32 (3/4):324-328.
Theory-Dependent Terms.David Papineau - 1996 - Philosophy of Science 63 (1):1-20.
Sexual Perversion and Human Nature.James M. Humber - 1987 - Philosophy Research Archives 13:331-350.
Myth and the Structure of Plato's Euthyphro.Daniel Werner - 2012 - International Philosophical Quarterly 52 (1):41-62.
Two Kinds of Definition in Spinoza's Ethics.Kristina Meshelski - 2011 - British Journal for the History of Philosophy 19 (2):201-218.

Monthly downloads

Added to index


Total downloads

33 ( #156,471 of 2,172,657 )

Recent downloads (6 months)

3 ( #117,216 of 2,172,657 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums