Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Novel Organo-Noble-Gas Hydrides

Noble gases are mostly known as inert monatomic gases due to their limited reactivity with other elements. However, the first predictions of noble-gas compounds were suggested by Kossel in 1916, by von Antropoff in 1924, and by Pauling in 1930. It took many decades until the first noble-gas compound, XePtF6, was synthesized by Neil Bartlett in 1962. This was followed by gradual development of the field and many noble-gas compounds have been prepared. In 1995, a family of noble-gas hydride molecules was discovered at the University of Helsinki. These molecules have the general formula of HNgY, where H is a hydrogen atom, Ng is a noble-gas atom (Ar, Kr, or Xe), and Y is an electronegative fragment. The first molecular species made include HXeI, HXeBr, HXeCl, HKrCl and HXeH. Nowadays the total number of prepared HNgY molecules is 23 including both inorganic and organic compounds. The first and only neutral ground-state argon compound, HArF, was synthetized in 2000. Helium and neon are the only elements in the periodic table that do not form neutral, ground-state molecules. In this Thesis, experimental preparation of eight novel xenon- and krypton-containing organo-noble-gas hydrides made from acetylene (HCCH), diacetylene (HCCCCH) and cyanoacetylene (HCCCN) are presented. These novel species include the first organic krypton compound, HKrCCH, as well as the first noble-gas hydride molecule containing two Xe atoms, HXeCCXeH. Other new compounds are HXeCCH, HXeCC, HXeC4H, HKrC4H, HXeC3N, and HKrC3N. These molecules are prepared in noble-gas matrices (krypton or xenon) using ultraviolet photolysis of the precursor molecule and thermal mobilization of the photogenerated H atoms. The molecules were identified using infrared spectroscopy and ab initio calculations. The formation mechanisms of the organo-noble-gas molecules are studied and discussed in this context. The focus is to evidence experimentally the neutral formation mechanisms of HNgY molecules upon global mobility of H atoms. The formation of HXeCCXeH from another noble-gas compound (HXeCC) is demonstrated and discussed. Interactions with the surrounding matrix and molecular complexes of the HXeCCH molecule are studied. HXeCCH was prepared in argon and krypton solids in addition to a Xe matrix. The weak HXeCCH∙∙∙CO2 complex is prepared and identified. Preparation of the HXeCCH∙∙∙CO2 complex demonstrates an advanced approach to studies of HNgY complexes where the precursor complex (HCCH∙∙∙CO2) is obtained using photolysis of a larger molecule (propiolic acid).

Intermolecular Interactions of Noble-Gas-Containing Species

The importance of intermolecular interactions to chemistry, physics, and biology is difficult to overestimate. Without intermolecular forces, condensed phase matter could not form. The simplest way to categorize different types of intermolecular interactions is to describe them using van der Waals and hydrogen bonded (H-bonded) interactions. In the H-bond, the intermolecular interaction appears between a positively charged hydrogen atom and electronegative fragments and it originates from strong electrostatic interactions. H-bonding is important when considering the properties of condensed phase water and in many biological systems including the structure of DNA and proteins. Vibrational spectroscopy is a useful tool for studying complexes and the solvation of molecules. Vibrational frequency shift has been used to characterize complex formation. In an H-bonded system A∙∙∙H-X (A and X are acceptor and donor species, respectively), the vibrational frequency of the H-X stretching vibration usually decreases from its value in free H-X (red-shift). This frequency shift has been used as evidence for H-bond formation and the magnitude of the shift has been used as an indicator of the H-bonding strength. In contrast to this normal behavior are the blue-shifting H-bonds, in which the H-X vibrational frequency increases upon complex formation. In the last decade, there has been active discussion regarding these blue-shifting H-bonds. Noble-gases have been considered inert due to their limited reactivity with other elements. In the early 1930 s, Pauling predicted the stable noble-gas compounds XeF6 and KrF6. It was not until three decades later Neil Bartlett synthesized the first noble-gas compound, XePtF6, in 1962. A renaissance of noble-gas chemistry began in 1995 with the discovery of noble-gas hydride molecules at the University of Helsinki. The first hydrides were HXeCl, HXeBr, HXeI, HKrCl, and HXeH. These molecules have the general formula of HNgY, where H is a hydrogen atom, Ng is a noble-gas atom (Ar, Kr, or Xe), and Y is an electronegative fragment. At present, this class of molecules comprises 23 members including both inorganic and organic compounds. The first and only argon-containing neutral chemical compound HArF was synthesized in 2000 and its properties have since been investigated in a number of studies. A helium-containing chemical compound, HHeF, was predicted computationally, but its lifetime has been predicted to be severely limited by hydrogen tunneling. Helium and neon are the only elements in the periodic table that do not form neutral, ground state molecules. A noble-gas matrix is a useful medium in which to study unstable and reactive species including ions. A solvated proton forms a centrosymmetric NgHNg+ (Ng = Ar, Kr, and Xe) structure in a noble-gas matrix and this is probably the simplest example of a solvated proton. Interestingly, the hypothetical NeHNe+ cation is isoelectronic with the water-solvated proton H5O2+ (Zundel-ion). In addition to the NgHNg+ cations, the isoelectronic YHY- (Y = halogen atom or pseudohalogen fragment) anions have been studied with the matrix-isolation technique. These species have been known to exist in alkali metal salts (YHY)-M+ (M = alkali metal e.g. K or Na) for more than 80 years. Hydrated HF forms the FHF- structure in aqueous solutions, and these ions participate in several important chemical processes. In this thesis, studies of the intermolecular interactions of HNgY molecules and centrosymmetric ions with various species are presented. The HNgY complexes show unusual spectral features, e.g. large blue-shifts of the H-Ng stretching vibration upon complexation. It is suggested that the blue-shift is a normal effect for these molecules, and that originates from the enhanced (HNg)+Y- ion-pair character upon complexation. It is also found that the HNgY molecules are energetically stabilized in the complexed form, and this effect is computationally demonstrated for the HHeF molecule. The NgHNg+ and YHY- ions also show blue-shifts in their asymmetric stretching vibration upon complexation with nitrogen. Additionally, the matrix site structure and hindered rotation (libration) of the HNgY molecules were studied. The librational motion is a much-discussed solid state phenomenon, and the HNgY molecules embedded in noble-gas matrices are good model systems to study this effect. The formation mechanisms of the HNgY molecules and the decay mechanism of NgHNg+ cations are discussed. A new electron tunneling model for the decay of NgHNg+ absorptions in noble-gas matrices is proposed. Studies of the NgHNg+∙∙∙N2 complexes support this electron tunneling mechanism.

Immune mechanisms in atherosclerosis; Focus on the role of the complement system

Atherosclerosis is an inflammatory disease characterized by accumulation of lipids in the inner layer of the arterial wall. During atherogenesis, various structures that are recognized as non-self by the immune system, such as modified lipoproteins, are deposited in the arterial wall. Accordingly, atherosclerotic lesions and blood of humans and animals with atherosclerotic lesions show signs of activation of both innate and adaptive immune responses. Although immune attack is initially a self-protective reaction, which is meant to destroy or remove harmful agents, a chronic inflammatory state in the arterial wall accelerates atherosclerosis. Indeed, various modulations of the immune system of atherosclerosis-prone animals have provided us with convincing evidence that immunological mechanisms play an important role in the pathogenesis of atherosclerosis. This thesis focuses on the role of complement system, a player of the innate immunity, in atherosclerosis. Complement activation via any of the three different pathways (classical, alternative, lectin) proceeds as a self-amplifying cascade, which leads to the generation of opsonins, anaphylatoxins C3a and C5a, and terminal membrane-attack complex (MAC, C5b-9), all of which regulate the inflammatory response and act in concert to destroy their target structures. To prevent uncontrolled complement activation or its attack against normal host cells, complement needs to be under strict control by regulatory proteins. The complement system has been shown to be activated in atherosclerotic lesions, modified lipoproteins and immune complexes containing oxLDL, for instance, being its activators. First, we investigated the presence and role of complement regulators in human atherosclerotic lesions. We found that inhibitors of the classical and alternative pathways, C4b-binding protein and factor H, respectively, were present in atherosclerotic lesions, where they localized in the superficial proteoglycan-rich layer. In addition, both inhibitors were found to bind to arterial proteoglycans in vitro. Immunohistochemical stainings revealed that, in the superficial layer of the intima, complement activation had been limited to the C3 level, whereas in the deeper intimal layers, complement activation had proceeded to the terminal C5b-9 level. We were also able to show that arterial proteoglycans inhibit complement activation in vitro. These findings suggested to us that the proteoglycan-rich layer of the arterial intima contains matrix-bound complement inhibitors and forms a protective zone, in which complement activation is restricted to the C3 level. Thus, complement activation is regulated in atherosclerotic lesions, and the extracellular matrix is involved in this process. Next, we studied whether the receptors for the two complement derived effectors, anaphylatoxins C3a and C5a, are expressed in human coronary atherosclerotic lesions. Our results of immunohistochemistry and RT-PCR analysis showed that, in contrast to normal intima, C3aR and C5aR were highly expressed in atherosclerotic lesions. In atherosclerotic plaques, the principal cells expressing both C3aR and C5aR were macrophages. Moreover, T cells expressed C5aR, and a small fraction of them also expressed C3aR, mast cells expressed C5aR, whereas endothelial cells and subendothelial smooth muscle cells expressed both C3aR and C5aR. These results suggested that intimal cells can respond to and become activated by complement-derived anaphylatoxins. Finally, we wanted to learn, whether oxLDL-IgG immune complexes, activators of the classical complement pathway, could have direct cellular effects in atherogenesis. Thus, we tested whether oxLDL-IgG immune complexes affect the survival of human monocytes, the precursors of macrophages, which are the most abundant inflammatory cell type in atherosclerotic lesions. We found that OxLDL-IgG immune complexes, in addition to transforming monocytes into foam cells, promoted their survival by decreasing their spontaneous apoptosis. This effect was mediated by cross-linking Fc receptors with ensuing activation of Akt-dependent survival signaling. Our finding revealed a novel mechanism by which oxLDL-IgG immune complexes can directly affect the accumulation of monocyte-macrophages in human atherosclerotic lesions and thus play a role in atherogenesis.

The Finnish Competition State and Entrepreneurial Policies in the Helsinki Region

The thesis examines the intensification and characteristics of a policy that emphasises economic competitiveness in Finland during the 1990s and early 2000s. This accentuation of economic objectives is studied at the level of national policy-making as well as at the regional level through the policies and strategies of cities and three universities in the Helsinki region. By combining the analysis of state policies, urban strategies and university activities, the study illustrates the pervasiveness of the objective of economic competitiveness and growth across these levels and sheds light on the features and contradictions of these policies on a broad scale. The thesis is composed of five research articles and a summary article. At the level of national policies, the central focus of the thesis is on the growing role of science and technology policy as a state means to promote structural economic change and its transformation towards a broader, yet ambivalent concept of innovation policy. This shift brings forward a tension between an increasing emphasis on economic aspects – innovations and competitiveness – as well as the expanding scope of issues across a wide range of policy sectors that are being subsumed under this market- and economy oriented framework. Related to science and technology policy, attention is paid to adjustments in university policy in which there has been increasing pressure for efficiency, rationalisation and commercialisation of academic activities. Furthermore, political efforts to build an information society through the application of information and communication technologies are analysed with particular attention to the balance between economic and social objectives. Finally, changes in state regional policy priorities and the tendency towards competitiveness are addressed. At the regional level, the focus of the thesis is on the policies of the cities in Finland’s capital region as well as strategies of three universities operating in the region, namely the University of Helsinki, Helsinki University of technology and Helsinki School of Economics. As regards the urban level, the main focus is on the changes and characteristics of the urban economic development policy of the City of Helsinki. With respect to the universities, the thesis examines their attempts to commercialise research and thus bring academic research closer to economic interests, and pays particular attention to the contradictions of commercialisation. Related to the universities, the activities of three intermediary organisations that the universities have established in order to increase cooperation with industry are analysed. These organisations are the Helsinki Science Park, Otaniemi International Innovation Centre and LTT Research Ltd. The summary article provides a synthesis of the material presented in the five original articles and relates the results of the articles to a broader discussion concerning the emergence of competition states and entrepreneurial cities and regions. The main points of reference are Bob Jessop’s and Neil Brenner’s theses on state and urban-regional restructuring. The empirical results and considerations from Finland and the Helsinki region are used to comment on, specify and criticise specific parts of the two theses.

Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics

A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.

Transcriptional analysis of persistent Chlamydia pneumoniae infection in vitro

Chlamydia pneumoniae can cause acute respiratory infections including pneumonia. Repeated and persistent Chlamydia infections occur and persistent C. pneumoniae infection may have a role in the pathogenesis of atherosclerosis and coronary heart disease and may also contribute to the development of chronic inflammatory lung diseases like chronic obstructive pulmonary disease (COPD) and asthma. In this thesis in vitro models for persistent C. pneumonia infection were established in epithelial and monocyte/macrophage cell lines. Expression of host cell genes in the persistent C. pneumoniae infection model of epithelial cells was studied by microarray and RT-PCR. In the monocyte/macrophage infection model expression of selected C. pneumoniae genes were studied by RT-PCR and immunofluorescence microscopy. Chlamydia is able to modulate host cell gene expression and apoptosis of host cells, which may assist Chlamydia to evade the host cells' immune responses. This, in turn, may lead to extended survival of the organism inside epithelial cells and promote the development of persistent infection. To simulate persistent C. pneumoniae infection in vivo, we set up a persistent infection model exposing the HL cell cultures to IFN-gamma. When HL cell cultures were treated with moderate concentration of IFN-gamma, the replication of C. pneumoniae DNA was unaffected while differentiation into infectious elementary bodies (EB) was strongly inhibited. By transmission electron microscopy small atypical inclusions were identified in IFN-gamma treated cultures. No second cycle of infection was observed in cells exposed to IFN-gamma , whereas C. pneumoniae was able to undergo a second cycle of infection in unexposed HL cells. Although monocytic cells can naturally restrict chlamydial growth, IFN-gamma further reduced production of infectious C. pneumoniae in Mono Mac 6 cells. Under both studied conditions no second cycle of infection could be detected in monocytic cell line suggesting persistent infection in these cells. As a step toward understanding the role of host genes in the development and pathogenesis of persistent C. pneumoniae infection, modulation of host cell gene expression during IFN-gamma induced persistent infection was examined and compared to that seen during active C. pneumoniae infection or IFN-gamma treatment. Total RNA was collected at 6 to 150 h after infection of an epithelial cell line (HL) and analyzed by a cDNA array (available at that time) representing approximately 4000 human transcripts. In initial analysis 250 of the 4000 genes were identified as differentially expressed upon active and persistent chlamydial infection and IFN-gamma treatment. In persistent infection more potent up-regulation of many genes was observed in IFN-gamma induced persistent infection than in active infection or in IFN-gamma treated cell cultures. Also sustained up-regulation was observed for some genes. In addition, we could identify nine host cell genes whose transcription was specifically altered during the IFN-gamma induced persistent C. pneumoniae infection. Strongest up-regulation in persistent infection in relation to controls was identified for insulin like growth factor binding protein 6, interferon-stimulated protein 15 kDa, cyclin D1 and interleukin 7 receptor. These results suggest that during persistent infection, C. pneumoniae reprograms the host transcriptional machinery regulating a variety of cellular processes including adhesion, cell cycle regulation, growth and inflammatory response, all of which may play important roles in the pathogenesis of persistent C. pneumoniae infection. C. pneumoniae DNA can be detected in peripheral blood mononuclear cells indicating that the bacterium can also infect monocytic cells in vivo and thereby monocytes can assist the spread of infection from the lungs to other anatomical sites. Persistent infection established at these sites could promote inflammation and enhance pathology. Thus, the mononuclear cells are in a strategic position in the development of persistent infection. To investigate the intracellular replication and fate of C. pneumoniae in mononuclear cells we analyzed the transcription of 11 C. pneumoniae genes in Mono Mac 6 cells during infection by real time RT-PCR. Our results suggest that the transcriptional profile of the studied genes in monocytes is different from that seen in epithelial cells and that IFN-gamma has a less significant effect on C. pneumoniae transcription in monocytes. Furthermore, our study shows that type III secretion system (T3SS) related genes are transcribed and that Chlamydia possesses a functional T3SS during infection in monocytes. Since C. pneumoniae infection in monocytes has been implicated to have reduced antibiotic susceptibility, this creates opportunities for novel therapeutics targeting T3SS in the management of chlamydial infection in monocytes.