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.

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)

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)

In this article I challenge the claim that nuclearity is a central principle in the organization of texts. I propose the Framework for the Relational Analysis of Texts which accounts for the paratactic and hypotactic realization of coherence relations. Within this framework, the taxis of coherence relations is co-textually dictated. I consider the writer choices in the distribution of discoursal salience and the intertextual and intercultural variation of these choices. It is suggested that divergence between approaches that perceive text as (...) exhibiting both hypotactic and paratactic organization and those that see nuclearity as a basic characteristic of text structure arises from differences in the linguistic corpora examined during the construction of respective theoretical frameworks. (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)