Прототетика Ст. Лесневского является обобщением двузначного исчисления предложений. Выступают в ней рядом с терминами этого исчисления функторы (как постоянные так и переменные) всех тех семантических категорий какие могут быть определены, когда точкой исхода является категсрия предложений.В этом труде представлены три системы прототетики. Основным термином двух из них является импликация, ссновным термином третьей системы эквивалентность. Системы с основным термином импликации разнятся гравилами вывода. В одной из них действует так наз. правило проверки, в другой прабило зкстенсиональности. Первое из этих правил является обобщением (...) следующего правила вывода исчисления предложений, обогащенного тєрминами 0 и 1:Вь'ражение ϕ является тезисом системы, когда тезисами системы являются оба выражения возникнувшие из ϕ через подстановку некоторой его переменной символов 0 и 1.На основании правила экстенсиональности тезисами системы являются правила экстенсиональности сформулированные для функторов любых семантических категсрий свойственных грототетике.В этом труде даются доказательства эквивалентности трех систем протстетики и доказательство их полноты.Значительная часть результатов из опытов Лесневского, представленных в этом труде, не была до сих пор опубликована. Обрабатывая эти результаты я пользовался записками составленными по лекциях Лесневского, его учениками. Оригинальные записки Лесневского подвєрглись уничтожению во еремя варшавского восстания. (shrink)

A calculus of names is a logical theory describing relations between names. By a pure calculus of names we mean a quantifier-free formulation of such a theory, based on classical propositional calculus. An axiomatisation of a pure calculus of names is presented and its completeness is discussed. It is shown that the axiomatisation is complete in three different ways: with respect to a set theoretical model, with respect to Leśniewski's Ontology and in a sense defined with the use of axiomatic (...) rejection. The independence of axioms is proved. A decision procedure based on syntactic transformations and models defined in the domain of only two members is defined. (shrink)

The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

In the article attention is paid to the analogy between considerations concerning the number of objects that are the empirical basis for the theory of being and investigations concerning the size of the models necessary for solving formulas on the ground of calculus of names without quantifiers. In both cases a minimum of two objects appear as an answer to the question that has been posed. In explaining the noticed similarity the meaning aspect, as different from the referential aspect of (...) cognition of reality, is pointed to. (shrink)

In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that any (...) formula of syllogistic enriched with classical connectives is decidable using models in the domain with three members. (shrink)