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.

Peter Millican and Branden Thornhill-Miller have recently argued that contradictions between different religious belief systems, in conjunction with the host of defeaters based on empirical research concerning alleged sources of evidence for ‘perceived supernatural agency’, render all ‘first-order’, that is actual, religious traditions positively irrational, and a source of discord on a global scale. However, since the authors recognise that the ‘secularisation thesis’ appears to be incorrect, and that empirical research provides evidence that religious belief also has beneficial individual and (...) social effects, they put forward a hypothesis of a ‘second-order religious belief ’, with Universalist overtones and thus free of intergroup conflict, and free of irrationality, since supported (solely) by the Fine-Tuning Argument. While granting most of their arguments based on empirical research and embracing the new paradigm of the atheism/religion debate implicit in their paper, I contend that Millican’s and Thornhill-Miller’s proposal is unlikely to appeal to religious believers, because it misconstrues the nature and grounds of religious belief. I suggest that their hypothesis may be refined by taking into account a view of axiologically grounded religious belief that I refer to as ‘agatheism’, since it identifies God or the Ultimate Reality with the ultimate good (to agathon). (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)

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 paper I argue that from the point of view of a theist, inclusivism with respect to the issue whether adherents of different religious traditions can have veridical experience of God (or Ultimate Reality) now, is more plausible than the Alstonian exclusivism. I suggest that mystical inclusivism of the kind I imply in this paper may contribute to the development of cross-cultural philosophy of religion, as well as to the theoretical framework for inter-religious dialogue, because (1) it allows for (...) the possibility of veridical experience of God in a variety of religious traditions, but (2) it avoids the radical revisionist postulates of Hickian pluralism and (3) it leaves open the question whether the creed of any specific tradition is a better approximation to the truth about God than the creeds of other traditions. (edited). (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)

Psychological research is based on philosophical assumptions which are not always explicitly formulated. On the other hand, the results of these investigations affect philosophical thinking and the conception of human nature. For a long time it was a ruling conception in psychology that the essence of human nature consists in the existence of driving mechanisms with homeostatic properties drives or needs – which, principally, are inborn mechanisms modified by learning. The analysis of driving mechanisms founded on psychological and neuro-physiological data, (...) brought about a modification of this traditional view. Starting from the concept of need as an objective phenomenon it can be stated that the higher organisms have a special mechanisms securing the satisfaction of needs. They are drives. These mechanisms do not exist in a ready form in man but only potentially, as an ability to organize a functional unit in result of certain experience. The formation of drives includes: making connections between certain internal stimuli and some forms of activity reducing these stimuli; learning how to find things which are necessary to reduce them; and, finally, the acquisition of the ability to give verbal labels to the occurring processes. In consequence, the final form of a drive is determined by biological and social factors as well as by individual experiences. (shrink)

Although it became customary to warn against confusing postmodernism with deconstructionism, it seems plausible to suggest that their central agendas are not dissimilar. Moreover, from the philosophical point of view, it is the idea of the 'deconstruction of meaning' that can be said to constitute the foundation of postmodernism understood here as an intellectual movement. It is true that grounded in the poststructuralist language analysis, deconstructionism seeks primarily to challenge the attempts inherent in the Western philosophical tradition to establish ultimate (...) meaning in a text. However, as one might have anticipated, the deconstruction of meaning of texts provided a basis for a large scale project leading to deconstruction of all 'truths', as conceived in the mainstream philosophical tradition. And it did it by questioning the coherence of the very concept of 'truth'. Eclectic as postmodernism is, it can be recognized by the fundamental assumption that there is no common denominator that guarantees the one-ness of the world, or the possibility of objective or neutral thought. This assumption would suffice to make one expect that postmodernism will challenge the very foundations of any metaphysical or religious system of beliefs. And so it does. In this paper I would like to ellucidate just one way this challange may be construed, poiting to the example of Don Cupitt, the leading exponent of the 'antirealist' critique of the discourse of theism. (shrink)

Although it became customary to warn against confusing postmodernism with deconstructionism, it seems plausible to suggest that their central agendas are not dissimilar. Moreover, from the philosophical point of view, it is the idea of the 'deconstruction of meaning' that can be said to constitute the foundation of postmodernism understood here as an intellectual movement. It is true that grounded in the poststructuralist language analysis, deconstructionism seeks primarily to challenge the attempts inherent in the Western philosophical tradition to establish ultimate (...) meaning in a text. However, as one might have anticipated, the deconstruction of meaning of texts provided a basis for a large scale project leading to deconstruction of all 'truths', as conceived in the mainstream philosophical tradition. And it did it by questioning the coherence of the very concept of 'truth'. Eclectic as postmodernism is, it can be recognized by the fundamental assumption that there is no common denominator that guarantees the one-ness of the world, or the possibility of objective or neutral thought. This assumption would suffice to make one expect that postmodernism will challenge the very foundations of any metaphysical or religious system of beliefs. And so it does. In this paper I would like to ellucidate just one way this challange may be construed, poiting to the example of Don Cupitt, the leading exponent of the 'antirealist' critique of the discourse of theism. (shrink)

The article discusses the philosophical problems associated with the dualistic conception of the person dominant in traditions influenced by Platonism. The key suggestion made in the article is that opting for an embodied rather than a disembodied posthumous existence for the human person will in no way hinder the theistic philosopher when it comes to arguing that God exists in a disembodied form.