Bibliography on the Logical Work of Stanislaw Lesniewski
THE WORKS OF LESNIEWSKI IN ENGLISH TRANSLATION
- Lesniewski Stanislaw. "Introductory Remarks to the Continuation of My Article Grundzüge Eines Neuen Systems Der Grundlagen Der Mathematik." In Polish Logic 1920-1939, edited by Mccall, Storrs. 116-169. Oxford: Clarendon Press, 1967.
- ———. "On Definitions in the So-Called Theory of Deduction." In Polish Logic 1920-1939, edited by Mccall, Storrs. 170-187. Oxford: Clarendon Press, 1967.
- ———. "On the Foundations of Mathematics." Topoi.An International Review of Philosophy 2 (1983): 7-52.
- ———. S. Lesniewski's Lecture Notes in Logic. Dordrecht: Kluwer, 1988.
Translators' Foreword IX
PART ONE: FOUNDATIONS OF MATHEMATICS
1. From the foundations of Protothetic 3
2. Definitions and these of Lesniewski's Ontology 29
3. Class theory 59
PART TWO: PEANO ARITHMETIC AND WHITEHEAD'S THEORY OF EVENTS
4. Primitive terms of arithmetic 129
5. Inductive definitions 153
6. Whitehead's theory of events 171
List of seminars and courses delivered by Lesniewski at Warsaw University between 1919 and 1939 179
- ———. Collected Works. Dordrecht: Kluwer, 1992.
Introduction by The Editors VII-XVI
A contribution to the analysis of existential propositions (1911) 1
An attempt at a proof of the ontological principle of contradiction (1912) 20
The critique of the logical principle of the Excluded Middle (1913) 47
Is all truth only true eternally or it is also true without a beginning? (1913) 86
Is the class of classes not subordinated to themselves, subordinated to itself? (1914) 115
Foundations of the General Theory of Sets. I (1916) 129
On the foundations of mathematics 1927-1931 (The series consists of the following papers): 174
I. Introduction (1927) 174
II. On Russell' 'antinomy' concerning 'The Class of Classes which are not elements of themselves' (1927) 197
III. On various ways of understanding the words 'Class' and 'Collection' (1927) 207
IV. On 'Foundations of the General Theory of Sets. I.' (1928) 227
V. Further theorems and definitions of the 'General Theory of Sets' from the period up to the year 1920 inclusive (1929) 264
VI. The axiomatization of the 'General Theory of Sets' from the year 1918 (1930) 315
VII. The axiomatization of the 'General Theory of Sets' from the year 1920 (1930) 321
VIII. On certain conditions established by Kuratowski and Tarski which are sufficient and necessary for P to be the Class of objects a (1930) 327
IX. Further theorems of the 'General Theory of Sets' from the years 1921-1923 (1930) 332
X. The axiomatization of the 'General Theory of Sets' from the year 1921 (1931) 350
XI. On 'Singular' propositions of the type 'A e b' (1931) 364
On functions whose fields, with respect to these functions are groups (1929) 383
On functions whose fields, with respect to these functions are Abelian groups (1929) 399
Fundamentals of a new system of the foundations of mathematics (1929) 410
On the foundations of Ontology (1930) 606
On definitions in the so-called theory of deduction (1931) 629
Introductory remarks to the continuation of my article 'Grundzüge eines neuen Systems der Grundlagen der Mathematik' (1938) 649
An annotated Lesniewski Bibliography [up to 1978] by Frederick V. Rickey 711 (*)
See the Review by Peter Simons: Discovering Lesniewskiin: History and Philosophy of Logic, 15 (1994) pp. 227-235.
STUDIES ABOUT THE WORK OF LESNIEWSKI (in progress)
- "Stanislaw Lesniewski Aujourd'hui." Recherches sur la Philosophie et le Langage 16 (1995).
Contents: Denis Miéville et Denis Vernant: Présentation 5; Bibliographie de Stanislaw Lesniewski 21; Czeslaw Lejewski: Remembering Stanislaw Lesniewski 25; Denis Miéville: Stanislaw Lesniewski et l'importance d' une logique développementale 93; Jan Wolenski: Lesniewski's logic and the concept of Being 93; Peter Simons: Lesniewski and ontological commitment 103; Georges Kalinowski: Les démonstrations de la non-existence des objets généraux chez Lesniewski 121; Frédéric Nef: Sémantique et ontologie: réflexions sur la théorie des objets et les propriétés 179; Denis Vernant: Logique et pragmatique: la genèse du concept d'assertion 179; Alain Lecomte: Une descendance des systèmes de Lesniewski. Le calcul de Lambek (de la grammaire logique aux grammaires de logiques des types) 207; Alain Berrendonner: Anaphore associatie et méréologie 237; Jacques Roualt: Représentations centrées objets, formalisation en linguistique et systèmes de Lesniewski 257; Mounia Fredj: Implémentation des principes méréologiques 275; Olivier Houdé: Le "langage méréologique" ajoute-t-il quelque chose aux descriptions psychologiques 297; List des numéros déjaà publiés 321; Adresses des auteurs 330.
- Ajdukiewicz Kazimierz. "Syntactic Connection." In Polish Logic 1920-1939, edited by McCall, Storrs. 207-231. Oxford: Clarendon Press, 1967.
Originally published in German as: Die syntaktische Konnexität, Studia Philosophica, 1, 1935, pp. 1-27.
- Betti Arianna. "Logica Ed Esistenza in Stanislaw Leniewski." Università degli Studi di Firenze, 1995.
Tesi di laurea inedita (Relatore: Ettore Casari).
- ———. "De Veritate: Another Chapter. The Bolzano-Lesniewski Connection." In The Lvov-Warsaw School and Contemporary Philosophy, edited by Kijania-Placek, Katarzyna and Wolenski, Jan. 115-137. Dordrecht: Kluwer Academic Publishers, 1998.
- ———. "Il Rasoio Di Lesniewski." Rivista di Filosofia (1998): 87-112.
- ———. "Sempiternal Truth. The Bolzano-Twardowski-Lesniewski Axis." In The Lvov-Warsaw School. The New Generation, edited by Jadacki, Jacek Jusliuz and Pasniczek, Jacek. 371-399. Amsterdam: Rodopi, 2006.
- Canty John Thomas. "Lesniewski's Terminological Explanations as Recursive Concepts." Notre Dame Journal of Formal Logic 10 (1969): 337-369.
"The terminological concepts for the system of Ontology extended by the axiom of infinity are shown to be definable within that system. in 1929 Lesniewski first published terminological explanations for his system of logic, where he used certain concepts from his system of Mereology along with others such as equiformity. In this paper the terminological concepts are given entirely within the system of Ontology extended by the axiom of infinity. Since the definitions given are recursive, the incompleteness of this extension of Ontology is readily established."
- Chrudzimski Arkadiusz. "The Young Lesniewski on Existentials Propositions." In Actions, Products, and Things: Brentano and Polish Philosophy, edited by Chrudzimski, Arkadiusz and Lukasiewicz, Dariusz. 107-120. Frankfurt: Ontos Verlag, 2006.
- Clay Robert F. "The Consistency of Lesniewski's Mereology Relative to the Real Number System." Journal of Symbolic Logic 33 (1968): 251-257.
- ———. "Introduction to Lesniewski's Logical Systems." Annali dell'Istituto di Discipline Filosofiche dell'Università di Bologna (1980): 5-31.
- Cocchiarella Nino. "A Conceptualist Interpretation of Lesniewski's Ontology." History and Philosophy of Logic 22 (2001): 29-43.
"A first-order formulation of Lesniewski"s Ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Lesniewski"s Ontology is decidable."
- Davis Charles C. "A Note on the Axiom of Choice in Lesniewski's Ontology." Notre Dame Journal of Formal Logic 17 (1976): 35-43.
- Gobber Giovanni. "Alle Origini Della Grammatica Categoriale: Husserl, Lesniewski, Ajdukiewicz." Rivista di Filosofia Neo-Scolastica 76 (1985): 258-295.
- Gombocz Wolfgang. "Lesniewski Und Mally." Notre Dame Journal of Formal Logic 20 (1979): 934-946.
- Grzegorczyk Andrzej. "The Systems of Lesniewski in Relation to Contemporary Logical Research." Studia Logica 3 (1955): 77-95.
- Henry Desmond Paul. "Lesniewski's Ontology and Some Medieval Logicians." Notre Dame Journal of Formal Logic 10 (1969): 324-326.
"In the issue of this journal dated October 1966 (Vol. VII, No. 4, pp. 361-364) Professor John Trentman suggested limitations on my claim that Lesniewski's Ontology is of use in furnishing formal analyses of medieval logical theories, his grounds being that certain medieval theories deny what is called the "two-name theory of predication" allegedly common to Ockham and Ontology. Hence while the work of Ockhamists would be analysable with reference to Ontology, that of those "Thomists" who deny the two-name theory would not. Professor Trentman then goes on to suggest that for such "Thomist" analyses to take place, "something like Frege's functional analysis of predication", is needed to show the "disparity of semantic category that holds between the subject and the predicate", thereby implying that no such form is available in Ontology, and that the allegations about the inadequacy of the two-name theory could have escaped my notice.
Neither of these implications is tenable. Ignoring the second of them, I can deal with the first by exemplifying the manner in which the Ontology in question deals with the relations between names and verbs (i.e. functors which when completed with nominal arguments form propositions)."
- ———. Medieval Logic and Metaphysics. London: Hutchinson, 1972.
- Ishimoto Arata. "Logicism Revisited in the Propositional Fragment of Lesniewski's Ontology." In Philosophy of Mathematics Today, edited by Evandro, Agazzi and Darvas, György. 219-232. Dordrecht: Kluwer Academic Publishers, 1997.
- Iwanus Boguslaw. "An Extension of the Traditional Logic Containing the Elementary Ontology and the Algebra of Classes." Studia Logica 25 (1969): 97-135.
"The paper deals with the axiomatic Calculus of Names (S sub 2) which is an extension of the system S sub 1 presented in my paper "Remarks about syllogistic with negative terms" (Studia logica, vol. XXIV). The primitive terms of S sub 2 are the function of a categorical universal-affirmative proposition, the complement of a set, and the empty set. In S sub 2 one is given the definitions of addition and multiplication of sets, the universal set and the relation epsilon (... is ...) which corresponds semantically to the primitive term of Lesniewski's Ontology. It is proved that the elementary ontology and the elementary algebra of classes are fragments of s sub 2."
- ———. "Remarks About Syllogistic with Negative Terms." Studia Logica 24 (1969): 131-137.
"The article presents a system S of syllogistic based on three axioms. The functor "a" / every...is.../ and the sign of nominal negation are primitive terms of system S. The known axiomatic systems of syllogistic with negative terms constructed by I. Thomas, A. Wedberg and C. A. Meredith are fragments of system S. It seems that the axioms of system S better characterize the categorical propositions containing negative terms since this characterization excludes some non-intuitive interpretations of such propositions, admissible in the above mentioned systems. It is also mentioned that there exists an extension of system S containing the elementary algebra of classes and the elementary Ontology of Lesniewski."
- Kearns John. "The Contribution of Lesniewski." Notre Dame Journal of Formal Logic 8 (1967): 61-93.
- ———. "Two Views of Variables." Notre Dame Journal of Formal Logic 10 (1969): 163-180.
"This paper argues that there are two fundamental ways to regard variables in formalized languages. One way, associated with Russell and Quine, regards variables as autonomous referential expressions. On this view, quantification is the fundamental device for indicating ontological commitments. The second way to regard variables is linked to Frege and Lesniewski; variables are regarded as replacements for constant expressions. Such a view leads to an understanding of quantifiers in terms of substitution instances of the quantified expressions. It is argued that the second way of regarding variables is preferable to the first way, and that no logical results need be given up if this way is adopted."
- Kotarbinski Tadeusz. Gnosiology. The Scientific Approach to the Theory of Knowledge. Oxford: Pergamon Press, 1966.
Original Polish edition 1929; second revised edition 1961.
Translated from the Polish by Olgierd Wojtasiewicz; translation edited by G. Bidwell and C. Pinder
- Küng Guido. "The Meaning of Quantifiers in the Logic of Lesniewski." Studia Logica 26 (1977): 309-322.
- ———. "La Logique Est-Elle Une Discipline Des Mathématiques out Fait-Elle Partie De L'ontologie?". Dialectica 39 (1985): 243-258.
"Heinrich Scholz and J. M. Bochenski have claimed that the laws of formal logic are the most general laws about things, properties, relations, states-of-affairs, etc. Others have mixed up logic and set theory. But Lesniewski's interpretation of the quantifiers shows that properly speaking logic belongs neither to ontology nor to mathematics."
- Lejewski Czeslaw. "Logic and Existence." British Journal for the Philosophy of Science 5 (1954): 104-119.
"I wish to conclude with a brief summary of the results. The aim of the paper was to analyse rather than criticize. I started by examining two inferences which appeared to disprove the validity of the rules of universal instantiation and existential generalization in application to reasoning with empty noun-expressions. Then I distinguished two different interpretations of the quantifiers and argued that under what I called the unrestricted interpretation the two inferences were correct. Further arguments in favour of the unrestricted interpretation of the quantifiers were brought in, and in particular it was found that by adopting the unrestricted interpretation it was possible to separate the notion of existence from the idea of quantification. With the aid of the functor of inclusion two functors were defined of which one expressed the notion of existence as underlying the theory of restricted quantification while the other approximated the term exist(s) as used in ordinary language.
It may be useful to supplement this summary by indicating some aspects of the problem of existence which have not been included in the discussion. I analyzed the theory of quantification so far as it was applied in connection with variables for which noun-expressions could be substituted and my enquiry into the meaning of exist (s) ' was limited to cases where this functor was used with noun-expressions designating concrete objects or with noun-expressions that were empty. It remains to explore, among other things, in what sense the quantifiers can be used to bind predicate variables and what we mean when we say that colours exist or that numbers exist. These are far more difficult problems, which may call for a separate paper or rather for a number of separate papers." (p. 119)
- ———. "On Implicational Definitions." Studia Logica 8 (1958): 189-206.
- ———. "On Lesniewski's Ontology." Ratio 1 (1958): 150-176.
- ———. "A Re-Examination of the Russellian Theory of Descriptions." Philosophy 35 (1960): 14-29.
- ———. "A Single Axiom for the Mereological Notion of Proper Part." Notre Dame Journal of Formal Logic 4 (1967): 279-285.
- ———. "Consistency of Lesniewski's Mereology." Journal of Symbolic Logic 34 (1969): 321-328.
"Lesniewski's Mereology presupposes his Ontology, which in turn presupposes his Protothetic. A proof is outlined to show that if we interpret name-variables as proposition-variables and if at the same time we interpret the ontological 'epsilon' as the functor of conjunction and the mereological 'el' as the functor of assertion then the axioms and directives of Ontology and Mereology become repectively theses and directives of Protothetic."
- ———. "A System of Logic for Bicategorial Ontology." Journal of Philosophical Logic 3 (1974): 265-283.
- ———. "Outline of Ontology." Bulletin of the John Rylands University Library of Manchester 59 (1976): 127-147.
- ———. "On the Dramatic Stage in the Development of Kotarbisnki's Pansomatism." In Ontologie Und Logik. Ontology and Logic., 197-214. Berlin: Duncker & Humblot, 1979.
Proceedings of an International Colloquium (Salzburg, 21-24 September 1976)
Discussion pp. 215-218
- ———. "Logic and Ontology." In Modern Logic. A Survey, edited by Evandro, Agazzi. 379-398. Dordrecht: Reidel, 1981.
- ———. "A Note on Lesniewski's Axiom System for the Mereological Notion of Ingredient or Element." Topoi 3 (1983): 63-72.
- ———. "Accomodating the Informal Notion of Class within the Framework of Lesniewski's Ontology." Dialectica 39 (1985): 217-241.
"Interpreted distributively the sentence 'Indiana is a member of the class of American federal states' means the same as 'Indiana is an American federal state'. In accordance with the collective sense of class expressions the sentence can be understood as implying that Indiana is a part of the country whose capital city is Washington. Neither interpretation appears to accommodate all the intuitions connected with the informal notion of class. A closer accommodation can be achieved, it seems, if class expressions are interpreted as verb-like expressions of a certain kind as available within the framework of Lesniewski's Ontology."
- ———. "Logic and Non-Existence." Grazer Philosophische Studien 25/26 (1986): 209-234.
"An attempt is made in the present essay to accommodate various senses of the notion of existence and of that of non-existence within the framework of logic. With this aim in view a system of Lesniewski's Ontology, referred to as System S, is outlined. Equipped with appropriate definitions and illustrated with a selection of theses it offers a logical theory of existence and non-existence. The usefulness of the theory is then tested by interpreting in its terms some of the principal notions and assertions of Meinong's ontology. A few brief comments on the notion of 'possible object' and on 'semantics' of fiction conclude the essay."
- ———. "Ricordando Stanislaw Lesniewski." Quaderni del Centro Studi per la Filosofia Mitteleuropea 1989, no. 1 (1989): 5-47.
Edited by Massimo Libardi
- ———. "Formalization of Functionally Complete Propositional Calculus with the Functor of Implication as the Only Primitive Term." Studia Logica 48 (1989): 479-494.
"The most difficult problem that Lesniewski came across in constructing his system of the foundations of mathematics was the problem of 'defining definitions', as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Lesniewski's method of terminological explanations for the purpose of formalizing Lukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of 'implicational definition', which enabled me to define any proposition forming functor for any finite number of propositional arguments."
- Lepage François. "Partial Monotonic Protpthetics." Studia Logica 66 (2000): 147-163.
"This paper has four parts. In the first part, I present Lesacuteniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method using saturated sets instead of maximally saturated sets. This technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent."
- Luschei Eugene. The Logical Ssystems of Lesniewski. Amsterdam: North-Holland, 1962.
- Miéville Denis. Un Développement Des Systèmes Logiques De Stanislaw Lesniewski: Protothétique, Ontologie, Méréologie. Berne: Peter Lang, 1984.
- ———. "Un Aperçu Des Caractéristiques Et De L'esprit Des Systèmes Logiques De Stanislaw Lesniewski." Dialectica 39 (1985): 166-179.
"This article provides an introduction to the deductive theories, which are so little known, of S. Lesniewski. The reasons that led this Polish logician to develop a theory of collective classes as well as the logical theories that underlie it are set forth here, and the main characteristics of Lesniewski's three systems -- mereology, protothetics and ontology -- are presented. Some epistemological considerations are included in this study."
- ———. "Introduction À L'oeuvre De S. Lesniewski. Fascicule I - La Protothétique." Travaux de Logique (Neuchâtel) (2001).
- ———. "Introduction À L'oeuvre De S. Lesniewski. Fascicule Ii - L'ontologie." Travaux de Logique (Neuchâtel) (2004).
- ———. "Introduction À L'oeuvre De S. Lesniewski. Fascicule Iii - La Méréologie." Travaux de Logique (Neuchâtel) (2005).
- ———. "Introduction À L'oeuvre De S. Lesniewski. Fascicule Iv - L'oeuvre De Jeunesse." Travaux de Logique (Neuchâtel) (2006).
- ———. "Logique, Ontologie Et Ontologie." Revue Internationale de Philosophie 61 (2006): 149-162.
- Poli Roberto, and Libardi Massimo. "Logic, Theory of Science, and Metaphysics According to Stanislaw Lesniewski." Grazer Philosophische Studien 57 (1999): 183-219.
"Due to the current availability of the English translation of almost all of Lesniewski's works it is now possible to give a clear and detailed picture of his ideas. Lesniewski's system of the foundation of mathematics is discussed. In a brief outline of his three systems Mereology, Ontology and Protothetics his positions concerning the problems of the forms of expression, proper names, synonymity, analytic and synthetic propositions, existential propositions, the concept of logic, and his views of theory of science and metaphysics are sketched. The influence of Mill, Lukasiewicz, Austrian philosophy and especially Petrazycki on his thinking is evaluated and an interpretation is suggested setting him squarely in a tradition of classical Aristotelian logic."
- Prakel Judith. "A Lesniewskian Re-Examination of Goodman's Nominalistic Rejection of Classes." Topoi 2 (1983): 87-98.
- Prior Arthur Norman. "Existence in Lesniewski and in Russell." In Formal Systems and Recursive Functions, edited by Crossley, John N. and Dummett, Michael. 149-155. Amsterdam: North Holland Publishing Company, 1965.
Proceedings of the Eighth Logic Colloquium. Oxford, July 1963
- Rickey Frederick V. "A Survey of Lesniewski's Logic." Studia Logica 36 (1977): 407-426.
- ———. "Interpretations of Lesniewski's Ontology." Dialectica 39 (1985): 181-192.
"This article proposes to clarity the problem of interpreting Lesniewski's ontology. A distinction is made between two kinds of interpretation: substitutional and "natural". Substitutional interpretation is shown to involve difficulties and limitations. A "natural" ontology, the major principles of which are presented here, is shown to be of considerable interest."
- Sanders John T. "Stanislaw Lesniewski's Logical Systems." Axiomathes 3 (1996): 407-415.
- Simons Peter M. "On Understanding Lesniewski." History and Philosophy of Logic 3 (1982): 165-191.
Reprinted in: Peter Simons - Philosophy and logic in Central Europe from Bolzano to Tarski. Selected essays - Dordrecht, Kluwer 1992 pp. 227-258.
"This paper assesses those features of Lesniewski's ontology which make it difficult to understand for logicians accustomed to more orthodox systems of logic. It is seen that certain general features of presentation and content can, by selective acceptance or modification, be accommodated with a fairly orthodox viewpoint. The chief difficulty lies in the interpretation of Lesniewski's names, and the constant '"?"'. Four interpretations are suggested in turn: Lesniewski's names as monadic predicates; as class terms; as common nouns; and as empty singular or plural terms. This last and least orthodox interpretation is argued to be the most suitable, but it is shown how it can be made to live in harmony with either the common noun or the class interpretation."
- ———. "A Lesniewskian Language for the Nominalistic Theory of Substance and Accident." Topoi 2 (1983): 99-110.
- ———. "A Brentanian Basis for Lesniewskian Logic." Logique et Analyse 27 (1984): 297-398.
Reprinted in: Peter Simons - Philosophy and logic in Central Europe from Bolzano to Tarski. Selected essays - Dordrecht, Kluwer 1992 pp. 259-269
- ———. "Lesniewski's Logic and Its Relation to Classical and Free Logics." In Foundations of Logic and Linguistic. Problems and Their Solutions: A Selection of Contributed Papers from the Viith International Congress of Logic, Methodology, and Philosophy of Science, Held in Salzburg from the 11th-16th July, 1983, edited by Dorn, Georg and Weingartner, Paul. 369-402. New York: Plenum Press, 1985.
Reprinted in: Peter Simons - Philosophy and logic in Central Europe from Bolzano to Tarski. Selected essays - Dordrecht, Kluwer 1992 pp. 271-293
- ———. "A Semantics for Ontology." Dialectica 39 (1985): 193-216.
"This article proposes to clarify the problem of interpreting Lesniewski's Ontology. A distinction is made between the two kinds of interpretation: substitutional and "natural". Substitutional interpretation is shown to involve difficulties and limitations. A "natural" Ontology, the major principles of which are presented here, is shown to be of considerable interest."
- ———. Parts. Oxford: Clarendons Press, 1987.
- ———. "Lesniewskian Term Logic." Lingua e Stile 27 (1992): 25-45.
"Students of traditional logic, by which I mean the central core of categorical syllogistic with whatever further forms were studied at the time, were drilled in putting the sentences occurring in arguments into «correct logical form», and present-day students do no different when replacing their natural language sentences by the formulas or semiformulas of predicate logic. Both procedures involve doing some violence to natural modes of expression. A sentence like Whoever flies saves time must be replaced by something like Every flier is a time-saver by traditional logicians and by For all x: if x flies then x saves time by modern logicians. As this makes clear, different logical systems may compete in offering prepared forms proximate to a natural specimen, so there may be a real choice as to which system is preferable for a given purpose. This is familiar to observers of modern logic since there are competing logics of definite descriptions, modality, and so on. Of course, if we confine attention just to the opposition between categorical syllogistic and predicate logic, there seems to be no contest. Predicate logic is expressively much the more powerful system, and as these two are the only two logical systems to have enjoyed widespread acceptance as tools for analysing validity of natural arguments, it might seem that only predicate logic remains as a general vehicle for workaday argument assessment. But the large number of introductory logic textbooks which still contain material on categorical syllogistic bears witness to the fact that, within its more limited sphere, the traditional logic of terms is widely felt to be a more natural and useful alternative to monadic predicate logic. Historical interest alone could not compensate for the inconveniences of introducing two quite different systems, with their different sentential analyses, laws, and terminology, to cover the same ground.
It is apparent that one disadvantage of predicate logic for these purposes is its use of bound individual variables, which natural languages do not have, and which they can simulate and match only by rather tortuous use of pronouns and pronominal phases. Of course this helps to account for the greater perspicuity of predicate logic once we leave the simplest sentences behind, but at the most elementary level it is a hindrance. The singular term/predicate analysis of simple predications compels common noun phrases and adjectives used attributively to appear as syntactically inseparable parts of predicates, which correspond most closely to verb phrases in natural language. Again, this is not a huge sacrifice, but it is pervasive, is felt to be unnatural, and contributes to beginners' difficulties in learning logic.
So it is worth considering from a practical and pedagogical point of view whether, in order to gain the considerable benefits conferred by predicate logic - quantification, multiple generality, relational predicates - it is necessary to put up with the disagreeable features of standard predicate logic. I shall argue that it is not, and that a more natural and flexible medium for which to prepare natural language sentences and arguments is provided by the term logic invented around 1920 by Stanislaw Lesniewski (1886-1939) and usually known as Ontology. (*)"
(*) The possible confusion of the system of logic with the branch of metaphysics of the same name is not a danger in this context, and in any case I will write the name of the system with a capital letter. Sometimes Ontology is called the Calculus of Names, but this is misleading, since much more than names are involved. It would be nice to have a better name for Ontology.
- ———. "Discovering Lesniewski: Collected Works." History and Philosophy of Logic 15 (1994): 227-235.
"This discussion review examines the English edition of Lesniewski's collected works. Points emphasized include: the early (pre-symbolic) period, the quality of translation and typesettings, and the scandalously outdated bibliography."
- ———. "Reasoning on a Tight Budget: Lesniewski's Nominalistic Metalogic." Erkenntnis 56 (2002): 99-122.
- ———. "Things and Truths: Brentano and Lesniewski, Ontology and Logic." In Actions, Products, and Things: Brentano and Polish Philosophy, edited by Chrudzimski, Arkadiusz and Lukasiewicz, Dariusz. 83-106. Frankfurt: Ontos Verlag, 2006.
- Sinisi Vito. "Nominalism and Common Names." Philosophical Review 71 (1961): 230-235.
"Edwin Allaire, Gustav Bergmann and Reinhardt Grossmann have objected to the nominalistic analysis of "this is red and that is red" which treats "red" as a common name. Such an analysis, they argued, must assimilate the copula in this sentence to the "is" of identity. sinisi claims that this objection is mistaken. Using a logical system developed by Stanislaw Lesniewski, he shows that it is possible to construe "red" as a common name without taking the copula as the "is" of identity."
- ———. "Lesniewski's Analysis of Whitehead's Theory of Events." Notre Dame Journal of Formal Logic 7 (1966): 323-327.
- ———. "Lesniewski and Frege on Collective Classes." Notre Dame Journal of Formal Logic 10 (1969): 239-246.
"Between 1927 and 1931 Lesniewski published a series of articles on the foundations of mathematics in the Polish journal Przeglad Filozoficzny.
65% of the work is devoted to various axiomatizations of Lesniewski's mereology (a theory of collective classes) while the remainder takes up various related issues. In the third part of this series Lesniewski informally sets forth his notion of a collective class, criticizes certain descriptions of distributive classes, and argues that there is no justification in Frege's statement that the conception of a class as consisting of individuals, so that the individual thing coincides with the unit class, cannot in any case be supported.
Lesniewski's refutation of Frege's statement appears to be unknown to western logicians and philosophers. None of the recent books on Frege (e.g., Angelelli, Egidi, Sternfeld, Thiel, Walker) mentions it. Luschei, in his The Logical Systems of Lesniewski, mentions it but does not present it.
My purpose here is to state and explain Lesniewski's refutation in the hope that it will help stimulate interest in his work."
- ———. "Lesniewski's Analysis of Russell's Antinomy." Notre Dame Journal of Formal Logic 17 (1976): 19-34.
- ———. "The Development of Ontology." Topoi 2 (1983): 53-62.
- Slupecki Jerzy. "St Lesniewski's Protothetics." Studia Logica 1 (1953): 44-111.
- ———. "Lesniewsjki's Calculus of Names." Studia Logica 3 (1955): 7-70.
- ———. "Towards a Generalized Mereology of Lesniewski.". Studia Logica 8 (1958): 131-154.
- Sobocinski Boleslaw. "L'analyse De L'antinomie Russellienne Par Lesniewski." Methodos (1949).
Published in four parts: I - II - III: vol. 1. (1949) pp. 94-107; 220-228; 308-316; IV: vol. 2 (1950) pp. 237-257.
- ———. "On the Single Axioms of Protothetic, I." Notre Dame Journal of Formal Logic 1 (1960): 52-73.
- ———. "On the Single Axioms of Protothetic, Ii." Notre Dame Journal of Formal Logic 2 (1961): 111-126.
- ———. "On the Single Axioms of Protothetic, Iii." Notre Dame Journal of Formal Logic 2 (1961): 129-148.
- ———. "Successive Simplifications of the Axiom-System of Lesniewski's Ontology." In Polish Logic 1920-1939, edited by McCall, Storrs. 188-200. Oxford: Clarendon Press, 1967.
- Srzednicki Jan, Rickey Frederick V., and Czelakowski Janusz, eds. S. Lesniewski's Systems. Ontology and Mereology. The Hague: Martinus Nijhoff, 1984.
Contents: Editorial Note 7; 1. Z. Kruszewski: Ontology without axioms (1925) 9; 2. B. Sobocinski: Lesniewski's analysis of Russell's Paradox (1949) 11; 3. C. Lejewski: Logic and existence (1954) 45; 4. J. Slupecki: S. Lesniewski's Calculus of Names (1955) 59; 5. C. Lejewski: On Lesniewski's Ontology (1958) 123; 6. J. Canty: Ontology: Lesniewski's logical language (1969) 149; 7. B. Iwanus: On Lesniewski's elementary Ontology (1973) 165; 8. B. Sobocinski: Studies in Lesniewski's Mereology (1954) 217; 9. E. Clay: On the definition of mereological class (1966) 229; 10. C. Lejewski: Consistency of Lesniewski's Mereology (1969) 231; 11. E. Clay: The dependence of a mereological axiom (1970) 239; 12. E. Clay - Relation of Lesniewski's Mereology to Boolean algebra (1974) 241; Protothetic bibliography 253; Index of Names 261.
- Srzednicki Jan, and Stachniak Zbigniew, eds. S. Lesniewski's Systems. Protothetic. Dordrecht: Kluwer, 1998.
Contents: Editor's Foreword VII; 1. Peter M. Simons: Nominalism in Poland (1983) 1; 2. V. Frederick Rickey: A survey of Lesniewski's logic (1977) 23; 3. Alfred Tajtelbaum-Tarski: On the primitive term of logistic (1923) 43; 4. Boleslaw Sobocinski: An investigation in Protothetics (1949) 69; 5. Jerzy Slupecki: St. Lesniewski's Protothetics (1953) 85; 6. Boleslaw Sobocinski: On the single axiom of Protothetic (1960) 153; 7. V. Frederick Rickey: Axiomatic inscriptional syntax. Part II. The syntax of Protothetic (1973) 217; VIII. Audoënus Le Blanc: Investigations in Protothetic (1985) 289; Protothetic bibliography 299; Author Index 309.
- Stachniak Zbigniew. Introduction to Model Theory for Lesniewski's Ontology. Wroclaw: Wydawnictwo Uniwersytetu Wroclaskiego, 1981.
- Strawson Peter Frederick, and Lejewski Czeslaw. "Symposium: Proper Names." Proceedings of the Aristotelian Society Supplementary vol. 31 (1957): 191-236.
- Surma Stanislaw. "On the Work and Influence of Stanislaw Lesniewski." In Logic Colloquium 76, edited by Gandy, Robin and Hyland, John Martin. 191-220. Amsterdam: North-Holland Publishing Company, 1977.
- Takano Mitio. "A Semantical Investigation into Lesniewski's Axiom of His Ontology." Studia Logica 44 (1985): 71-77.
- Trentman John. "Lesniewski's Ontology and Some Medieval Logicians." Notre Dame Journal of Formal Logic 7 (1966): 361-364.
- Vasyukov Vladimir. "A Lesniewskian Guide to Husserl's and Meinong's Jungles." Axiomathes 4, no. 1 (1993): 59-74.
- Wojciechowski Eugeniusz. "Zwischen Der Syllogistik Und Den Systemen Von Lesniewski: Eine Rekonstruktion Der Idee Der Quantifizierung Der Pradikate." Grazer Philosophische Studien 48 (1994): 165-200.
- Wolenski Jan. "Reism and Lesniewski's Ontology." History and Philosophy of Logic 7 (1986): 167-176.
"This paper examines relations between Reism, the metaphysical theory invented by Tadeusz Kotarbinski, and Lesniewski's calculus of names. It is shown that Kotarbinski's interpretation of common nouns as genuine names, i.e., names of things is essentially based on Lesniewski's logical ideas. It is pointed out that Lesniewskian semantics offers better prospects for Nominalism than does semantics of the standard first-order predicate calculus."
- ———. Logic and Philosophy in the Lvov-Warsaw School. Dordrecht: Kluwer, 1989.
- ———. "Lesniewski's Logic and the Concept of Being." Recherches sur la Philosophie et le Langage (1995): 93-101.
This paper applies Lesniewski's logical ideas to an analysis of the concept of being. The analysis follows the classical ontology which is based on a distinction of two concepts of being : being in the distributive sense and being in the collective sense. Now it is argued that Lesniewski's ontology (calculus of names) is a much better device for analysizing being in the distributive sense than the standard first-order predicate logic. Moreover, basic intuition connected with the being in the collective sense are nicely captured by mereology.
- Zanasi Fausto. "Su Alcuni Aspetti Della Teoria Della Definizione Nei Sistemi Logici Di S. Lesniewski." Annali dell'Istituto di Discipline Filosofiche dell'Università di Bologna (1980): 219-232.