Logic as the Universal Science : Bertrand Russell's Early Conception of Logic and Its Philosophical Context

Bertrand Russell (1872 1970) introduced the English-speaking philosophical world to modern, mathematical logic and foundational study of mathematics. The present study concerns the conception of logic that underlies his early logicist philosophy of mathematics, formulated in The Principles of Mathematics (1903). In 1967, Jean van Heijenoort published a paper, Logic as Language and Logic as Calculus, in which he argued that the early development of modern logic (roughly the period 1879 1930) can be understood, when considered in the light of a distinction between two essentially different perspectives on logic. According to the view of logic as language, logic constitutes the general framework for all rational discourse, or meaningful use of language, whereas the conception of logic as calculus regards logic more as a symbolism which is subject to reinterpretation. The calculus-view paves the way for systematic metatheory, where logic itself becomes a subject of mathematical study (model-theory). Several scholars have interpreted Russell s views on logic with the help of the interpretative tool introduced by van Heijenoort,. They have commonly argued that Russell s is a clear-cut case of the view of logic as language. In the present study a detailed reconstruction of the view and its implications is provided, and it is argued that the interpretation is seriously misleading as to what he really thought about logic. I argue that Russell s conception is best understood by setting it in its proper philosophical context. This is constituted by Immanuel Kant s theory of mathematics. Kant had argued that purely conceptual thought basically, the logical forms recognised in Aristotelian logic cannot capture the content of mathematical judgments and reasonings. Mathematical cognition is not grounded in logic but in space and time as the pure forms of intuition. As against this view, Russell argued that once logic is developed into a proper tool which can be applied to mathematical theories, Kant s views turn out to be completely wrong. In the present work the view is defended that Russell s logicist philosophy of mathematics, or the view that mathematics is really only logic, is based on what I term the Bolzanian account of logic . According to this conception, (i) the distinction between form and content is not explanatory in logic; (ii) the propositions of logic have genuine content; (iii) this content is conferred upon them by special entities, logical constants . The Bolzanian account, it is argued, is both historically important and throws genuine light on Russell s conception of logic.

Constructive Perspectives on Inductive Logic

Constructive (intuitionist, anti-realist) semantics has thus far been lacking an adequate concept of truth in infinity concerning factual (i.e., empirical, non-mathematical) sentences. One consequence of this problem is the difficulty of incorporating inductive reasoning in constructive semantics. It is not possible to formulate a notion for probable truth in infinity if there is no adequate notion of what truth in infinity is. One needs a notion of a constructive possible world based on sensory experience. Moreover, a constructive probability measure must be defined over these constructively possible empirical worlds. This study defines a particular kind of approach to the concept of truth in infinity for Rudolf Carnap's inductive logic. The new approach is based on truth in the consecutive finite domains of individuals. This concept will be given a constructive interpretation. What can be verifiably said about an empirical statement with respect to this concept of truth, will be explained, for which purpose a constructive notion of epistemic probability will be introduced. The aim of this study is also to improve Carnap's inductive logic. The study addresses the problem of justifying the use of an "inductivist" method in Carnap's lambda-continuum. A correction rule for adjusting the inductive method itself in the course of obtaining evidence will be introduced. Together with the constructive interpretation of probability, the correction rule yields positive prior probabilities for universal generalizations in infinite domains.

Cognitive deficits and the Paced Auditory Serial Addition Test performance among patients with multiple sclerosis

Multiple sclerosis (MS) is a chronic, inflammatory disease of the central nervous system, characterized especially by myelin and axon damage. Cognitive impairment in MS is common but difficult to detect without a neuropsychological examination. Valid and reliable methods are needed in clinical practice and research to detect deficits, follow their natural evolution, and verify treatment effects. The Paced Auditory Serial Addition Test (PASAT) is a measure of sustained and divided attention, working memory, and information processing speed, and it is widely used in MS patients neuropsychological evaluation. Additionally, the PASAT is the sole cognitive measure in an assessment tool primarly designed for MS clinical trials, the Multiple Sclerosis Functional Composite (MSFC). The aims of the present study were to determine a) the frequency, characteristics, and evolution of cognitive impairment among relapsing-remitting MS patients, and b) the validity and reliability of the PASAT in measuring cognitive performance in MS patients. The subjects were 45 relapsing-remitting MS patients from Seinäjoki Central Hospital, Department of Neurology and 48 healthy controls. Both groups underwent comprehensive neuropsychological assessments, including the PASAT, twice in a one-year follow-up, and additionally a sample of 10 patients and controls were evaluated with the PASAT in serial assessments five times in one month. The frequency of cognitive dysfunction among relapsing-remitting MS patients in the present study was 42%. Impairments were characterized especially by slowed information processing speed and memory deficits. During the one-year follow-up, the cognitive performance was relatively stable among MS patients on a group level. However, the practice effects in cognitive tests were less pronounced among MS patients than healthy controls. At an individual level the spectrum of MS patients cognitive deficits was wide in regards to their characteristics, severity, and evolution. The PASAT was moderately accurate in detecting MS-associated cognitive impairment, and 69% of patients were correctly classified as cognitively impaired or unimpaired when comprehensive neuropsychological assessment was used as a "gold standard". Self-reported nervousness and poor arithmetical skills seemed to explain misclassifications. MS-related fatigue was objectively demonstrated as fading performance towards the end of the test. Despite the observed practice effect, the reliability of the PASAT was excellent, and it was sensitive to the cognitive decline taking place during the follow-up in a subgroup of patients. The PASAT can be recommended for use in the neuropsychological assessment of MS patients. The test is fairly sensitive, but less specific; consequently, the reasons for low scores have to be carefully identified before interpreting them as clinically significant.

Boundaries in Action : An Activity-theoretical Study of Development, Learning, and Change in Health Care Organization for Patients with Multiple and Chronic Illnesses

This study examines boundaries in health care organizations. Boundaries are sometimes considered things to be avoided in everyday living. This study suggests that boundaries can be important temporally and spatially emerging locations of development, learning, and change in inter-organizational activity. Boundaries can act as mediators of cultural and social formations and practices. The data of the study was gathered in an intervention project during the years 2000-2002 in Helsinki in which the care of 26 patients with multiple and chronic illnesses was improved. The project used the Change Laboratory method that represents a research assisted method for developing work. The research questions of the study are: (1) What are the boundary dynamics of development, learning, and change in health care for patients with multiple and chronic illnesses? (2) How do individual patients experience boundaries in their health care? (3) How are the boundaries of health care constructed and reconstructed in social interaction? (4) What are the dynamics of boundary crossing in the experimentation with the new tools and new practice? The methodology of the study, the ethnography of the multi-organizational field of activity, draws on cultural-historical activity theory and anthropological methods. The ethnographic fieldwork involves multiple research techniques and a collaborative strategy for raising research data. The data of this study consists of observations, interviews, transcribed intervention sessions, and patients' health documents. According to the findings, the care of patients with multiple and chronic illnesses emerges as fragmented by divisions of a patient and professionals, specialties of medicine and levels of health care organization. These boundaries have a historical origin in the Finnish health care system. As an implication of these boundaries, patients frequently experience uncertainty and neglect in their care. However, the boundaries of a single patient were transformed in the Change Laboratory discussions among patients, professionals and researchers. In these discussions, the questioning of the prevailing boundaries was triggered by the observation of gaps in inter-organizational care. Transformation of the prevailing boundaries was achieved in implementation of the collaborative care agreement tool and the practice of negotiated care. However, the new tool and practice did not expand into general use during the project. The study identifies two complementary models for the development of health care organization in Finland. The 'care package model', which is based on productivity and process models adopted from engineering and the 'model of negotiated care', which is based on co-configuration and the public good.

Multiple socioeconomic circumstances and health : associations and explanations among Finnish and British public sector employees

Socioeconomic health inequalities have been widely documented, with a lower social position being associated with poorer physical and general health and higher mortality. For mental health the results have been more varied. However, the mechanisms by which the various dimensions of socioeconomic circumstances are associated with different domains of health are not yet fully understood. This is related to a lack of studies tackling the interrelations and pathways between multiple dimensions of socioeconomic circumstances and domains of health. In particular, evidence from comparative studies of populations from different national contexts that consider the complexity of the causes of socioeconomic health inequalities is needed. The aim of this study was to examine the associations of multiple socioeconomic circumstances with physical and mental health, more specifically physical functioning and common mental disorders. This was done in a comparative setting of two cohorts of white-collar public sector employees, one from Finland and one from Britain. The study also sought to find explanations for the observed associations between economic difficulties and health by analysing the contribution of health behaviours, living arrangements and work-family conflicts. The survey data were derived from the Finnish Helsinki Health Study baseline surveys in 2000-2002 among the City of Helsinki employees aged 40-60 years, and from the fifth phase of the London-based Whitehall II study (1997-9) which is a prospective study of civil servants aged 35-55 years at the time of recruitment. The data collection in the two countries was harmonised to safeguard maximal comparability. Physical functioning was measured with the Short Form (SF-36) physical component summary and common mental disorders with the General Health Questionnaire (GHQ-12). Socioeconomic circumstances were parental education, childhood economic difficulties, own education, occupational class, household income, housing tenure, and current economic difficulties. Further explanatory factors were health behaviours, living arrangements and work-family conflicts. The main statistical method used was logistic regression analysis. Analyses were conducted separately for the two sexes and two cohorts. Childhood and current economic difficulties were associated with poorer physical functioning and common mental disorders generally in both cohorts and sexes. Conventional dimensions of socioeconomic circumstances i.e. education, occupational class and income were associated with physical functioning and mediated each other’s effects, but in different ways in the two cohorts: education was more important in Helsinki and occupational class in London. The associations of economic difficulties with health were partly explained by work-family conflicts and other socioeconomic circumstances in both cohorts and sexes. In conclusion, this study on two country-specific cohorts confirms that different dimensions of socioeconomic circumstances are related but not interchangeable. They are also somewhat differently associated with physical and mental domains of health. In addition to conventionally measured dimensions of past and present socioeconomic circumstances, economic difficulties should be taken into account in studies and attempts to reduce health inequalities. Further explanatory factors, particularly conflicts between work and family, should also be considered when aiming to reduce inequalities and maintain the health of employees.

Human herpesvirus 6 in multiple sclerosis and encephalitis

Human herpesvirus 6 (HHV-6) was identified from patients with HIV and lymphoproliferative diseases in 1986. It is a β-herpesvirus and is divided into two subgroups, variants A and B. HHV-6 variant B is the cause of exanthema subitum, while variant A has not yet definitely proven to cause any disease. HHV-6, especially variant A, is a highly neurotropic virus and has been associated with many diseases of the central nervous system (CNS) such as encephalitis and multiple sclerosis (MS). The present studies were aimed to elucidate the role of HHV-6 and its two variants in neurological infections. Special attention was given to study the possible role of HHV-6 in the pathogenesis of MS. We studied the expression of HHV-6 antigens using immunohistochemistry in brain autopsy samples from patients with MS and controls. HHV-6 antigen was identified in 70% of MS specimens whereas 30% of control specimens expressed HHV-6 antigen. Serum and cerebrospinal fluid (CSF) samples were collected from patients with MS and patients with other neurological diseases (OND) from patients visiting Helsinki University Central Hospital Neurological Outpatient Clinic during the years 2003 and 2004. In addition, we studied 53 children with suspected encephalitis. We developed an immunofluorescence IgG-avidity assay for the detection of primary HHV-6A and HHV-6B infection. For HHV-6B antibodies, no differences were observed between patients with MS and OND. For HHV-6A both seroprevalence and mean titers were significantly higher in MS compared to OND. HHV-6A low-avidity IgG antibodies, suggestive of primary infection, were found in serum of two, three and one patient with definite MS, possible MS and OND, respectively. From pediatric patients with suspected encephalitis, six serum samples (11.3%) contained low-avidity antibodies, indicating a temporal association between HHV-6A infection and onset of encephalitis. Three out of 26 patients with CDMS and four out of 19 patients with CPMS had HHV-6 antibodies in their CSF compared to none of the patients with OND (p=0.06 and p=0.01, respectively). Two patients with CDMS and three patients with CPMS appeared to have specific intrathecal synthesis of HHV-6A antibodies. In addition, oligoclonal bands (OCB) were observed in the CSF of five out of nine MS patients tested, and in two the OCBs reacted specifically with HHV-6 antigen, which is a novel finding. These results indicate HHV-6 specific antibody production in the CNS and suggest that there is a subset of MS patients with an active or chronic HHV-6A infection in the CNS that might be involved in the pathogenesis of MS. Our studies suggest that HHV-6 is an important causative or associated virus in some neurological infections, such as encephalitis and it might contribute to the development of MS, at least in some cases. In conclusion, HHV-6 is a neurotropic virus that should be taken into consideration when studying acute and chronic CNS diseases of unknown origin.

Novel Multiple Sclerosis Predisposing Genetic Variants Outside the HLA Region

Multiple sclerosis (MS) is a chronic inflammatory disease of the central nervous system (CNS). Both environmental factors and several predisposing genes are required to generate MS. Despite intensive research these risk factors are still largely unknown, the pathogenesis of MS demyelination is poorly understood, and no curative treatment exists. Both prevalence and familial occurrence of MS are exceptionally high in a Finnish population subisolate, Southern Ostrobothnia, presumably due to enrichment of predisposing genetic variants within this region. Previous linkage scan on MS pedigrees from Southern Ostrobothnia detected three main MS loci on chromosomes 5p, 6p (HLA) and 17q. Linkage studies in other populations have also provided independent evidence for the location of MS susceptibility genes in these regions. Further, these loci are syntenic to the experimental autoimmune encephalomyelitis (EAE) susceptibility loci of rodents. In this thesis work an effort was made to localize MS predisposing alleles of the linked loci outside the HLA region by studying familial MS cases from the Southern Ostrobothnia isolate. Analysis of the 5p locus revealed one region, flanking the complement component 7 (C7) gene. The identified relatively rare haplotype seems to have a fairly large effect on genetic susceptibility of MS (frequency MS 12%, controls 4%; p=0.000003, OR=2.73). Evidence for association with alleles of the region and MS was seen also in more heterogeneous populations. Convincingly, plasma C7 protein levels and complement activity correlated with the risk haplotype identified. The finding stimulated us to study other complement cascade genes in MS. No evidence for association could be observed with the complement component coding genes outside 5p. A scan of the 17q locus provided evidence for association with variants of the protein kinase C alpha (PRKCA) gene (p=0.0001). Modest evidence for association with PRKCA was observed also in Canadian MS families. Finally we used a candidate gene based approach to identify potential MS loci. Mutations of DAP12 and TREM2 cause a recessively inherited CNS white matter disease PLOSL. Interestingly, DAP12 and TREM2 are located in MS regions on 6p and 19q, and we tested them as potential candidate genes in the Finnish MS sample. No evidence for association with MS was observed. This thesis provides an example of how extended families from special populations can be utilized in fine-mapping of the linked loci. A first relatively rare MS variant was identified utilizing the strength of a Finnish population subisolate. This variant seems to have an effect on activity of the complement system, which has previously been suggested to have an important role in the pathogenesis of MS.

Diet, cell signalling, and tumourigenesis in multiple intestinal neoplasia mice

The incidence of colon cancer is high in Western societies, and in Finland it is among the three most common cancer types in both females and males. Environmental factors, including diet, affect colon cancer development. During the last few years, a vast amount of new, functional foods have been introduced to the consumers. Several products are already available that are marketed as promoting intestinal health. To be able to reliably call a dietary compound a chemopreventive substance it is of fundamental importance to understand the mechanism by which it affects tumour formation and the integrity of the epithelial cells. In this thesis, three different dietary compounds were studied in an experimental model of colon cancer. Inulin is a non-digestible fibre found naturally in chicory roots, artichokes and onions, amongst others. Nowadays it is widely used as an added dietary fibre in several food products. Conjugated linoleic acid (CLA) is a conjugated form of the fatty acid linoleic acid. CLA is formed by bacterial fermentation of linoleic acid in the rumen of cows and other ruminants. Concomitantly, it can naturally be found in milk and meat of ruminants. White currant is a colourless berry low in phenolic compounds that are believed to prevent cancer formation. Contrary to what was expected, inulin and the conjugated linoleic acid isomer trans-10, cis-12, were tumour growth promoting dietary constituents when fed to Min mice. Both diets decreased the NF-kappaB levels in the mucosa, but physiological adenoma development did not affect NF-kappaB. Diet altered beta-catenin and p53 signalling in the adenomas, confirming their involvement in adenoma growth. White currant, on the other hand, was chemopreventive, despite its low contents of phenolic compounds. The chemopreventive effect was accompanied by increased p53 levels in the mucosa, and decreased beta-catenin and NF-kappaB levels in the adenoma. This could explain the reduced adenoma number and size. The results underline the importance of carefully testing new dietary compounds in different settings to reliably confirm their health benefits. In this study two compounds that are consumed and believed to add to our health proved to be cancer promotive. A berry with low phenolic contents, on the other hand, was chemopreventive.

Identiteettien maisemat Saskatchewanin Uudessa Suomessa : Uudisasutuksesta uusidentifikaatioon

The present study examines how the landscape of the rural immigrant colony of New Finland (Saskatchewan, Canada) has reflected the Finnish origins of the about 350 settlers and their descendants, their changing ideologies, values, sense of collectiveness and the meanings of the Finnish roots. The study also reveals the reasons and power structures behind the ethnic expressions. Researched time period runs from the beginning of the settlement in 1888 to the turn of the millennium. The research concentrates on buildings, cemeteries, personal names and place names which contain strong visual and symbolic messages and are all important constituents of mundane landscapes. For example, the studied personal names are important identity-political indexes telling about the value of the Finnish nationalism, community spirit, dual Finnish-Canadian identities and also the process of assimilation which, for example, had differences between genders. The study is based on empirical field research, and iconographical and textual interpretations supported by classifications and comparative analyses. Several interviews and literature were essential means of understanding the changing political contexts which influenced the Finnish settlement and its multiple landscape representations. Five historical landscape periods were identified in New Finland. During these periods the meanings and representations of Finnish identity changed along with national and international politics and local power structures. For example, during the Second World War Canada discouraged representations of Finnish culture because Finland and Canada were enemies. But Canada s multicultural policy in the 1980s led to several material and symbolic representations indicating the Finnish settlement after a period of assimilation and deinstitutionalization. The study shows how these representations were indications of the politics of a (selective) memory. Especially Finnish language, cultural traditions and the Evangelical-Lutheran values of the pioneers, which have been passed down to new generations, are highly valued part of the Finnish heritage. Also the work of the pioneers and their participation in the building of Saskatchewan is an important collective narrative. The selectiveness of a memory created the landscape of forgetting which includes deliberately forgotten parts of the history. For example, the occasional disputes between the congregations are something that has been ignored. The results show how the different landscape elements can open up a useful perspective to diaspora colonies or other communities also by providing information which otherwise would be indistinguishable. In this case, for example, two cemeteries close together were a sign of religious distributions among the early settlers.

Composition operators on vector-valued BMOA and related function spaces

A composition operator is a linear operator between spaces of analytic or harmonic functions on the unit disk, which precomposes a function with a fixed self-map of the disk. A fundamental problem is to relate properties of a composition operator to the function-theoretic properties of the self-map. During the recent decades these operators have been very actively studied in connection with various function spaces. The study of composition operators lies in the intersection of two central fields of mathematical analysis; function theory and operator theory. This thesis consists of four research articles and an overview. In the first three articles the weak compactness of composition operators is studied on certain vector-valued function spaces. A vector-valued function takes its values in some complex Banach space. In the first and third article sufficient conditions are given for a composition operator to be weakly compact on different versions of vector-valued BMOA spaces. In the second article characterizations are given for the weak compactness of a composition operator on harmonic Hardy spaces and spaces of Cauchy transforms, provided the functions take values in a reflexive Banach space. Composition operators are also considered on certain weak versions of the above function spaces. In addition, the relationship of different vector-valued function spaces is analyzed. In the fourth article weighted composition operators are studied on the scalar-valued BMOA space and its subspace VMOA. A weighted composition operator is obtained by first applying a composition operator and then a pointwise multiplier. A complete characterization is given for the boundedness and compactness of a weighted composition operator on BMOA and VMOA. Moreover, the essential norm of a weighted composition operator on VMOA is estimated. These results generalize many previously known results about composition operators and pointwise multipliers on these spaces.