This paper is concerned with n-localization property introduced by Newelski and Rosłanowski in [10] and getting it for CS iterations of forcing notions.

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in previous work by Shelah. We introduce stronger properties of ultrafilters and we show that those properties may be handled in λ-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal λ with generating systems of size less than $2^\lambda$ . We also show how ultrafilters generated by small systems can be killed by forcing notions which have enough (...) reasonable completeness to be iterated with λ-supports. (shrink)

This article continues Rosłanowski and Shelah (Int J Math Math Sci 28:63–82, 2001; Quaderni di Matematica 17:195–239, 2006; Israel J Math 159:109–174, 2007; 2011; Notre Dame J Formal Logic 52:113–147, 2011) and we introduce here a new property of (<λ)-strategically complete forcing notions which implies that their λ-support iterations do not collapse λ + (for a strongly inaccessible cardinal λ).

We prove that the Sacks forcing collapses the continuum onto ${\frak d}$ , answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses $\omega_2$ then it forces $\diamondsuit_{\omega_{1}}$.

We continue developing the general theory of forcing notions built with the use of norms on possibilities, this time concentrating on ccc forcing notions and classifying them.

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah [8]. We introduce a general scheme of generating a filter on λ from filters on smaller sets and we investigate the combinatorics of objects obtained this way.

We continue investigations of forcing notions with strong ccc properties introducing new methods of building sweet forcing notions. We also show that quotients of topologically sweet forcing notions over Cohen reals are topologically sweet while the quotients over random reals do not have to be such.

We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that . We prove consistency of the statement “there is a Boolean algebra such that ” and we force a superatomic Boolean algebra such that , and . Next we force a superatomic algebra such that and a superatomic algebra such that . Finally we show that consistently there is a Boolean algebra of (...) size λ such that there is no free sequence in of length λ, there is an ultrafilter of tightness λ and. (shrink)

Our main result states that a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give some results concerning cardinal characteristics of the σ-ideals determined by those universality parameters.

We study the cardinal invariants of measure and category after adding one random real. In particular, we show that the number of measure zero subsets of the plane which are necessary to cover graphs of all continuous functions may be large while the covering for measure is small.

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)

The paper consists of two parts, outlined in the title.I. In the historical science time appears as an element of the historian’s workshop. The historian collects source information, evaluates them and assigns respective dates. Only on the ground of thus “processed” sources may he reproduce the past: events and longer development processes, setting them in time. This dated time is understood colloquially as something objective, which runs one way and may be measured.II. A historian who studies the past reality depends (...) on the extent to which those sources are preserved. As a result of their interpretation, with the use of increasingly excellent research methods, he reproduces that reality. He must carry out an ongoing selection of historical facts found. This exposes him to temptations of such selection of those facts so as to adjust the historical knowledge to serve well the national interests, his own political opinions, etc. In this way the historian exerts influence on social awareness, which may consists of various myths and stereotypes, which sometimes lead to negative social behaviors: aggression, chauvinism, etc. Therefore, for researcher honesty’s sake and in the sense of moral responsibility, he must be careful to be as impartial as possible in his work. (shrink)

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

The main aim of the text is to show how a game of Go (Weiqi, baduk, Igo) can serve as a model representation of the ontological-metaphysical aspect of the actor–network theory (ANT). An additional objective is to demonstrate in return that this ontological-metaphys⁠ical aspect of ANT represented on Go/Weiqi game model is able to highlight the key aspect of this theory—onto-methodological praxis.

We prove the following theorems:1. IfX⊆ 2ωis aγ-set andY⊆2ωis a strongly meager set, thenX+Yis Ramsey null.2. IfX⊆2ωis aγ-set andYbelongs to the class ofsets, then the algebraic sumX+Yis anset as well.3. Under CH there exists a setX∈MGR* which is not Ramsey null.

The aim of the paper is to examine the nature of moral and legal norms in a broader context: first, taking into account logical and methodological assumptions, second, in the perspective of psychology of emotions and legal policy. The basic subject of the research carried out by Leon Petrażycki was represented by law. Originally, it had a psychological character, not an objective, eternal, and unchanging one. To fully understand the genesis and nature of morality and law, Petrażycki addressed the study (...) of mental phenomena, especially emotional experiences. First, however, he developed appropriate rules of logic and scientific methodology. Then he developed a new classification of mental phenomena, among which the fundamental role is played by bilateral emotions. At some stage, emotions begin to cooperate with cognitive processes, first of all with imaginations. Imaginations of acts, such as theft, betrayal, murder, can cause repulsive emotions, and type imaginations, such as truthfulness, charity, justice can evoke apulsive emotions. On the basis of such associations, judgments are created over time, the content of which becomes a basis for fundamental rules of conduct, that is, for norms. There are two fundamentally different types of norms: moral norms and legal norms. The norms of the first type are imperative and represent the nature of validity, while the norms of the second type are imperative-attributive and they also always entitle someone to something, i.e. they give someone a right. This division determines a fundamental difference between morality and law. (shrink)

Książka stanowi wprowadzenie do twórczości Richarda Rorty'ego, a także próbę osadzenia jej na szerszym tle filozofii współczesnej, ze szczególnym uwzględnieniem filozofii postmodernistycznej. Obecne są w niej szersze analizy stanu kultury współczesnej, a także relacje z istotnych koncepcji obecnych we współczesnej humanistyce, bez których nie można zrozumieć ewolucji współczesnej humanistyki i specjalnej roli, jaką odegrała w niej filozofia Richarda Rorty'ego.

Generational differences in societies are characteristics generally attributed to people’s age that constitute a sociocultural phenomenon. Divisions in the generations differ across nations and extend even to civilizations. Perception and recognition of the different characteristics of each generation affect the cooperation between people in social, political, and economic capacities, and subsequently extend to entities in the public, informal, commercial, and nongovernmental sectors. From the perspective of social justice, it is important to draw attention to how workplace management techniques are used (...) to promote equal opportunities among representatives of various generations. (shrink)

Spouses exhibit two kinds of behaviours: protective and transgressive. Protective acts are those aiming to overcome current problems, leading to preserving some balance. Transgressive acts are deliberately overstepping everyday marital reality and doing new things in new ways. They lead to changing the relation with the hope of improving it, but also create the risk of deterioration. The more transgressive behaviours spouses exhibit, the more chances they have to get to know each other and experience the joy of being part (...) of a union. Transgressive tendencies stem from a network personality structure and consist of five psychons: cognitive, instrumental, motivational, emotional, and personal. The success of a marriage is the effect of a specific form of transgressive behaviours in marriage exhibited by both spouses, which is recognizing difficulties as they appear, finding their sources, and taking steps together to overcome them. (shrink)

In terms of psychotransgressionism, personality is a network of five equipollent psychons, the content of which determines the personality’s functioning. The strength and power of the individual psychons underlies the tendency to undertake transgressive actions. In this study, we hypothesized that transgressive spouses are characterized by greater potential strength, greater power of cognitive, instrumental, motivational, emotional, and personal psychons than protective spouses. We operationalized all psychons, created the appropriate research tools, and then studied married couples. Using the Transgression Scale developed (...) by Studenski, we found a group of spouses with higher levels of transgression, and a group of spouses with lower levels of transgression. Transgressive wives are characterized by better knowledge about their husbands’ operational sphere, and are more aware of personal beliefs than protective wives. Similarly, transgressive husbands have greater knowledge of their wives’ operational sphere, stronger cognitive needs, and weaker personal needs than protective husbands. Transgressive husbands are characterized by a positive affective shift and have a greater awareness of personal beliefs than protective husbands. The potential brought into interpersonal relationships by transgressive spouses may create a climate conducive to building a satisfying marital relationship. (shrink)

“Age of life” is one of the essential characteristics that differentiate people. Age perception is also associated with social justice. The concept of age is defined ambiguously. At the same time, the different age criteria also forms the basis of age differentiation and age discrimination. The population lead to distinctions of age groups, age categories, and generations. Differences between generations also lead to Study in the concepts of intergenerationality, intergenerational justice, and intergenerational policies.

Services for single parents constitute a category of child and family services. These services are carried out by public and non-governmental bodies for people who are single parents by the unfortunate events or by their own choice. Individuals come to single parenthood mainly through divorce, separation, birth outside of marriage, child abuse/neglect, death of a partner/widowhood, and adoption.

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)

During the global financial crisis of 2007–2009 and the currentCovid-19 debacle, central banks acted quickly, boldly, and effectively. The paper argues that they did so thanks to the lessons learned from the past financial crises, which provided them with opportunities to reconsider their previous beliefs. A case in point is the banking crisis in the United States during the Great Depression of the 1930s that taught central banks to act rapidly and decisively in order to prevent an initial liquidity crisis (...) from escalating into a solvency crisis leading to bankruptcies of banks with potentially disastrous consequences for the entire economy. The paper revisits the consequences of the currency crises of the 1990s, which transformed exchange rate regimes across the world: the EMS one of 1992–1993 that accelerated the launch of the euro, and the Asian one of 1997–1998 resulted in the proliferation of floating exchange rates in emerging economies. (shrink)