Models for stronger normal intuitionistic modal logics

This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated.This paper presents results of an investigation of intuitionistic modal logic conducted in collaboration with Dr Milan Boi.     

Investigation into Complementary and Integrative Health Approaches for Turkish Patients with Gastrointestinal Cancer

Journal of Religion and Health - The study was conducted to determine the levels of usage of complementary and integrative health (CIH) approaches and the symptoms experienced by Turkish patients...     

Gödel’s Natural Deduction

This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Ja?kowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 at the University of Notre Dame. Here one finds a presentation of this system of Gödel accompanied by a brief reexamination in the light of the notes of some points concerning his interest in sequents made in the preceding paper. This is preceded by a brief summary of Gödel’s Notre Dame course, and is followed by comments concerning Gödel’s natural deduction system.     

Introduction

The papers in this special issue make important contributions to a longstanding debate about how we should conceive of and explain mental phenomena. In other words, they make a case about the best philosophical paradigm for cognitive science. The two main competing approaches, hotly debated for several decades, are representationalism and enactivism. However, recent developments in disciplines such as machine learning and computational neuroscience have fostered a proliferation of intermediate approaches, leading to the emergence of completely new positions, in particular the Predictive Processing approach. Here, we will consider the different approaches discussed in this volume.     

Domain-specific conflict adaptation without feature repetitions

An influential account of how cognitive control deals with conflicting sources of information holds that conflict is monitored by a module that automatically recruits attention to resolve the conflict. This leads to reduced effects of conflict on the subsequent trial, a phenomenon termed conflict adaptation. A prominent question is whether control processes are domain specific—that is, recruited only by the particular type of conflict they resolve. Previous studies that have examined this question used two-choice tasks in which feature repetition effects could be responsible for domain-specific adaptation effects. We report two experiments using four-choice (Experiment 1) and five-choice (Experiment 2) tasks that contain two types of irrelevant sources of potentially conflicting information: stimulus location (Simon conflict) and distractors (flanker conflict). In both experiments, we found within-type conflict adaptation for both types of conflict after eliminating trials on which stimulus features were repeated from one trial to the next. Across-type conflict adaptation, however, was not significant. Thus, conflict adaptation was due to domain-specific recruitment of cognitive control. Our results add converging evidence to the idea that multiple independent control processes are involved in reactive cognitive control, although whether control is always local remains to be determined.     

Improvement strategies in free-throw shooting and grip-strength tasks

Participants performed a free-throw shooting task and a grip-strength task before and after imagery, nonspecific arousal, or no instructions. Imagery improved performance in the free-throw shooting task, which is assumed to have more cognitive components than the grip-strength task. Imagery did not improve performance in the grip-strength task, which is assumed to have fewer cognitive components than the free-throw task. Nonspecific arousal, on the other hand, improved performance in the grip-strength task but not in the free-throw shooting task. Athletic experience, confidence levels, and gender were correlated with actual performance levels in both tasks, but not with improvement. Results are discussed within the transfer-appropriate processing framework.     

Midwives’ Approach to Genetic Diseases and Genetic Counseling in Denizli, Turkey

The purpose of this study was to evaluate Denizli midwives’ self-reported knowledge of genetic diseases and genetic counseling. Data was collected on forms that obtained information about midwives approaches to basic genetics, genetic disorders, and genetic counseling (response rate = 70.1%). The highest response rate of midwives describing themselves as “knowledgeable” about basic genetic information was for mitosis and meiosis with 4.8%, about genetic disorders was for phenylketonuria with 61.1%, and about genetic counseling was for recommending ultrasonography during pregnancy with 98.1%. The source for basic genetics information for 56.4% of participants was in their school level classes. None of the midwives felt that they had sufficient knowledge about genetic counseling or screening and 76.4% would like to attend an educational course. Even though the midwives have recognized their knowledge deficit they occasionally give genetic counseling. As a result of this study a genetics course is planned for midwives so they can actively participate in the prevention and early diagnosis of genetic diseases.     

Memory and metamemory in obsessive-compulsive disorder

Studies on the link between checking and memory problems have produced equivocal results regarding a general memory deficit in patients with obsessive-compulsive disorder and subclinical checkers. However, there is clear and consistent evidence that patients with obsessive-compulsive disorder (OCD) show lack of confidence in their memory performance. The purpose of the present study was to investigate memory and metamemory performance (feeling-of-knowing judgments) for neutral and threat-related material in three groups: OCD patients (OCs), subclinical checkers (SCs), and normal controls (NCs). Participants studied a list of neutral and threat word pairs. After an initial cued-recall test, they provided feeling-of-knowing (FOK) judgments for unrecalled word pairs, followed by a recognition test. The results showed that OCs but not SCs were impaired in both recall and recognition compared to NCs. OCs were also less confident about their future memory performance than the other two groups, as reflected in their lower FOK ratings. Moreover, FOK judgments of the OCs were not reliable predictors of their recognition performance. Finally, neither OCs nor SCs showed any evidence of memory bias for threat-relevant information. The results support the idea of a general memory and a metamemory deficit in OCs.     

Fiber tracking using magnetic resonance diffusion tensor imaging and its applications to human brain development

Diffusion tensor imaging is unique in its ability to noninvasively visualize white matter fiber tracts in the human brain in vivo. Diffusion is the incoherent motion of water molecules on a microscopic scale. This motion is itself dependent on the micro-structural environment that restricts the movement of the water molecules. In white matter fibers there is a pronounced directional dependence on diffusion. With white matter fiber tracking or tractography, projections among brain regions can be detected in the three-dimensional diffusion tensor dataset according to the directionality of the fibers. Examples of developmental changes in diffusion, tracking of major fiber tracts, and examples of how diffusion tensor tractography and functional magnetic resonance imaging can be combined are provided. These techniques are complimentary and allow both the identification of the eloquent areas of the brain involved in specific functional tasks, and the connections between them. The noninvasive nature of magnetic resonance imaging will allow these techniques to be used in both longitudinal developmental and diagnostic studies. An overview of the technique and preliminary applications are presented, along with its current limitations.