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.

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.

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

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.

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's (...) second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)

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)

Dowód pierwszej tezy Gorgiasza jest dedukcyjnym wnioskowaniem nie wprost, skon-struowanym przez wielokrotne użycie schematu modus tollens. Te z jego przesłanek, które przyjęte są bez dowodów, są łudząco podobne do niektórych prawd logicznych lub analitycznych. Gdyby rzeczywiście nimi były, w dowodzie musiałyby pojawić się sprzeczności. W czasach Gorgiasza dowód mógł uchodzić za poprawny; możliwość jasnego wskazania i opisania jego defektów poja-wiła się dopiero z wynalezieniem logiki formalnej. Gorgiasz mógł ogłosić swą tezę serio –jako tezę skrajnego nihilizmu metafizycznego –nie obawiając się kompromitacji. (...) Jeżeli dowód jest sofizma-tem, to wśród sofizmatów jest arcydziełem, najwybitniejszym osiągnięciem sofistów w tej dziedzi-nie. (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.

In this paper, we want to present the genesis of Stanisław Leśniewski’s mereology. Although ‘mereology’ comes from theword ‘part’, mereology arose as a theory of collective classes. That is why we present the differences between the concepts of being a distributive class and being a collective class. Next, we present Leśniewski’s original mereology from 1927, but with a modern approach. Leśniewski was inspired to create his concept of classes and their elements by Russell’s antinomy. To face it, Leśniewski had to (...) define the concept of being an element of based on the concept of being part of. Leśniewski showed that in his theory, there is no equivalent to Russell’s antinomy. We will show that his solution has nothing to do with the original approach because, in both cases, we are talking about objects of a different kind. Russell’s original antinomy concerned distributive classes, and Leśsniewski’s considerations concerned collective classes. (shrink)

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.

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)

I shall outline the topic from a historical perspective, placing the main emphasis on the hundred years’ period spanning 1870–1970.