We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

We provide to readers the 11th volume of the "Czech-Polish-Slovak Studies in Andragogy and Social Gerontology" series. We are delighted to announce that the presented study is the result of the work of scientists from seven countries: Austria, China, Ghana, Hungary, Japan, Poland, and Russia. This international collection of texts is part of the global discourse on the determinants of adult education and the functioning of people in late adulthood. The 11th volume is a collection of research results that show (...) both the positive and negative dimensions of ageing through the prism of research experience from various geographical and cultural areas. The researchers invited to the presented volume tried to illustrate the issues assigned to the following topics: ageing with dignity; retirement age; assumptions and conditions resulting from living in the home; the relationship between challenges concerning life expectancy and needs; care and ageing services; and foundations and potential changes in pension systems. The research results presented in this volume have a common denominator, which is caring for the quality of life of the older people regardless of their place of residence. Thus, the study "Between Successful and Unsuccessful Ageing: Selected Aspects and Contexts" brings new insights from scientists who scrupulously characterize the complexity of processes that affect the positive and negative conditions of functioning in old age, which is a mosaic of various nuances. Inviting readers to familiarize themselves with the content of the monograph, we would like to thank the reviewers who contributed to the improvement of the quality of the texts and open new fields for participation in further joint publishing projects. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

Heated debates stemming from the confrontation of scientific knowledge with the biblical picture of the creation of man, which had followed the publication of Darwin's theory of evolution, became far less prominent in the second half of the 20th century. This was due to two factors: first, the theory of evolution was partly accepted in theological circles and at the same time biologists showed a growing awareness of the limited epistemological scope of the competence of the natural sciences. This lesson (...) from the history, however, seems to have been forgotten by many who now and again return to controversies which more often than not are caused by ideological quarrels over religion, with true scholarship being too easily lost from sight. The paper reminds some of the history of the controversy in question and suggests that at least some of the current problems regarding evolution˗and˗ creation controversy may have already found their solutions. In part 1, “The Theory of Evolution and the Creation of the Human” it deals with the general issue of human origins. In part 2, “Monogenism and Original Sin” it explores the notion of the ‘first human’ as it is employed in biology and in theology, and shows its completely different meaning in these two realms of knowledge which helps to resolve the recurrent controversy over monogenism. (shrink)

Bronisław Kasper Malinowski was a Polish anthropologist, ethnographer, and sociologist. Malinowski is often considered as a pioneer in the ethnographic field research methods, such as participant observation, interviews, and statistics. His studies focused on beliefs and forms of social organization. Malinowski is often recognized as one of the founders of modern social anthropology and functionalism.

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

In recent years we may observe increasing interest in the development of social innovation both regarding theory as well as the practice of responding to social problems and challenges. One of the crucial challenges at the beginning of the 21st century is population ageing. Various new and innovative initiatives, programs, schemes, and projects to respond to negative consequences of this demographic process are emerging around the world. However, social theories related to ageing are still insufficiently combined with these new practices, (...) social movements, organisational models, and institutions. Many scholars are still using notions and tools from classical theories of social gerontology or the sociology of ageing such as disengagement theory, activity theory, and successful and productive ageing. Such theories do not sufficiently explain ageing in the context of, for example, a broad use of the information and communications technologies including robotics and automation, new healthcare and long-term care models, advancements in the development and governance of age-friendly environments, and public engagement of older adults into co-production of services delivered by public, private, non-governmental as well as non-formal entities. (shrink)

A publication called Aging in the Social Space is a compilation of studies, which deal with theoretical understanding and empirical solutions, learning about problem spheres, specifying content parallels of social, legal, economic, moral and ethical views on senior issues in society, which are closely related to each other and are interconnected. This publication focus on the case study of Poland. It is supposed to provide a multidimensional view of old age issues and issues related to aging and care for old (...) people in society. We believe that it is natural also to name individual spheres, in which society has some eff ect, either direct or indirect, within issues concerning seniors. Learning about these spheres is the primary prerequisite for successful use of social help to seniors in society. (shrink)

The chapter aims to introduce an integrated approach to concepts of smart cities and age-friendly cities and communities. Although these ideas are widely promoted by the European Union and the World Health Organisation, they are perceived as separate. Meanwhile, these concepts are closely intermingled in theory and practise concerning the promotion of healthy and active ageing, a universal design, usability and accessibility of age-friendly environments, reducing of the digital divide and robotic divide, and reducing of older adults’ social isolation. The (...) conclusion underlines the need for participatory creation of ambient assisted living technologies and applications with older adults and the need for advocacy to promote AAL in the context of the silver economy especially in the Central and Eastern Europe. (shrink)

Podstawowym celem artykułu jest przybliżenie dwóch wzajemnie powi¸a}zanych koncepcji istotnych z perspektywy zarz¸a}dzania publicznego w ramach polityki wobec starzenia siȩ społeczeństwa na poziomie lokalnym. Pierwsza koncepcja to „inteligentne miasta", która dotyczy wykorzystania nowych technologii informacyjno-komunikacyjnych do poprawy zarz¸a}dzania miastami oraz dostarczania obywatelom innowacyjnych usług publicznych. Druga koncepcja to „miasta przyjazne starzeniu siȩ", która obejmuje optymalizacjȩ wszystkich funkcji miejskich do potrzeb wszystkich grup wiekowych oraz wykorzystanie szerokiego zaangażowania interesariuszy na rzecz poprawy jakości życia w okresie starości. Drugim celem jest wskazanie prób (...) praktycznego wdrażania tych koncepcji w krajach Grupy Wyszehradzkiej, które w odróżnieniu od omawianych zazwyczaj w literaturze przykładów z Europy Zachodniej charakteryzuj¸a siȩ nie tylko szybkim starzeniem siȩ populacji, ale też niedostatkami infrastruktury. W podsumowaniu przybliżono wnioski z przeprowadzonej analizy oraz potencjalne dalsze kierunki badań. ** The main aim of this paper is to introduce two interrelated concepts relevant from the perspective of public management of the ageing policy at the local level. The first concept is "smart cities," which refers to the use of new information and communication technologies to improve urban management and delivery of innovative public services for citizens. The second concept is "age-friendly cities," which includes optimization of all municipal functions to meet the needs of all age groups and to use the wide involvement of relevant stakeholders to improve the quality of life in old age. The second aim of the paper is to describe closer attempts of the practical implementation of these concepts in countries of the Visegrad Group that unlike generally discussed in the literature examples from the Western Europe are not only characterized by rapidly ageing populations, but also shortcomings of the infrastructure. Conclusions include a summary of the undertaken analysis and potential future directions of research. (shrink)

Gerontology together with its subfields, such as social gerontology, geragogy, educational gerontology, political gerontology, environmental gerontology, and financial gerontology, is still a relatively new academic discipline that is currently intensively developing, expanding research fields and combining various theoretical and practical perspectives. The interdisciplinarity, transdisciplinarity, and multidisciplinarity of research on ageing and old age, despite its vast thematic, methodological and theoretical diversity, have a common denominator, which is the focus of research work on improving the quality of life of older people. (...) It is the concern for the components of quality of life such as welfare and well-being as well as focus on learning about phenomena conditioning successful ageing that has become motivators and premises hidden or visible in many texts included in the Research Topic “Perspectives and Theories of Social Innovation for Ageing Population.” The Research Topic that we are presenting to our readers is unique not only because of its size but above all because of its novelty and social involvement, visible in the content of individual chapters. The presented collection includes 17 articles prepared in total by 76 authors from the following countries: China, Finland, Germany, Ghana, Hungary, Ireland, Israel, Italy, Japan, the Netherlands, Poland, Portugal, Slovenia, Spain, Sweden, the United Kingdom, and the United States. Two journals were combined with this Research Topic: “Frontiers in Public Health” and “Frontiers in Sociology.” The presented Research Topic contains seven types of articles covering: two community case studies, eight original research articles, two perspective articles, one hypothesis and theory paper, one policy and practice review, one methods article, and two book reviews. The rationale to start work on this set of texts was the desire to continue and deepen the research analyses of the editors of this set, which concern the development of social innovations for the ageing population as well as changes of public policy on ageing. This Research Topic deals with topics covering issues such as social learning, intergenerational transmission, senior entrepreneurship, creative content creation by older adults, care services, raising the independence of older people in their living environments, dementia challenges, the image of the older generation in local social policies, new trends in qualitative research on old age, strategies for dealing with chronic diseases, the use of digital tools in health education, the silver economy/longevity economy, age-friendly environments, the diversity of structures and social services, preparation for old age, and food safety. The wide variety of submitted texts shows several selected and, according to the authors, current challenges that contemporary seniors have to face. The articles comprising this Research Topic are organized according to five themes. (shrink)

This volume-"Selected Contemporary Challenges of Aging Policy"-is the most international of all published monographs from the series "Czech-Polish-Slovak Studies in Andragogy and Social Gerontology." Among the scholars trying to grasp the nuances and trends of social policy, there are diverse perspectives, resulting not only from the extensive knowledge of the authors on the systematic approach to the issue of supporting older people but also from the grounds of the represented social gerontology schools. In the texts of Volume VII interesting are (...) both distinct and coherent elements presenting the role of local, regional and global policies in the prism of the countries from which the authors originate: the Czech Republic, Slovenia, Lithuania, Latvia, Poland, Slovakia, Italy, Turkey, and the United States. The chapters show a wealth of methodological approaches to the perception of social policy and its tools. In the texts there are issues related to the idea of active ageing, discrimination against older people in the workplace, comparability of solutions friendly to employment of older adults in the Czech Republic, Poland, and Slovakia as well as focused on the importance of educational forms determining an active life in old age. This monograph also attempted to answer the question regarding how to transfer the idea of intergenerational learning into the realm of practice. This issue complements the chapter on the implementation of intergenerational programs in institutions providing long-term care support. The book also outlines a public policy on ageing in the perspective of the changes over the last few decades and the case demonstrating solutions to accelerate self-reliance as a key to active ageing. We hope that seventh volume of our series will be an intellectual stimulus for further international research on change in social policy and will contribute to the dissemination of best practices as well as contribute to positive social change. (shrink)

The purpose of the study was to explore the role of emotions, promotion-prevention orientation and feedback on cognitive engagement. In the experiment participants had the possibility to engage in a categorization task thrice. After the first categorization all participants were informed that around 75% of their answers were correct. After the second categorization, depending on the experimental condition, participants received feedback either about success or failure. Involvement in the third categorization was depended on participants’ decision whether to take part in (...) it or not. Each time, before and after categorization, the emotional state was assessed. Results showed that promotion orientation predicted experiencing curiosity before the task, which in turn led to a higher cognitive engagement in the first categorization. Promotion and prevention orientation moderated the type of emotional response to positive feedback. Promotion orientation also predicted cognitive engagement after the feedback of success was provided. Generally results confirmed the positive effect of positive emotions as well as promotion orientation on cognitive engagement. (shrink)

My essay will take as its point of departure the paragraph from Gershom Scholem’s “Reflections on Jewish Theology,” in which he depicts the modern religious experience as the one of the "void of God" or as "pious atheism". I will first argue that the "void of God" cannot be reduced to atheistic non-belief in the presence of God. Then, I will demonstrate the further development of the Scholemian notion of the ‘pious atheism’ in Derrida, especially in his Lurianic treatment of (...) Angelus Silesius, whose modern mysticism emerges in Derrida’s reading as the ‘almost-atheism’. The interesting feature of this development is that, while for Scholem, the ‘void of God’ is a predominantly negative experience, for Derrida, it becomes an affirmative model of modern – not just Jewish, but more generally, Abrahamic – religiosity which, on the one hand, touches upon atheistic non-belief in the divine presence here and now, yet, on the other, still insists on commemorating the ‘withdrawn God’ through his ‘traces.’ What, therefore, for Scholem, constitutes the ultimate cry of despair, best embodied in Kafka’s work – for Derrida, reveals the more positive face of the modern predicament in which God has absented himself in order to make room for the creaturely reality. And while Scholem envisages redemption as the full restoration of the divine presence – Derrida redefines redemption as the ‘pious’ work of deconstruction to be undertaken in the ‘almost-atheistic’ condition of irreversible separation between God and the world. (shrink)

Obóz Kultury 2.0 Mirosław Filiciak, Alek Tarkowski, Agata Jałosińska, Andrzej Klimczuk, Maciej Rynarzewski, Jacek Seweryn, Stunża M., D. Grzegorz, Marcin Wilkowski & Anna Orlik .

Artykuł zwraca uwagę na powiązania procesu starzenia się społeczeństwa z kształtowaniem zmian organizacyjnych zachodzących w miejskich instytucjach kulturalnych i artystycznych w zakresie świadczenia usług dla osób starszych. Przybliżone zostają główne cechy zachodzących na początku XXI wieku przemian pracy i czasu wolnego oraz zjawiska kreatywnej gospodarki wraz z nową stratyfikacją społeczną i nowymi czynnikami rozwojowymi. Zarysowany został także paradygmat kreatywnego starzenia się, korzyści i bariery budowania kapitału kreatywnego seniorów oraz zagraniczne i krajowe przykłady wykorzystywanych na tym polu rozwiązań a zarazem obszarów (...) dalszych badań. ** Article draws attention to the relationship of ageing process and evolution of the organizational changes in cultural and artistic institutions in cities that are connected to provision of services for older people. Study shows main features of work and leisure time transformation at the beginning of the XXI century and the phenomenon of creative economy with new social stratification and development factors. It also describes creative ageing paradigm, benefits and barriers of building a senior creative capital, foreign and domestic examples of solutions used in this field which are also areas for further research. ** A. Klimczuk, Kreatywne starzenie się. Przykłady zagranicznych i polskich zaleceń i praktyk (Creative ageing. Examples of foreign and Polish recommendations and practices), [in:] A. Zawada, Ł. Tomczyk (eds.), Seniorzy w środowisku lokalnym (badania empiryczne i przykłady dobrych praktyk), Wyd. Uniwersytetu Śląskiego, Katowice 2013, p. 24-46. -/- . (shrink)