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.

History, Transfer, Politics : Five studies on the legacy of Uppsala philosophy

The Uppsala school of Axel Hägerström can be said to have been the last genuinely Swedish philosophical movement. On the other hand, the Swedish analytic tradition is often said to have its roots in Hägerström s thought. This work examines the transformation from Uppsala philosophy to analytic philosophy from an actor-based historical perspective. The aim is to describe how a group of younger scholars (Ingemar Hedenius, Konrad Marc-Wogau, Anders Wedberg, Alf Ross, Herbert Tingsten, Gunnar Myrdal) colonised the legacy of Hägerström and Uppsala philosophy, and faced the challenges they met in trying to reconcile this legacy with the changing philosophical and political currents of the 1930s and 40s. Following Quentin Skinner, the texts are analysed as moves or speech acts in a particular historical context. The thesis consists of five previously published case studies and an introduction. The first study describes how the image of Hägerström as the father of the Swedish analytic tradition was created by a particular faction of younger Uppsala philosophers who (re-) presented the Hägerströmian philosophy as a parallel movement to logical empiricism. The second study examines the confrontations between Uppsala philosophy and logical empiricism in both the editorial board and in the pages of Sweden s leading philosophical journal Theoria. The third study focuses on how the younger generation redescribed Hägerströmian legal philosophical ideas (Scandinavian Legal Realism), while the fourth study discusses how they responded to the accusations of a connection between Hägerström s value nihilistic theory and totalitarianism. Finally, the fifth study examines how the Swedish social scientist and Social Democratic intellectual Gunnar Myrdal tried to reconcile value nihilism with a strong political programme for social reform. The contribution of this thesis to the field consists mainly in a re-evaluation of the role of Uppsala philosophy in the history of Swedish philosophy. From this perspective the Uppsala School was less a collection of certain definite philosophical ideas than an intellectual legacy that was the subject of fierce struggles. Its theories and ideas were redescribed in various ways by individual actors with different philosophical and political intentions.

Kinnasneulatekniikan verkko-oppimateriaalin kehittäminen ja neulalla neulomisen taidon kehittyminen

The purpose of the study was to develop a functional web-based learning material for the learning of the nålbinding technique. The study of the research topic was already begun in my pedagogical thesis in 2008 by considering the demands on pedagogic material for the teaching of the technique. This study falls into the field of qualitative design research which was carried out through three stages. In the study three methods of usability testing, i.e. expert analysis, the informants’ thinking aloud and interviews, were used as research methods. At the first stage of the study the first version of the learning material was created. This was done on the basis of theoretical knowledge, the demands set on learning materials as clarified in previous studies, on the basis of previously created learning materials for the learning of the nålbinding technique as well as with the help of two experts on the technique. At the second stage, the learning material was developed on the basis of expert analysis and another version of the material was created. At the third stage, usability testing was carried out on the material. At this stage two informants used the material, practiced stitching with the nålbinding needle and thought aloud while doing so. In the usability testing the Morae –programme was used to record the events on the screen, the actions of the informants and their spoken out thoughts. The Morae –programme was also used when analysing the recordings. After the testing, the informants practised stitching independently and in a few weeks time they were interviewed. The interviews were aimed at finding out the informants’ opinions on the future development of the material. On the basis of the informants’ independent attempts at using the nålbinding technique, the development of their skills after the testing was also discussed at the interviews. The development of the learning material will continue after this study on the basis of the usability testing and the interviews. The web-based learning material was created for the website Käspaikka in the address www.kaspaikka.fi/kinnasneula. By creating a multimodal learning material the dual-coding theory by Paivio was taken into consideration. According to the theory, several methods of presentation help a learner to restore information in his/her memory. The independent construction of the learner’s knowledge, i.e. learning according to the principles of the constructivist learning theory, was also supported by creating a logical navigation system, by linking interrelated topics to one another and by presenting the topics in several different forms. In the test situations the learning material was judged to work well when practising stitching with the nålbinding needle. Both informants learned the basics of the nålbinding technique even though their respective learning strategies were quite different. In the usability testing illogicalities and shortcomings were still noticed in the learning material which will still be further developed in the future.

Living Poetically in the Modern Age : The Situational Aspects of Kierkegaard's Thought

How did Søren Kierkegaard (1813 1855) situate the human subject into historical and social actuality? How did he take into consideration his own situatedness? As key for understanding these questions the research takes the ideal of living poetically that Kierkegaard outlined in his dissertation. In The Concept of Irony (1841) Kierkegaard took up this ideal of the Romantic ironists and made it into an ethical-religious ideal. For him the ideal of living poetically came to mean 1) becoming brought up by God, while 2) assuming ethical-religiously one s role and place in the historical actuality. Through an exegesis of Kierkegaard s texts from 1843 to 1851 it is shown how this ideal governed Kierkegaard s thought and action throughout his work. The analysis of Kierkegaard s ideal of living poetically not only a) shows how the Kierkegaardian subject is situated in its historical context. It also b) sheds light on Kierkegaard s social and political thought, c) helps to understand Kierkegaard s character as a religious thinker, and d) pits his ethical-religious orientation in life against its scientific and commonsense alternatives. The research evaluates the rationality of the way of life championed by Kierkegaard by comparing it with ways of life dominated by reflection and reasoning. It uses Kierkegaard s ideal of living poetically in trying to understand the tensions between religious and unreligious ways of life.

Neuronal K-Cl Cotransporter : Transcriptional Mechanisms of KCC2 Gene Regulation

K-Cl cotransporter 2 (KCC2) maintains a low intracellular Cl concentration required for fast hyperpolarizing responses of neurons to classical inhibitory neurotransmitters γ-aminobutyric acid (GABA) and glycine. Decreased Cl extrusion observed in genetically modified KCC2-deficient mice leads to depolarizing GABA responses, impaired brain inhibition, and as a consequence to epileptic seizures. Identification of mechanisms regulating activity of the SLC12A5 gene, which encodes the KCC2 cotransporter, in normal and pathological conditions is, thus, of extreme importance. Multiple reports have previously elucidated in details a spatio-temporal pattern of KCC2 expression. Among the characteristic features are an exclusive neuronal specificity, a dramatic upregulation during embryonic and early postnatal development, and a significant downregulation by neuronal trauma. Numerous studies confirmed these expressional features, however transcriptional mechanisms predetermining the SLC12A5 gene behaviour are still unknown. The aim of the presented thesis is to recognize such transcriptional mechanisms and, on their basis, to create a transcriptional model that would explain the established SLC12A5 gene behaviour. Up to recently, only one KCC2 transcript has been thought to exist. A particular novelty of the presented work is the identification of two SLC12A5 gene promoters (SLC12A5-1a and SLC12A5-1b) that produce at least two KCC2 isoforms (KCC2a and KCC2b) differing by their N-terminal parts. Even though a functional 86Rb+ assay reveals no significant difference between transport activities of the isoforms, consensus sites for several protein kinases, found in KCC2a but not in KCC2b, imply a distinct kinetic regulation. As a logical continuation, the current work presents a detailed analysis of the KCC2a and KCC2b expression patterns. This analysis shows an exclusively neuron-specific pattern and similar expression levels for both isoforms during embryonic and neonatal development in rodents. During subsequent postnatal development, the KCC2b expression dramatically increases, while KCC2a expression, depending on central nervous system (CNS) area, either remains at the same level or moderately decreases. In an attempt to explain both the neuronal specificity and the distinct expressional kinetics of the KCC2a and KCC2b isoforms during postnatal development, the corresponding SLC12A5-1a and SLC12A5-1b promoters have been subjected to a comprehensive bioinformatical analysis. Binding sites of several transcription factors (TFs), conserved in the mammalian SLC12A5 gene orthologs, have been identified that might shed light on the observed behaviour of the SLC12A5 gene. Possible roles of these TFs in the regulating of the SLC12A5 gene expression have been elucidated in subsequent experiments and are discussed in the current thesis.

The Home of Hearing : George Lindbeck's understanding of community

The aim of this thesis was to examine the understanding of community in George Lindbeck s The Nature of Doctrine. Intrinsic to this question was also examining how Lindbeck understands the relation between the text and the world which both meet in a Christian community. Thirdly this study also aimed at understanding what the persuasiveness of this understanding depends on. The method applied for this task was systematic analysis. The study was conducted by first providing an orientation into the nontheological substance of the ND which was assumed useful with respect to the aim of this study. The study then went on to explore Lindbeck in his own context of postliberal theology in order to see how the ND was received. It also attempted to provide a picture of how the ND relates to Lindbeck as a theologian. The third chapter was a descriptive analysis into the cultural-linguistic perspective, which is understood as being directly proportional to his understanding of community. The fourth chapter was an analysis into how the cultural-linguistic perspective sees the relation between the text and the world. When religion is understood from a cultural-linguistic perspective, it presents itself as a cultural-linguistic entity, which Lindbeck understands as a comprehensive interpretive scheme which structures human experience and understanding of oneself and the world in which one lives. When one exists in this entity, it is the entity which shapes the subjectivities of all those who are at home in this entity which makes participation in the life of a cultural linguistic entity a condition for understanding it. Religion is above all an external word that moulds and shapes our religious existence and experience. Understanding faith then as coming from hearing, is something that correlates with the cultural-linguistic depiction of reality. Religion informs us of a religious reality, it does not originate in any way from ourselves. This externality linked to the axiomatic nature of religion is also something that distinguishes Lindbeck sharply from liberalist tendencies, which understand religion as ultimately expressing the prereflective depths of the inner self. Language is the central analogy to understanding the medium in which one moves when inhabiting a cultural-linguistic system because language is the transmitting medium in which the cultural-linguistic system is embodied. The realism entailed in Lindbeck s understanding of a community is that we are fundamentally on the receiving end when it comes to our identities whether cultural or religious. We always witness to something. Its persuasiveness rests on the fact that we never exist in an unpersuaded reality. The language of Christ is a self-sustaining and irreducible cultural-linguistic entity, which is ontologically founded upon Christ. It transmits the reality of a new being. The basic relation to the world for a Christian is that of witnessing salvation in Christ: witnessing Christ as the home of hearing the message of salvation, which is the God-willed way. Following this logic, the relation of the world and the text is one of relating to the world from the text, i.e. In Christ through the word (text) for the world, because it assumes it s logic from the way Christ ontologically relates to us.

Proofs, Paradoxes, and Probabilities : The Logical Turn of Philosophy in Finland

This monograph describes the emergence of independent research on logic in Finland. The emphasis is placed on three well-known students of Eino Kaila: Georg Henrik von Wright (1916-2003), Erik Stenius (1911-1990), and Oiva Ketonen (1913-2000), and their research between the early 1930s and the early 1950s. The early academic work of these scholars laid the foundations for today's strong tradition in logic in Finland and also became internationally recognized. However, due attention has not been given to these works later, nor have they been comprehensively presented together. Each chapter of the book focuses on the life and work of one of Kaila's aforementioned students, with a fourth chapter discussing works on logic by authors who would later become known within other disciplines. Through an extensive use of correspondence and other archived material, some insight has been gained into the persons behind the academic personae. Unique and unpublished biographical material has been available for this task. The chapter on Oiva Ketonen focuses primarily on his work on what is today known as proof theory, especially on his proof theoretical system with invertible rules that permits a terminating root-first proof search. The independency of the parallel postulate is proved as an example of the strength of root-first proof search. Ketonen was to our knowledge Gerhard Gentzen's (the 'father' of proof theory) only student. Correspondence and a hitherto unavailable autobiographic manuscript, in addition to an unpublished article on the relationship between logic and epistemology, is presented. The chapter on Erik Stenius discusses his work on paradoxes and set theory, more specifically on how a rigid theory of definitions is employed to avoid these paradoxes. A presentation by Paul Bernays on Stenius' attempt at a proof of the consistency of arithmetic is reconstructed based on Bernays' lecture notes. Stenius correspondence with Paul Bernays, Evert Beth, and Georg Kreisel is discussed. The chapter on Georg Henrik von Wright presents his early work on probability and epistemology, along with his later work on modal logic that made him internationally famous. Correspondence from various archives (especially with Kaila and Charlie Dunbar Broad) further discusses his academic achievements and his experiences during the challenging circumstances of the 1940s.