The Problem of Implementation and its Relation to the Philosophy of Cognitive Science

According to certain arguments, computation is observer-relative either in the sense that many physical systems implement many computations (Hilary Putnam), or in the sense that almost all physical systems implement all computations (John Searle). If sound, these arguments have a potentially devastating consequence for the computational theory of mind: if arbitrary physical systems can be seen to implement arbitrary computations, the notion of computation seems to lose all explanatory power as far as brains and minds are concerned. David Chalmers and B. Jack Copeland have attempted to counter these relativist arguments by placing certain constraints on the definition of implementation. In this thesis, I examine their proposals and find both wanting in some respects. During the course of this examination, I give a formal definition of the class of combinatorial-state automata , upon which Chalmers s account of implementation is based. I show that this definition implies two theorems (one an observation due to Curtis Brown) concerning the computational power of combinatorial-state automata, theorems which speak against founding the theory of implementation upon this formalism. Toward the end of the thesis, I sketch a definition of the implementation of Turing machines in dynamical systems, and offer this as an alternative to Chalmers s and Copeland s accounts of implementation. I demonstrate that the definition does not imply Searle s claim for the universal implementation of computations. However, the definition may support claims that are weaker than Searle s, yet still troubling to the computationalist. There remains a kernel of relativity in implementation at any rate, since the interpretation of physical systems seems itself to be an observer-relative matter, to some degree at least. This observation helps clarify the role the notion of computation can play in cognitive science. Specifically, I will argue that the notion should be conceived as an instrumental rather than as a fundamental or foundational one.

Japanese Encephalitis Virus Utilizes the Canonical Pathway To Activate NF-kappa B but It Utilizes the Type I Interferon Pathway To Induce Major Histocompatibility Complex Class I Expression in Mouse Embryonic Fibroblasts

Flaviviruses have been shown to induce cell surface expression of major histocompatibility complex class I (MHC-I) through the activation of NF-kappa B. Using IKK1(-/-), IKK2(-/-), NEMO-/-, and IKK1-/- IKK2-/- double mutant as well as p50(-/-) RelA(-/-) cRel(-/-) triple mutant mouse embryonic fibroblasts infected with Japanese encephalitis virus (JEV), we show that this flavivirus utilizes the canonical pathway to activate NF-kappa B in an IKK2- and NEMO-, but not IKK1-, dependent manner. NF-kappa B DNA binding activity induced upon virus infection was shown to be composed of RelA: p50 dimers in these fibroblasts. Type I interferon (IFN) production was significantly decreased but not completely abolished upon virus infection in cells defective in NF-kappa B activation. In contrast, induction of classical MHC-I (class 1a) genes and their cell surface expression remained unaffected in these NF-kappa B-defective cells. However, MHC-I induction was impaired in IFNAR(-/-) cells that lack the alpha/beta IFN receptor, indicating a dominant role of type I IFNs but not NF-kappa B for the induction of MHC-I molecules by Japanese encephalitis virus. Our further analysis revealed that the residual type I IFN signaling in NF-kappa B-deficient cells is sufficient to drive MHC-I gene expression upon virus infection in mouse embryonic fibroblasts. However, NF-kappa B could indirectly regulate MHC-I expression, since JEV-induced type I IFN expression was found to be critically dependent on it.

Moral Education in the Japanese Primary School Curricular Revision at the Turn of the Twenty-first Century: Aiming at a Rich and Beautiful Kokoro

This study examines values education in Japanese schools at the beginning of the millennium. The topic was approached by asking the following three questions concerning the curricular background, the morality conveyed through textbooks and the characterization of moral education from a comparative viewpoint: 1) What role did moral education play in the curriculum revision which was initiated in 1998 and implemented in 2002? 2) What kinds of moral responsibilities and moral autonomy do the moral texts develop? 3) What does Japanese moral education look like in terms of the comparative framework? The research was based on curriculum research. Its primary empirical data consisted of the national curriculum guidelines for primary school, which were taken into use in 2002, and moral texts, Kokoro no nôto, published by the Ministry of Education in the same context. Since moral education was approached in the education reform context, the secondary research material involved some key documents of the revision process from the mid-1990s to 2003. The research material was collected during three fieldwork periods in Japan (in 2002, 2003 and 2005). The text-analysis was conducted as a theory-dependent qualitative content analysis. Japanese moral education was analyzed as a product of its own cultural tradition and societal answer to the current educational challenges. In order to understand better its character, secular moral education was reflected upon from a comparative viewpoint. The theory chosen for the comparative framework, the value realistic theory of education, represented the European rational education tradition as well as the Christian tradition of values education. Moral education, which was the most important school subject at the beginning of modern school, was eliminated from the curriculum for political reasons in a school reform after the Second World War, but has gradually regained a stronger position since then. It was reinforced particularly at the turn of millennium, when a curriculum revision attempted to respond to educational and learning problems by emphasizing qualitative and value aspects. Although the number of moral lessons and their status as a non-official-subject remained unchanged, the Ministry of Education made efforts to improve moral education by new curricular emphases, new teaching material and additional in-service training possibilities for teachers. The content of the moral texts was summarized in terms of moral responsibility in four moral areas (intrapersonal, interpersonal, natural-supranatural and societal) as follows: 1) continuous self-development, 2) caring for others, 3) awe of life and forces beyond human power, and 4) societal contribution. There was a social-societal and emotional emphasis in what was taught. Moral autonomy, which was studied from the perspectives of rational, affective and individuality development, stressed independence in action through self-discipline and responsibility more than rational self-direction. Japanese moral education can be characterized as the education of kokoro (heart) and the development of character, which arises from virtue ethics. It aims to overcome egoistic individualism by reciprocal and interdependent moral responsibility based on responsible interconnectedness.

Philosophy as a Path to Happiness : Attainment of Happiness in Arabic Peripatetic and Ismaili Philosophy

The aim of the dissertation is to explore the idea of philosophy as a path to happiness in classical Arabic philosophy. The starting point is in comparison of two distinct currents between the 10th and early 11th centuries, Peripatetic philosophy, represented by al-Fārābī and Ibn Sīnā, and Ismaili philosophy represented by al-Kirmānī and the Brethren of Purity. They initially offer two contrasting views about philosophy in that the attitude of the Peripatetics is rationalistic and secular in spirit, whereas for the Ismailis philosophy represents the esoteric truth behind revelation. Still, they converge in their view that the ultimate purpose of philosophy lies in its ability to lead man towards happiness. Moreover, they share a common concept of happiness as a contemplative ideal of human perfection, which refers primarily to an otherworldly state of the soul s ascent to the spiritual world. For both the way to happiness consists of two parts: theory and practice. The practical part manifests itself in the idea of the purification of the rational soul from its bodily attachments in order for it to direct its attention fully to the contemplative life. Hence, there appears an ideal of philosophical life with the goal of relative detachment from the worldly life. The regulations of the religious law in this context appear as the primary means for the soul s purification, but for all but al-Kirmānī they are complemented by auxiliary philosophical practices. The ascent to happiness, however, takes place primarily through the acquisition of theoretical knowledge. The saving knowledge consists primarily of the conception of the hierarchy of physical and metaphysical reality, but all of philosophy forms a curriculum through which the soul gradually ascends towards a spiritual state of being along an order that is inverse to the Neoplatonic emanationist hierarchy of creation. For Ismaili philosophy the ascent takes place from the exoteric religious sciences towards the esoteric philosophical knowledge. For Peripatetic philosophers logic performs the function of an instrument enabling the ascent, mathematics is treated either as propaedeutic to philosophy or as a mediator between physical and metaphysical knowledge, whereas physics and metaphysics provide the core of knowledge necessary for the attainment of happiness.

On the principles of Japanese forest policy since 1950.

XVIII IUFRO World Congress, Ljubljana 1986.

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.

Cytotoxic T lymphocytes raised against Japanese encephalitis virus: effector cell phenotype, target specificity and in vitro virus clearance.

Several H-2 defined cell lines were examined for their ability to support infection and replication of Japanese encephalitis virus (JEV) before their use in in vitro and in vivo stimulation protocols for generating cytotoxic T lymphocytes (CTLs) against JEV. Among II different cell lines tested, two H-2(d) macrophage tumour lines (P388D1, RAW 264.7), an H-2(d) hybridoma (Sp2/0), an H-2K(k)D(d) neuroblastoma (Neuro 2a), and H-2(k) fibroblast cell line (L929) were found to support JEV infection and replication. These cell lines were used to generate anti-JEV CTLs by using in vivo immunization followed by in vitro stimulation of BALB/c mice. We observed that not only syngeneic and allogeneic infected cells but also JEV-infected xenogeneic cells could prime BALB/c mice for the generation of JEV-specific CTLs upon subsequent in vitro stimulation of splenocytes with JEV-infected syngeneic cells. Although infected xenogeneic cells were used for immunization, the anti-JEV effecters that were generated lysed infected syngeneic targets but not JEV-infected xenogeneic or allogeneic target cells in a 5h Cr-51 release assay. These anti-JEV effecters recognized syngeneic target cells infected with West Nile virus to a lesser extent and were shown to be Lyt-2.2(+) T cells. The results of unlabelled cold target competition studies suggested alterations in the cell surface expression of viral antigenic determinants recognized by these CTLs. We further demonstrate that the JEV-specific CTLs generated could virtually block the release of infectious virus particles from infected P388D1 and Neuro 2a cells in vitro.

Protection of adult but not newborn mice against lethal intracerebral challenge with Japanese encephalitis virus by adoptively transferred virus-specific cytotoxic T lymphocytes: Requirement for L3T4(+) T cells

The protective ability of cytotoxic T cells (CTL) raised in vitro against Japanese encephalitis virus (JEV) was examined by adoptive transfer experiments. Adoptive transfer of anti-JEV effecters by intracerebral (i.c.) but not by intraperitoneal (i.p.) or intravenous (i.v.) routes protected adult BALB/c mice against lethal i.c. JEV challenge. In contrast to adult mice, adoptive transfer of anti-JEV effecters into newborn (4-day-old) and suckling (8-14-day-old) mice did not confer protection. However, virus-induced death was delayed in suckling mice compared to newborn mice upon adoptive transfer. The specific reasons for lack of protection in newborn mice are not clear but virus load was found to be higher in newborn mice brains compared to those of adults and virus clearance was observed only in adult mice brains but not in newborn mice brains upon adoptive transfer. Specific depletion of Lyt 2.2(+), L3T4(+) or Thy-1(+) T cell populations before adoptive transfer abrogated the protective ability of transferred effecters. However, when Lyt 2.2(+) cell-depleted and L3T4(+) cell-depleted effecters were mixed and transferred into adult mice the protective activity was retained, demonstrating that both Lyt 2.2(+) and L3T4(+) T cells are necessary to confer protection. Although the presence of L3T4(+) T cells in adoptively transferred effector populations enhanced virus-specific serum neutralizing antibodies, the presence of neutralizing antibodies alone without Lyt 2.2(+) cells was not sufficient to confer protection.

Expression of the Japanese encephalitis virus NS3 and NS2b proteins as glutathione S-transferase fusions

Flaviviruses generate their structural and nonstructural proteins by proteolytic processing of a single large polyprotein precursor. These proteolytic events are brought about both by host cell signalase and a virally encoded protease. The virally encoded proteolytic activity has been shown to reside within the nonstructural protein 3 (NS3) and requires the product of the nonstructural 2b (NS2b) gene. In order to obtain sufficient quantities of pure NS2b and NS3 proteins for kinetic analysis, we have expressed both these proteins in recombinant systems as fusions to glutathione S-transferase (GST). The fusion constructs were driven by the strong bacteriophage T7 promoter. Transfection of these constructs into the African green monkey kidney cell line CV-1 previously infected with a recombinant vaccinia virus expressing the T7 RNA polymerase resulted in synthesis of the fusion proteins. Both the fusion proteins could be purified to homogeneity in a single step using a glutathione agarose affinity matrix.

Japanese encephalitis virus infection of mouse cell lines: ability to prime mice for generation of virus specific cytotoxic T lymphocytes and differences in CTL recognisable viral determinants

Ten different mouse cell lines were examined for Japanese encephalitis virus (JEV) infection in vitro and then tested for their ability to generate virus specific cytotoxic T lymphocytes (CTL). Among all cell lines examined, Neuro La (a neuroblastoma) was readily infected with JEV as examined by immunofluorescence and viral replication. Among other cells, P388D1, RAW 264.7 (Macrophage origin), Sp2/0 (B-cell Hybridoma), YAC-1 (T-cell lymphoma), and L929 (Fibroblast) were semipermissive to JEV infection. The cytopathic effects caused by progressive JEV infection varied from cell line to cell line. In the case of YAC-1 cells long-term viral antigen expression was observed without significant alterations in cell viability. Intermediate degrees of cytopathicity are seen in RAW 264.7 and L929 cells while infection of PS, Neuro 2a, P388D1 and Sp2/0 caused major viability losses. All infected cell lines were able to prime adult BALB/c (H-2(d)) mice for the generation of secondary JEV specific CTL. In contrast to YAC-1, the permissive neuroblastoma cell line Neuro 2a (H-2K(k)D(d)) was found to be least efficient in its ability to stimulate anti-viral CTL generation. Cold target competition studies demonstrated that both Neuro 2a and YAC-1 (H-2K(k)D(d)) cells expressed similar viral determinants that are recognised by CTL, suggesting that the reason for the lower ability of Neuro 2a to stimulate anti-viral CTL was not due to lack of viral CTL determinants. These findings demonstrate that a variety of mouse cell lines can be infected with Japanese encephalitis virus, and that these infected cells could be utilised to generate virus specific CTL in BALB/c mice.

In vivo clearance of Japanese encephalitis virus by adoptively transferred virus specific cytotoxic T lymphocytes

Japanese encephalitis virus (JEV) is a positive stranded RNA virus that belongs to the flavivirus group, JEV infection damages the central nervous system (CNS) and is one of the main causative agents of acute encephalitis, H-2 restricted virus-specific cytotoxic T lymphocytes (CTL) have been generated specifically against JEV in our laboratory and these CTL have been shown to protect mice against lethal challenge with JEV, Virus replication was found to be inhibited in the brains of animals that mere adoptively transferred with JEV specific CTL as revealed by immunohistological staining as,veil as viral plaque assays. We further show that virus specific CTL could be recovered from such protected mice as long as 45 days after adoptive transfer.