This review pertains to the book _Evolutionary Theology (Teologia ewolucyjna)_ written by Wojciech P. Grygiel and Damian Wąsek. The book presents a distinct and modern viewpoint on theology by offering a comprehensive analysis of the characteristics of theological language and utilizing it to reevaluate certain theological beliefs, such as the concept of original sin, within the framework of the ever-changing understanding of the Universe. This approach contributes significantly to the restoration of theology’s credibility in modern culture by bridging the gap (...) between science and theology. (shrink)

"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." What is a question? How to represent questions in formal languages? How to model reasoning in which questions are involved? Can we prove anything by means of pure questioning? How to model goal-directed problem solving? These are the main issues of Andrzej Wi niewski's "Questions, Inferences, and Scenarios." This book offers a state-of-the-art exposition of (...) Inferential Erotetic Logic, that is, an approach to the logic of questions focused on inferences which lead to questions as conclusions. Wi niewski characterizes semantic relations which determine validity of these inferences within the framework of Minimal Erotetic Semantics, applicable to a wide range of formal languages. He elaborates in detail the concept of erotetic search scenario, a tool for modelling problem solving. Moreover, the author presents some applications of Inferential Erotetic Logic in proof theory. Andrzej Wi niewski is one of the most prominent contemporary researchers in the logic of questions. Currently, he is a full professor at the Department of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University in Pozna, Poland. (shrink)

In the present paper the well-known Gödels – Churchs argument concerning the undecidability of logic (of the first order functional calculus) is exhibited in a way which seems to be philosophically interestingfi The natural numbers are not used. (Neither Chinese Theorem nor other specifically mathematical tricks are applied.) Only elementary logic and very simple set-theoretical constructions are put into the proof. Instead of the arithmetization I use the theory of concatenation (formalized by Alfred Tarski). This theory proves to be an (...) appropriate tool. The decidability is defined directly as the property of graphical discernibility of formulas. (shrink)

The book titled The Collaborative Economy in Action: European Perspectives is one of the important outcomes of the COST Action CA16121, From Sharing to Caring: Examining the Socio-Technical Aspects of the Collaborative Economy that was active between March 2017 and September 2021. The Action was funded by the European Cooperation in Science and Technology - COST. The main objective of the COST Action Sharing and Caring is the development of a European network of researchers and practitioners interested in investigating the (...) collaborative economy models, platforms, and their socio-technological implications. The network involves scholars, practitioners, communities, and policymakers. The COST Action Sharing and Caring helped to connect research initiatives across Europe and enabled scientists to develop their ideas by collaborating with peers. This collaboration opportunity represented a boost for the participants’ research, careers, and innovation potential. The main aim of this book is to provide a comprehensive overview of the collaborative economy in European countries with a variety of its aspects for a deeper understanding of the phenomenon as a whole. For this reason, in July 2017, an open call for country reports was distributed among the members of the COST Action Sharing and Caring. Representatives of the member countries were invited to produce short country reports covering: definition of the CE; types and models of the CE; key stakeholders involved; as well as legislation and technological tools relevant for the CE. Submitted reports varied in length and regarding the level of detail included, in accordance with how much information was available in each respective country at the time of writing. Editors of the book have compiled these early reports into a summary report, which was intended as a first step in mapping the state of the CE in Europe. The Member Countries Report on the Collaborative Economy, edited by Gaia Mosconi, Agnieszka Lukasiewicz, and Gabriela Avram that was published on the Sharing and Caring website, represented its first synergetic outcome and provided an overview of the CE phenomenon as interpreted and manifested in each of the countries part of the network. Additionally, Sergio Nassare-Aznar, Kosjenka Dumančić, and Giulia Priora compiled a Preliminary Legal Analysis of Country Reports on Cases of Collaborative Economy. In 2018, after undertaking an analysis of the previous reports’ strengths and weaknesses, the book editors issued a call for an updated version of these country reports. Prof. Ann Light advised the editorial team, proposing a new format for country reports and 4000 words limit. The template included: Introduction, Definition, Key Questions, Examples, Illustration, Context, Developments, Issues, Other Major Players, and Relevant Literature. The new template was approved by the Management Committee in October 2018. The task force that had supported the production of the first series of country reports acted as mentors for the team of authors in each country. The final reports arrived at the end of 2018, bringing the total number of submissions to 30. A call for book editors was issued, and a new editorial team was formed by volunteers from the participants of the COST Action: Andrzej Klimczuk, Vida Česnuityte, Cristina Miguel, Santa Mijalche, Gabriela Avram, Bori Simonovits, Bálint Balázs, Kostas Stefanidis, and Rafael Laurenti. The editorial team organized the double-blind reviews of reports and communicated to the authors the requirements for improving their texts. After reviews, the authors submitted updated versions of their country reports providing up-to-date interdisciplinary analysis on the state of the CE in 2019, when the reports were collected. During the final phase, the chapters were again reviewed by the lead editors together with all editorial team members. At the time, the intention was to update these reports again just before the end of the COST Action Sharing and Caring in 2021 and to produce a third edition. However, the COVID-19 pandemic changed these plans. Thus, this final volume was created by 82 scholars-editors and contributors-and consists of reports on 27 countries participating in the COST Action. M4 - Citavi. (shrink)

Academic dishonesty has serious consequences for human lives, social values, and economy. The main aim of the study was to explore a model of relations between personal and cultural variables and academic dishonesty. The participants in the study were N = 2,586 individuals from nine countries (Pakistan, Israel, Italy, India, the USA, Peru, Romania, Ghana, and Poland). The authors administered the Academic Dishonesty Scale to measure academic dishonesty, the Kessler Psychological Distress Scale to measure distress, the Almost Perfect Scale – (...) Revised to measure perfectionism, the Brief Self-Control Scale to measure self-control, and the Singelis Scale to measure independent self-construal. The results showed that the theoretical model was well fitted to the dataset in six countries: Pakistan, the United States, Romania, Ghana, Israel, and Poland. However, it was not well fitted in Italy, India, and Peru. Our results also showed that perfectionism significantly predicted academic dishonesty, but not in all countries. Self-control significantly predicted cheating, falsification, and plagiarism in the USA. Moreover, we found that distress was related to cheating o0nly in Ghana. Finally, independent self-construal predicted academic dishonesty. Our findings provide a cross-cultural contribution to the debate on academic dishonesty by highlighting its significant predictors and may inform interventions aimed at eliminating it. Our results can be used in preventing and curbing academic dishonesty. Knowledge on cross-cultural differences can be useful in international education for example, as an indicator accepting or relaxing attitude toward academic dishonesty in students from different countries. (shrink)

This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide in presence of axiom stipulating non-existence of atoms.

This Research Topic explores Sustainable Development Goal (SDG) eight, which is to “promote sustained, inclusive, and sustainable economic growth, full and productive employment, and decent work for all.” It highlights the COVID-19 pandemic’s severe impact and triggered global economic recession, worsened gender pay gaps, increased undeclared employment, and significantly raised unemployment (United Nations, 2024). From a sociology-specific perspective, this Research Topic examines the global and local implementation of SDG8, its adaptation to different geographical contexts, stakeholder involvement, and issues related to (...) decent work conditions worldwide. (shrink)

W artykule proponuje się aksjomatyzację fragmentu klasycznej logiki zdań, który zostaje nazwany logiką niesymplifikacyjną. Nazwa pochodzi stąd, że unika się w nim, jak przypuszcza pewna ilość badaczy – wskazanych w tekście – paradoksalnych własności klasycznej implikacji i równoważności. Twierdzenie o niewyprowadzalności tez paradoksalnych nie jest jeszcze definitywnie udowodnione. Ale cały bieg myśli wydaje się interesujący z filozoficznego punktu widzenia ze względu na możliwość odróżnienia kilku rodzajów implikacji i równoważności.

This book shows that global population ageing is an opportunity to improve the quality of human life rather than a threat to economic competitiveness and stability. It describes the concept of the creative ageing policy as a mix of the silver economy, the creative economy, and the social and solidarity economy for older people. The second volume of Economic Foundations for Creative Ageing Policy focuses on the public policy and management concepts related to the use of the opportunities that are (...) created by population ageing. Klimczuk covers theoretical analyses and case study descriptions of good practices to suggest strategies that could be internationally popularized. Each chapter includes exercises and assignments for both students and those who are likely to apply the presented concepts in practice. Contents: Foreword by Richard Adler Foreword by Dominic Campbell Introduction 1 The Politics of Ageing and the Challenges of Ageing Populations 2 Understanding Public Policy on Ageing 3 Sociological and Gerontological Perspectives on Ageing, Creativity, and the Third Age 4 Diversity of Ageing Policy Concepts 5 The Emergence of the Creative Ageing Movement 6 Aims and Challenges of the Creative Ageing Policy 7 Principles, Governance, and Coproduction of the Creative Ageing Policy 8 Organizational Forms and Management for the Building of Creative Capital of Older People Conclusion Afterword by Andreas Hoff and Kurt Lüscher Afterword by Suchandrima Chakraborty Afterword by Jorge Felix. (shrink)

In the current paper we consider theories with vocabulary containing a number of binary and unary relation symbols. Binary relation symbols represent labeled edges of a graph and unary relations represent unique annotations of the graph's nodes. Such theories, which we call annotation theories^ can be used in many applications, including the formalization of argumentation, approximate reasoning, semantics of logic programs, graph coloring, etc. We address a number of problems related to annotation theories over finite models, including satisfiability, querying problem, (...) specification of preferred models and model checking problem. We show that most of considered problems are NPTime- or co-NPTime-complete. In order to reduce the complexity for particular theories, we use second-order quantifier elimination. To our best knowledge none of existing methods works in the case of annotation theories. We then provide a new second-order quantifier elimination method for stratified theories, which is successful in the considered cases. The new result subsumes many other results, including those of [2, 28, 21]. (shrink)

Author: Szahaj Andrzej Title: CULTURAL SCIENCES AS FUNDAMETAL AND CRITICAL SCIENCES (Nauki o kulturze jako nauki podstawowe (i krytyczne)) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 183-188 Keywords: FUNDAMENTAL SCIENCES, CULTURE, CRITICISM, CAPITALISM Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The main goal of the article is to prove that today cultural sciences replace sciences on nature in the role of fundamental sciences. Author tries to show that cultural sciences are (...) now fundamental ones taking into account two different aspects of being fundametal: theoretical one and political one. He uses some arguments taken from Jerzy Kmita’s works to support his own position. They are connected mostly with Kmita’s thesis about the primary role of culturally created vision of the world as the necessary background of each knowledge. The political aspect of fundamental role playing today by cultural sciences is linked with the main role played by information in today world and especially in so called cognitive capitalism. Author’s thesis is that cultural sciences can take critical shape showing the relative character of all dogmas of today capitalism or they can play effective role in capitalist world as important and useful element of its mechanisms. (shrink)

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)

There are many religions in the human world, and people manifest their religiousness in many different ways. The main problem this paper addresses concerns the possibility of sorting out this complex world of human religiousness by showing that it can be phenomenologically reduced to a few very basic existential attitudes. These attitudes express the main types of ways in which a human being relates to his or herself and the world, independently of the worldview or religion professed by the individual. (...) I use Kierkegaard’s theories of the stages of existence and subjective truth as a model. The theory of the stages of existence provides five basic existential attitudes on the basis of which religious attitudes can develop: spiritlessness, the aesthetic, the ethical, religiousness A, and religiousness B. The theory of subjective truth shows how the concept of truth functions in an ethical and existential sense as the personal truth of an individual engaged in building their religious identity. In turn, I discuss the problem of the relation of Kierkegaard’s philosophy to phenomenology, briefly introduce his concept of subjective truth and the stages of existence, and show how existential attitudes can be transformed into religious ones. I also consider the problem of the demonic as the inverted order of this anthropological and existential model. Finally, I argue that the model developed herein may be useful for further research into the phenomenology of religious attitudes. (shrink)

The basic assumption of the paper is the recognition that the complexity of the challenges related to population ageing forces the development of cooperative links in the area of the silver economy between public policy entities representing various sectors. In other words, there is a need for more intensive and better-coordinated cooperation between organisations in the commercial sector, public sector, non-governmental sector, informal sector and social economy sector (e.g., cooperatives).

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

Most papers included in this special issue were presented at the Fifth International Bioethics Conference, “The Ethics of Intellectual Property Rights and Patents,” held in Warsaw, Poland on 23–24 April, 2004.

The status of the equality predicate as a logical constant is problematic. In the paper we look at the problem from the proof-theoretic standpoint and survey several ways of treating equality in formal systems of different sorts. In particular, we focus on the framework of sequent calculus and examine equality in the light of criteria of logicality proposed by Hacking and Došen. Both attempts were formulated in terms of sequent calculus rules, although in the case of Došen it has a (...) nonstandard character. It will be shown that equality can be characterised in a way which satisfies Došen’s criteria of logicality. In the case of Hacking’s approach the fully satisfying result can be obtained only for languages with a nonempty, finite set of predicate constants other than equality. Otherwise, cut elimination theorem fails to hold. (shrink)

Gry komputerowe (wideo) stają się coraz bardziej popularnym sposobem na relaks, a nawet na podtrzymanie stosunków społecznych z innymi ludźmi. Nie służą one jednak już tylko rozrywce. Potraktowane jako środek masowego przekazu stają się źródłem dochodów, wiedzy i problemów społecznych, co może wypaczać przedstawioną w nich rzeczywistość. Może także stać się podstawą do manipulacji oraz propagandy; służyć walce o dominację kulturową oraz wskazywać na wymagające rozwiązania kwestie społecznie. -/- .

A. Klimczuk, Formalnoprawne aspekty współpracy szkoły z otoczeniem, [in:] M. Juchnicka, Formalnoprawne aspekty modernizacji szkolnictwa zawodowego, Izba Rzemieślnicza i Przedsiȩbiorczości, Białystok 2014, pp. 77-106.

The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, there are traces of earlier interests in this field exhibited by the members of the Lvov-Warsaw School. We focus on the results obtained by Jaśkowski and Leśniewski. Jaśkowski provided the first formal system of natural deduction in 1926. Leśniewski also demonstrated in some of his papers how to construct proofs in accordance with intuitively correct (...) principles. (shrink)

(1996). Educational policy in Poland in the period of transition. The European Legacy: Vol. 1, Fourth International Conference of the International Society for the study of European Ideas, pp. 674-679.

Visages de l'histoire. Essais de l'entour de la méthodologie et d'histoire de l'historiographie.

The paper proposes a new definition of the conception of effectiveness . A good name for this version of effectiveness is discernibility. The definition is based on the fact that every computation may be reduced to the operation of discerning the fundamental symbols and concatenation of formulas. This approach to effectiveness allows us to formulate the proof of undecidability in such a way that arithmetization of the syntax may be replaced by the use of concatenation in metalogic.

Let us consider an arbitrary semantical relation. It holds between some linguistic entities and pieces of reality referred to. We may call it meaning. The controversy between psychologism and antipsychologism therefore may be exhibited as an ontological dilemma:Antipsychologism PsychologismThe relation of meaning is independent of human beings The relation of meaning is established by human beingsWhen we describe the meaning of words we do not need to refer to human behavior When we describe the meaning of words we need to (...) refer to human behaviorIt seems to be safe to assume that reality is not contradictory and a good description of reality cannot lead to the contradiction. All presentations of semantical antinomies rest on antipsychologistic description of semantical relations. Thus we can blame the contradictions called semantical antinomies on the antipsychologistic description. (shrink)