This is not an article, but it is published after the paper "The theory of rejected proposition.I" (in Studia Logica, 29 (1971), pp. 75-123), it is a broad abstract in Polish on pages 116-118.

This is not an article, but it is published after the paper "The theory of rejected proposition.II" (in Studia Logica, 30 (1972), pp. 97-145), its broad abstract in Polish on pages 140-142.

Zmienną istotną wyrażenia rachunku zdań nazywam zmienną, której wartość przy pewnym układzie wartości innych zmiennych wpływa na wartość całego wyrażenia.

Prototetyka St. Leśn'ewskiego jest uogólnieniem dwuwartościowego rachunku zdań. Występują w niej obok terminów tego rachunku funktory (zarówno staŀe jak i zmienne) tych wszystkich kategorii semantycznych, jakie mogą być zdefiniowane, gdy punktem wyjścia jest kategor a zdań.W pracy zreferowane są trzy systemy prototetyki. Terminem pierwotnym dwu z nich jest implikacja, terminem pierwotnym systemu trzeciego jest równoważność. Systemy o terminie pierwotnym implikacji różnią s.ę reguŀami wnioskowania. W jednym z nich obowiązuje reguŀa weryfikacji, w drugim reguŀa ekstensjonalności. Pierwsza z tych reguŀ jest uogólnieniem (...) następującej reguŀy rachunku zdań, wzbogaconego o terminy 0 i 1:Wyrażenie ϕ jest tezą systemu, gdy tezami systemu są oba wyrażenia powstaŀe z ϕ przez podstawienie za pewną jego zmienną symboli 0 i 1.W myśl reguŀy ekstensjonalności tezami systemu są prawa ekstensjonalności, sformuŀowane dla funktorów dowolnych kategorii semantycznych wŀaśc-wych prototetyce.W pracy podaję dowody równoważności trzech systemów prototetyki i dowód ich zupeŀności.Znaczna część wyników Leśniewskiego, zreferowanych w pracy, nie byŀa dotąd opublikowana. Opracowując te wyniki opieraŀem się na notatkach z wykŀadów Leśniewskiego, spisanych przez jego uczniów. Oryginalne notatki Leśniewskiego ulegŀy zniszczeniu w czasie powstania warszawskiego. (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

This paper is a continuation of Part I under the same title. Its Chapter III contains results given in the following publications: U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131. G. Bryll, Związki logiczne pomiędzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i (...) Monografie, Nr 22 (1969), 155-216. This chapter contains an attempt to formalize some questions of methodology of empirical sciences. The theory T is enriched here not only by new definitions but also by a new primitive term and new axioms. The most important notion defined in this chapter is the set IndX of all inductive conclusions obtained on the basis of sentences of the set X. The function CnI defined by the equality: CnI X = X u IndX, satisfies the axioms of the general theory of deductive systems. The set CnI X can be understood as a system of empirical sciences in a narrower sense. This paper is a development of the considerations of G. Bryll, included in the above-listed article by this author. (shrink)

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

The aim of this article is to evaluate critically possibilities of interpreting Łukasiewicz logic by means of J.Słupecki s method presented in reference (1). In paragraph 1, we are giving a formal construction on which the method of partial interpretation Ƚ₃ is based. Paragraph 2 contains initial assumptions through which prof. J. Słupecki obtains the partial interpretation Ƚ₃ In paragraph 3, we prove that the way of obtaining this interpretation is really based on the construction from paragraph 1. Finally, in (...) paragraph 4, we present our opinion on the interpretation Ƚ₃. We prove that this interpretation cannot be obtained by means of the applied method. (shrink)

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

Существенной переменной выражения исчисления предложений мы называем переме ную, значение которой при некотором сочетании значений других переменных влияет на значение целого выражения.