We prove that any 1-closed (see def 1.1) model of the Π 2 consequences of PA satisfies ¬Cons PA which gives a proof of the second Godel incompleteness theorem without the use of the Godel diagonal lemma. We prove a few other theorems by the same method.

Is there a duty to do more than one’s fair share of solving collective problems? If there is, can those who do less than their fair share coerce others to do more? These questions arise urgently in relation to the problem of refugee protection. The fact that various states host refugees to a dramatically different extent is due to a range of factors but the most prominent one is that, on the whole, states devote their differential capabilities to the aim (...) of not hosting them. When some states fail to host – or otherwise assist – as many refugees as they should, must other states do more than their fair share in order to solve the problem of providing refugees with an appropriate place to live? I examine what I call the conservative, moderate and responsive answers to this question. I defend the responsive view and argue that there is a duty to do more than one’s fair share here and that such a duty is always enforceable. (shrink)

The dead are among us. We are reminded of their names through the books we read, the hoovers we buy, the sandwiches we consume, the tarmac we travel on, the wellingtons we wear, or, frequently, the buildings we visit. Even if we settled on the criteria for being worthy of commemoration, what should we do about the fact that there seem to be so many people who would likely meet them? Commemoration is a form of attention giving, and attention is (...) a scarce resource. It is scarce even if it could be permissibly commanded at will. It is even more scarce when commanding attention may violate someone's freedom to decide for themselves where to bestow it. I will argue that when it comes to public commemorative attention, there are duties that fall on us all to remember the now dead victims of injustice. I will also offer reasons for why such duties would normally mean that we need to prioritize the remembrance of the victims of injustice ahead of remembrance that might be owed to those who had expectations of being remembered or even took steps by donations to secure such remembrance. (shrink)

Preview: “Taste” is among those philosophical categories that are the most difficult to fully characterize. Reflection on taste, on the experience and concept of taste, flourished in modern times. It went through its history from dynamic development in the seventeenth century and theoretical career in the eighteenth century. One gets the impression that “taste” became the central category of philosophy of the seventeenth and eighteenth centuries. In the nineteenth century, interest in taste diminished significantly. Considerations of taste were closely integrated (...) into the general philosophical attitudes of thinkers of the period. They generated disputes that form the canvas of later considerations that are already less emotional. The social transformations that we have been observing in the last few decades are forcing a renewed interest in the category of taste. At the same time, it is a colloquial category, commonly used. It is present if not in every European dictionary, then in most. In some languages it also has numerous synonyms that provide clues as to how various psycho-social states are expressed through these terms. Most often they are limited to the physiological sense of taste and are linked to cuisine, customs, recipes, and health. Taste, however, cannot just be confined to physiology – although the importance of the social functioning of taste understood in this way cannot be denied. (shrink)

A bi- or multilingual repertoire is a complex and dynamic system of languages (Herdina & Jessner, 2002; Herwig, 2001; Larsen-Freeman & Cameron, 2008; Stotz & Cardoso, 2022) which interact with each other and with the conceptual system (Kroll & Stewart, 1994; Pavlenko, 2009). Importantly, fluent and regularly used native languages are not spared from the influence of later acquired non-native ones. The paper presents the results of a case study conducted with a native speaker of Polish with three additional languages: (...) English, German, and French. Based on the analysis of the instances of lexical reverse transfer observed in the spoken production in her L1, it is concluded that reverse transfer may lead to partial L1 attrition, at least when the monolingual perspective is taken. From the multilingualism point of view, reverse transfer should rather be treated as a phenomenon leading to partial restructuring and enhancement of mother tongue competences. (shrink)

The paper reports the results of a comparative analysis of the two groups students coming from temporarily disconnected families due to foreign work parents and teenagers with the same social environment, but without the experience of separation time. The subject of the analysis was: the cohesion of a family from the perspective of the evaluated adolescent and three factors of psychological loneliness: social loneliness, emotional loneliness and existential loneliness. The Loneliness Scale was used based on an original concept of multidimensional (...) sense of loneliness. The questionnaire for the survey of family cohesion were used too. The age, gender, family structure and the family lifestyle were controlled. Obtained results revealed significantly lower cohesion and significantly higher existential loneliness in group of teenagers from temporarily disconnected families. Not confirmed the supposition that made in earlier studies of temporarily disconnected families due to economic migration, that these teenagers suffer from a sense of emotional loneliness There has also confirmed the belief that the level of family cohesion and a sense of loneliness in adolescents is associated with atypical organization of family life associated with the duration of migration of parent/parents, frequency of contact with family members working abroad: mothers, fathers or broth parents, the duration of stays at home. (shrink)

Joanna Tokarska-Bakir puts into analysis the main ideas of Eugen Drewermann expressed in his book Kleriker: Psychogramm eines ideals. She sets forth the sense of “total institution” – the main category used by Drewermann to characterize the essence of catholic church. According to Drewermann, catholic priests have been involved in struggling for political power rather than satisfying deep religious needs.

For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic (...) logic of one variable with implication and negation. The result is obtained by reducing the problem to the same one of Dummett's intermediate linear logic of one variable (see [2]). Actually, this paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part (more than 93%) of classical prepositional calculus. Despite using strictly mathematical means to solve all discussed problems, this paper in fact, may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences. (shrink)

What’s special about human rights? For Rowan Cruft human rights are special because they capture the importance of the good of the right-holder. But his account struggles with explaining the existence of global socioeconomic human rights. I argue that such rights exist and show how we should revise Cruft’s account to accommodate this.

John Rawls tells at the start of A Theory of Justice that his theory is intentionally constrained in two ways: it is ideal and focuses on the justice of the basic structure of society. This chapter begins by evaluating Rawls's claim that ideal theory sets the target of reform for nonideal theory, whose task it is to work out what to do “under less happy conditions.” It states that it is unclear just when ideal theory can inform the priorities of (...) nonideal theory. The chapter also presents discussions on whether the ideal theory is utopian and concessive to human nature. Even the kind of nonideal theory that delivers concrete action‐guidance for “us” remains unhelpfully ideal if it does so merely in the form of policies or institutional arrangements. (shrink)

What duties do people have in the face of noncompliance of others with their duties? The paper defends the duty to take up the slack when slack taking is necessary to assist those in dire need. This duty has been criticized by J. L. Cohen, Liam Murphy and, more recently, David Miller. The duty is defended against arguments that appeal to the structure of the duty to aid, fair shares, responsibility, counterintuitiveness, and perverse consequences. The paper considers the implications of (...) the duty for the case of aiding refugees. (shrink)

Preview: /Zofia Rosińska interviewed by Mikołaj Sławkowski-Rode/ MSR: Your book Po śladach. Doświadczenie modlitewne w ujęciu filozofii kultury [After the Traces. The Experience of Prayer in the Perspective of Philosophy of Culture] has an unusual format for an academic work. Apart from an overview and discussion of various conceptions and examples of prayer you have added an annex containing eight interviews with various people as well as five testimonials concerning the experience of prayer – some very intimate. What was (...) the motivation for choosing such a format and how did you select the texts comprising the annex? ZR: My book is not a cultural study or a work of theology, psychology, or psychiatry, although it touches the boundaries of all these disciplines. What I mean here is that it takes up topics and utilizes the categories specific to these fields. My book is a book about the human being and it is written from the perspective of philosophy of culture. You say that the format of my book is not typical for an academic work, because of the decision to include the annex containing conversations with people who pray and with others who reject it. This is true. However my book necessitates this minor structural difference. The goal of the book was to discern and understand various forms of prayer present in our culture: from set prayers through poetry, painting and music to activities like work. I call this ‘ontological prayer’. Unfortunately I could not include painting and music in this work. (shrink)

Confirmant notamment les analyses de Pascale Casanova dans La République des lettres , Zofia Bobowicz, traductrice et actuellement conseillère éditoriale aux éditions Noir et Blanc, explique dans cet entretien les difficultés de réception rencontrées par la littérature de l'Europe centrale en France, alors qu'il en va tout autrement dans d'autres pays. Connaissant depuis un quart de siècle l'univers éditorial français de l'intérieur, Zofia Bobowicz souligne le rôle joué par la critique littéraire et la conjoncture politique ou culturelle du (...) moment dans la diffusion de cette littérature, et, par voie de conséquence, dans sa traduction.Confirming such analyzes Pascale Casanova in The Republic of Letters , Zofia Bobowicz, translator and editorial consultant currently published by Black and White, explains in this interview the difficulties encountered by receiving the literature of Central Europe France, while it is quite different in other countries. Knowing the past quarter century French publishing world from the inside, Zofia Bobowicz emphasizes the role played by literary criticism and the political and cultural moment in the dissemination of this literature, and, consequently, in its translation. (shrink)

We formulate a Π1 sentence τ which is a version of the Tableau consistency of GlΔ0. The sentence τ is true and is provable in GlΔ0 + exp. We construct a model M of GlΔ0+Ω1+τ+BGs1 which has no proper end-extension to a model of GlΔ0+Ω1+τ. Also we prove that GlΔ0+Ω1+τ is not Π1 conservative over GlΔ0+τ.

Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.

Can states permissibly enforce mandatory participation in the provision of public goods? Usual justifications of state action here appeal to the fact that such goods are very good for people. Arthur Ripstein argues that states can compel provision of public goods, but that the best explanation of this is grounded, not in the costs and benefits of the provision to the compelled parties, but in the parties’ moral status as independent agents. I argue that Ripstein’s alternative account poses more problems (...) than it solves. Our best hope in grounding mandatory cooperation is to do so with reference to the duties that we have to serve people’s interests, including interests in autonomy, welfare, and being respected on account of one’s moral status. (shrink)

The human influence on the earth’s ecosystem has become so destructive that we need a new vision of the world that will offer hope. The article is an attempt to create a new interdisciplinary way that takes into account the role of symbiosis in the functioning of life on Earth. Australian scholar Glenn Albrecht postulates the conceptual framework for the new epoch and calls it the Symbiocene. which will be characterized by replicating symbiotic life processes in human activities. At the (...) same time, science clearly states that the relationships among organisms are predominantly cooperative and symbiotic in nature. The article focuses on three selected phenomena in which close multilateral cooperation plays a significant role. These are: the life of lichens, the functioning of mycelium with plants, especially the role of Mother Trees over young stands, and permaculture as an example of symbiotic agriculture. We take these examples as a training in collective imagination in good interspecies living and draw on selected literary texts. We believe that the idea of the Symbiocene, an inclusive and integrative philosophy of life, has great potential to become a new direction not only in the natural sciences, but also in the social sciences and humanities. (shrink)

We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.

This paper is an attempt to count the proportion of tautologies of some intermediate logics among all formulas. Our interest concentrates especially on Medvedev’s logic and its fragment over language with one propositional variable.

For nearly 80 years Biblical gardens have been present in the natural and cultural landscape. The first gardens came into existence in the US. The idea to create such gardens spread from the US mainly across Europe, Australia and Israel. These gardens are being made all the time; recently we have observed their dynamic development. This study is to show the effects of the 20 years long scientific work to formulate the original genesis of the Biblical garden idea. The characteristics (...) of 64 facilities situated in 14 countries has been presented for the first time so widely. This enabled us to show both the history of these gardens and how they are situated in the cultural and social context. The effect of various factors inspiring people of various professions to create Biblical gardens both near sacral buildings and within the secular areas has been evidenced. Biblical gardens exercise the principles of gardens of senses and learning gardens. And it is the highly developed semantic layer that makes them stand out. (shrink)