Lesniewski Systems

Origin. Stanisław Leśniewski (1886–1939), professor of the foundations of mathematics at Warsaw from 1919 and, with Jan Łukasiewicz, co-founder of the Warsaw School of Logic. The three systems were built in the reverse of their logical order: Mereology first, in "Podstawy ogólnej teorii mnogości I" (Moscow: Popławski, 1916); the single axiom of Ontology in 1920, published in "Über die Grundlagen der Ontologie" (Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego 22, 1930, 111–132); Protothetic last, published in "Grundzüge eines neuen Systems der Grundlagen der Mathematik" (Fundamenta Mathematicae 14, 1929, 1–81; continuation in Collectanea Logica 1, 1938), with the philosophical series "O podstawach matematyki" (Przegląd Filozoficzny 30–34, 1927–1931) running alongside. Alfred Tarski, Leśniewski's only doctoral student (doctorate 1924), proved in his dissertation that conjunction is definable from material equivalence and the quantifier, so equivalence can serve as Protothetic's sole primitive. The systems survive through reconstruction — Jerzy Słupecki ("St. Leśniewski's protothetics", Studia Logica 1, 1953, 44–111; "S. Leśniewski's calculus of names", Studia Logica 3, 1955, 7–71), Bolesław Sobociński, Czesław Lejewski ("Logic and Existence", 1954; "On Leśniewski's Ontology", 1958), E. C. Luschei (The Logical Systems of Leśniewski, 1962), the Srzednicki–Stachniak volumes (S. Leśniewski's Lecture Notes in Logic, 1988; Leśniewski's Systems: Protothetic, Nijhoff International Philosophy Series, 1998), and Peter Simons's Stanford Encyclopedia entry (2007, revised 2020).

Models. A tower of three classical, bivalent systems, each presupposing the one below: Protothetic, the logic of propositions, which is classical propositional logic extended by quantifiers binding propositional and functor variables of first and higher order; Ontology, the logic of names, built on Protothetic around the singular copula ε, with name variables that may be empty, singular, or plural; and Mereology, the theory of parts and wholes, built on Ontology (see the canonical entry Theories/Mereology.md, and this division's Boundary clause placing it there). The tower belongs in this division because its logic is Boolean throughout — two truth values, extensionality, classical consequence — while its apparatus reworks what the quantifier and the copula range over, which is the seam Free Logic.md and Plural Logic.md also sit on: a sentence with an empty name is false rather than ill-formed, so using a name assumes nothing about existence, and a plural name names each of several things without a set to collect them. Against Aristotelian Syllogistics.md, the other term logic in this division, Ontology is what the logic of names becomes with propositional logic underneath it, quantifiers over names, and empty and plural terms admitted rather than legislated away. The systems' most distinctive feature is metatheoretic discipline: a system is a growing, finite collection of concrete inscriptions, extended thesis by thesis under explicit directives, with definitions written in the object language.

Formalism.

Protothetic: Primitive: ↔ and the universal quantifier, binding propositional and functor variables. Axioms (the equivalential base, as in Simons's exposition): ((p ↔ r) ↔ (q ↔ p)) ↔ (r ↔ q) (p ↔ (q ↔ r)) ↔ ((p ↔ q) ↔ r) Negation defined: ∀p (∼p ↔ (p ↔ ∀r r)). Conjunction definable from ↔ and quantification (Tarski 1924). Definitions: object-language equivalences, admitted by directive; creative definitions — ones after which new theorems become provable — are allowed. Computative protothetic: a variant whose directives formalize truth-tables, applied beyond sentential connectives to functors of first and higher order. Pure equivalential fragment: a formula is a theorem iff every propositional variable occurs an even number of times (Leśniewski).

Ontology: Primitive: the copula ε, read "is", between name variables. Axiom (1920): A ε a ↔ (∃B (B ε A) ∧ ∀B∀C ((B ε A ∧ C ε A) → B ε C) ∧ ∀B (B ε A → B ε a)) Content: A ε a holds iff something is A, at most one thing is A, and whatever is A is a — so ε is true only of a singular, non-empty subject. Later shorter axiom: A ε a ↔ ∃B (A ε B ∧ B ε a). Defined from ε: existence, identity, weak inclusion — the vocabulary of the traditional logic of names, which is what Słupecki's title for Ontology, "calculus of names", records. Empty names: "A ε b" is false when nothing is A; no existence assumption attaches to the use of a name.

Mereology: Third system, on Ontology: parthood, proper parthood, and the collective class of the objects satisfying a condition. The theory's modern axiomatic content is in Theories/Mereology.md; this entry records its place in the tower.

Directives: Each system is given by directives laying down what may be admitted after a given sequence of theses: substitution, detachment, quantifier rules, extensionality, and the definitional canons, the last spelled out in Leśniewski's "terminological explanations".

Symbols.

Metatheory. The metatheory is shaped by what Leśniewski thought a system is. On his inscriptional nominalism a system is at any time a finite concrete collection of thesis-inscriptions, growing under the directives, so there is no completed object for a completeness theorem to be about; theorems of the modern kind attach to the reconstructions — fixed calculi abstracted from the directives — that Słupecki (1953, 1955), Sobociński, and the Srzednicki–Stachniak volumes supply, and Simons's Stanford Encyclopedia exposition states the systems' properties through those reconstructions without a headline completeness claim for Protothetic or Ontology. What is cleanly attributable: Leśniewski proved the even-occurrence characterization of theoremhood for the pure equivalential calculus; Tarski (1924) proved conjunction definable from equivalence and propositional quantification, which is what lets Protothetic stand on ↔ alone; computative protothetic internalizes the truth-table method, extending it to higher-order functors, so the intended two-valued interpretation is enforced by directive rather than imposed from outside; extensionality is itself among the directives. The admission of creative definitions is a deliberate metatheoretic position: most logicians require definitions to be conservative, and Leśniewski embraced the opposite; his definitional directives are correspondingly exact where other systems leave definition to the metalanguage. Quantification over functor variables makes Protothetic's reconstructions higher-order systems; the propositional-quantifier apparatus recurs, with Kripke semantics replacing nominalist directives, in Propositionally Quantified Modal Logic.md.

Applies to. Mereology, the one system with a continuous later history (Theories/Mereology.md). Free logic, whose problem — inference with possibly empty names — Ontology handles by making ε false for empty subjects; Lejewski's "Logic and Existence" (1954) is the bridge. Plural reference, since Ontology's name variables carry plural values without sets (Plural Logic.md). The theory of definitions, where Leśniewski's directives are the exact object-language treatment and his acceptance of creative definitions the disputed position. Propositional quantification (Propositionally Quantified Modal Logic.md). The historiography of the Warsaw School, through Tarski, Słupecki, Sobociński, and Lejewski.

Limitations. The open-system conception resists the metatheory everything else in this division has: with no completed language and no model-theoretic semantics offered, completeness, categoricity, and decidability can only be asked of reconstructions, and an answer certifies the reconstruction, not the system Leśniewski maintained he had. Quantifiers binding functor variables do classical higher-order work, and whether a nominalist can have that without set-theoretic commitment is contested, not settled by the systems themselves. The notation and the terminological explanations are an obstacle in their own right — the definitional canons alone run to eighteen clauses for Protothetic and eighteen more for Ontology, the symbolism is idiosyncratic, and publication habits left the systems in lecture notes and a Nachlass destroyed in the war, reconstructed after 1944 by Sobociński and by Słupecki from students' notes. Uptake outside the Polish school was correspondingly thin: mereology was reinvented as Leonard and Goodman's calculus of individuals and absorbed; Ontology and Protothetic remained objects of scholarship — Lejewski, Luschei, Simons, Srzednicki–Stachniak — rather than working tools, and the mainstream settled on Frege–Russell quantification theory, which was fixed before the systems were accessible.

© 2026 Lingenic LLC