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.

We prove that the Gödel incompleteness theorem holds for a weak arithmetic T = IΔ0 + Ω2 in the form where Cons H (T) is an arithmetic formula expressing the consistency of T with respect to the Herbrand notion of provability.

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+τ.

We prove that: • if there is a model of I∆₀ + ¬ exp with cofinal Σ₁-definable elements and a Σ₁ truth definition for Σ₁ sentences, then I∆₀ + ¬ exp +¬BΣ₁ is consistent, • there is a model of I∆₀ Ω₁ + ¬ exp with cofinal Σ₁-definable elements, both a Σ₂ and a ∏₂ truth definition for Σ₁ sentences, and for each n > 2, a Σ n truth definition for Σ n sentences. The latter result is obtained by (...) constructing a model with a recursive truth-preserving translation of Σ₁ sentences into boolean combinations of $\exists \sum {\begin{array}{*{20}{c}} h \\ 0 \\ \end{array} } $ sentences. We also present an old but previously unpublished proof of the consistency of I∆₀ + ¬ exp + ¬BΣ₁ under the assumption that the size parameter in Lessan's ∆₀ universal formula is optimal. We then discuss a possible reason why proving the consistency of I∆₀ + ¬ exp + ¬BΣ₁ unconditionally has turned out to be so difficult. (shrink)

We show that for each n ≥ 1, if T2n does not prove the weak pigeonhole principle for Σbn functions, then the collection scheme B Σ1 is not finitely axiomatizable over T2n. The same result holds with Sn2 in place of T 2n.

For a fixed q  ℕ and a given Σ1 definition φ(d,x), where d is a parameter, we construct a model M of 1 Δ0 + ¬ exp and a non standard d  M such that in M either φ has no witness smaller than d or phgr; is equivalent to a formula ϕ(d,x) having no more than q alternations of blocks of quantifiers.

For any n, we construct a model of in which each formula is equivalent to an formula.

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)

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)

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)

The article is an attempt to reconstruct the Stanisław Lem’s views on the relationship between science and faith presented in his The star diaries. The author discusses three stories: The twenty­‑second voyage, The twenty­‑first voyage, and The twentieth voyage. The following questions are considered during the analysis of these novels: Does theology (as depicted by Lem), despite having no competence in the area, attempt to solve scientific problems? Does Lem suggest that Christian claims are potentially falsifiable? Can science lay the (...) foundations of theodicy? The answers to these questions appear helpful in explicating three models of the relationship between science and faith embedded in Lem’s stories: conflict regarding content, conflict regarding form, and cooperation. (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)

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)

The two main questions addressed in the chapter are “What is the point of (good) nonideal theory?” and “Can (good) nonideal theory be done in isolation from ideal theory?” To address them, I distinguish between different types of nonideal theory and locate nonideal theory vis‐à‐vis ideal theory as well as realism and applied philosophy. I argue that nonideal theory is useful but some of its versions need to concede that they are defeatist. I also argue that nonideal theory builds on (...) ideal theory, though not in all the ways suggested by defenders of ideal theory. (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.

In his life and work, Leszek Kołakowski traversed many paths, some more and some less well-known. The main focus here is on Kołakowski’s involvement in what one may call an anthropological variant of philosophy of culture. Anthropological philosophy of culture bases on the following assumptions:1. Human conduct is determined by culture. There is neither humanity without culture nor culture without humans.2. Human conduct is by nature referential, in other words, the factual alone is not enough for humans who tend to (...) reach beyond it in their search for the most elemental and ultimate truths.3. Culture is a dynamic phenomenon and a challenge on the path to self-awareness.4. Axiological sensitivity.5. The culture philosopher is immersed in the culture he studies and, by revealing that which it conceals, is a source of reflection on this culture. All these assumptions lie at the core of the philosophy of Leszek Kołakowski. (shrink)

In this essay I present culture as a realm constituted by a circular movement where progress is constantly confronted by different forms of reversions. By progress I mean specifically oriented changes we observe in culture. Many of them are rooted in the development of technology and science, or stem from demographical changes and intercultural influences. Reactions to these changes frequently involve returning to certain forms of behavior or responses that were common in the past but have been later abandoned. I (...) intend to present examples of this phenomenon observed in culture. (shrink)