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.     

The influence of high and low cue–action association on prospective memory performance

Recent discoveries in the field of prospective memory (PM) show higher accuracy for remembering intentions in which prospective cue and action are strongly associated. In two experiments presented in this paper, participants encoded both high and low association cue–action pairs and were later tested on both prospective and retrospective PM components. Results of both studies show higher PM accuracy for the low association pairs, compared to high association ones, but only for the prospective component (across both Experiments) and only when a high association cue was presented first (Experiment 2). This finding was accompanied by longer study times for the low association pairs and study times were functionally related to later performance (across both Experiments). In the retrospective component, higher accuracy was observed for pairs with high level of association (but only in the first Experiment). Data are discussed in the context of metacognitive processes possibly related to the encoding of an intention as well as cue monitoring in case of PM tasks with high memory load and varying task difficulty.     

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.