Contents: INTRODUCTION. Kazimierz TWARDOWSKI: The Majesty of the University. I. Zygmunt ZIEMBI??N??SKI: What Can Be Saved of the Idea of the University? Leszek KO??l??AKOWSKI: What Are Universities for? Leon GUMA??N??SKI: The Ideal University and Reality. Zygmunt BAUMAN: The Present Crisis of the Universities. II. Kazimierz AJDUKIEWICZ: On Freedom of Science. Henryk SAMSONOWICZ: Universities and Democracy. Jerzy TOPOLSKI: The Commonwealth of Scholars and New Conceptions of Truth. Klemens SZANIAWSKI: Plus ratio quam vis. III. Leon KOJ: Science, Teaching and Values. Klemens SZANIAWSKI: (...) The Ethics of Scientific Criticism. Jerzy BRZEZI??N??SKI: Ethical Problems of Research Work of Psychologists. IV. Janusz GO??L??KOWSKI: Tradition in Science. Jerzy KMITA: Is a "Creative Man of Knowledge" Needed in University Teaching? Leszek NOWAK: The Personality of Researchers and the Necessity of Schools in Science. RECAPITULATION. Jerzy BRZEZI??N??SKI: Reflections on the University. (shrink)

The paper offers a theoretical investigation into the sources of normativity in practical argumentation. The chief question is: Do we need objectively-minded, unbiased arguers or can we count on “good” argumentative processes in which individual biases cancel each other out? I address this question by analysing a detailed structure of practical argument and its varieties, and by discussing the tenets of a comparative approach to practical reason. I argue that given the comparative structure proposed, reasoned advocacy in argumentative activity upholds (...) reasonableness whenever that activity is adequately designed. I propose some basic rules for such a design of practical argumentation. (shrink)

This book makes a significant contribution to the standard decision theory, that is, the theory of choice built around the principle of maximizing expected utility, both to its causal version and to the more traditional noncausal approach. The author’s success in clarifying the foundations of the standard decision theory in general, and causal decision theory in particular, also makes the book uniquely suitable for a person whose research in philosophy has led her to want to learn about contemporary decision theory. (...) The book presupposes some mathematical sophistication, and it contains more philosophical and mathematical argumentation per page than may be suitable for an undergraduate level course; but it stands out as an ideal textbook for a graduate-level course focused on the foundations of the standard decision theory. (shrink)

This article addresses the question whether skiing as a nature sport enables practitioners to develop a rapport with nature, or rather estranges and insulates them from their mountainous ambiance. To address this question, I analyse a recent skiing movie from a psychoanalytical perspective and from a neuro-scientific perspective. I conclude that Jean-Paul Sartre’s classical but egocentric account of his skiing experiences disavows the technicity involved in contemporary skiing as a sportive practice for the affluent masses, which actually represents an urbanisation (...) of the sublime, symptomatic for the current era. (shrink)

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

The philosophical argument between Jean-Paul Sartre and Albert Camus can be summarised in their conflicting accounts of skiing and swimming. For Sartre skiing exemplifies the struggle of existence and the angst of the alienated ego. For Camus, swimming represents some glimmering of collective harmony, the possibility of transcendence. Sartre's thinking is inflected by quantum theory and the 'steady state', whereas Camus is more of a wave theorist, with a lingering nostalgia for the 'primeval atom' and a fondness for peak experiences. (...) Put together their separate ways of analysing consciousness suggest a two-phase account of cognition. (shrink)

We prove that if f is a partial Borel function from one Polish space to another, then either f can be decomposed into countably many partial continuous functions, or else f contains the countable infinite power of a bijection that maps a convergent sequence together with its limit onto a discrete space. This is a generalization of a dichotomy discovered by Solecki for Baire class 1 functions. As an application, we provide a characterization of functions which are countable unions of (...) continuous functions with domains of type Πn0, for a fixed n<ω. For Baire class 1 functions, this generalizes analogous characterizations proved by Jayne and Rogers for n=1 and Semmes for n=2. (shrink)

ABSTRACTAlthough the British Idealists did not provide a systematic account of language as a distinct philosophical phenomenon, language is nonetheless a fundamental element of Idealist social and political philosophy. This is seen mostly in the Idealist treatment of the concept of general will, which resulted in a Hegelian theory of community, constituted by shared understandings and a shared account of the common good and common interest. This article contains analysis of the relations between language and socio-political institutions in British Idealist (...) writings. The narrative focuses on Thomas Hill Green and Bernard Bosanquet – two major political thinkers representing the said philosophical tradition. The argument proceeds as follows: firstly, possible linguistic interpretations of the Idealist philosophical tradition are introduced. Then the author turns to Green’s conception of general will as the foundation of socio-political order and political sovereignty. In the third section, he... (shrink)

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

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.

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)

An explanation is given of why, after adding to a model M of ZFC first a Solovay real r and next a Cohen real c, in M[ r][ c] a Cohen real over M[ c] is produced. It is also shown that a Solovay algebra iterated with a Cohen algebra can be embedded into a Cohen algebra iterated with a Solovay algebra.

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

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

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)

We investigate some topological properties of the spaces of classes of bounded type-definable equivalence relations.

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.

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

We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) L and p, A(p, q) s q.

The Absolute is a basic and fundamental issue for philosophy as such. I present different concepts of the Absolute (substantialism, energetism, escapism, methodologism). We can say that contemporary European philosophy “orphaned” the neo-Platonic tradition. Thereafter Russian philosophy developed in an intensive and turbulent as well as relatively uniform fashion, in view of the well-established Neo-Platonist context. This makes Russian philosophy not only part of a lasting universally acknowledged tradition; not only has Russian philosophy continued to develop currents of thought abandoned (...) by modern European philosophiers, but it is also heir to a philosophical tradition of particular quality and value in the universal history of thought. (shrink)

Attentional bias and emotion in older adults: Age-related differences in responses to an emotional Stroop task The purpose of the study was to examine whether older adults show an emotional interference effect in a Stroop task, and whether their RTs differ with regard to age, gender and tendencies of mood regulation. The sample consisted of 60 participants at the age from 65 to 85. Emotional version of Stroop task and the Mood Regulation Scales were used. The results showed no significant (...) differences in RTs to emotional and neutral words. Unexpectedly, a speeding effect was observed with the age of women. It appeared also that the effect of mood regulation tendencies was not significant for RTs. The last two effects are not consistent with the literature on cognitive and emotional aging. (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.

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 present paper is thought as a formal study of distributive closure systems which arise in the domain of sentential logics. Special stress is laid on the notion of a C-filter, playing the role analogous to that of a congruence in universal algebra. A sentential logic C is called filter distributive if the lattice of C-filters in every algebra similar to the language of C is distributive. Theorem IV.2 in Section IV gives a method of axiomatization of those filter distributive (...) logics for which the class Matr (C) prime of C-prime matrices (models) is axiomatizable. In Section V, the attention is focused on axiomatic strengthenings of filter distributive logics. The theorems placed there may be regarded, to some extent, as the matrix counterparts of Baker's well-known theorem from universal algebra [9, § 62, Theorem 2]. (shrink)

With each sentential logic C, identified with a structural consequence operation in a sentential language, the class Matr * (C) of factorial matrices which validate C is associated. The paper, which is a continuation of [2], concerns the connection between the purely syntactic property imposed on C, referred to as Maehara Interpolation Property (MIP), and three diagrammatic properties of the class Matr* (C): the Amalgamation Property (AP), the (deductive) Filter Extension Property (FEP) and Injections Transferable (IT). The main theorem of (...) the paper (Theorem 2.2) is analogous to the Wroski's result for equational classes of algebras [13]. It reads that for a large class of logics the conjunction of (AP) and (FEP) is equivalent to (IT) and that the latter property is equivalent to (MIP). (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.

Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...) action system is introduced and its theory is expounded. Numerous examples illustrate the reach of the theory. (shrink)

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

In the late forties, Stanisław Jaśkowski published two papers onthe discursive sentential calculus, D2. He provided a definition of it by an interpretation in the language of S5 of Lewis. The knownaxiomatization of D2 with discursive connectives as primitives was introduced by da Costa, Dubikajtis and Kotas in 1977. It turns out, however,that one of the axioms they used is not a thesis of the real Jaśkowski’s calculus. In fact, they built a new system, D∗2 for short, that differs from (...) D2 inmany respects. The aim of this paper is to introduce a direct Kripke-type semantics for the system, axiomatize it in a new way and prove soundness andcompleteness theorems. Additionally, we present labelled tableaux for D∗2.1. (shrink)