This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

Some people approve of certain general rules of behavior, or some concrete cases. The others disapprove of or are indifferent to them. In this paper I suggest an axiom system which formalizes the use of these utterances. It may be considered as a special (individualistic) approach to deontic logic.

The paper contains an exposition of some non standard approach to gentzenization of modal logics. The first section is devoted to short discussion of desirable properties of Gentzen systems and the short review of various sequential systems for modal logics. Two non standard, cut-free sequent systems are then presented, both based on the idea of using special modal sequents, in addition to usual ones. First of them, GSC I is well suited for nonsymmetric modal logics The second one, GSC II (...) is devised specially for symmetric, i.e. Blogics. GSC I and GSC II are not different formalizations, from the theoretical point of view GSC I may be seen as a simplification of the more general approach present in GSC II. They are considered separately, mainly because Blogics demand different, and more complicated, strategy in completeness proof, whereas non symmetric logics are easily and uniformly characterised by means of Fitting's Consistency Properties. The weakest modal logic captured by this formalization is minimal regular logic C, but many stronger logics are obtainable by addition of suitable structural rules, which conforms to Do en's methodology. Both variants of GSC satisfy also other, besides cut-freedom, desirable properties. (shrink)

It is commonly held that the rise and development of quantum mechanics forces us to reject the idea of objective knowledge and the notion of truth in science. In the article I critically analyse arguments against possibility of objective knowledge in quantum mechanics, which were formulated by philosophizing physicists (Bhor, Heisenberg, Weizsacker). I point out that the term „objectivity” used by those physicists, in ambiguous. They do not distinguish epistemological and ontological notions of „objectivity”, different meanings of the ontic objectivity (...) itself, and they do not separate the objectivity of cognitive acts from the objectivity of cognitive results. (shrink)

Metafizyczny kreacjonizm a paradoksy teizmu ewolucyjnego: przyczynek do dyskusji w ramach współczesnego tomizmu Autor artykułu dowodzi, że metafizyczny kreacjonizm, z którym spotykamy się w filozofii św. Tomasza z Akwinu, w odróżnieniu od kreacjonizmu amerykańskiego oraz teologiczno-‑biblijnego, jest teorią, która wyrasta z czysto filozoficznego wyjaśnianie początków świata i człowieka. Nie jest zatem ideą biblijną przeniesioną na teren filozofii. Podobnie jak teizm metafizyki Arystotelesa, a także teizm metafizyki św. Tomasza z Akwinu nie jest teizmem religijnym, lecz teizmem czysto filozoficznym, gdyż wyrasta z (...) metafizycznego wyjaśniania rzeczywistości. Kreacjonizm metafizyczny jest ostatecznym wyjaśnieniem źródła istnienia bytów, które dane są nam w doświadczeniu, jako niekonieczne w istnieniu i zmienne. Natomiast kreacjonizm amerykański, jest interpretacja biologiczno-kosmologiczną biblijnej prawdy o stworzeniu świata w określonym przedziale czasowym i w punkcie wyjścia odwołuje się do danych Objawienia, które chce naukowo potwierdzić Artykuł został podzielony na dwie części. W części pierwszej zostały przedstawione węzłowe elementy metafizycznej teorii stworzenia ex nihilo i jej rozumienie. W drugiej zaś części artykułu zostały przywołane elementy teizmu ewolucyjnego, które z punktu metafizycznego kreacjonizmu są źródłem różnych paradoksów, a niekiedy i absurdów oraz domagają się ponownego przemyślenia. (shrink)

There are inferences from a sentence or a set of sentences to a question. The relation between the premises and conclusions of such inferences is sometimes called arising.

In this article, the author notes that Thomas Aquinas, in his brief work entitled De Ente et Essentia, proved that at the base of understanding the world, the human being, and God in particular, there is our understanding of being and its essence. When we make a small mistake at the beginning in our understanding of being and its essence, it will turn to be a big one in the end. And what is “at the end” of our knowledge is (...) the discovery of the First and Ultimate Cause of all things, known as: Ipsum Esse, God, the Absolute, The Most Perfect Substance, on whom everything depends, and who depends not on anything else. These present inquiries about the proper understanding of being and its essence are aimed at formulating proof of the necessity of existence of a Being that is the First Cause, and which, existing as Ipsum Esse, is the source and reason of existence of all beings. Without these inquiries, the proof itself would be incomprehensible, and more importantly it would be a purely a priori one. Furthermore, without the existential conception of being, which Thomas first formulated, one could not discover the First Cause which, as Ipsum Esse, is the source of the existence of every being. This issue seems to have escaped the attention of the author of the book Aquinas’s Way to God. The Proof in “De Ente et Essentia.”. (shrink)

Poniższa dyskusja odbyła siȩ we wrześniu 2018 w Szkole Głównej Handlowej w Warszawie. Skupiła zarówno badaczy problematyki polityki senioralnej, ekspertów, analityków. Dyskusjȩ moderował i zaplanował Andrzej Klimczuk, zwi¸a}zany z SGH, natomiast zaproszenie do dyskusji przyjȩli: Barbara Szatur-Jaworska, polityk społeczny i gerontolog z Uniwersytetu Warszawskiego, Paweł Kubicki, ekonomista, SGH, Marek Niezabitowski, socjolog z Politechniki Śl¸a}skiej, Ryszard Majer, polityk społeczny, Agnieszka Cieśla, architektka i urbanistka, Politechnika Warszawska, Marzena Rudnicka, fundatorka oraz prezeska Krajowego Instytutu Gospodarki Senioralnej. Paneliści podczas dyskusji analizowali nastȩpuj¸a}ce zagadnienia: (...) I. pocz¸a}tki polityki senioralnej, jej definiowanie, dokumenty strategiczne państwa, II. rola samorz¸a}dów w animowaniu działań w obrȩbie polityki senioralnej oraz organizacji pozarz¸a}dowych, III. powstanie i rola ustawy o seniorach, IV. zróżnicowanie środowiska osób w wieku senioralnym, V. działania w innych krajach w obrȩbie polityki senioralnej, VI. zmiany w świadomości społecznej, ewolucja postaw wobec osób starszych, starości, starzenia siȩ, VII. rynek produktów i usług dla seniorów, VIII. aktywność seniorów, formalna i nieformalna, infrastruktura aktywności, IX. mieszkalnictwo dla osób starszych i starzej¸a}cej siȩ ludności X. rola państwa i samorz¸adu w polityce senioralnej, dialog z władz¸a, partnerstwo publiczno-prywatne, XI. wyzwania i kierunki rozwoju polityki senioralnej, XII. deficyt usług opiekuńczych XIII. polityka senioralna i emerytalna, XIV. konwergencja i dywergencja w polityce senioralnej. ** The following discussion took place in September 2018 at the Warsaw School of Economics. It focused on both senior politics, experts, and analysts. The discussion was moderated and planned by Andrzej Klimczuk, associated with the Warsaw School of Economics, and invited to the discussion: Barbara Szatur-Jaworska, social politician and gerontologist from the University of Warsaw, Paweł Kubicki, economist, Warsaw School of Economics, Marek Niezabitowski, sociologist from the Silesian University of Technology, Ryszard Majer, social politician, Agnieszka Cieśla, architect and urban planner, Warsaw University of Technology, Marzena Rudnicka, founder and president of the National Institute of Senior Management. Panelists during the discussion analyzed the following issues: I. Beginnings of the senior policy, its definition, strategic documents of the state, II. The role of local governments in animating activities within the framework of senior policy and non-governmental organizations, III. Creation and role of the law on seniors, IV. Diversification of the environment of seniors, V. Activities in other countries within the framework of the senior policy, VI. Changes in social awareness, the evolution of attitudes towards older people, old age, ageing, VII. The market for products and services for seniors, VIII. Seniors’ activity, formal and informal, activity infrastructure, IX. Housing for older people and ageing population X. The role of the state and self-government in the senior policy, dialogue with the authorities, public-private partnership, XI. Challenges and directions of development of the senior policy, XII. The deficit of care services, XIII. Senior and pension policy, XIV. Convergence and divergence in the senior policy. (shrink)

The author reflects on the moral attitudes displayed by Poles fighting in the Warsaw Uprising. He believes that the sacrifice and selflessness with which Varsovians battled for their city had its roots in the general mentality of the Poles, who for generations had been raised in the spirit of “mutual and willing endowment”. He also notes that the noble ideals of the wartime generations have today been largely replaced by mercenary selfishness.

Artykuł stanowi syntetyczna próbę spojrzenia na historyczny rozwój filozofii życia z perspektywy pytań o człowieka. W jej dziejowej ewolucji wyodrębniono trzy okresy z uwzględnieniem specyfiki każdego z nich. Spoiwem wszystkich odmian filozofii życia jest otwarta, dynamistyczna koncepcja człowieka, będąca częścią wizji nieustannie stającego się świata. W takim ujęciu pytanie o człowieka odnosi sie do przesłanek rozumienia: naturalnych korzeni, dziejowej egzystencji czy ładu aksjologicznego.

Political thought of the war and occupation period continued the ideological and program searches started already before 1939. The concept of democracy was mostly associated with the values such as individual freedom, civil rights, safety of citizens, society of the state; cooperation among nations in the fields of politics, economy and protection of peace. The author deals with topics like: democratic international order; democratic political order and economic system. The author concludes the article with a few synthesizing remarks.

Our main result states that a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give some results concerning cardinal characteristics of the σ-ideals determined by those universality parameters.