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)

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.

The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...) also given. These results are applied to compare the equational category N of Nelson algebras and some its subcategories with the equational category H of Heyting algebras. It is proved that the category N is topological over the category H. (shrink)

We present a proof-theoretical analysis of the theory of definite descriptions which emerges from Frege’s approach and was formally developed by Kalish and Montague. This theory of definite descriptions is based on the assumption that all descriptions are treated as genuine terms. In particular, a special object is chosen as a designatum for all descriptions which fail to designate a unique object. Kalish and Montague provided a semantical treatment of such theory as well as complete axiomatic and natural deduction formalization. (...) In the paper we provide a sequent calculus formalization of this logic and prove cut elimination theorem in the constructive manner. (shrink)

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and existence predicate. Cut elimination is (...) proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

Listening and polyphony lead us directly to reflection on the musical form of the fugue. Starting with M. Heidegger’s considerations about the juncture of beyng, we will phe-nomenologically ask about the essence of the fugue, and the musical work put under analysis will be The Art of Fugue by J.S. Bach. The article aims to show the convergence between Heidegger’s philosophy and the essence of the musical form of fugue as an artis-tic mode of the essential occurrence of beyng as (...) an event. (shrink)

This article addresses the subject of the ekphrastic description of experiencing music. It shows the main differences between ekphrasis and commonly used analysis in music theory and musicology. In approaching the problem of ekphrasis with what is called pure music, I emphasize its ancient understanding, thus differing from Lydia Goehr (2010) and Siglind Bruhn (2000, 2001, 2019). The ekphrastic analysis of the first movement of Arnold Schoenberg’s Six Little Piano Pieces Op. 19 conducted in this article uses the methodology developed (...) by Gottfried Boehm (2014) and Georges Didi-Huberman (2005, 2015, 2017, 2018) in the discipline of art history. This article aims to delineate a new way of researching the art of music, an essential feature of which is the combination of the traditions of analytic philosophy and phenomenology. (shrink)

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)

This book introduces the English-speaking reader to the thought of Stanislaw Brzozowski (1878-1911), the outstanding Polish philosopher and literary critic. Although practically unknown in the West, Brzozowski is an important but neglected forerunner of the intellectual tradition of `Western Marxism', most commonly associated with Georg Lukács and Antonio Gramsci. -/- Concentrating first on the early phase of Brzozowski's thought, Professor Walicki goes on to analyse his ideas on the working class and its relation to the intelligentsia and contemporary working-class ideologies. (...) Finally he deals with aspects of his thought which go beyond the Marxian problematic and round off the intellectual portrait of the man. -/- Brzozowski's anti-naturalistic approach resulted in a radical reinterpretation of Marxism which dealt with many of the problems of the revolt against positivism in European philosophy. Professor Walicki argues that the retrieval of the philosophical and humanist aspect of Marxism, and its separation from the Engels-inspired `scientific Marxism', was the achievement of Brzozowski and not, as frequently assumed, of Lukács, who came to similar conclusions only some ten years later. -/- By placing Brzozowski within the cross-currents of the various philosophical, sociological, literary, and political streams of Western and Eastern European thought in which Marxism was situated, Professor Walicki produces a fascinating study of an early East European challenge to orthodox Marxism. (shrink)

In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.

The studies of health care systems are conducted intensively on various levels. They are important because the systems suffer from numerous pathologies. The health care is analyzed, first of all, in economic aspects but their functionality in the framework of systems theory is studied, as well. There are also attempts to work out some general values on which health care systems should be based. Nevertheless, the aforementioned studies, however, are fragmentary ones. In this paper holistic approach to the philosophical basis (...) of health care is presented. The levels on which the problem can be considered are specified explicitly and relations between them are analyzed, as well. The philosophical basis on which the national health care systems could be based is proposed. Personalism is the basis for the proposal. First of all, the values, that are derived from the personalistic philosophy, are specified as the basic ones for health care systems. Then, general organizational and functional properties of the system are derived from the assumed values. The possibility of adaptation of solutions from other fields of social experiences are also mentioned. The existing health care systems are analyzed within the frame of the introduced proposal. (shrink)

The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...) Gentzen’s type, we have a subtype of standard SC due to Gentzen. Hence by nonstandard ones we mean all these ordinary SC where other kinds of rules are applied than those admitted in standard Gentzen’s sequent calculi. We describe briefly some of the most interesting or important nonstandard SC belonging to the three abovementioned types. (shrink)

In this brief note we would like to outline the main events of life and the main achievements of Stanisław Jaśkowski one of the important Polish logician and mathematician of the first half of twentieth century.

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...) varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)

Hypersequent calculi can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.

In the present paper we examine very weak modal logics C1, D1, E1, S0.5◦, S0.5◦+(D), S0.5 and some of their versions which are closed under replacement of tautological equivalents (rte-versions). We give semantics for these logics, formulated by means of Kripke style models of the form , where w is a «distinguished» world, A is a set of worlds which are alternatives to w, and V is a valuation which for formulae and worlds assigns the truth-vales such that: (i) for (...) all formulae and all worlds, V preserves classical conditions for truth-value operators; (ii) for the world w and any formula ϕ, V(⬜ϕ,w) = 1 iff ∀x∈A V(ϕ,x) = 1; (iii) for other worlds formula ⬜ϕ has an arbitrary value. Moreover, for rte-versions of considered logics we must add the following condition: (iv) V(⬜χ,w) = V(⬜χ[ϕ/ψ],w), if ϕ and ψ are tautological equivalent. Finally, for C1, D1and E1 we must add queer models of the form in which: (i) holds and (ii') V(⬜ϕ,w) = 0, for any formula ϕ. We prove that considered logics are determined by some classes of above models. (shrink)

This is a sequel article to [10] where a hypersequent calculus for some temporal logics of linear frames includingKt4.3and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In (...) this article we present an equivalent variant of this calculus for which a constructive syntactical proof of cut elimination is provided. (shrink)

In 1934 Stanisław Jaśkowski published his groundbreaking work on natural deduction. At the same year Gerhard Gentzen also published a work on the same topic. We aim at presenting of Jaśkowski’s system and provide a comparison with Gentzen’s approach. We also try to outline the influence of Jaśkowski’s approach on the later development of natural deduction systems.

In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to some 1-degree formula, i.e. a modally-flat formula with modal functors having only boolean formulas in its scope. In contrast to many sequent calculi for S5 the presented system does not introduce any extra devices. Thus it is a standard version of SC but (...) with some additional simple rewrite rules. The procedure combines the proces of saturation of sequents with reduction of their elements to some normal modal form. (shrink)

This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.

The main aim of the text is to show how a game of Go (Weiqi, baduk, Igo) can serve as a model representation of the ontological-metaphysical aspect of the actor–network theory (ANT). An additional objective is to demonstrate in return that this ontological-metaphys⁠ical aspect of ANT represented on Go/Weiqi game model is able to highlight the key aspect of this theory—onto-methodological praxis.

The objective of the paper is a presentation and an interpretation of Władysław Stróżewski’s views on aesthetics. Built upon the foundation provided by classical metaphysics, Stróżewski’s aesthetics is simultaneously a continuation of the tradition of phenomenological interpretation of art. Stróżewski extends Roman Ingarden’s aesthetic theory by including the idea of numinous concretion, largely inspired by the works of Rudolf Otto. As a result, this new phenomenological perspective transcends the narrowly understood ‘aesthetics’ of the work of art towards the inherent dimension (...) of the sacred. Moreover, Stróżewski’s scrutiny of the aspect of art that goes beyond the aesthetic reveals an important relationship obtaining between his insights and the theological aesthetics of Hans Urs von Balthasar. Thus Stróżewski’s ideas turn out to be of significance to contemporary aesthetic and theological debates. In particular, he shows the movement of beauty from aesthetic to transcendental, and ultimately towards the sacred, where numinosum is manifested as Mystery. (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)

This is a summary of a talk delivered at the Winter School of Logic held in Rabka, 24.02 – 04.03.1986 by the Department of Logic of the Jagiellonian University. We wish to announce here several results on embeddability of quotient algebras of certain kind into algebras of some varieties related to the class of Heyting algebras. A “by product” is the deduction theorem for a large family of intermediate consequence operations.

In the first part of his magnum opus Hans Urs von Balthasarpresents his project of theological aesthetics where the experience of art becomes an entrance to a religious act and an ennobling way leading to the contemplation of God. Defining the essence of being human as a spiritual being directed towards God bears a deep ethical meaning in this consideration. H.U. von Balthasar’s reflection over the religious dimension of the essence of art is shaped within theology but at the same (...) time in the opposition to aesthetic theology which is de-scribed as ‘aesthetisation’ of the Mystery of Revelation. The art of music occupies a particular place in this reflection. For this reason Mass in B Minor BWV 232 by Johann Sebastian Bach, which is an emblematic example of the revelation of the glory of the Lord (Herrlichkeit), will be analysed not only from the perspective of philosophical or musicological aesthetics, but also theological aesthetics. This article outlines characteristic features of theological aesthetics specifically developed from traditional philosophical aesthetics whose range was extended by the human being’s relation to God. (shrink)

In 'The Work of Music and the Problem of Its Identity' by Roman Ingarden we are presented with a philosophical theory of the structure of the musical work. The author includes melody, rhythm and harmony among the primary elements of the musical work while dynamics, tempo and colouration (sonoristics) are classified as its secondary elements. The elements designated by the score constitute a schematic prescription for creating a particular work. Still, the scheme also includes numerous gaps and indeterminacies which can (...) be filled in only through performance which makes the work an individualized concretum. However, it is puzzling why the list of the elements of the musical work does not include articulation. In this article I claim that the absence of articulation in the theory of the structure of the musical work indicates its omnipresence, thus the broader we understand the term articulation, the better it penetrates into the remaining elements of the musical work, preserving its distinctiveness at the same time. (shrink)

Roman Ingarden has exerted an immense influence on the development of aesthetics, and his texts in this field continue to inspire in-depth studies on art, despite the passage of several decades since the publication of his major works. At the same time, however, phenomenology – especially in France – brought about crucial changes during the second half of the twentieth century with regard to thinking about art, undermining its own methodological principles and tenets, as well as redefining fundamental phenomenological concepts. (...) In this article, I address the question of the continued relevance of Roman Ingarden’s approach to the musical work within the context of current phenomenological research, in particular that which concerns the subject of aesthetic concretisation. (shrink)

Phenomenological reflection on the essence of art goes towards the revelation of its ultimate Source, which is also the Source of spirituality of a man and, finally, of artistic works. Art occupies a prominent place in the works of Martin Heidegger, Hans Urs von Balthasar and Michel Henry, and what they have in common is pointing out the ability of transcending artistic work towards beyond-aesthetic and over-aesthetic dimensions. For those philosophers the work of art is a ‘way’ which may lead (...) human spirit towards Transcendence (the Absolute, God), but also towards the inner self. In this article the reflection over a religious dimension of the essence of art is extended by the analysis of St John Passion, BWV 245 by Johann Sebastian Bach, as a particular example of an artistic realization of phenomenologically rooted philosophical and theological reflection. (shrink)

The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some kind of labelling to formulae. The first approach was proposed by Kaziemierz Trzęsicki at the 1980s. The second, called Multiple Sequent Calculus (MSC), was proposed in the beginning of the present century. Both approaches are examples of the family of multisequent calculi.

Martin Heidegger in 'The Origin of the Work of Art' (Der Ursprung des Kunstwerkes) developed a whole new way of thinking about art, going beyond traditionally understood aesthetics or even philosophy of art. Some of Heidegger’s thoughts, however, appear to be understated and only signal a huge complexity of both experiencing works of art and the very issue of the origin of the work of art. The analysis of the terms ‘anxiety’ and ‘eyeblink’ from 'Being and Time' presented in this (...) article complement and develop Heidegger’s ideas included in his essay. Linking art to these two crucial phenomena of fundamental ontological analysis of Dasein casts light on the status of art and its existential significance. The author aims mainly at demonstrating the aletheic connection (based on unclosedness) between the experience of ‘originary source’ of a piece of art and ‘anxiety’, and also, in conclusion, he points to the ‘event of beyng’ as the essential, non-metaphysical origin of art. (shrink)

Interest in “the flesh” (Leib, la chair) in phenomenological research leads to revealing the original (ursprünglich) and non-phenomenal essence of the very appearance. Contemporary phenomenological aesthetics is heading in the same direction. While describing the intentional content of particular, i.e. subjectively “embodied” aesthetic objects, it reveals the ultimate origin (Ursprung) thanks to which the appearance of phenomena is possible at all. At the same time, revealing the ultimate origin — differently named but always meaning the furthest horizon of the possibility (...) of the appearance of phenomena — sometimes claims to be called “first philosophy”. However, such ambitious cognitive aspirations of phenomenological aesthetics may arouse suspicion. This is why, first, we should ask about its differentia specifica and its position among other types of aesthetics, and then consider whether its most significant essential statements are not just as insightful as questionable. I argue for admitting that phenomenological aesthetics has the broadest cognitive horizon and at the same time for limiting its validity for individual actualizations (concretions) of potentiality (potentia) of given phenomena. I also point out that the basic cognitive procedure within phenomenological aesthetics is reductive reasoning, which goes in the opposite direction to logical entailment. (shrink)

In the field of phenomenology philosophers more and more frequently show interest in early Christian thought – including apophatic theology – which, in result, affects the understanding of the role and significance of art. „Invisibility” in art and the manifestation of God through the work of art is a mystery which cannot be satisfactorily explained by traditional philosophical aesthetic models. Negative theology, together with its key apophatic way brings a new perspective of understanding art into contemporary aesthetic debates. Its 'reductive' (...) application can be found especially in the theory of the icon. Paweł Florenski's icon analysis and Jean-Luc Marion's category of the ‘saturated phenomenon’ converge in many points. Henry Dume ry’s henological reduction which is complementary to, but at the same time exceeds Edmunda Husserl's reductions, extends the horizon of the 'invisible' dimension of art by the relation the Spirit (intelligibility) makes with Transcendence. In the article I will show the cohesion of contemporary phenomenological thought, early Christian apophatics and the theory of the icon. I will also consider whether an aesthetic and theological framework so structured could be valid and useful as a general philosophical theory of art. (shrink)