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.

Cutaneous porphyrias : Clinical and histopathological study

The prevalence of variegate porphyria (VP) (2.1:100 000, in 2006 n=108) was higher in Finland than elsewhere in European countries due to a founder effect (R152C). The incidence of VP was estimated at 0.2:1 000 000 based on the number of new symptomatic patients yearly. The prevalence of porphyria cutanea tarda (PCT) was 1.2:100 000 (in 2006 n=63), which is only one fourth of the numbers reported from other European countries. The estimated incidence of PCT was 0.5:1 000 000. Based on measurements of the uroporphyrinogen decarboxylase activity in erythrocytes, the proportion of familial PCT was 49% of the cases. The prevalence of erythropoietic protoporphyria (EPP) was at 0.8:100 000 (in 2006 n=39) including asymptomatic carriers of a mutation in the ferrochelatase (FECH) gene. The incidence of EPP was estimated at 0.1:1 000 000. After 1980 the penetrance was 37% among patients with VP. Of the mutation carriers (n=57) 30% manifested with skin symptoms. Frequency of skin symptom as only clinical sign was stable before or after 1980 (22% vs. 21%), but acute attacks became infrequent (29% vs. 7%). Of the symptomatic patients 30% had both acute attacks and skin symptoms and 80% had skin symptoms. Fragility (95%) and blistering (46%) of the skin in the backs of the hands were the most common skin symptoms. Transient correction of porphyrin metabolism using eight haem arginate infusions within five weeks had no effect on the skin symptoms in three of four patients with VP. In one case skin symptoms disappeared transiently. One patient with homozygous VP had severe photosensitivity since birth. Sensory polyneuropathy, glaucoma and renal failure developed during the 25-year follow-up without the presence of acute attacks. The I12T mutation was detected in both of his alleles in the protoporphyrinogen oxidase gene. Lack of skin symptoms and infrequency of acute attacks (1/9) in the patients with I12T mutation at the heterozygous stage indicate a mild phenotype (the penetrance 11%). Four mutations (751delGAGAA, 1122delT, C286T, C343T) in the FECH gene were characterised in four of 15 families with EPP. Burning pain (96%) and swelling (92%) of the sun-exposed skin were the major skin symptoms. Hepatopathy appeared in one of 25 symptomatic patients (4%). Clinical manifestations and associated factors of PCT were similar in the sporadic and familial types of PCT. The majority of the patients with PCT had one to three precipitating factors: alcohol intake (78%), mutations in hemochromatosis associated gene (50%), use of oestrogen (25% of women) and hepatitis B or C infections (25 %). Fatty liver disease (67%) and siderosis (67%) were commonly found in their liver biopsies. The major histopathological change of the sun-exposed skin in the patients with VP (n=20), EPP (n=8) and PCT (n=5) was thickening of the vessel walls of the upper dermis suggesting that the vessel wall is the primary site of the phototoxic reaction in each type of porphyria. The fine structure of the vessel walls was similar in VP, EPP and PCT consisting of the multilayered basement membrane and excess of finely granular substance between the layers which were surrounded by the band of homogenous material. EPP was characterised by amorphous perivascular deposits extending also to the extravascular space. In direct immunofluorescence study homogenous IgG deposits in the vessel walls of the upper dermis of the sun-exposed skin were demonstrated in each type of porphyria. In EPP the excess material around vessel walls consisted of other proteins such as serum amyloid protein, and kappa and lambda light chains in addition to the basement membrane constituents such as collagen IV and laminin. These results suggest that the alterations of the vessel walls are a consequence of the repeated damage and the repairing process in the vessel wall. The microscopic alterations could be demonstrated even in the normal looking but sun-exposed skin of the patients with EPP during the symptom-free phase suggesting that vascular change can be chronic. The stability of vascular changes in the patients with PCT after treatment indicates that circulating porphyrins are not important for the maintenance of the changes.

Primordial Isocurvature Perturbation in Light of CMB and LSS Data

The increased accuracy in the cosmological observations, especially in the measurements of the comic microwave background, allow us to study the primordial perturbations in grater detail. In this thesis, we allow the possibility for a correlated isocurvature perturbations alongside the usual adiabatic perturbations. Thus far the simplest six parameter \Lambda CDM model has been able to accommodate all the observational data rather well. However, we find that the 3-year WMAP data and the 2006 Boomerang data favour a nonzero nonadiabatic contribution to the CMB angular power sprctrum. This is primordial isocurvature perturbation that is positively correlated with the primordial curvature perturbation. Compared with the adiabatic \Lambda CMD model we have four additional parameters describing the increased complexity if the primordial perturbations. Our best-fit model has a 4% nonadiabatic contribution to the CMB temperature variance and the fit is improved by \Delta\chi^2 = 9.7. We can attribute this preference for isocurvature to a feature in the peak structure of the angular power spectrum, namely, the widths of the second and third acoustic peak. Along the way, we have improved our analysis methods by identifying some issues with the parametrisation of the primordial perturbation spectra and suggesting ways to handle these. Due to the improvements, the convergence of our Markov chains is improved. The change of parametrisation has an effect on the MCMC analysis because of the change in priors. We have checked our results against this and find only marginal differences between our parametrisation.

Observation of the Ωb- baryon and measurement of the properties of the Ξb- and Ωb- baryons

We report the observation of the bottom, doubly-strange baryon Omega^-_b through the decay chain Omega^-_b -> J/psi Omega^-, where J/psi -> mu^+ mu^-, Omega^- -> Lambda K^-, and Lambda -> p pi^-, using 4.2 fb^{-1} of data from p\bar p collisions at sqrt{s}=1.96 TeV, and recorded with the Collider Detector at Fermilab. A signal is observed whose probability of arising from a background fluctuation is 4.0 * 10^{-8}, or 5.5 Gaussian standard deviations. The Omega^-_b mass is measured to be 6054.4 +/- 6.8 (stat.) +/- 0.9 (syst.) MeV/c^2. The lifetime of the Omega^-_b baryon is measured to be 1.13^{+0.53}_{-0.40}(stat.) +/- 0.02(syst.)$ ps. In addition, for the \Xi^-_b baryon we measure a mass of 5790.9 +/- 2.6(stat.) +/- 0.8(syst.) MeV/c^2 and a lifetime of 1.56^{+0.27}_{-0.25}(stat.) +/-0.02(syst.) ps. Under the assumption that the \Xi_b^- and \Omega_b^- are produced with similar kinematic distributions to the \Lambda^0_b baryon, we find sigma(Xi_b^-) B(Xi_b^- -> J/psi Xi^-)}/ sigma(Lambda^0_b) B(Lambda^0_b -> J/psi Lambda)} = 0.167^{+0.037}_{-0.025}(stat.) +/-0.012(syst.) and sigma(Omega_b^-) B(Omega_b^- -> J/psi Omega^-)/ sigma(Lambda^0_b) B(Lambda^0_b -> J/psi Lambda)} = 0.045^{+0.017}_{-0.012}(stat.) +/- 0.004(syst.) for baryons produced with transverse momentum in the range of 6-20 GeV/c.

Optical Tweezers for Single Molecule Biology

Molecular machinery on the micro-scale, believed to be the fundamental building blocks of life, involve forces of 1-100 pN and movements of nanometers to micrometers. Micromechanical single-molecule experiments seek to understand the physics of nucleic acids, molecular motors, and other biological systems through direct measurement of forces and displacements. Optical tweezers are a popular choice among several complementary techniques for sensitive force-spectroscopy in the field of single molecule biology. The main objective of this thesis was to design and construct an optical tweezers instrument capable of investigating the physics of molecular motors and mechanisms of protein/nucleic-acid interactions on the single-molecule level. A double-trap optical tweezers instrument incorporating acousto-optic trap-steering, two independent detection channels, and a real-time digital controller was built. A numerical simulation and a theoretical study was performed to assess the signal-to-noise ratio in a constant-force molecular motor stepping experiment. Real-time feedback control of optical tweezers was explored in three studies. Position-clamping was implemented and compared to theoretical models using both proportional and predictive control. A force-clamp was implemented and tested with a DNA-tether in presence of the enzyme lambda exonuclease. The results of the study indicate that the presented models describing signal-to-noise ratio in constant-force experiments and feedback control experiments in optical tweezers agree well with experimental data. The effective trap stiffness can be increased by an order of magnitude using the presented position-clamping method. The force-clamp can be used for constant-force experiments, and the results from a proof-of-principle experiment, in which the enzyme lambda exonuclease converts double-stranded DNA to single-stranded DNA, agree with previous research. The main objective of the thesis was thus achieved. The developed instrument and presented results on feedback control serve as a stepping stone for future contributions to the growing field of single molecule biology.

Dual-trap optical tweezers with real-time force clamp control

Single molecule force clamp experiments are widely used to investigate how enzymes, molecular motors, and other molecular mechanisms work. We developed a dual-trap optical tweezers instrument with real-time (200 kHz update rate) force clamp control that can exert 0–100 pN forces on trapped beads. A model for force clamp experiments in the dumbbell-geometry is presented. We observe good agreement between predicted and observed power spectra of bead position and force fluctuations. The model can be used to predict and optimize the dynamics of real-time force clamp optical tweezers instruments. The results from a proof-of-principle experiment in which lambda exonuclease converts a double-stranded DNA tether, held at constant tension, into its single-stranded form, show that the developed instrument is suitable for experiments in single molecule biology.