We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices.

Agresja putinowskiej Rosji na Ukrainę postawiła wobec dramatycznego wyzwania nobliwą doktrynę non‑violence. Zgodnie ze sformułowanym w latach 80. XX wieku wywodem antysowieckiego dysydenta rosyjskiego Władimira Bukowskiego to nie wojna jest przeciwieństwem pokoju, lecz przemoc, a do jej powstrzymania niekiedy konieczny jest zbrojny opór, czyli prowadzenie wojny. Według Clausewitza do wywołania stanu wojny nie wystarczy militarna agresja, lecz konieczne jest przeciwstawienie się jej, czyli aktywna obrona ze strony napadniętego, chcąc zatem uniknąć wojny, nie należy stawiać oporu agresorowi. Agresja na Ukrainę (...) złamała dwie zasady prowadzenia wojen: ius ad bellum i ius in bello. Według typologii Michaela Walzera jest to zatem niesprawiedliwa wojna prowadzona niesprawiedliwymi metodami, więc przeciwstawianie się jej, także militarne, jest prowadzeniem wojny sprawiedliwej. Zgodnie z analizą Slavoja Žižka tworzy to klarowną z etycznego punktu widzenia sytuację, zło jest łatwo identyfikowalne, a przeciwstawienie się mu stanowi etyczny obowiązek. Według filozofa Étienne’a Balibara w tej sytuacji pacyfizm nie jest żadną opcją. Helplessness as Acquiescence to Evil The aggression of Putin’s Russia towards Ukraine has posed a dramatic challenge to the noble doctrine of non-violence. In line with an argument made in the 1980s by anti-Soviet Russian dissident Vladimir Bukovsky, war is not the opposite of peace; instead, violence is. Armed resistance, or warfare, is sometimes necessary to stop violence. According to Clausewitz, military aggression is insufficient to evoke a state of war; in its place, it is necessary to oppose aggression, i.e., actively mount a defense by the attacked party, thereby avoiding war requires not resisting the aggressor. However, the aggression against Ukraine broke two tenets of warfare: ius ad bellum and ius in bello. According to Michael Walzer’s typology, it is an unjust war waged by unjust methods, so resisting it, including militarily, amounts to waging a just war. According to Slavoj Žižek’s analysis, this establishes an ethically clear situation: evil is easily identifiable, and opposing it is an ethical duty. According to the philosopher Étienne Balibar, pacifism is not an option in such a situation. (shrink)

The objective of the presented research was to test whether working memory, measured using the Spin the Pots task, is an important factor in passive vocabulary development in 2- and 3-year-old children. Two longitudinal studies were conducted. In the first, 135 children participated in the first study. At 18 months their responding to joint attention was measured, and then at 24 months their working memory and passive vocabulary was tested. It was demonstrated that responding to joint attention predicts the level (...) of development of working memory, which in turn influences the extent of the passive vocabulary. In the second study, 113 children participated - at 30 months their working memory was measured, and at 24 months and then 36 months their passive vocabulary was tested. It was observed that at the age of 3 working memory is still a significant predictor of passive vocabulary. The usefulness of the Spin the Pots task for measuring the working memory of young children was shown and discussed in conclusions. (shrink)

Belief merging aims at combining several pieces of information coming from different sources. In this paper we review the works on belief merging of propositional bases. We discuss the relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory. Finally we mention the main generalizations of these works in other logical frameworks.

This article attempts to answer the question: what has the current migration crisis revealed in relations between Christianity and Islam, two religions with common Abrahamic roots? What conclusions can be drawn about the state of these relations, particularly with regard to ordinary members of the two religions? How should we assess the reaction of Christians in Europe to the inflow of refugees from Muslim countries in the light of the Gospel, the Second Vatican Council and the teaching of Pope Francis?The (...) article consists of four parts. Part I briefly presents Christian-Muslim relationships over the centuries. Part II focuses on the sense of danger occurring in European societies in connection with the influx of Muslims during the migration crisis. Part III presents the teachings of the Second Vatican Council about Islam and Part IV describes Pope Francis’s attitude towards refugees from Muslim countries. (shrink)

This volume explores the range of Alfred North Whitehead's philosophy and his relevance to contemporary philosophical traditions.

ABSTRACT We consider in this work the problem of iterated belief revision. We propose a family of belief revision operators called revision with memory operators and we give a logical (both syntactical and semantical) characterization of these operators. They obey what we call the principle of strong primacy of update: when one revises his beliefs by a new evidence, then all possible worlds that satisfy this new evidence become more reliable than those that do not. We show that those operators (...) have a satisfying behaviour concerning the iteration of the revision process. Then we provide four particular operators of this family. (shrink)

Understanding the relationship between experts and laypeople is crucial for understanding today’s world of post-truth and the contemporary crisis of liberal democracy. The emergence of post-truth has been linked to various phenomena such as a flawed social and mass media ecosystem, poor citizen education, and the manipulation tactics of powerful interest groups. The paper argues that the problem is, however, more profound. The underlying issue is laypeople’s inevitable epistemic dependence on experts. The latter is part and parcel of the “risk (...) society” in which people question the scientific consensus and thus are able to manipulate the facts. It is a powerful weapon in the hands of illiberal democrats, though liberal democrats can make no use of it. The latter downplay the problem of citizens’ epistemic deficits and of the epistemic asymmetries between them. The third and fourth generations of deliberative democrats are a perfect example. The paper argues that the concepts of interactional expertise and epistemic dependence explain why understanding between experts and laypeople is impossible. The said phenomena undermine liberalism’s unrealistic assumptions concerning citizens’ decision-making competence. (shrink)

The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logic SCI and many others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of (...) all simple C-matrices for any equivalential logic C. In corollaries we give necessary and sufficient conditions for the class of all simple models for a given equivalential logic to be closed under free products. (shrink)

Once regarded as cellular ‘debris’ extracellular vesicles (EVs) emerge as one of the most intriguing entities in cancer pathogenesis. Intercellular trafficking of EVs challenges the notion of cancer cell autonomy, and highlights the multicellular nature of such fundamental processes as stem cell niche formation, tumour stroma generation, angiogenesis, inflammation or immunity. Recent studies reveal that intercellular exchange mediated by EVs runs deeper than expected, and includes molecules causative for cancer progression, such as oncogenes (epidermal growth factor receptor, Ras), and tumour (...) suppressors (PTEN). The uptake of oncogenic EVs (oncosomes) by various cells may profoundly change their biology, signalling patterns and gene expression, and in some cases cause their overt tumorigenic conversion. Moreover, EVs circulating in blood and present in body fluids provide an unprecedented access to the molecular circuitry driving cancer cells, and new technologies are being developed to exploit this property as a source of unique cancer biomarkers. (shrink)

We propose in this paper a new family of belief merging operators, that is based on a game between sources : until a coherent set of sources is reached, at each round a contest is organized to find out the weakest sources, then those sources has to concede. This idea leads to numerous new interesting operators and opens new perspectives for belief merging. Some existing operators are also recovered as particular cases. Those operators can be seen as a special case (...) of Booth's Belief Negotiation Models [BOO 02], but the achieved restriction forms a consistent family of merging operators that worths to be studied on its own. (shrink)

We are facing a crisis of trust in expertise today. Fewer and fewer people trust experts, and more and more politicians openly ignore expert consensus. 'Democracy in the Post-Truth Era' asks what might happen to democracy if we reject the fundamental liberal assumption that people are capable of making informed choices. The book explores the potential impact on society if people, including politicians, never appreciate the relevance of expert opinions. What if people cannot choose between supporters and opponents of key (...) issues such as the causes of climate change, effectiveness of vaccines and ways of combating economic and social crises? Applying social epistemology to these questions, the book considers whether democracy can be defended in the post-truth era. (shrink)

This book is both suitable for logically and algebraically minded graduate and advanced graduate students of mathematics, computer science and philosophy, and ...

There exist different kinds of averaging of the differences of the energy–momentum and angular momentum in normal coordinates NC(P) which give tensorial quantities. The obtained averaged quantities are equivalent mathematically because they differ only by constant scalar dimensional factors. One of these averaging was used in our papers [J. Garecki, Rep. Math. Phys. 33, 57 (1993); Int. J. Theor. Phys. 35, 2195 (1996); Rep. Math. Phys. 40, 485 (1997); J. Math. Phys. 40, 4035 (1999); Rep. Math. Phys. 43, 397 (1999); (...) Rep. Math. Phys. 44, 95 (1999); Ann. Phys. (Leipzig) 11, 441 (2002); M.P. Dabrowski and J. Garecki, Class. Quantum. Grar. 19, 1 (2002)] giving the canonical superenergy and angular supermomentum tensors. In this paper we present another averaging of the differences of the energy–momentum and angular momentum which gives tensorial quantities with proper dimensions of the energy–momentum and angular momentum densities. We have called these tensorial quantities “the averaged relative energy–momentum and angular momentum tensors”. These tensors are very closely related to the canonical superenergy and angular supermomentum tensors and they depend on some fundamental length L > 0. The averaged relative energy–momentum and angular momentum tensors of the gravitational field obtained in the paper can be applied, like the canonical superenergy and angular supermomentum tensors, to coordinate independent analysis (local and in special cases also global) of this field. Up to now we have applied the averaged relative energy–momentum tensors to analyze vacuum gravitational energy and momentum and to analyze energy and momentum of the Friedman (and also more general, only homogeneous) universes. The obtained results are interesting, e.g., the averaged relative energy density is positive definite for the all Friedman and other universes which have been considered in this paper. (shrink)

The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued ukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).

In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

This study investigates performance of portfolios composed of British socially responsible investments (SRI) stocks. Using the ‘Global-100 Most Sustainable Corporations in the World’ list (known also as ‘Global-100’) to select the SRI companies, we found that, in the period 2000–2010, the returns of the SRI portfolios were on average higher compared with the corresponding returns of the market indexes. The annual average difference in returns of the SRI portfolios (with dividends) was 5.26 % and 5.69 % relative to the FTSE100 (...) and FTSE4GOOD indexes (the total return versions), respectively, but the differences in returns in the whole period, in individual years and in other sub-periods were in most cases not statistically significant. Positive performance of SRI stocks in the whole sample is, however, evidenced by risk-adjusted measures such as the modified Sharpe ratio (MSR) and certainty equivalent (CEQ) returns, as well as by incorporating various levels of transaction costs. Furthermore, a simple trading strategy relying on selection of SRI stocks from the Global-100 list would beat the market indexes in the whole period 2000–2010, even after inclusion of various levels of transaction costs. We also estimated the Fama–French and Carhart multi-factor models and found that the returns of the SRI portfolios cannot be consistently explained by conventional factors other than the market factor. (shrink)

The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of logics and their associated classes of matrices.

In this work, we question the ability of existing ranking-based semantics to capture persuasion settings, emphasising in particular the phenomena of procatalepsis and of fading. Some widely accepted principles of ranking-based semantics are incompatible with a faithful treatment of these phenomena, which means that no existing ranking-based semantics can capture these two principles together. This motivates us to introduce a new parametrized ranking-based semantics based on the notion of propagation which extends the existing propagation semantics 139–150) by adding an additional (...) parameter allowing us to gradually decrease the impact of arguments when the length of the path between two arguments increases. We show that this parameter gives the possibility of choosing if one wants to satisfy the property Void Precedence or not and to control the scope of the impact of the arguments. We also propose an experiment to show that the new semantics remains stable when this parameter varies and an axiomatic evaluation to compare it with existing ranking-based semantics in the literature. (shrink)

The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logicSCI and many Others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices (models) are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of (...) all simpleC-matrices for any equivalential logicC (Theorem I.14). In corollaries we give necessary and sufficient conditions for the class of all simple models for a given equivalential logic to be closed under free products (Theorem I.18). (shrink)

The paper is conceived as a first study on the Suszko operator. The purpose of this paper is to indicate the existence of close relations holding between the properties of the Suszko operator and the structural properties of the model class for various sentential logics. The emphasis is put on generality both of the results and methods of tackling the problems that arise in the theory of this operator. The attempt is made here to develop the theory for non-protoalgebraic logics.

The paper is conceived as a first study on the Suszko operator. The purpose of this paper is to indicate the existence of close relations holding between the properties of the Suszko operator and the structural properties of the model class for various sentential logics. The emphasis is put on generality both of the results and methods of tackling the problems that arise in the theory of this operator. The attempt is made here to develop the theory for non-protoalgebraic logics.

The first known statements of the deduction theorems for the first-order predicate calculus and the classical sentential logic are due to Herbrand [8] and Tarski [14], respectively. The present paper contains an analysis of closure spaces associated with those sentential logics which admit various deduction theorems. For purely algebraic reasons it is convenient to view deduction theorems in a more general form: given a sentential logic C (identified with a structural consequence operation) in a sentential language I, a quite arbitrary (...) set P of formulas of I built up with at most two distinct sentential variables p and q is called a uniform deduction theorem scheme for C if it satisfies the following condition: for every set X of formulas of I and for any formulas and , C(X{{a}}) iff P(, ) AC(X). [P(, ) denotes the set of formulas which result by the simultaneous substitution of for p and for q in all formulas in P]. The above definition encompasses many particular formulations of theorems considered in the literature to be deduction theorems. Theorem 1.3 gives necessary and sufficient conditions for a logic to have a uniform deduction theorem scheme. Then, given a sentential logic C with a uniform deduction theorem scheme, the lattices of deductive filters on the algebras A similar to the language of C are investigated. It is shown that the join-semilattice of finitely generated (= compact) deductive filters on each algebra A is dually Brouwerian. (shrink)

In the first section logics with an algebraic semantics are investigated. Section 2 is devoted to subdirect products of matrices. There, among others we give the matrix counterpart of a theorem of Jónsson from universal algebra. Some positive results concerning logics with, finite degrees of maximality are presented in Section 3.

The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class (...) of matrices containing K and closed under m-reduced products, submatrices, matrix homomorphisms, and matrix homomorphic counter-images. (shrink)

We examine the notion of primitive satisfaction in logical matrices. Theorem II. 1, being the matrix counterpart of Baker's well-known result for congruently distributive varieties of algebras (cf [1], Thm. 1.5), links the notions of primitive and standard satisfaction. As a corollary we give the matrix version of Jónsson's Lemma, proved earlier in [4]. Then we investigate propositional logics with disjunction. The main result, Theorem III. 2, states a necessary and sufficient condition for such logics to be finitely based.

In 1948, Stanis aw Ja kowski defined a logical system D2 of a discursive 1 sentential calculus. The aim of this paper is to introduce the reader to the basic ideas of the discursive logic and to show, in a historical perspective, its development originating from the two germ papers [19] and [20]. We intend to present some problems connected with it and outline the solutions they have received up to the present day.

This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of (...) a logical system. This system is semantically defined by providing its intended models in which the role of actions of various types is accentuated. Since the consequence relation is not finitary, other semantically defined variants of are defined. The focus is on the finitary system in which only finite compound actions are admissible. An adequate axiom system for it is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is emphasized. (shrink)