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)|
References found in this work BETA
Citations of this work BETA
Formalization, Primitive Concepts, and Purity.John T. Baldwin - 2012 - Review of Symbolic Logic 1 (1):1-42.
Similar books and articles
Axiomes Et Définitions Chez Leśniewski: Une Manière Génétique de Développer Les Systèmes Formels.Denis Miéville - 1987 - Theoria 2 (2):285-307.
Définition, Théorie Des Objets Et Paraconsistance (Definition, Objects' Theory and Paraconsistance).Newton C. A. Costa & Jean-Yves Béziau - 1998 - Theoria 13 (2):367-379.
Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance).Newton C. A. da Costa & Jean-Yves Béziau - 1998 - Theoria 13 (2):367-379.
Theoretical Terms and Partial Definitions.John A. Winnie - 1965 - Philosophy of Science 32 (3/4):324-328.
Justifying Definitions in Mathematics—Going Beyond Lakatos.Charlotte Werndl - 2009 - Philosophia Mathematica 17 (3):313-340.
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.
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games.Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch - 2005 - Studia Logica 81 (1):79 - 98.
Hume's Two Definitions: The Procedural Interpretation.Helen Beebee - 2011 - Hume Studies 37 (2):243-274.
Added to index2012-02-02
Total downloads33 ( #156,471 of 2,172,657 )
Recent downloads (6 months)3 ( #117,216 of 2,172,657 )
How can I increase my downloads?