The formalist point of view maintains that formal derivations underlying proofs, although usually not carried out in practice, contribute to the confidence in mathematical theorems. Opposing this opinion, the main claim of the present paper is that such a gain of confidence obtained from any link between proofs and formal derivations is, even in principle, impossible in the present state of knowledge. Our argument is based on considerations concerning length of formal derivations. Thanks to Jody Azzouni for enlightening discussions concerning (...) the subject of this paper and to anonymous referees whose important remarks permitted us to correct the arguments and improve presentation. The remaining flaws remain, of course, solely the responsibility of the author. This research was partially supported by NSERC discovery grant and by the Research Chair in Distributed Computing at the Université du Québec en Outaouais. CiteULike Connotea Del.icio.us What's this? (shrink)

An ideal I defined on a group G is called idempotent if for every $A \in I, \{g \in G: Ag^{-1} \not\in I\} \in I$ . We show that a countably complete idempotent ideal on an abelian group cannot be prime but may have strong saturation properties.

"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)

This paper is closely related to investigations of abstract properties of basic logical notions expressible in terms of closure spaces as they were begun by A. Tarski (see [6]). We shall prove many properties of -conjunctive closure spaces (X is -conjunctive provided that for every two elements of X their conjunction in X exists). For example we prove the following theorems:1. For every closed and proper subset of an -conjunctive closure space its interior is empty (i.e. it is a boundary (...) set). 2. If X is an -conjunctive closure space which satisfies the -compactness theorem and [X] is a meet-distributive semilattice (see [3]), then the lattice of all closed subsets in X is a Heyting lattice. 3. A closure space is linear iff it is an -conjunctive and topological space. 4. Every continuous function preserves all conjunctions. (shrink)

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)

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.

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)

Generacja sandwicz - grupa osób w wieku średnim, która ze wzglȩdu na swoj¸a} centraln¸a} pozycjȩ w strukturze wieku i w zwi¸a}zanej z ni¸a} stratyfikacji wiekowej stanowi generacjȩ, które jednocześnie opiekuje siȩ osobami starszymi i osobami młodszymi. Zjawisko to określane jest też jako "kobiety w środku" lub "złapani w środku". Koncepcja "generacji sandwicz" w w¸a}skim ujȩciu odnoszona jest przeważnie do tradycyjnie postrzeganych ról opiekuńczych kobiet, które s¸a} w wieku środkowym, a zarazem na przedpolu starości. W ujȩciu feministycznym społeczne oczekiwania wobec kobiet (...) znajduj¸a}cych siȩ miȩdzy 40. a 60. rokiem życia s¸a} zorientowane z jednej strony na udzielanie pomocy dzieciom i młodzieży w uzyskaniu samodzielnego dorosłego życia, z drugiej zaś s¸a ukierunkowane na udzielanie pomocy pielȩgnacyjnej starszemu pokoleniu szczególnie w przypadku niepełnosprawności, otȩpienia lub choroby Alzheimera. Oczekiwania wobec powyższych ról opiekuńczych s¸a sformalizowane w mniejszym lub wiȩkszym stopniu co prowadzi do nierówności miȩdzy kobietami i mȩżczyznami. ** Sandwich generation - a group of middle-aged people who, due to its central position in the age structure and related age stratification is a generation that simultaneously takes care of elderly people and younger people. This phenomenon is also referred to as "women in the middle" or "caught in the middle". The concept of "sandwich generation" in a narrow sense refers mainly to the traditionally perceived caring roles of women who are middle-aged and at the same time on the forefront of old age. In the feminist approach, the social expectations towards women between 40 and 60 years old are oriented on helping children and young people to get an independent adult life, on the other hand they are oriented towards providing care to the older generation, especially in the case of disability, dementia or Alzheimer’s disease. Expectations regarding these care roles are formalized in a smaller one or to a greater extent which leads to inequality between women and men. (shrink)

This paper presents an integrated model describing the control of Saccharomyces cerevisiae yeast cells bioenergetics. This model describes the oxidative and respirofermentative metabolism. The model assumes that the mitochondria of the Saccharomyces cerevisiae cells are charged with NADH during the tricarboxylic acid cycle, and NADH is discharged from mitochondria later in the electron transport system. Selected effects observed in the Saccharomyces cerevisiae eucaryotic cells, including the Pasteur's and Crabtree effects, are also modeled.

Głównym przedmiotem badań jest sens nadawany idei sprawiedliwości społecznej w katolickiej nauce społecznej. Równie ważną kwestię stanowi to, jaki wpływ wywiera jej rozumienie na koncepcję wspólnoty politycznej. Doktryna katolicka została w tej dziedzinie zestawiona z, jedynie szkicowo zarysowanymi, rozstrzygnięciami w innych tradycjach refleksji społecznej. Punktem odniesienia były propozycje zawarte w myśli liberalnej i lewicowej. Z racji rozległości tematyki konieczne stało się ograniczenie do prezentacji jedynie wybranych wątków tego zagadnienia.

Tekst dotyczy procesu konwersji semantycznej, w wyniku którego sens tradycyjnej koncepcja tolerancji (negatywnej) jest zastępowany przez tak zwaną tolerancje pozytywną. W artykule analizowany jest podmiotowy i przedmiotowy aspekt tolerancji, trudności w pogodzeniu obu koncepcji tolerancji oraz problemy jakie generuje idea tolerancji pozytywnej. Wyróżnione zostały również proste i złożone przedmioty tolerancji.

Począwszy od lat 40. XIX w. w refleksji o polityce coraz większej wagi nabiera termin sprawiedliwości społecznej. Podstawowa funkcja państwa, jaką jest zaprowadzanie sprawiedliwości, czyni rozumienie tego terminu rzeczą kluczową. W niniejszym tekście głównym przedmiotem zainteresowania jest znaczenie nadawane sprawiedliwości społecznej w perspektywie celów wyznaczanych państwu opiekuńczemu. Z tego względu obiektem badania będą sensy nadawane pojęciu sprawiedliwości społecznej. W tej dziedzinie można wyróżnić przynajmniej dwa nakładające się na siebie aspekty. Pierwszy dotyczy charakteryzowania samej sprawiedliwości. Da się ją bowiem ujmować jako (...) cnotę, normę lub uprawnienie. Drugi aspekt odnosi się do odmiany sprawiedliwości utożsamianej ze sprawiedliwością społeczną. W tym przypadku w grę wchodzą takie jak: sprawiedliwość ogólna (prawna), rozdzielcza, wyrównawcza. Oprócz ujmowania sprawiedliwości społecznej jako identycznej z którymś z powyższych rodzajów sprawiedliwości bywa ona też traktowana jako idea zaprowadzania równości bądź solidarności w środowisku społecznym. (shrink)

Celem artykułu jest wykazanie, że przyjmowane na gruncie multimodularnej teorii umysłu rozwiązanie problemu integracji modułów jest niewystarczające. Emocje nie mogą być jedynymi czynnikami, które synchronizują i integrują pracę modułów, ponieważ nie funkcjonują stale, same wymagają synchronizacji modułów niezbędnych do ich aktywizacji i nie pozwalają na wyjaśnienie mechanizmu koordynacji modułów potrzebnej do uzyskania nowej funkcji. Wskazuje się także na dość uproszczone pojmowanie emocji przez psychologów ewolucyjnych.

The present experiment investigated the relations of narcissism with social value orientation under façade conditions of testing communal or agentic traits. The results indicated that narcissism predicted less willingness to share resources with others and more competitive orientation in a façade communal condition compared to the remaining two conditions: control and agentic. The results confirm narcissistic disregard for communal domain and are consistent with the extended agency model of narcissism and the “success as a drawback” effect.

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.

Etyka jako obszar i kontekst standaryzacji działalności organizacji pozarz¸adowych Andrzej Klimczuk In Katarzyna Sztop-Rutkowska (ed.), Poradnik Standardów Normatywnych Dla Organizacji Pozarz¸Adowych Z Powiatu Oleckiego. Fundacja Rozwoju Ziemi Oleckiej. pp. 74--92 (2012) .

A. Klimczuk, M. Skarzyński, Modernizacja szkół zawodowych w oparciu o programy rozwojowe, [in:] M. Juchnicka, Formalnoprawne aspekty modernizacji szkolnictwa zawodowego, Izba Rzemieślnicza i Przedsiȩbiorczości, Białystok 2014, pp. 119-144.