Local deductions theorems

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).The content of this paper was presented in a talk at the Bulgarian-Polish Conference of Logic held at Sofia, Bulgaria, in September 1985 and in a talk given at the XXXI Conference of the History of Logic, Cracow, October 1985.     

Spiritual and Religious Attitudes in Dealing with Illness in Polish Patients with Chronic Diseases: Validation of the Polish Version of the SpREUK Questionnaire

Although providing religious/spiritual (SpR) support to sick has received in Poland growing attention in the scientific literature, little has been written about how to measure whether patients are in search for SpR or may already have trust in such a resource helpful to cope with disease. The Polish version of the SpREUK questionnaire was validated in a sample of 275 patients with chronic diseases. Both explorative and confirmatory factor analysis confirmed the already established three subscales, i.e., Search, Trust, and Reflection, with good internal consistency coefficients (Cronbach’s α between .74 and .91). The instrument appears to be a good choice to be used in both secular and religious societies.     

Sentential logics and Maehara Interpolation Property

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 Wroński'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).     

General Theory of the Commutator for Deductive Systems. Part I. Basic Facts

The purpose of this paper is to present in a uniform way the commutator theory for k-deductive system of arbitrary positive dimension k. We are interested in the logical perspective of the research — an emphasis is put on an analysis of the interconnections holding between the commutator and logic. This research thus qualifies as belonging to abstract algebraic logic, an area of universal algebra that explores to a large extent the methods provided by the general theory of deductive systems. In the paper the new term ‘commutator formula’ is introduced. The paper is concerned with the meanings of the above term in the models provided by the commutator theory and clarifies contexts in which these meanings occur. The work is presented in an abstracted form: main ideas are outlined but proofs are deferred to the second part of the paper. Dedicated to the memory of Willem Johannes Blok     

The Rites of Passage Framework as a Matrix of Transgression Processes in the Life Course

This work shows the contribution of concept of rites of passage and theory of liminality to the understanding of transformations in the course of a person’s life. The structural–functional analysis of empirical studies of physical changes, changing roles in society, and key changes in the area of mental and physical health conducted from the perspective of these theories has allowed to identify the three fundamental processes that govern the attainment of transformation and transgression into a new phase of life. The aim of this paper is to set out the processes identified in the course of functional–structural analysis of chosen studies and they comprise: (1) preservation of the sequence of the life course; (2) liminality: deconstruction, integration, and transformation; and (3) performativity. These processes provide a structural framework for understanding life crises, thus facilitating their study as phases of dynamic transformations connected with the successive roles and tasks over the life course.