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.

Kansallisvaltion teräsmiehestä valtakunnan sovittelijaksi : Poliisikulttuurin psykohistorialliset solmukohdat 1930-1997

From Steely Nation-State Superman to Conciliator of Economical Global Empire – A Psychohistory of Finnish Police Culture 1930-1997 My study concerns the way police culture has changed within the societal changes in Finnish society between 1930 and 1997. The method of my study was psycho-historical and post-structural analysis. The research was conducted by examining the psycho-historical plateaus traceable within Finnish police culture. I made a social diagnosis of the autopoietic relationship between the power-holders of Finnish society and the police (at various levels of hierarchical organization). According to police researcher John P. Crank, police culture should be understood as the cognitive processes behind the actions of the police. Among these processes are the values, beliefs, rituals, customs and advice which standardize their work and the common sense of policemen. According to Crank, police culture is defined by a mindset which thinks, judges and acts according to its evaluations filtered by its own preliminary comprehension. Police culture consists of all the unsaid assumptions of being a policeman, the organizational structures of police, official policies, unofficial ways of behaviour, forms of arrest, procedures of practice and different kinds of training habits, attitudes towards suspects and citizens, and also possible corruption. Police culture channels its members’ feelings and emotions. Crank says that police culture can be seen in how policemen express their feelings. He advises police researchers to ask themselves how it feels to be a member of the police. Ethos has been described as a communal frame for thought that guides one’s actions. According to sociologist Martti Grönfors, the Finnish mentality of the Protestant ethic is accentuated among Finnish policemen. The concept of ethos expresses very well the self-made mentality as an ethical tension which prevails in police work between communal belonging and individual freedom of choice. However, it is significant that it is a matter of the quality of relationships, and that the relationship is always tied to the context of the cultural history of dealing with one’s anxiety. According to criminologist Clifford Shearing, the values of police culture act as subterranean processes of the maintenance of social power in society. Policemen have been called microcosmic mediators, or street corner politicians. Robert Reiner argues that at the level of self-comprehension, policemen disparage the dimension of politics in their work. Reiner points out that all relationships which hold a dimension of power are political. Police culture has also been called a canteen culture. This idea expresses the day-to-day basis of the mentality of taking care of business which policing produces as a necessity for dealing with everyday hardships. According to police researcher Timo Korander, this figurative expression embodies the nature of police culture as a crew culture which is partly hidden from police chiefs who are at a different level. This multitude of standpoints depicts the diversity of police cultures. According to Reiner, one should not see police culture as one monolithic whole; instead one should assess it as the interplay of individuals negotiating with their environment and societal power networks. The cases analyzed formed different plateaus of study. The first plateau was the so-called ‘Rovaniemi arson’ case in the summer of 1930. The second plateau consisted of the examinations of alleged police assaults towards the Communists during the Finnish Continuation War of 1941 to 1944 and the threats that societal change after the war posed to Finnish Society. The third plateau was thematic. Here I investigated how using force towards police clients has changed culturally from the 1930s to the 1980s. The fourth plateau concerned with the material produced by the Security Police detectives traced the interaction between Soviet KGB agents and Finnish politicians during the long 1970s. The fifth plateau of larger changes in Finnish police culture then occurred during the 1980s as an aftermath of the former decade. The last, sixth plateau of changing relationships between policing and the national logic of action can be seen in the murder of two policemen in the autumn of 1997. My study shows that police culture has transformed from a “stone cold” steely fixed identity towards a more relational identity that tries to solve problems by negotiating with clients instead of using excessive force. However, in this process of change there is a traceable paradox in Finnish policing and police culture. On the one hand, policemen have, at the practical level, constructed their policing identity by protecting their inner self in their organizational role at work against the projections of anger and fear in society. On the other hand, however, they have had to safeguard themselves at the emotional level against the predominance of this same organizational role. Because of this dilemma they must simultaneously construct both a distance from their own role as police officers and the role of the police itself. This makes the task of policing susceptible to the political pressures of society. In an era of globalization, and after the heyday of the welfare state, this can produce heightened challenges for Finnish police culture.

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.

Tacit Pedagogical Knowing: At the Core of Teacher's Professionality

The purpose of this research was to examine class teachers' interactive pedagogical thinking and action, in other words their tacit pedagogical knowing. Tacit pedagogical knowing was defined as a process in interactive teaching situation, through which a teacher finds solutions to surprising and challenging situations, pedagogical moments, so that the lesson continues. Teachers are able to describe their tacit pedagogical knowing afterwards and also find some reasons for it as well. More specifically, the aim was to study, 1) how does a class teacher's tacit pedagogical knowing appear in teacher's actions, and 2) what kinds of contents include in class teacher's tacit pedagogical knowing. The research material was gathered from four class teachers by videotaping their lessons and by stimulated recall interviews. In addition to this, the researcher spent a relatively long time in the research participants' classrooms. She conducted initial interviews and orientating observations by means of participant observation in order to get to know the participants and their contexts better. A phenomenologically oriented approach, which proceeded by following abductive logic, was used in the analysis procedures of the videotaped and stimulated recall data. In addition to this, correlation examinations were used in the validation of stimulated recall data analyses. The appearance of the tacit pedagogical knowing was observed in the videotaped data. The contents of tacit pedagogical knowing were defined by the analyses of stimulated recall data. According to the research results, a class teacher's tacit pedagogical knowing appears in the maintenance of the pedagogical relation, the teacher's relation to content, and the didactical relation. The contents of class teacher's tacit pedagogical knowing were many sided. The maintenance of the pedagogical relation, the teacher's relation to content, and the didactical relation were elements of the contents as well. In addition to these, the maintenance of teacher's pedagogical authority, the maintenance of the student's role or pedagogical authority, and the awareness of the nature of the content of instruction are included in the contents of teacher's tacit pedagogical knowing. The phenomenon of tacit pedagogical knowing was observed to be clearly a process-like and relational phenomenon. Based on the research results, a model of teacher's tacit pedagogical knowing was developed. Using the model, it is possible to illustrate the factors that are at the core of teacher's professionality. This model could be used in the context of teacher education, supervision, or in-service training.

Levosimendan: Studies on its mechanisms of action and beyond

Acute heart failure syndrome represents a prominent and growing health problem all around the world. Ideally, medical treatment for patients admitted to hospital because of this syndrome, in addition to alleviating the acute symptoms, should also prevent myocardial damage, modulate neurohumoral and inflammatory activation, and preserve or even improve renal function. Levosimendan is a cardiac enhancer having both inotropic and vasodilatory effects. It is approved for the short-term treatment of acutely decompensated chronic heart failure, but it has been shown to have beneficial clinical effects also in ischemic heart disease and septic shock as well as in perioperative cardiac support. In the present study, the mechanisms of action of levosimendan were studied in isolated guinea-pig heart preparations: Langendorff-perfused heart, papillary muscle and permeabilized cardiomyocytes as well as in purified phosphodiesterase isoenzyme preparations. Levosimendan was shown to be a potent inotropic agent in isolated Langendorff-perfused heart and right ventricle papillary muscle. In permeabilized cardiomyocytes, it was demonstrated to be a potent calcium sensitizer in contrast to its enantiomer, dextrosimendan. It was additionally shown to be a very selective phosphodiesterase (PDE) type-3 inhibitor, the selectivity factor for PDE3 over PDE4 being 10000 for levosimendan. Irrespective of this very selective PDE3 inhibitory property in purified enzyme preparations, the inotropic effect of levosimendan was demonstrated to be mediated mainly through calcium sensitization in the isolated heart as well as the papillary muscle preparations at clinically relevant concentrations. In the isolated Lagendorff-perfused heart, glibenclamide antagonized the levosimendan-induced increase in coronary flow (CF). Therefore, the main vasodilatory mechanism in coronary veins is believed to be the opening of the ATP-sensitive potassium (KATP) channels. In the paced hearts, CF did not increase in parallel with oxygen consumption (MVO2), thus indicating that levosimendan had a direct vasodilatory effect on coronary veins. The pharmacology of levosimendan was clearly different from that of milrinone, which induced an increase in CF in parallel with MVO2. In conclusion, levosimendan was demonstrated to increase cardiac contractility by binding to cardiac troponin C and sensitizing the myofilament contractile proteins to calcium, and further to induce coronary vasodilatation by opening KATP channels in vascular smooth muscle. In addition, the efficiency of the cardiac contraction was shown to be more advantageous when the heart was perfused with levosimendan in comparison to milrinone perfusion.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Neurotrophins and neuronal plasticity in the action of antidepressants and morphine

Neuronal plasticity is a well characterized phenomenon in the developing and adult brain. It refers to capasity of a single neuron to modify morphology, synaptic connections and activity. Neuronal connections and capacity for plastic events are compromised in several pathological disorders, such as major depression. In addition, neuronal atrophy has been reported in depressive patients. Neurotrophins are a group of secretory proteins functionally classified as neuronal survival factors. Neurotrophins, especially brain derived neurotrophic factor (BDNF), have also been associated with promoting neuronal plasticity in dysfunctional neuronal networks. Chronic antidepressant treatment increases plastic events including neurogenesis and arborization and branching of neurites in distinct brain areas, such as the hippocampus. One suggested mode of action is where the antidepressants elevate the synaptic levels of BDNF thus further activating several signaling cascades via trkB-receptor. In our studies we have tried to clarify the mechanisms of action for antidepressants and to resolve the role of BDNF in this process. We found that chronic antidepressant treatment increases amount of markers of neuronal plasticity in both hippocampus and in the medial prefrontal cortex, both of which are closely linked to the etiology of major depression. Secondary actions of antidepressants include rapid activation of the trkB receptor followed by a phosphorylation of transcription factor CREB. In addition, activation of CREB by phosphorylation appears responsible for the regulation of the expression of the BDNF gene. Using transgenic mice we found that BDNF-induced trkB-mediated signaling proved crucial for the behavioral effects of antidepressants in the forced swimming test and for the survival of newly-born neurons in the adult hippocampus. Antidepressants not only increased neurogenesis in the adult hippocampus but also elevated the turnover of hippocampal neurons. During these studies we also discovered that another trkB ligand, NT-4, is involved in morphine-mediated anti-nociception and tolerance. These results present a novel role for trkB-mediated signaling in plastic events present in the opioid system. This thesis evaluates neuronal plasticity and trkB as a target for future antidepressant treatments.

Bustle behind the scenes of action : nemosis as a model for fibroblast inflammatory activation

Wound healing is a complex process that requires an interplay between several cell types. Classically, fibroblasts have been viewed as producers of extracellular matrix, but more recently they have been recognized as orchestrators of the healing response, promoting and directing, inflammation and neovascularization processes. Compared to those from healthy tissue, inflammation-associated fibroblasts display a dramatically altered phenotype and have been described as sentinel cells, able to switch to an immunoregulatory profile on cue. However, the activation mechanism still remains largely uncharacterized. Nemosis is a model for stromal fibroblast activation. When normal human primary fibroblasts are deprived of growth support they cluster, forming multicellular spheroids. Clustering results in upregulation of proinflammatory markers such as cyclooxygenase-2 and secretion of prostaglandins, proteinases, cytokines, and growth factors. Fibroblasts in nemosis induce wound healing and tumorigenic responses in many cell types found in inflammatory and tumor microenvironments. This study investigated the effect of nemotic fibroblasts on two components of the vascular system, leukocytes and endothelium, and characterized the inflammation-promoting responses that arose in these cell types. Fibroblasts in nemosis were found to secrete an array of chemotactic cytokines and attract leukocytes, as well as promote their adhesion to the endothelium. Nuclear factor-kB, the master regulator of many inflammatory responses, is activated in nemotic fibroblasts. Nemotic fibroblasts are known to produce large amounts of hepatocyte growth factor, a motogenic and angiogenic factor. Also, as shown in this study, they produce vascular endothelial growth factor. These two factors induced migratory and sprouting responses in endothelial cells, both required for neovascularization. Nemotic fibroblasts also caused a decrease in the expression of adherens and tight junction components on the surface of endothelial cells. The results allow the conclusion that fibroblasts in nemosis share many similarities with inflammation-associated fibroblasts. Both inflammation and stromal fibroblasts are known to be involved in tumorigenesis and tumor progression. Nemosis may be viewed as a model for stromal fibroblast activation, or it may correlate with cell-cell interactions between adjacent fibroblasts in vivo. Nevertheless, due to nemosis-derived production of proinflammatory cytokines and growth factors, fibroblast nemosis may have therapeutic potential as an inducer of controlled tissue repair. Knowledge of stromal fibroblast activation gained through studies of nemosis, could provide new strategies to control unwanted inflammation and tumor progression.