The Logical Systems of Lesniewski

ambiguity analogous antecedent antinomies argument or functor Axiom AP axiomatic basic outline Boolean Boolean algebra brackets canonic language canonic language L coimplicans collective class consequent containing contradiction convariables deductive defined constant definiendum definiens definition derived elements eligible by analogy equinumerous equisignificant example existential exists expression equiform extensionality formal Frege Frege's Grzegorczyk hence homomorph indicated individual thesis ingredient inside a quantifier introduced intuitive least Lejewski Lesniewski's Lesniewski's directives Lesniewski's systems logically equivalent material mode mathematical logic mereology names negation nominal nonentity notation nouns nucleus object paraphrase parentheme preceding propositional context protothetic provisory coimplicate provisory definiendum provisory definiens provisory predicate Quine relation relative to thesis resp respect Russell Russell's semantic category significance singular predication Sobocinski sole subquantifier substitution system of ontology Tarski tautologous theorems thesis relative thetic direct homoseme thetic homoseme tion translated true universal quantifier variable verbs word inside